{"entities":{"Q6546709":{"pageid":14157863,"ns":120,"title":"Item:Q6546709","lastrevid":55671910,"modified":"2026-02-17T20:45:51Z","type":"item","id":"Q6546709","labels":{"en":{"language":"en","value":"On proofs of generalized Knuth's old sum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7856128"}},"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":"Q6546709$A7894AC3-05E4-4222-BE36-8B4FBD4DE497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32cb3b91e80a628450479f5db21cc83b902b1a07","datavalue":{"value":{"text":"On proofs of generalized Knuth's old sum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546709$9BCD1A27-AD64-47DC-A5C9-C852AE6592E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3dbc9e2a8d7c92bb3a9b84ab2dff0c810f44290d","datavalue":{"value":"1545.11019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546709$42A735B4-3DCD-41B2-9901-31BD461E6C53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e5c376841945db4d064ef1bd031d145231349c","datavalue":{"value":{"entity-type":"item","numeric-id":175171,"id":"Q175171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$10B0F354-21BA-4D7B-8471-AA0AC22B7F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eba11f1db96fc0886541ecea8c4e1ffafc2c4dba","datavalue":{"value":{"entity-type":"item","numeric-id":884211,"id":"Q884211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$70594DE4-7DE9-42DC-BC1A-44ADCB5D7ED9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7156ae6288d1cd7ff602ff259046eb2abb40ec71","datavalue":{"value":{"entity-type":"item","numeric-id":2882724,"id":"Q2882724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$BE9F5768-4B56-482B-A0E7-B5E56D1D5A1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fb46e7518608b58d8a533d1b66c78a1a687e910","datavalue":{"value":{"time":"+2024-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546709$779E7F4D-ABDC-4391-B522-82645CD342AE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cbe55747c76f84e1af0f8a65617f8be0334214a0","datavalue":{"value":"The Reed-Dawson identity, or Knuth's old sum, given by \\N\\[\\N\\sum_{k=0}^n \\binom{n}{k} \\binom{2k}{k} \\left(-\\frac{1}{2}\\right)^k = \\begin{cases} \\frac{1}{2^n} \\binom{n}{n/2} & \\mbox{for } n \\mbox{ even} \\\\\\N0 & \\mbox{for } n \\mbox{ odd}, \\end{cases}\\N\\]\\Nis one of the classical combinatorial identity that can be proved and extended in several ways by using different approaches. In this paper, the authors consider the extensions of this identity obtained by \\textit{A. K. Rathie} et al. [Integers 22, Paper A28, 6 p. (2022; Zbl 1497.11051)]. First they reformulate these identities in order to have formulas involving only integers. Specifically, they obtain the following four identities, for \\( m,n \\in \\mathbb{N} \\):\\N\\begin{align*}\\N& \\sum_{k=0}^{2n} (-1)^k \\binom{4m+2}{2m+1}\\binom{2n+2m+1}{k+2m+1}\\binom{2k}{k} 2^{2n-k} \\\\\\N&\\qquad\\qquad = \\sum_{i=0}^m \\binom{2n+2m+1}{2n}\\binom{2m+1}{2i+1}\\binom{2n+2m-2i}{n+m-i} 2^{2i+1} \\\\\\N& \\sum_{k=0}^{2n} (-1)^k \\binom{4m}{2m}\\binom{2n+2m}{k+2m}\\binom{2k}{k} 2^{2n-k} \\\\\\N&\\qquad\\qquad = \\sum_{i=0}^m \\binom{2n+2m}{2n}\\binom{2m}{2i}\\binom{2n+2m-2i}{n+m-i } 2^{2i} \\\\\\N& \\sum_{k=0}^{2n+1} (-1)^k \\binom{4m}{2m}\\binom{2n+2m+1}{k+2m}\\binom{2k}{k} 2^{2n-k} \\\\\\N&\\qquad\\qquad = \\sum_{i=0}^m \\binom{2n+2m+1}{2n+1}\\binom{2m}{2i+1}\\binom{2n+2m-2i}{n+m-i} 2^{2i} \\\\\\N& \\sum_{k=0}^{2n+1} (-1)^k\\binom{4m+2}{2m+1}\\binom{2n+2m+2}{k+2m+1}\\binom{2k}{k} 2^{2n+1-k} \\\\\\N&\\qquad\\qquad = \\sum_{i=0}^m \\binom{2n+2m+2}{2n+1}\\binom{2m+1}{2i}\\binom{2n+2m-2i+2}{n+m-i+1} 2^{2i}.\\N\\end{align*}\\NThen, they give a combinatorial proof of the first two identities by defining an appropriate sign reversing involution on a suitable set of words. Finally, they prove these identities by means of the Wilf-Zeilberger method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546709$BF8FF697-48F5-4152-971A-085F2B049CD9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"686d7921c35be2c73bc696433b193e373fa023e4","datavalue":{"value":{"entity-type":"item","numeric-id":433478,"id":"Q433478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$9CA6101A-D770-4A52-8584-88BC3689924E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546709$E68F0E15-B98D-414F-81AF-726895ED31E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546709$CA5BAC85-3034-4B2D-A85D-482541AC08C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df3e538ac47090008c3b7df2a494d9061f1dcb32","datavalue":{"value":"7856128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546709$7160D3F6-9F8E-4729-889E-86E9A4173E1E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45127a31f69b7e5499e00426cc201a554d937766","datavalue":{"value":"Reed-Dawson identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546709$208BBEEA-2E0B-48B9-BA9F-D6939EAAF8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2cd2aefef75fae3311800f218cb9453ef28e09","datavalue":{"value":"combinatorial sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546709$93ED72E1-4D3F-43E4-92EB-DAAD26D9EEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546709$8974F2E9-B22A-4F2A-A944-B58B8D28512F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b810d6bb8fcbf8b77aae0ec47886ae8fd4d72c","datavalue":{"value":"sign reversing involutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546709$95540B9D-B78A-462E-A500-ED16B7C8C2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d43b1bb4baf3545d34d3b85eb55fbd813ca033a2","datavalue":{"value":"WZ-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546709$5E2109D2-4AA9-4169-8322-3B8287041BF1","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":"Q6546709$FD58BB58-23DE-48C2-BAB3-BDB1B0FADBA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2a75eae42b56bd6515f96aaa05cf3e88246d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4053930,"id":"Q4053930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$86949445-DA3D-4867-AAE3-CC0983F98B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbe3402afd33124200dc5999ff63f1a71de76c8","datavalue":{"value":{"entity-type":"item","numeric-id":3939231,"id":"Q3939231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$ADDA9E2C-029C-4B3C-8BC0-BCC22CD57157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c61863458db667259073c21f0fce496288220ca","datavalue":{"value":{"entity-type":"item","numeric-id":1245568,"id":"Q1245568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$953589AD-79F7-4CE7-A55F-576ADD50A6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57c4ec75eb1df7410ececc1deecb107ec91c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":4875364,"id":"Q4875364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$50A03DE7-FD5D-4C64-A740-50F31962A1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db2219a5fb42e85e3bf466e45ad1eaffbaddbf90","datavalue":{"value":{"entity-type":"item","numeric-id":4318994,"id":"Q4318994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$C1D48F9F-4893-4B4F-9BDF-4028CFFE4F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbf23df9e2847bc8e0ef639080981fc02a7246e","datavalue":{"value":{"entity-type":"item","numeric-id":4323149,"id":"Q4323149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$4B6CFEFD-17A8-4001-8FCD-687A6D66FBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be8f5cb5157c8d150049ae6f846dd831b35f6fe","datavalue":{"value":{"entity-type":"item","numeric-id":5088743,"id":"Q5088743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546709$12CB8E0A-158A-41CF-A7F4-A0C8219401C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599a57e08ce5632536ab46e0b0f41b8e66d6a9ae","datavalue":{"value":{"entity-type":"item","numeric-id":2883394,"id":"Q2883394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca74319c92ca43a001dc229276f2db0926c3982","datavalue":{"value":{"amount":"+0.8070347309112549","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":"Q6546709$075F9738-665B-4BD1-8FAD-6768FF34D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e7da455dc8b60d8e8a05a1c91e300bdf3c5db2","datavalue":{"value":{"entity-type":"item","numeric-id":4717337,"id":"Q4717337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b48fa886d4ba5199e185ddc0b8287d107cfaf2","datavalue":{"value":{"amount":"+0.7837473750114441","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":"Q6546709$5D3896CD-2D0E-4035-A9FE-78E2FFE03F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ddaf3d15b2f436a08517cec8a626050929ae09","datavalue":{"value":{"entity-type":"item","numeric-id":5088743,"id":"Q5088743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2631b01f0ba765372051e046e699af3f3bab21e5","datavalue":{"value":{"amount":"+0.7737404108047485","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":"Q6546709$CF76A6D1-ED09-427F-AA1F-3C94D02BBC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f73955d8e791a6c6f4c9385d1e0ff087755bd75","datavalue":{"value":{"entity-type":"item","numeric-id":5089992,"id":"Q5089992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db70a3df359bd83315722c5fc62db9e9bad0542","datavalue":{"value":{"amount":"+0.7703007459640503","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":"Q6546709$7A94BBF7-8326-49B2-866C-72B5E804831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f641bf7b56fa82f11164b72dfba29a9af84b1cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4897561,"id":"Q4897561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3355a10700276a7c10367e62e2461a71a85009d9","datavalue":{"value":{"amount":"+0.7634495496749878","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":"Q6546709$560CB45D-2A88-404C-BA07-E6E15C9583A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546709"}}}}}