{"entities":{"Q2422137":{"pageid":2432880,"ns":120,"title":"Item:Q2422137","lastrevid":57916272,"modified":"2026-04-03T02:01:12Z","type":"item","id":"Q2422137","labels":{"en":{"language":"en","value":"New congruences involving products of two binomial coefficients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7067763"}},"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":"Q2422137$093A478B-69B0-4F91-A5DD-ADCD6A362E02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f34fdf8aae0a0d3592b7cbd9eece6c4c908b5a8","datavalue":{"value":{"text":"New congruences involving products of two binomial coefficients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2422137$02998A30-B245-4B07-9A19-957D2F23D0F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00937375e06acb0995ebebf7b28c47587615935b","datavalue":{"value":"1450.11014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$82FCCFFF-EAAB-4064-A505-9B0C3980C113","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"958721baa78c164919082346519ce1f520e7e347","datavalue":{"value":{"entity-type":"item","numeric-id":523701,"id":"Q523701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$4A260277-DAD2-4790-B0B8-7FADDD103559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a14c97ad5224b2edbeff56ccb3b746445592bec4","datavalue":{"value":{"entity-type":"item","numeric-id":189392,"id":"Q189392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$62DCACFD-EA1A-4539-8ECE-3A808E62DFCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$5B2D4F33-69F3-4E8E-9272-FB7A4002CACE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"001edf23e586a650fb6b34425b0aaf644eda2260","datavalue":{"value":{"time":"+2019-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2422137$99B8BF07-2777-46FB-9C98-CE7A60828B4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e68b2000551dce5b624d5397ab9bb6da3e66a9e","datavalue":{"value":"https://arxiv.org/abs/1601.04782","type":"string"},"datatype":"url"},"type":"statement","id":"Q2422137$F292E9B6-4D4B-4D1D-8C69-4B459597A0A1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"88f41ccbc3dd0725546c0f6194561dd5f41b9295","datavalue":{"value":"Over the last 20 to 25 years, a large number of research papers have appeared which deal with super-congruences. Two factors that have contributed to this flurry of activity -- (i) F. Rodriguez-Villegas came up with congruences conjectured via a study of hypergeometric families of Calab-Yau manifolds, and (ii) a series of conjectures by the second author. One group of mathematicians has been using modular forms and \\(q\\)-series to formulate as well as prove congruences and super-congruences. Another group has been arriving at congruences via infinite series.  In the paper under review, the authors use the Kummer-Legendre formula for the \\(p\\)-adic valuation of a binomial coefficient, a binomial identity due to the reviewer  et al. and earlier congruences discovered by the second author, to prove:  Theorem 1. Let \\(p\\) be an odd prime. Then,  \\[\\sum_{k=0}^{\\lfloor 3p/4 \\rfloor} \\frac{\\binom{2k}{k}^2}{16^k}\\equiv 1\\bmod p^3\\text{  if  }p\\equiv 1\\bmod 4;\\] \\[\\sum_{k=0}^{\\lfloor 3p/4 \\rfloor} \\frac{\\binom{2k}{k}^2}{16^k}\\equiv -1 + \\frac{p^2}{2\\binom{(p-3)/2|}{(p-3)/4}^2}\\bmod p^3\\text{  if  }p\\equiv 3\\bmod 4;\\] \\[\\sum_{k=0}^{\\lfloor 3p^a/4 \\rfloor} \\frac{\\binom{2k}{k}^2}{16^k}\\equiv \\bigg(\\frac{-1}{p^a} \\bigg)\\bmod p^3\\] for \\(a>1\\) where the Jacobi symbol is used on the RHS of the last super-congruence.  Theorem 2. Let \\(p \\neq 2,3\\) be a prime. Then, \\[\\sum_{k=0}^{(p-1)/2} \\frac{\\binom{2k}{k}\\binom{3k}{k}}{27^k}\\equiv \\bigg(\\frac{p}{3} \\bigg) \\frac{2^p+1}{3}\\bmod p^2;\\] \\[\\sum_{k=0}^{(p-1)/2} \\frac{\\binom{6k}{3k}\\binom{3k}{k}}{(2k+1)432^k}\\equiv \\bigg(\\frac{p}{3} \\bigg) \\frac{3^p+1}{4}\\bmod p^2;\\] \\[\\sum_{k=0}^{(p-1)/2} \\frac{\\binom{4k}{2k}\\binom{2k}{k}}{(2k+1)64^k}\\equiv \\bigg(\\frac{-1}{p} \\bigg) 2^{p-1}\\bmod p^2.\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422137$FD5CB590-E9FB-429E-AFB8-132415D56914","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$52AF5D4D-2CA0-463E-BE31-1AEF0F052D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2accb57c4f6d8612edc3fe6c9dd2ea40016db3f","datavalue":{"value":"11B68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$A77A0878-DB54-4F12-8689-590F664F6DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"880665e99fe5de07999ef2f74a810b36dd3dabed","datavalue":{"value":"05A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$9E1580FA-0EBE-47B9-8716-65D54D9770A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$491023CB-ABBC-4291-8A10-47FFE02A99AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7332c2355793a1c324f8d182b4f88d54f9088b7a","datavalue":{"value":"7067763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$094D7D5C-7DCB-40AD-95E1-0C80E44E408E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206a5712ef94e04bbfca3bb31542d877c104bd95","datavalue":{"value":"binomial coeficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422137$FD3EC9D4-E7C7-497B-A42D-06F6A265CB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4543d69c26d3624bb1e45a05d0677e333653a19","datavalue":{"value":"super-congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422137$7B5B9DB0-E6CD-4684-860D-AE59D00320D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7df965b8a1eb2a823016fe47c35248f4147c6d7","datavalue":{"value":"Calabi-Yau manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2422137$CB636568-6856-4876-BA48-6F5109D60112","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fb449c8167597e47589a043ecc0bc66f039293dc","datavalue":{"value":{"entity-type":"item","numeric-id":590359,"id":"Q590359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$D701486A-3E03-4487-902C-7D98D6AA53F1","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":"Q2422137$05460D20-EC08-4CDE-9FE8-194F458C596C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53a92d47856290dd9579b3964a9c81d77e23183f","datavalue":{"value":"W2063767035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$B1A5CAA7-E1D6-49D4-8446-45EA41B32642","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05998d56e344548730c4694a15e30515cabb5fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4460851,"id":"Q4460851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$ECE9068E-0BEC-468B-96F4-A4A56A767F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8969e42c63e9d7eed41d81ff94c684f79b3aa282","datavalue":{"value":{"entity-type":"item","numeric-id":1869814,"id":"Q1869814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$BA61442D-6EC6-45FA-BF0E-4B356355DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9c23fa1310dfa4dfe20e23cfd984795c094be0","datavalue":{"value":{"entity-type":"item","numeric-id":4825619,"id":"Q4825619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$99FB74DC-FFEC-4FFA-ADCC-6EE863DC0AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788df84bae2906962534d443eb584270ce4bda27","datavalue":{"value":{"entity-type":"item","numeric-id":2501564,"id":"Q2501564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$0CC325CB-08BD-4ECD-8168-0C09A3F2EE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b6c5b7213b65f22ac1c6e616716e1fbd06bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":477280,"id":"Q477280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$0DBC028C-990C-48B3-825B-C88E2D2DFD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebd33c2b2294c903d2b2ad6eb37a11c199d144c","datavalue":{"value":{"entity-type":"item","numeric-id":4870979,"id":"Q4870979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$37CD5DD7-4C06-49C8-B799-FA0C6654510E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fdfcacd0f05d64d979536bbd46979e590b317d","datavalue":{"value":{"entity-type":"item","numeric-id":4462785,"id":"Q4462785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$66A4B41E-C007-4B0B-9480-9517087655EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea30cea15ca0b84e3822236b72e405194b5f03da","datavalue":{"value":{"entity-type":"item","numeric-id":2810673,"id":"Q2810673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$70D0F635-D798-4D1E-9148-FAD7050217E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68610d1ff772a077d3f79406c533e45d0c1ad1c","datavalue":{"value":{"entity-type":"item","numeric-id":4844454,"id":"Q4844454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$6D9D338A-6E54-49F2-AC60-03F5434C36D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffd3f1d8282b9b8c6ef59b728a237ab9e281bf7","datavalue":{"value":{"entity-type":"item","numeric-id":625839,"id":"Q625839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$8144215E-417C-4D9A-B318-C4A0125687CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583c6fe02ef78f1d1f6644025b80883a6a3b586","datavalue":{"value":{"entity-type":"item","numeric-id":1934544,"id":"Q1934544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$0B2421F0-90FF-4704-9E13-44B85C952CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f71b91f1f91e8466fe74b008205c13294678d","datavalue":{"value":{"entity-type":"item","numeric-id":2444977,"id":"Q2444977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$586E3830-CBF1-4CF0-9332-000DC390F708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b06ff7b9980f5cb15769042c1870de81a4ae45","datavalue":{"value":{"entity-type":"item","numeric-id":384895,"id":"Q384895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$CBDB54F7-94D5-4D11-ABCC-FC91C70FA6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5101a737530e0e460684bec55aff86526c6aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":2436768,"id":"Q2436768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$3D8EA5DA-48F7-425D-811F-DC0525E464B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91120704284d14d07bd56ff57eb2d0c85876521","datavalue":{"value":{"entity-type":"item","numeric-id":3011054,"id":"Q3011054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$0E6DDD2C-B965-4FC7-80CB-F32B7BFC2630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f9753f782989cc4ec03a7a19e4efa3ea7b398b","datavalue":{"value":{"entity-type":"item","numeric-id":3023999,"id":"Q3023999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2422137$E183A472-76B6-4FF3-A16F-FAEF3F457A99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"243108f6d45c5b9619da23bc9d80e4ac6f38492e","datavalue":{"value":"10.1007/S11139-018-0089-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2422137$D28E70C7-F923-4750-9D4A-BF5DEDBD0C69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452fffe25974e0063eebef2c600c07ece12bd904","datavalue":{"value":{"entity-type":"item","numeric-id":5110136,"id":"Q5110136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9955f994ad3bde75a777cc092401714bda5c9e","datavalue":{"value":{"amount":"+0.8329026103019714","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":"Q2422137$D3367676-F90A-4074-B98B-A39AA96E9F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efaf8370d8284d43a1561b010a34c44f01f16bb","datavalue":{"value":{"entity-type":"item","numeric-id":2444977,"id":"Q2444977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f407ab18377697ae0c6aef9bd652b7d1f4f5a8","datavalue":{"value":{"amount":"+0.8304067850112915","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":"Q2422137$CE92C260-D03D-4C69-8C2B-6EB2C3B6471F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edcf6dbe56b0f380b99e25f0cf9af8bb3dd9c79a","datavalue":{"value":{"entity-type":"item","numeric-id":1869814,"id":"Q1869814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1977f1ec7e25a0e524b9bd6de67706e11424c6c5","datavalue":{"value":{"amount":"+0.7976959347724915","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":"Q2422137$F7DB2707-00FD-4262-8182-89FA43056E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737226a25ce5f20d696210a61db7d4bc5b1490c5","datavalue":{"value":{"entity-type":"item","numeric-id":6100725,"id":"Q6100725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360381f3bb2b7f21139c4f1f3263836e1307148f","datavalue":{"value":{"amount":"+0.7935494184494019","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":"Q2422137$C3B72943-5066-4E48-A7D0-A1A16BAD5953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041a5cfdc644c62a3dfd60a65ebb3d11eea5e9ff","datavalue":{"value":{"entity-type":"item","numeric-id":4582736,"id":"Q4582736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0753ee9effeb8e7afc198dacff0f6c5eb5977e3","datavalue":{"value":{"amount":"+0.7891017198562622","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":"Q2422137$4333625D-C057-4181-8894-3080095AE4EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2422137","badges":[]}}}}}