{"entities":{"Q6641670":{"pageid":14252822,"ns":120,"title":"Item:Q6641670","lastrevid":55796002,"modified":"2026-02-17T22:56:54Z","type":"item","id":"Q6641670","labels":{"en":{"language":"en","value":"On the Kimoto-Wakayama supercongruence conjecture on Ap\u00e9ry-like numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7947626"}},"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":"Q6641670$2F6F9522-3A8F-4DB4-A283-22AD5007075B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f92afc5aa9c431da05f4f390b55e66c17354066","datavalue":{"value":{"text":"On the Kimoto-Wakayama supercongruence conjecture on Ap\u00e9ry-like numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6641670$F84DEFB0-4661-48C0-B249-C5205F2C0105","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e1bdc1dc53618b963e545d14cfccb8a5a04eba","datavalue":{"value":{"entity-type":"item","numeric-id":272825,"id":"Q272825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$35F52CAE-DD5B-47BF-82B7-1F98596836E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$686F933A-1EF4-4F47-AD91-4E85F8DA9E81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f0c97f2909816a9142c50d1aacb71e79684c2c4","datavalue":{"value":{"time":"+2024-11-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":"Q6641670$58E3A9C2-2B40-4145-B685-0823F6F05538","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f5553b2808b5b8e0665f4ff9148904a36bf318f","datavalue":{"value":"The author proves that, letting \\(p\\) be an odd prime and \\(\\operatorname{ord}_{p} x\\) be the exponent of \\(p\\) in \\(x\\), i.e., \\(x=\\prod_{p} p^{\\operatorname{ord}_{p} x}\\), \\N\\[\\N\\binom{2 j^{\\prime}}{j^{\\prime}} \\equiv(-1)^{\\frac{p-1}{2}}\\binom{2 j}{j} \\quad \\pmod{p^{r+s+1}} \\tag{1}\\N\\]\\Nwhere \\(2 j^{\\prime}+1=(2 j+1) p\\), \\(r=\\operatorname{ord}_{p}(2 j+1)\\), and \\(s=\\operatorname{ord}_{p}\\binom{2 j}{j}\\).\\N\\NThe \\((1)\\) is an equivalent formulation of the following supercongruence \\N\\[\\N p^{(2 s+1) n} \\widetilde{J}_{2 s+1}\\left(m p^{n}\\right) \\equiv p^{(2 s+1)(n-1)} \\widetilde{J}_{2 s+1}\\left(m p^{n-1}\\right) \\quad \\pmod{p^{n}} \\tag{2} \\N\\]\\Nwhere \\(m\\) is a positive integer, with \\(m \\leq \\frac{p-1}{2}\\), and \\N\\[\\N\\widetilde{J}_{2 s+1}(n)=\\sum_{k=0}^{n}(-1)^{k}\\binom{-\\frac{1}{2}}{k}^{2}\\binom{n}{k} Z_{s}^{\\text {odd }}(k) \\tag{3}\\N\\]\\NIn \\((3)\\) we have \\( Z_{s}^{\\text{odd}}(k) = \\frac{(-1)^{s}}{2} \\sum_{k>j_{1}>\\cdots>j_{s} \\geq 0} \\frac{1}{\\left(j_{1}+\\frac{1}{2}\\right)^{2} \\cdots\\left(j_{s-1}+\\frac{1}{2}\\right)^{2}\\left(j_{s}+\\frac{1}{2}\\right)^{3}}\\binom{-\\frac{1}{2}}{j_{s}}^{-2}\\).\\N\\NThe supercongruence \\((2)\\) for the odd case \\((3)\\) was conjectured by \\textit {K. Kimoto} and \\textit {M. Wakayama} [Ann. Inst. Henri Poincar\u00e9 D, Comb. Phys. Interact. 10, No. 2, 205--275 (2023; Zbl 1531.11083)] as corresponding of the even case \\(\\widetilde{J}_{2s+2}(n)\\) they had established while studying the two-fold Ap\u00e9ry-like numbers \\(\\widetilde{J}_{k}(n)\\) related to the special values of the spectral zeta function \\(\\zeta_{Q}(s)\\), at integer points, associated to the non-commutative harmonic oscillator defined by the differential operator \\((4)\\) for \\(\\alpha, \\beta>0\\), with \\(\\alpha \\beta>1\\), \\N\\[\\NQ_{\\alpha, \\beta}=\\left(\\begin{array}{cc} \\alpha & 0 \\\\\\N0 & \\beta \\end{array}\\right)\\left(-\\frac{1}{2} \\frac{d^{2}}{d x^{2}}+\\frac{1}{2} x^{2}\\right)+\\left(\\begin{array}{cc} 0 & -1 \\\\\\N1 & 0 \\end{array}\\right)\\left(x \\frac{d}{d x}+\\frac{1}{2}\\right) \\tag{4} \\N\\]\\NBesides an interesting extension of Wolstenholme's theorem from \\textit {C. Helou} and \\textit {G. Terjanian} [J. Number Theory 128, No. 3, 475--499 (2008; Zbl 1236.11003)], the proof employs a binomial manipulation of \\(\\operatorname{ord}_{p}\\binom{2j}{j}\\) and an ingenious rearrangement of Morley's congruence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6641670$FD250D17-4CB8-4FA9-90F1-06795373D36F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$246C2AD5-5C2E-445B-BE45-92BE7BE14AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$06C70FDC-266F-4DD0-9DE0-82B988CB0BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd66ef8ebb08009d6c7c443705066bc1eebb3e7a","datavalue":{"value":"11M36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$C6BB8BE4-D779-4045-9400-28A5E05C0C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4ebf17391ff4e7d73d6cf1739710e21d40a95ea5","datavalue":{"value":"11M41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$B79D828C-3615-4B71-82DA-13F959FDE641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee378e790d922c63963042ba541644d8a69d73a1","datavalue":{"value":"34K11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$02C9C8CC-713E-42FF-8A0C-B6D10A50041C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a35de65045df368e2bdb853db3058fa7c4b296a2","datavalue":{"value":"7947626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$58BDEE22-3414-4A01-A6EA-685129E78863","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946f7a14aa2b5c831c9ef0a1406c3c4f26261b39","datavalue":{"value":"Ap\u00e9ry-like numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6641670$274B8272-F2EB-48C2-AFA8-7C235D37320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6933904f2da74e6d0560cde2be3588f167798f0e","datavalue":{"value":"supercongruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6641670$9E9E460E-BE77-4BD0-AD77-D5BF72702056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7437b267e42463ceb93d4688af18e9622fd83d03","datavalue":{"value":"spectral zeta functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6641670$83AF8268-449E-4016-9F0E-C677BA8E9038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e55fd3e64f9fd5643038df9eca95522aff43bfef","datavalue":{"value":"Wolstenholme's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6641670$8FF32D64-1BE2-4DBF-BD19-9BCA8F8F451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31150e2dad426ec401e45b23d6a9f8f74c996d96","datavalue":{"value":"Morley's congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6641670$86128694-99D2-4702-ACCC-933B840235D8","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":"Q6641670$F18DF0D6-9183-4EBD-B059-F30B5BEBD7B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f97e08ac81aeb1a1c411458472e6deeef46a17a","datavalue":{"value":{"entity-type":"item","numeric-id":4184941,"id":"Q4184941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$28E7F384-D6FB-4905-ABA2-167E921CC577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a8704ddce7509f90eb7369896ec65013d44770","datavalue":{"value":{"entity-type":"item","numeric-id":2474294,"id":"Q2474294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$DA9CC32B-EBA7-4616-B0E8-0416EE4146D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb07e3f85f1fd19c089878a713ea620a5b859f52","datavalue":{"value":{"entity-type":"item","numeric-id":3420141,"id":"Q3420141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$603B1333-0D48-4D7D-A6E0-1A45D7C64836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d2c04e89cf0028306c925045d0fecb14343ff3","datavalue":{"value":{"entity-type":"item","numeric-id":5421732,"id":"Q5421732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$7BC8D08C-3749-437B-BB51-E25D3553ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77809964b6b6b9fd15d1d74ba83ededf50045c4d","datavalue":{"value":{"entity-type":"item","numeric-id":6100160,"id":"Q6100160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$14D703E4-3D66-4C2B-BBA4-B8229FA41EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80813f36647046167e0c48afa75691b1f29deb4e","datavalue":{"value":{"entity-type":"item","numeric-id":1524763,"id":"Q1524763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$EC767957-6C9C-42FD-9A37-599DE39FBC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec6de9941fad59be3ace8d9ebce3659ae0df1c1","datavalue":{"value":{"entity-type":"item","numeric-id":2710153,"id":"Q2710153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$10F947A3-BF3F-4FA1-88CD-9DA73E25E094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5f6aef027c76c7138dfaaa439909590a42d0fb","datavalue":{"value":{"entity-type":"item","numeric-id":4530800,"id":"Q4530800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$7CB5C3DD-5B12-4AF5-969F-DFAD335916BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acd538949a81ed7c7bd0e4d4fd859bdcfd1ff68","datavalue":{"value":{"entity-type":"item","numeric-id":3150733,"id":"Q3150733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6641670$D97B04B6-B4F7-4379-B1FB-500A377B75A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4f098c0975fffc1d1f362ce3f67d78a74aab2e8","datavalue":{"value":"10.1007/S00013-024-02062-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6641670$93968ED9-932A-45C5-BC3F-F17997932B5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219dcf1720896a68a7eee6b7955ada49f6e81ad9","datavalue":{"value":{"entity-type":"item","numeric-id":1659276,"id":"Q1659276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f01db8894af10016534ad2248d06de731e73bb6","datavalue":{"value":{"amount":"+0.8611031770706177","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":"Q6641670$C6581B54-5224-40E0-8A2C-24FD3D2D6B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df2b24fe24b0264995b2f23a4b45555cf174cca","datavalue":{"value":{"entity-type":"item","numeric-id":5146415,"id":"Q5146415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fbdbef8c71040166ee08cc59af10abc2afe82c","datavalue":{"value":{"amount":"+0.8436993956565857","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":"Q6641670$605FDC35-FA2E-4F7E-BF4E-2767B42C684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567d34dfcb8d1acea3ac4ac9dfaf1f24146d426c","datavalue":{"value":{"entity-type":"item","numeric-id":5220119,"id":"Q5220119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769ec5ae3a777ce2a8d653b6f0a1744f1be5a320","datavalue":{"value":{"amount":"+0.8110106587409973","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":"Q6641670$97BB3E81-D385-4FA6-B2D9-228A6E50FE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cffb94ea8c4f2f7bd86c32ce4f51709748e821a1","datavalue":{"value":{"entity-type":"item","numeric-id":3481760,"id":"Q3481760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79328814cb7f571e5ac447b0c70d9f2d94d14a25","datavalue":{"value":{"amount":"+0.7965195775032043","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":"Q6641670$AA0574E1-2A5C-4B7B-8A30-165AD1D10091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032f3f46d40649e42ef41168199225d4b709fab6","datavalue":{"value":{"entity-type":"item","numeric-id":2817009,"id":"Q2817009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733f8a70186e2eb25271956acbf904336b1ecb85","datavalue":{"value":{"amount":"+0.790607750415802","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":"Q6641670$024A825A-EB53-4E1B-A306-566374AF16EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6641670","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6641670"}}}}}