{"entities":{"Q650321":{"pageid":652170,"ns":120,"title":"Item:Q650321","lastrevid":51374162,"modified":"2026-01-17T23:47:47Z","type":"item","id":"Q650321","labels":{"en":{"language":"en","value":"A supercongruence motivated by the Legendre family of elliptic curves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5980702"}},"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":"Q650321$5B7B3061-556C-40E5-9430-AA8CBAA04DD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b36d3702ca69ecb815c083efcad7cc639d3757f5","datavalue":{"value":{"text":"A supercongruence motivated by the Legendre family of elliptic curves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q650321$6D298D7E-0928-4D67-9FFE-2E895BAFFAC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f0b0a08a824c3f2e66fc50ff989ff5db0cdee73","datavalue":{"value":"1252.11017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650321$F2854C61-2210-4327-A471-B812B98B6405","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6d16de8f9a9b2db18c13906a8df731fe290b355","datavalue":{"value":"10.1134/S0001434610090324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650321$CEFB40C3-52F5-4248-BCFC-AED0791ED1A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83382c7804ad0cb7880eb8f3c7aa4742f40738cc","datavalue":{"value":{"entity-type":"item","numeric-id":180190,"id":"Q180190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$3246ACD2-C2CE-4FAE-BC1A-8C80CFEE8460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f577a6c17a7826816e17f8f6f7b59102fbe0465","datavalue":{"value":{"entity-type":"item","numeric-id":266596,"id":"Q266596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$E4250C96-CE04-4069-A3DA-B3E4AE15D7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82c60b43cbfb19972244d97a32fe729266da6222","datavalue":{"value":{"entity-type":"item","numeric-id":303815,"id":"Q303815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$B1713B28-30B4-4DBC-9B00-B57C9582BA17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$7EA01FF2-1452-4321-B04D-020B8BA1742D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q650321$B0E6C38D-DCB3-48DE-B842-BE8D0145DA7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e63d3490d2d4aa5d409b7dc86d26f097e8b6ed36","datavalue":{"value":"The so-called supercongruences are usually proved through methods like the WZ algorithm, \\(e.g.\\), by \\textit{W. Zudilin} [J. Number Theory 129, No. 8, 1848--1857 (2009; Zbl 1231.11147)], or the Gaussian hypergeometric series, \\(e.g.\\), by \\textit{S. Ahlgren} and \\textit{K. Ono} [J. Reine Angew. Math. 518, 187--212 (2000; Zbl 0940.33002)] and by \\textit{R. Osburn} and \\textit{C. Schneider} [Math. Comput. 78, No. 265, 275--292 (2009; Zbl 1209.11049)], or the hypergeometric series evaluation identities, \\(e.g.\\), by \\textit{D. McCarthy} and \\textit{R. Osburn} [Arch. Math. 91, No. 6, 492--504 (2008; Zbl 1175.33004)].  Not so in this paper, where the following supercongruence for primes \\(p>2\\):  \\[ {\\sum_{k=0}^{(p-1)/2}}\\;2^{-3k}{\\binom{2k}k}^2 \\equiv\\;(-1)^{(p-1)/2} {\\sum_{k=0}^{(p-1)/2}}\\;2^k {\\binom{(p-1)/2}k}^2 \\pmod{p^2}, \\]  is established using only elementary binomial identities and the Legendre transforms of certain sequences. The basis for such original proof is the following result:  \\[ {\\sum_{k=0}^{(p-1)/2}}\\;2^{-3k}{\\binom{2k}k}^2 \\equiv\\;(-1)^{(p-1)/2} {\\sum_{k=0}^{(p-1)/2}}\\;2^k {\\binom{(p-1)/2}k}^2 \\pmod{p}, \\]  obtained by combining previous works from \\textit{J. H. Silverman} [The arithmetic of elliptic curves. New York etc.: Springer-Verlag (1986; Zbl 0585.14026)] and from \\textit{C. H. Clemens} [A scrapbook of complex curve theory. New York etc.: Plenum Press (1980; Zbl 0456.14016)].  The authors are also able to prove in an elegant way the following supercongruence:  \\[ {\\sum_{k=0}^{(p-1)/2}}\\;2^{-4k}{\\binom{2k}k}^2 \\equiv\\;(-1)^{(p-1)/2} \\pmod{p^2}, \\]  due to \\textit{E. Mortenson} [J. Number Theory 99, No. 1, 139--147 (2003; Zbl 1074.11045)] and they suggest the possibility to find similar elementary proofs for other supercongruences still provided by \\textit{E. Mortenson} [Trans. Am. Math. Soc. 355, No. 3, 987--1007 (2003; Zbl 1074.11044)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$E8026FD1-02A4-4711-937D-65A9A49E0FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650321$300DB2E3-AA93-45CA-9657-367E8BA4D1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650321$7D5C201B-BB67-49AA-A8EE-EF3D16DF495A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2863beaa33998b0f3e50384f41b85b8ceedef313","datavalue":{"value":"5980702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650321$E63C0953-230C-46B8-A3BE-FDFEEED8124A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dfb8de61732023674fa6f174e98e8c4d6a31801","datavalue":{"value":"supercongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$18692E40-3BC2-452F-B206-285A30F48A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152a3a8a7275b37d6dbe5f1a44038a85372ab00c","datavalue":{"value":"elliptic curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$69F25126-FE7E-4F40-AB76-0AB5B4507F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78deb89385b307afb2ac8f36b1a1db2e5000841","datavalue":{"value":"Legendre transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$15AD6FF8-E3C1-4152-947D-26C605BCCF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11dffaa0b9f79f0fd93c2bf07bc7a26fe5d66084","datavalue":{"value":"ramified double cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$9174D9D0-EB9B-4CB7-8B7C-C97C25CE65CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3711b386902559bb22bf67091b7eca92012716a","datavalue":{"value":"finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$CFB7E84B-3650-43F7-A1A3-4D51A8C64D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d904c0d135e7727cfef2673860e1744517a9b92","datavalue":{"value":"Hasse invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q650321$6B3258FD-BF34-4C22-AF7F-4A6B0C3599A6","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":"Q650321$9E151392-97B3-437B-970B-493B9EBDC374","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c8f72d2f31dfed1e84b2b079e56165fe0554c1","datavalue":{"value":{"entity-type":"item","numeric-id":3904698,"id":"Q3904698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$5AEB8742-7D96-4E2B-903F-E19F18A085BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e037c1e7d862f7a1636e0933442d554e296dfb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3055094,"id":"Q3055094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$4F68787C-EB8D-46AB-8503-37B7B0C1CEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5cbc0464330faba8fa1045d019dbab11cc0883","datavalue":{"value":{"entity-type":"item","numeric-id":1025891,"id":"Q1025891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$0D97855B-A87F-493D-A207-5C03A76864FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf67ad771c6dc6a6586930aa86d7b02f51130f9","datavalue":{"value":{"entity-type":"item","numeric-id":4937754,"id":"Q4937754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$AB0ACE05-C0D7-41EE-AFB2-9BCC96B39F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2924737ee40f17b0066d551ea6ee33d4dc8720e5","datavalue":{"value":{"entity-type":"item","numeric-id":999107,"id":"Q999107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$71E69D06-63C8-45EF-8A38-ADC370C15199","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":"Q650321$E55CFF67-6BC0-49F7-AC4B-821C612D975D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8d8a40017d27c2a185303379841ea28b4aa637","datavalue":{"value":{"entity-type":"item","numeric-id":4787448,"id":"Q4787448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q650321$3E6539DA-E9B0-42BA-B80C-B322FCF5B608","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4d4a9316a43eaebf4e4767c4d663c18ab0f4025","datavalue":{"value":"https://doi.org/10.1134/s0001434610090324","type":"string"},"datatype":"url"},"type":"statement","id":"Q650321$5F543A8C-513D-4D86-A112-395AF9755530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf880f4582b71ef36cc241babfb3e46265effb12","datavalue":{"value":"W2022447517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q650321$A7068BFA-1E50-438D-B569-E23710BDD642","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186ff982d976d860a41448544332b5e1b687e635","datavalue":{"value":{"entity-type":"item","numeric-id":2054722,"id":"Q2054722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476673fcba0ce0eb6825208d25708362e2a40c27","datavalue":{"value":{"amount":"+0.8386528491973877","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":"Q650321$07035261-12C0-4087-9993-BD895FC1A27A","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":"399eb05805ffdc5cf6a93e6a703be0cbbed11c00","datavalue":{"value":{"amount":"+0.8250154852867126","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":"Q650321$080A92A8-A570-48C4-8799-EA1A80F72246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d968e4aa834055c86227a5380b403632d99bd1ba","datavalue":{"value":{"entity-type":"item","numeric-id":2029017,"id":"Q2029017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194bfe21dd56f55cda14dcf2a1bcf205018526a1","datavalue":{"value":{"amount":"+0.8218814730644226","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":"Q650321$D318C124-46A2-407B-9D25-30F8EE459254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e63f302bf4c11a1182165f84c2793527b1eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":627404,"id":"Q627404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e487126308f6502f6f80018d3cebc44c9634c4ad","datavalue":{"value":{"amount":"+0.8184803128242493","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":"Q650321$42A0938A-180F-40E4-8C11-1C37AF24D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7faee21bec233a64ccc44053019034a70714f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4689887,"id":"Q4689887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e09f4b2b7b6b26ab1e4d13a0d4cfd816ba4d5093","datavalue":{"value":{"amount":"+0.8146834969520569","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":"Q650321$C6F9D1D4-40C6-45B0-8745-348EFD6920F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:650321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:650321"}}}}}