{"entities":{"Q2800145":{"pageid":2810883,"ns":120,"title":"Item:Q2800145","lastrevid":58005933,"modified":"2026-04-03T10:28:09Z","type":"item","id":"Q2800145","labels":{"en":{"language":"en","value":"Proof of some conjectures of Z.-W. Sun on the divisibility of certain double sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569136"}},"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":"Q2800145$604C6673-DB19-49B6-A22E-92041F187EA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"121b75de9b0e0190e1ff5e0ca4dffe7735b0cf00","datavalue":{"value":{"text":"Proof of some conjectures of Z.-W. Sun on the divisibility of certain double sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800145$AB942C98-63B1-43AB-84C5-F58BA80B4BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aaa8d39ea85889ace2bb7a6275cf223e4988799","datavalue":{"value":"1346.11016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$14816C27-6178-487B-9B0B-DDBBB5678707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64476a1adcb5bf18d1540b3fc4e53f608c1df590","datavalue":{"value":"10.1142/S1793042116500391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$DDEB5219-D19B-4452-88D7-9C1BF13C54C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b430946aaab7d497ba4dfdcce59edd8033ec9acd","datavalue":{"value":{"entity-type":"item","numeric-id":232261,"id":"Q232261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800145$5F986DEF-3D50-4E52-8B9E-7A10AC75690B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a62d79672bf4c4abf0b3d4fa5aaaf0da3b10122","datavalue":{"value":{"entity-type":"item","numeric-id":301418,"id":"Q301418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800145$0C3E9BFF-7D14-44BD-8177-DFDF71B7123A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a035c107b10f77b626decca899281cb6367c70f2","datavalue":{"value":{"entity-type":"item","numeric-id":2789365,"id":"Q2789365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800145$26F48B05-06F9-431D-B98D-C59D7DA26435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800145$96D1CCFB-25A1-458A-90B0-5544C3D9C045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3331fc7e14e9180305965335bc682622cee96f5","datavalue":{"value":"https://arxiv.org/abs/1412.5415","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800145$51438DB1-3931-4A87-91F0-6791591A85A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$28C1CC20-E165-4539-A907-432A754DB06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42de9321ec9bffe9bd1dcf8c8689a504914f3754","datavalue":{"value":"33F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$923F1322-5682-46FB-9DD2-C323D4824C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$6629887C-E6F4-4E05-8F58-AB1D0EE16575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb9938906a88bdb0ea2c017990a3ef4381e342c1","datavalue":{"value":"6569136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$F353F895-A375-44C1-A5B5-09F96BF2F3C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800145$24C9BEBF-357D-4BE3-B2E6-F303CFA9BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ea8621cac084335b9cbeaacaa8e8b52fea1fa67","datavalue":{"value":"Catalan number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800145$3D63C6A1-9111-4780-ADCA-8F8D33C1F1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2761bdc40553125e7de6ae63b64d38a792ebd166","datavalue":{"value":"Legendre symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800145$27F07CBA-E1CB-43E2-8862-117A4629E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc148c45f8a133fadf92260f0123771cbb8a69c","datavalue":{"value":"Zeilberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800145$2994C848-4FE5-4D75-9760-2E0FC261AADD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"971add50a302b2c883646d2f5b00b3c01213eb1b","datavalue":{"value":"Q123308794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$3987910A-F4A5-4EE5-9385-F030376C6AE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fe89970fe8cbeb81bc4728b03adb5e70157e177","datavalue":{"value":{"entity-type":"item","numeric-id":31080,"id":"Q31080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800145$FBC2F7D8-0E67-4307-9465-267BED875D3F","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":"Q2800145$684705E5-9E74-47CA-920F-EFFCB3367F4B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cefce84c59c216bc7caa2c44ffedd71cc5904c6","datavalue":{"value":{"entity-type":"item","numeric-id":4382877,"id":"Q4382877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800145$320499EF-432C-4F02-9B20-9601A799BCA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b1c237975e8ab05570815f4bc5d0f76f957e580","datavalue":{"value":"W2964300986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800145$2C407D79-2A3D-48AB-88CD-E64502A9F92A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f20bcdffdd0d6d2358a916d8c1ab44fb316f396b","datavalue":{"value":"Numerous conjectures involving the numbers NEWLINE\\[NEWLINES_n=\\sum_{k=0}^{n}{n\\choose k}^2{2k\\choose k}(2k+1),NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE s_n=\\sum_{k=0}^{n}{n\\choose k}^2{2k\\choose k}\\frac{1}{2k-1},NEWLINE\\]NEWLINE NEWLINE\\[NEWLINE S_n^{+}=\\sum_{k=0}^{n}{n\\choose k}^2{2k\\choose k}(2k+1)^2, NEWLINE\\]NEWLINE proposed by \\textit{Z.-W. Sun} [``Two new kinds of numbers and related divisibility results'', Preprint, \\url{arXiv:1408.5381}] are here confirmed by employing the method of induction, the WZ algorithm developed by \\textit{M. Petkov\u0161ek} et al. [\\(A=B\\). Wellesley, MA: A. K. Peters (1996; Zbl 0848.05002)] and two congruences due to \\textit{H. Pan} and \\textit{Z. Sun} [Discrete Math. 306, No. 16, 1921--1940 (2006; Zbl 1221.11052)] and refined by \\textit{Z.-W. Sun} and \\textit{R. Tauraso} [Adv. Appl. Math. 45, No. 1, 125--148 (2010; Zbl 1231.11021)].NEWLINENEWLINEIn particular, the authors prove some binomial coefficient identities in terms of the Legendre symbol and the Catalan numbers like NEWLINE\\[NEWLINE 4\\sum_{k=0}^{n-1}kS_k=n^2\\sum_{k=0}^{n-1}\\frac{1}{k+1}{2k\\choose k}\\left(6k{n-1\\choose k}^2+{n-1\\choose k}{n-1\\choose k+1}\\right) NEWLINE\\]NEWLINE and subsequently they establish that NEWLINE\\[NEWLINE 4\\sum_{k=0}^{n-1}kS_k\\equiv \\sum_{k=0}^{n-1}s_k\\equiv \\sum_{k=0}^{n-1}S_k^{+}\\equiv 0\\pmod{n^2}\\quad\\text{for \\(n\\geq 1\\)}. NEWLINE\\]NEWLINENEWLINENEWLINEThe paper also suggests a way to solve a \\(q\\)-analogue open problem still formulated by Sun.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800145$8BD8940D-CA06-48EF-A377-544310BB30AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e88f4aa9310d64e44faca90f8af5bedee31984","datavalue":{"value":{"entity-type":"item","numeric-id":2352013,"id":"Q2352013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6257e5b38dfb23c59e1b44827735f9d88526fa97","datavalue":{"value":{"amount":"+0.8598684668540955","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":"Q2800145$70FC7E64-9F1A-4B8B-A6C4-96F976ED0689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4250127e8dacabbed5f3a150abf412d0a2fe68f2","datavalue":{"value":{"entity-type":"item","numeric-id":396941,"id":"Q396941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbd3d8c68d6261168d73adfd9ba9141ad592af5","datavalue":{"value":{"amount":"+0.8199778199195862","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":"Q2800145$7A8CBC79-BFD9-4160-9B2E-78E6C9A99227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f014c35a0a643d7ba138628732798f72ac2a05","datavalue":{"value":{"entity-type":"item","numeric-id":2631612,"id":"Q2631612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92089634e7f7858eb6b25cc4751b1e7fcc41b4ba","datavalue":{"value":{"amount":"+0.8156115412712097","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":"Q2800145$01765A36-109D-4E49-9113-913B2BFEEF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403678171afc96817090e5d6af3706bc348d35cd","datavalue":{"value":{"entity-type":"item","numeric-id":405269,"id":"Q405269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5f721a55344f1ac29bf4ae8a432a6b07faa7e9","datavalue":{"value":{"amount":"+0.8093651533126831","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":"Q2800145$8FE49F8D-7637-4F3B-B9C9-B52BF857624F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6585233de2031630841d95354164a9e4f28cfd8a","datavalue":{"value":{"entity-type":"item","numeric-id":1676049,"id":"Q1676049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7224d4a0a2e9231d1dc264460834c45ea95f47b2","datavalue":{"value":{"amount":"+0.8073115944862366","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":"Q2800145$97CBAAAA-0EB2-42EF-A53A-CD9E0C30C4DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800145"}}}}}