{"entities":{"Q972860":{"pageid":974708,"ns":120,"title":"Item:Q972860","lastrevid":65695758,"modified":"2026-04-12T04:30:58Z","type":"item","id":"Q972860","labels":{"en":{"language":"en","value":"Factors of alternating binomial sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5710839"}},"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":"Q972860$0E2D7233-70F3-48AA-9D87-F09B34D5F64E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1b669ecf9b2e1e942b8053251a55c32c739f3be","datavalue":{"value":{"text":"Factors of alternating binomial sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q972860$BAB45F29-737A-4613-B5E6-3BA19A483367","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"beb3f8ac429a83e9294fcc4e79a95f252ce47019","datavalue":{"value":"1206.11023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$BD213B8F-9683-42EB-80DB-0C8FED287928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be2ede14f4c71a05d163328aa493e3b75618f63","datavalue":{"value":{"entity-type":"item","numeric-id":405083,"id":"Q405083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$D07DADB6-9693-4AF5-93BD-27797FEA8FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08c3d3e289068a673e4f8fe0273d245971b90c6","datavalue":{"value":{"entity-type":"item","numeric-id":387565,"id":"Q387565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$8A1C3E1E-C837-43FD-96C3-00B1201FD0F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f171e2d358ed0c5ffcfe728031d35021527481f7","datavalue":{"value":{"entity-type":"item","numeric-id":103557,"id":"Q103557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$4B61A290-E471-4E7D-8C4C-8DF7E188D8DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55bff1cde4af9ec013d98855f36c47ee535bd8b2","datavalue":{"value":{"time":"+2010-05-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":"Q972860$DF439975-E132-4E77-96B5-0841B7A1DB55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc1a4af38d46f73c0a51a97da06155711b5725d","datavalue":{"value":"https://arxiv.org/abs/0903.3767","type":"string"},"datatype":"url"},"type":"statement","id":"Q972860$5B725868-678D-42E1-BC45-7E0AC8FA1B63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b90b28ee9e3f69164a74f2dd1ff9edebd463c1dc","datavalue":{"value":"\\textit{N. J. Calkin} [Acta Arith. 86, No. 1, 17--26 (1998; Zbl 0917.11011)] showed that for all positive integers \\(n\\), \\(m\\),  \\[ \\sum _{0\\leq k \\leq 2n} (-1)^k {{2n}\\choose {k}}^m \\]  is divisible by \\({2n}\\choose{n}\\).  After generalizing Calkin's congruence, \\textit{V. J. W. Guo, F. Jouhet} and \\textit{J. Zeng} [Acta Arith. 127, No. 1, 17--31 (2007; Zbl 1116.05004)] proposed some conjectures on alternating binomial sums based on computer experiments.  The first conjecture states that for any positive integers \\(m\\) and \\(n\\), the greatest common divisor of  \\[ \\sum _{0\\leq k \\leq 2n} (-1)^k {{2n}\\choose {k}}^r {: r=m, m+1,\\dots} \\]  is equal to \\({2n}\\choose{n}\\).  The second conjecture states that for any positive integers \\(r,s,t\\) and \\(n\\),  \\[ \\sum _{-n\\leq k \\leq n} (-1)^k {{6n}\\choose {3n+k}}^r {{4n}\\choose {2n+k}}^s {{2n}\\choose {n+k}}^t \\]  is divisible by both \\(2\\)\\({6n}\\choose{n}\\) and \\(6\\)\\({6n}\\choose{3n}\\); furthermore, if \\({(r,s,t)\\neq (1,1,1)}\\), then  \\[ \\sum _{-n\\leq k \\leq n} (-1)^k {{8n}\\choose {4n+k}}^r {{4n}\\choose {2n+k}}^s {{2n}\\choose {n+k}}^t \\]  is divisible by \\(2\\)\\({8n}\\choose{3n}\\).  Such conjectures are all confirmed within the exemplar theorem-proving framework established in this paper by using the \\(q\\)-analogue of Lucas congruence from \\textit{B. E. Sagan} [Adv. Math. 95, No. 1, 127--143 (1992; Zbl 0761.11010)] and by applying a property of the \\(d\\)-th cyclotomic polynomial from \\textit{V. J. W. Guo} and \\textit{J. Zeng} [Eur. J. Comb. 27, No. 6, 884--895 (2006; Zbl 1111.05009)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q972860$EBBD1704-1825-40A2-867C-7EAF72C56177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$4C59C735-918E-4AC5-8F8A-7B9AD7B73BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$F9BEEC7C-99A8-47B4-AEDC-A45FF2FB70C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2878726e144b349cdff0443c91b453767c760f4","datavalue":{"value":"05A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$57B3ED3C-5FC5-4561-BCD4-6288A24BD580","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1558baf1a1ea9676d3ecef696582ba493afe819b","datavalue":{"value":"5710839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$A1305DF7-5A83-4087-92C4-B7107903120C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27037bec4e093e81c199af10b132bc36f403924a","datavalue":{"value":"\\(q\\)-binomial coefficient","type":"string"},"datatype":"string"},"type":"statement","id":"Q972860$49E3DAD2-6AC7-4497-82B6-A458FE8ABD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3830b0910f1af2355bbc6ca39e7e832bd2f097b","datavalue":{"value":"cyclotomic polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q972860$DAEF77A3-9EC7-4A98-9887-449998C58586","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":"Q972860$2C18AB18-029E-4649-BC42-81C01C2A76D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f703e94ad55c617c5ef42e11528805c3344e896","datavalue":{"value":"W2023426907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$93BC1E2B-9E81-44AC-9698-D878FCD8C84D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac00f2204b885a33df76314414d461cf1bba8281","datavalue":{"value":{"entity-type":"item","numeric-id":3219268,"id":"Q3219268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$6F42C4E5-BB8E-4A34-81F2-7ED3E9CF0F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e36cdc9ac6e25f24f72f3073813fabaedeab7df","datavalue":{"value":{"entity-type":"item","numeric-id":4236026,"id":"Q4236026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$7E89FBAF-3A72-4BC1-88FF-B7725F2CD591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49a4a537a90ddc6d47fa54e609c109b0667a4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2497483,"id":"Q2497483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$BABC22D6-297A-4154-B17F-0093BBAB0647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30018d88782e202fe91994ee82c75a1c5b9eec5f","datavalue":{"value":{"entity-type":"item","numeric-id":3426718,"id":"Q3426718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$4C083A55-84F9-4F95-A6E4-BC25B9B8BD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1faa0d07898956d98c6fd7a7b98ea4da9b4a365d","datavalue":{"value":{"entity-type":"item","numeric-id":2493107,"id":"Q2493107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$86BD8DD5-F700-473C-89BB-3155CE4A2E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b682efcbb98c199e0eb875892bfba435140d24e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199768,"id":"Q1199768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$FC55AE47-BDA0-4C19-A34A-71C8118ECEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d825095afe6e2215dbc5ab36153017eec07800e3","datavalue":{"value":{"entity-type":"item","numeric-id":4344108,"id":"Q4344108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972860$D94F7313-986E-4728-AA26-173B47130600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd315811f65781d33c6b619722174e449f079d02","datavalue":{"value":"10.1016/J.AAM.2009.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972860$37BEF5DF-DB90-44F9-B5FD-E6E74AB513CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d10f012cdbe134f6c3df3a5d4b1d495fc773f10","datavalue":{"value":{"entity-type":"item","numeric-id":3101590,"id":"Q3101590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628cada170be45b9d1211e614cadebe3aacca7ea","datavalue":{"value":{"amount":"+0.8631332516670227","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":"Q972860$D27B5828-ECE0-4207-8844-2113C4AED653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a08969fa57f8e6e59fc271a20479caf2f5a2144","datavalue":{"value":{"entity-type":"item","numeric-id":2116790,"id":"Q2116790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f88a0540bdf2b7126a0011eb26a0a5e84f7db0","datavalue":{"value":{"amount":"+0.8211531043052673","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":"Q972860$D9B972E4-9C50-406D-9AEF-D992D18733F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f69f6f8c67cbb613a9026dd7826d62a2e11adb80","datavalue":{"value":{"entity-type":"item","numeric-id":3426718,"id":"Q3426718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc01fd200765ab6cf2df10bcdbe333ad300c6693","datavalue":{"value":{"amount":"+0.8206858038902283","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":"Q972860$1A68275A-29FE-4DCC-8F61-ADE5CCCFA9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62622e66f7507a2af2a2343701db999b61249aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1722071,"id":"Q1722071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9953d99ac7acdb6313ba1fd06075e8fb7ca5457","datavalue":{"value":{"amount":"+0.8145697116851807","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":"Q972860$07C672CC-B4EF-4D55-B9B3-F14427C3C416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"745a40a26c6ee6908119ae23d6d4032cb9074652","datavalue":{"value":{"entity-type":"item","numeric-id":472824,"id":"Q472824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93bea2bd765df8cf0713a8f44a9e8aa9a5e2f714","datavalue":{"value":{"amount":"+0.8051943778991699","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":"Q972860$9D0092D5-2C0F-4F77-B3B2-F007FA9E5997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Factors of alternating binomial sums","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Factors_of_alternating_binomial_sums"}}}}}