{"entities":{"Q829697":{"pageid":831545,"ns":120,"title":"Item:Q829697","lastrevid":64654836,"modified":"2026-04-11T21:20:43Z","type":"item","id":"Q829697","labels":{"en":{"language":"en","value":"On supercongruences for truncated sums of squares of basic hypergeometric series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7344963"}},"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":"Q829697$FA2E6A1D-85EB-470C-BFBA-DBE427B0C786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d33c8452b7490e3289492005b8279ccc306360c","datavalue":{"value":{"text":"On supercongruences for truncated sums of squares of basic hypergeometric series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q829697$B9294EC3-D848-4E36-BFE7-05E66120BC89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e91e285af9dfb280b2bcd699047d1943bb4c2997","datavalue":{"value":"1473.11002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$5B63DDFB-3623-4617-8E1E-9F83E23E5B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78b8fdb8b5a736e9dc42473bb053dd7ac5e5175","datavalue":{"value":{"entity-type":"item","numeric-id":591989,"id":"Q591989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$2B921C60-37FA-49BF-B7F9-98625E29275A","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":"Q829697$12DBF17F-2724-4EBB-9DEB-921799A4949F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"871f9786a8ffdcbd1a1c6ea2da06f791d886ca70","datavalue":{"value":{"time":"+2021-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q829697$1A7F5B26-B384-4669-B1D3-2D670616D6EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac11c1dd2feafe4232f57cff4cd791d6ce2d8bad","datavalue":{"value":"https://arxiv.org/abs/1911.10491","type":"string"},"datatype":"url"},"type":"statement","id":"Q829697$69D08284-C6B7-4562-84DD-554941B6B244","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0bf17c1c8d3c60bfe28818aec2b6de92faf3c1a","datavalue":{"value":"This short note discusses supercongruences for truncated sums of squares of basic hypergeometric series, generalizing results of \\textit{V. J. W. Guo} and \\textit{W. Zudilin} [Adv. Math. 346, 329--358 (2019; Zbl 1464.11028)].  For a complex number \\(q\\) and a complex variable \\(a\\), the \\(q\\)-shifted factorials are defined by \\((a:q)_0=1, (a:q)_n=\\prod_{i=0}^{n-1}(1-aq^i)\\) and \\((a:q)_{\\infty}=\\prod_{i=0}^{\\infty}(1-aq^i),\\,|q|<1\\). For any nonnegative integer \\(n\\), the \\(q\\)-integer is given by \\([n]_q=[n]=(1-q^n)/(1-q)=1+q+\\cdots+q^{n-1}\\). The \\(n\\)-th cyclotomic polynomial in \\(\\mathbb{Z}[[q]]\\) is given by \\(\\Phi_n(q)=\\prod_{j=1}^n (q-\\zeta^j)\\) where \\(\\zeta=e^{2\\pi i/n}\\) is the \\(n\\)-th root of unity, and the product runs over \\(j\\) such that \\(\\mathrm{gcd}(j,n)=1\\).  Some sample results are formulated in the following theorems.  Theorem 1: Let \\(C_q(k)\\) be the \\(k\\)-th term of \\[\\sum_{n=0}^{\\infty}(-1)^k\\frac{(q:q^2)_k(-q:-q^2)^2_k}{(q^4:q^4)_k(-q^4:q^4)^2_k}[6k+1]q^{3k^2}\\] and let \\[a_q(k)=\\sum_{j=0}^k c_q(j)c_q(k-j).\\] Then for any positive odd integer \\(n\\),  \\[\\sum_{k=0}^{n-1} a_q(k)\\equiv 0\\pmod{[n]}).\\] Letting \\(q\\to 1\\), for any odd prime \\(p\\),  \\[\\sum_{k=0}^{p-1}\\frac{(-1)^k}{8^k}\\sum_{j=0}^k\\binom {2j}j\\binom{2k-2j}{k-j} (6j+1)(6k-6j+1)\\equiv 0\\pmod p.\\]  Theorem 2: Let \\(C_q(k)\\) be the \\(k\\)-th term of \\[\\sum_{k=0}^{\\infty}\\frac{(aq:q^2)_k(q/a:q^2)_k(q:q^2)_{2k}}{(aq^6:q^6)_k(q^6/a:q^6)_k(q^2:q^2)_{2k}}(8k+1)q^{2k^2}\\] and let \\[a_q(k)=\\sum_{j=0}^k c_q(j)c_q(k-j).\\] Then for any positive odd integer coprime to \\(6\\), \\[\\sum_{k=0}^{n-1}a_q(k)\\equiv q^{-(n-1)}[n]^2\\pmod{[n]\\Phi_n(q)^2}.\\] Letting \\(a\\to 1\\), let \\(c_q(k)\\) be the \\(k\\)-th term of \\[\\sum_{k=0}^{\\infty}\\frac{(q:q^2)_k^2(q:q^2)_{2k}}{(q^6:q^6)^2_k(q^2:q^2)_{2k}}[8k+1]q^{2k^2}\\] and \\[a_q(k) =\\sum_{j=0}^k c_q(j)c_q(k-j).\\] Then for any positive odd integer coprime to \\(6\\), \\[\\sum_{k=0}^{n-1} a_q(k)\\equiv q^{-(n-1)}[n]^2\\pmod{[n]\\Phi_n(q)^2}.\\]  As a corollary, for any prime \\(p>3\\), \\[\\sum_{k=0}^{p-1}\\frac{1}{2^{8k}3^{2k}}\\sum_{j=0}^k \\binom {2j}j^2\\binom{4j}{2j}\\binom{2k-2j}{k-j}^2 \\binom{4k-4j}{2k-2j}(8j+1)(8k-8j+1)\\equiv p^2\\pmod{p^3}.\\]  Proofs are computational.","type":"string"},"datatype":"string"},"type":"statement","id":"Q829697$A21A57CF-6248-4F31-80ED-2C105C7E2159","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$8D80DDBB-1E63-4846-865C-937FF16CE7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$2D3799F3-63A6-4669-8E78-E8D71A56C7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d11a6e195f3049ff8524b5914d15571e0f6db55","datavalue":{"value":"11F33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$CEC07B73-9961-4B2A-B20A-FB906CEACE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c618f816e6308977cf393dfcfa211f201052855","datavalue":{"value":"33C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$6CD1BECA-F4E8-424D-B8B2-C5CA51743216","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9f2b30944110aee812598b4549fc60ab745f975","datavalue":{"value":"7344963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$4E5EC003-DC5B-478D-8284-760EB4FD67CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a65a9e4a44ff731d969179e92daaa6a0d0a8cbf","datavalue":{"value":"\\(q\\)-analogue","type":"string"},"datatype":"string"},"type":"statement","id":"Q829697$247DBCEA-4547-4C26-BA83-7809580423C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5d6dd80a0c006c5fa504108da2fe4963e99b72f","datavalue":{"value":"super(congruence)","type":"string"},"datatype":"string"},"type":"statement","id":"Q829697$086DC811-1B79-4FFB-853A-FA560049CFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3830b0910f1af2355bbc6ca39e7e832bd2f097b","datavalue":{"value":"cyclotomic polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q829697$EBACFE52-4FBF-425D-9C3A-DD055D814067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb7a6fba44ce93f66022e8128dc6c5c825fe561","datavalue":{"value":"truncated sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q829697$62285DC7-4430-4C2E-B3F2-D741EA740577","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"76579edf630459249a27f193b026921158c16c09","datavalue":{"value":{"entity-type":"item","numeric-id":396524,"id":"Q396524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$B564373C-75C5-4097-A18C-9D7D249043C8","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":"Q829697$F590385A-661A-4C57-A2D3-CAB0AD3517DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc0b4ebf3772d748c7d52e8f21f871ff441fd727","datavalue":{"value":"W3023202609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$92905D72-47C9-431F-A90F-724A8BABB330","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a718a6ef6b09436dc07bc5e2ba999df3f97efe","datavalue":{"value":{"entity-type":"item","numeric-id":4276250,"id":"Q4276250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$7A831663-4E2D-48BD-BA97-91E85DD50DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdab8ae2c047352aa85e380948042604e5c2d95","datavalue":{"value":{"entity-type":"item","numeric-id":2880637,"id":"Q2880637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$E3BB8623-5DEC-473F-8196-4A8B8F92455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284157ebff21a16a95592f7ea2f244b14e7ad3ee","datavalue":{"value":{"entity-type":"item","numeric-id":1645161,"id":"Q1645161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$963F8580-CB3F-415C-9E86-B59B4C6E00C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac34ca416b4db724b58cd160ad791ccdcc87e3b6","datavalue":{"value":{"entity-type":"item","numeric-id":1645164,"id":"Q1645164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$A93EDD9F-432A-486D-978B-3C5394B61CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b781461e173987fadf2bb976d001685a3d75a2","datavalue":{"value":{"entity-type":"item","numeric-id":2319923,"id":"Q2319923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$0C380EC3-D660-4AEA-8C20-3408BFDBF4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d153d3401e0f141c643b8e9c9d09c484c9404fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2311981,"id":"Q2311981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$BFA6537F-EA9B-4355-BBE2-557F3FB2007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0bb6a30a2bbbb7f07f2c2ca9f0eaf0d064691a","datavalue":{"value":{"entity-type":"item","numeric-id":4961004,"id":"Q4961004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$34391DE8-D3D7-40D2-80C1-2237ED56E39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c876ed7964394eb1488cb61a4ab66505a9d213","datavalue":{"value":{"entity-type":"item","numeric-id":4567906,"id":"Q4567906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$19E2F58A-A7F7-4451-8EF8-D22E94F8FBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb06f4e452fc35be7722fdaaa2f2d03744c29e1","datavalue":{"value":{"entity-type":"item","numeric-id":1731565,"id":"Q1731565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$FB56D0E2-E40A-4954-8FFD-29B3FAA3D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"970477a22905cfc5ca16d5de0d3350bfec8935be","datavalue":{"value":{"entity-type":"item","numeric-id":497785,"id":"Q497785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$EE0D3557-EC1D-409F-B06A-2727280C124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e01a6cb026e51c3c0c3d21d345aa1125bebbdb8","datavalue":{"value":{"entity-type":"item","numeric-id":5449377,"id":"Q5449377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$DC92AA64-927A-473F-925A-4CB81B419067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d0fced1aab91a27dc46777023fc8ad53b8aac5","datavalue":{"value":{"entity-type":"item","numeric-id":4644703,"id":"Q4644703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$ED1EF5B6-83FC-45F7-AE00-D4C2E27EDDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae9710e7342a294f3b54d4c4e1c25c6734feb60","datavalue":{"value":{"entity-type":"item","numeric-id":4357441,"id":"Q4357441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q829697$06FCA41B-3F0B-4DB2-A1DE-509E9D4034A3","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":"Q829697$8C0F638C-BB65-4F80-B582-BE401AF9B180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ba8f21e38c3207ca614debf20c0ed9fb0db1449","datavalue":{"value":"10.1007/S11139-019-00226-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q829697$499178E5-2C50-42F5-BD12-9130A4ECB612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3363e077e134ceff53192c9c43900723a8926c","datavalue":{"value":{"entity-type":"item","numeric-id":2681975,"id":"Q2681975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ffcbebb412a1542bb4253149079241e34998b9","datavalue":{"value":{"amount":"+0.906792402267456","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":"Q829697$7152B144-9CB4-4A1B-8598-0A0BD3083928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2159a7c5b6e7f154389769369a881ec47aab8e6d","datavalue":{"value":{"entity-type":"item","numeric-id":2244650,"id":"Q2244650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8cd249fd72e25d20d2c707841eb1bd9dfe99e57","datavalue":{"value":{"amount":"+0.8863848447799683","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":"Q829697$EDF42965-8EF7-4F84-ACBD-C988B0F0BCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c78f77667194b6eb39893420f4ae49dc4767b36","datavalue":{"value":{"entity-type":"item","numeric-id":2050199,"id":"Q2050199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abda7b3b30d9c83ad25be8ea4c4bd31e776dcb89","datavalue":{"value":{"amount":"+0.8718671202659607","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":"Q829697$A82A4CD5-1C11-4F38-8D0D-B88488D6A651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef2ad4feed9b7c90f6460fe64cbe9db9119310a","datavalue":{"value":{"entity-type":"item","numeric-id":3460231,"id":"Q3460231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055cd5522a5e635b0ad084d4c90f15eb063476dd","datavalue":{"value":{"amount":"+0.8669520616531372","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":"Q829697$3045858F-FDCE-4C75-9370-ED7A93681CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353d2490d75ee9d7530bd04e6550009b683cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4957673,"id":"Q4957673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c223499bcd0d87e41d6aa05927a6a8a9f744b4","datavalue":{"value":{"amount":"+0.8660032153129578","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":"Q829697$56ECF4B7-0BBA-47C5-B864-7C4A34B868EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On supercongruences for truncated sums of squares of basic hypergeometric series","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_supercongruences_for_truncated_sums_of_squares_of_basic_hypergeometric_series"}}}}}