{"entities":{"Q1938563":{"pageid":1949305,"ns":120,"title":"Item:Q1938563","lastrevid":82068110,"modified":"2026-05-06T20:01:26Z","type":"item","id":"Q1938563","labels":{"en":{"language":"en","value":"Representation of a 2-power as sum of \\(k\\) 2-powers: a recursive formula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138267"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$318B7A02-7050-4837-9C62-44B9A1DDAE37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0a6c76b343bb721a2e1555fe2fc512dae8cd37a","datavalue":{"value":{"text":"Representation of a 2-power as sum of \\(k\\) 2-powers: a recursive formula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1938563$9D17E1C0-09BB-4C8B-805D-F9EA226BF1C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"350d19cecd246908ae0152aad740725c5efed896","datavalue":{"value":"1284.11048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938563$2AB3211E-64E5-4D38-AC87-909438AFC993","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"993787a99aeceae22e124f35a0fc5d2fb952ff21","datavalue":{"value":{"entity-type":"item","numeric-id":191460,"id":"Q191460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$A421C05A-90DF-4AAC-8697-C7BA313EDE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2933bc8dd942de994acc1adee2ceb395d0cfc01","datavalue":{"value":{"entity-type":"item","numeric-id":669243,"id":"Q669243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$A0F581EB-EAF9-4D6D-B3A7-53A843F89035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$BB088857-B60C-4963-9994-A834D6D7463D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec88787b088b88fbcbfef6eb4534917e7df1ffe","datavalue":{"value":{"time":"+2013-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1938563$C760A136-04EE-4409-8565-77B262D4C929","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c9e2db8e8a34c85e49e976e6526e103f5cf4484","datavalue":{"value":"Let \\(U(\\ell,k)\\) denote the number of distinct compositions of \\(\\ell\\) as a sum of \\(k\\) powers of two (where order matters). Thus, for example, \\(U(10,3) = 6\\), arising from the representations \\(10 = 8+1+1\\) and \\(10 = 4+4+2\\) and their permutations. The behavior of \\(U(\\ell,k)\\) is quite erratic; it can be regularized by defining \\(W(\\sigma, k) = \\max_{\\ell:s_2(\\ell) = \\sigma} \\{ U(\\ell,k) \\}\\), where \\(s_2(\\ell)\\) is the number of \\(1\\) bits in the binary representation of \\(\\ell\\).  In a previous paper [J. Number Theory 130, No. 9, 2011--2027 (2010; Zbl 1198.11074)], the second author proved that  \\[  W(\\sigma,k) = k! \\sum_{1 \\leq n < k} {{W(1,n)}\\over {n!}} \\cdot {{W(\\sigma-1,k-n)} \\over {(k-n)!}}, \\]  thus reducing the computation of \\(W\\) to \\(W(1,n)\\). In this paper the authors give a recursive formula, involving binomial coefficients, for \\(W(1,n)\\). From this they derive the congruence \\(W(1,n) \\equiv 4 + (-1)^n \\pmod 8\\) for \\(n \\geq 3\\). They also state some conjectures for congruence modulo higher powers of \\(2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938563$3443AAF0-F3EC-43DE-9E09-81F813EAA119","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938563$3EEB1253-6D48-49BA-9F98-C556C167B7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a956ba151c790dcf1c264a66e8b68d651f9216c","datavalue":{"value":"11A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938563$0ADEF47A-B09F-431C-A15C-001213E132D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"073e374c502c843ab5c9f92ab67f92a4abca3c38","datavalue":{"value":"6138267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938563$90AD133A-D2A2-4A60-8D4E-E07989A15C94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68cfa62fa80f7154a1c560c2ce2af57d5d1dc9d4","datavalue":{"value":"compositions into powers of 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938563$F940E646-87AD-4FEF-B8FE-E4E7EBA747E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5d3540eeccf418bdf893f9e4c8066527c40e91","datavalue":{"value":"sum of digits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938563$A62F0CEF-6332-459C-8D0F-4096DC156113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886c4b80c7af7a359334a13a66ef44e5526d7bc2","datavalue":{"value":"binomial coefficient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938563$798A96F3-0203-4DAD-95BE-46462395D93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1938563$6919501B-0B29-42BF-8038-545CFDFDA794","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fa5fc7d2f93d5fbb52b8e1163bcbfe45e25f808","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$1E7F7405-DE0A-4B8E-A3A4-A6E109442801","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$A3737AD8-A6B6-4B12-A789-317D5747C26D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"851b4da0c3c73bdab86fd55604cae172dfe8ac0e","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2012.09.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1938563$230D807E-B4C5-48FB-A0B8-2E760EC7254B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c12f35cd4c1917891189fc60c6827d40b15c623","datavalue":{"value":"W2153505620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938563$E12C50F3-1C2A-4CAC-8121-781C63B93FF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2463aecaeca8df6282921e96b884f0d3f79eb738","datavalue":{"value":{"entity-type":"item","numeric-id":916686,"id":"Q916686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$C83FDC01-87FA-4714-85A9-01B0E92797ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92320d8d52476818665c9cbe35631ecb2928c125","datavalue":{"value":{"entity-type":"item","numeric-id":3358798,"id":"Q3358798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$EB2501DD-D59F-4735-910A-A8B76F8537C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb44a873b6c779495f1b5f34567c957535272f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5661396,"id":"Q5661396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$F8DB2BB4-3A18-4E6A-9672-CCE445D946FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1133187e1625c43367ceb6961acd1a5a3b5e33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5786066,"id":"Q5786066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$7B955B71-0C9A-4274-A47B-EA005E78D308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79f4034d7d3f68c4532a5dc7762899c4b4aa530","datavalue":{"value":{"entity-type":"item","numeric-id":5754490,"id":"Q5754490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$676DBBCA-DFBF-419B-869C-03140BD083F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91e1eff78047b36128c11903fade480eaca3c87","datavalue":{"value":{"entity-type":"item","numeric-id":4377092,"id":"Q4377092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$3FD33616-D3E2-419C-9C4B-94BD870F8FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676458194557badc506056f96a6408eb4226d059","datavalue":{"value":{"entity-type":"item","numeric-id":5569569,"id":"Q5569569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$D87FFD04-77A9-4FD3-A0E2-A89C21358257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ce82c9666dae592b08e99d3177cd784930ff4d","datavalue":{"value":{"entity-type":"item","numeric-id":983300,"id":"Q983300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$99C51260-A203-4A40-8D96-10DF74D709C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8affd1a739da50d7ed21dcc8594846e930a9d2ea","datavalue":{"value":{"entity-type":"item","numeric-id":3165309,"id":"Q3165309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1938563$551F4500-FAAF-4303-B99A-4A0AE7CE1B2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d08db330f6ef7e0ca739fb631693b54a5f5f5c34","datavalue":{"value":"10.1016/J.JNT.2012.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1938563$39A85C30-C3E4-4BDA-AD04-00F9F0E48210","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f15e9cbf3436b7c9a16464f46b093be0c91a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3165309,"id":"Q3165309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5246025d0088b8ed1536b30285f12226b6e40da8","datavalue":{"value":{"amount":"+0.8811823725700378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938563$3A0EB5EE-1C08-4EDC-82F7-6FD0E1D19F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ebc808058d46d03c9929b266d6acf36b755bfdc","datavalue":{"value":{"entity-type":"item","numeric-id":3428715,"id":"Q3428715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2521b3d7f6489d94dd50bc2765f9473fa559b93","datavalue":{"value":{"amount":"+0.8430524468421936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938563$149F9F19-39F5-4E75-A224-64A05FE5AB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601226fcdeb21d3b19ea2f436f3d2d6087aee9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1601418,"id":"Q1601418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491274628e41cec90b4d20f3a1012f0cec4390ac","datavalue":{"value":{"amount":"+0.7561376094818115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938563$980438BA-4B6B-4688-902F-1A28CD52BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30db17e1ef782b9ac4f3f2219444c69f62bfe3b","datavalue":{"value":{"entity-type":"item","numeric-id":3569511,"id":"Q3569511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580f356bf24919fbc9843ff7775c44fb865af815","datavalue":{"value":{"amount":"+0.7515667676925659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938563$79EF4BB5-8270-4DDA-AEF4-0A2E0D5B3838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c87d858316250f945cd7d41bd5f9be84e8b8a70","datavalue":{"value":{"entity-type":"item","numeric-id":3788016,"id":"Q3788016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f70583c459d85495252e5d00ee529a00c35af5","datavalue":{"value":{"amount":"+0.7430980205535889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1938563$1123602C-A521-4C24-A6F8-B5A6DCBBA169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Representation of a 2-power as sum of \\(k\\) 2-powers: a recursive formula","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Representation_of_a_2-power_as_sum_of_%5C(k%5C)_2-powers:_a_recursive_formula"}}}}}