{"entities":{"Q6984075":{"pageid":21407475,"ns":120,"title":"Item:Q6984075","lastrevid":84021392,"modified":"2026-05-08T03:17:35Z","type":"item","id":"Q6984075","labels":{"en":{"language":"en","value":"Three new \\(q\\)-supercongruences from Jackson's summation and Watson's transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8040085"}},"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":"Q6984075$3830779B-D68B-4BB1-ADBE-FFDD345358AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1b370e44995cd53ab4d5bfe47295079e2aef3af","datavalue":{"value":{"text":"Three new \\(q\\)-supercongruences from Jackson's summation and Watson's transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6984075$8D08D436-7FF7-49B1-9D10-7107516D7DF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3b92068630f4365c3021cf9de83b3b6ce5097bf","datavalue":{"value":"1569.11004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$2FEB8D52-698B-49D2-8003-70B0F4A8D78D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41cd210ced55f6a938b5908ecf174a1940452e3","datavalue":{"value":"10.1007/S00009-025-02804-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$0FA926F0-B21E-4CF6-8189-C3607390C95D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b430946aaab7d497ba4dfdcce59edd8033ec9acd","datavalue":{"value":{"entity-type":"item","numeric-id":232261,"id":"Q232261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$A389467E-27DA-4B9E-A4CB-6BBA4CACD2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a93051ac6e39f6a2a63ee7b046bbf59a1a46f92","datavalue":{"value":{"entity-type":"item","numeric-id":6876541,"id":"Q6876541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$DC0CD990-1C2D-4C56-8774-1866165A5597","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5086adc351d8a2c8dba8c901eec63f5cbaf51959","datavalue":{"value":{"entity-type":"item","numeric-id":249881,"id":"Q249881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$A81A0307-DC97-4C01-A1FA-7D921AEA7AC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c8286183ccfc23e881b8c6f931ae547b0263674","datavalue":{"value":{"time":"+2025-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6984075$463BA1B9-808C-4E1C-9BFB-E4B3FC8DE718","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67aa935042878aebe5f7aa04983527921bc8ddf4","datavalue":{"value":"Inspired by the work of \\textit{C. Wei} [J. Combin. Theory Ser. A 204, Article ID 105853 (2024; Zbl 1536.11008)], this paper supplies three new \\(q\\)-supercongruences modulo the fifth power of a cyclotomic polynomial. Namely, Letting \\([n]=\\left(1-q^{n}\\right) /(1-q)\\) be the \\(q\\)-integer, \\((a;q)_{n}\\) the \\(q\\)-shifted factorial, and \\(\\Phi_{n}(q)\\) the \\(n\\)-th cyclotomic polynomial, the paper establishes modulo \\(\\Phi_{n}(q)^{5}\\) that \\N\\begin{align*}\\N\\sum_{k=0}^{(n-1) / 4} & {[16 k+1] \\frac{\\left(q ; q^{8}\\right)_{k}\\left(q^{2} ; q^{8}\\right)_{k}^{5}}{\\left(q^{7} ; q^{8}\\right)_{k}^{5}\\left(q^{8} ; q^{8}\\right)_{k}^{8 k}} q^{8 k} } \\\\\\N& \\equiv \\frac{\\left(q^{9} ; q^{8}\\right)_{(n-1) / 4}\\left(q^{5} ; q^{8}\\right)_{(n-1) / 4}^{3}}{\\left(q^{3} ; q^{8}\\right)_{(n-1) / 4}\\left(q^{7} ; q^{8}\\right)_{(n-1) / 4}^{3}} \\\\\\N& \\times\\left\\{1+[2 n]^{2}\\left(2-q^{2 n}\\right) \\sum_{j=1}^{(n-1) / 4}\\left(\\frac{q^{8 j-3}}{[8 j-3]^{2}}-\\frac{q^{8 j-1}}{[8 j-1]^{2}}\\right)\\right\\} \\tag{1}\\N\\end{align*}\\Nwhere \\(n\\) is a positive integer such that \\(n \\equiv 1 \\pmod 8\\).\\N\\NAnalogously, the authors prove that \\N\\begin{align*}\\N\\sum_{k=0}^{(n-1) / 4} & {[16 k+1] \\frac{\\left(q ; q^{8}\\right)_{k}\\left(q^{2} ; q^{8}\\right)_{k}^{5}}{\\left(q^{7} ; q^{8}\\right)_{k}^{5}\\left(q^{8} ; q^{8}\\right)_{k}} q^{8 k} } \\\\\\N& \\equiv 5 \\frac{\\left(q^{9} ; q^{8}\\right)_{(n-1) / 4}\\left(q^{5} ; q^{8}\\right)_{(n-1) / 4}^{3}}{\\left(q^{3} ; q^{8}\\right)_{(n-1) / 4}\\left(q^{7} ; q^{8}\\right)_{(n-1) / 4}^{3}} \\pmod{\\Phi_{n}(q)^{5}} \\tag{2}\\N\\end{align*}\\Nwhere \\(n\\) is a positive integer such that \\(n \\equiv 5 \\pmod 8\\).\\N\\NStill modulo \\(\\Phi_{n}(q)^{5}\\), the authors find that \\N\\begin{align*}\\N& \\sum_{k=0}^{(n+1) / 4}[16 k-1] \\frac{\\left(q^{-1} ; q^{8}\\right)_{k}\\left(q^{-2} ; q^{8}\\right)_{k}^{5}}{\\left(q^{9} ; q^{8}\\right)_{k}^{5}\\left(q^{8} ; q^{8}\\right)_{k}} q^{24 k} \\\\\\N& \\equiv-q^{(n-1) / 2} \\frac{\\left(q^{7}, q^{-5} ; q^{8}\\right)_{(n+1) / 4}}{\\left(q^{9}, q^{-3} ; q^{8}\\right)_{(n+1) / 4}} \\sum_{k=0}^{(n+1) / 4} \\frac{\\left(q^{11} ; q^{8}\\right)_{k}\\left(q^{-2} ; q^{8}\\right)_{k}^{3}}{\\left(q^{8}, q^{-5} ; q^{8}\\right)_{k}\\left(q^{9} ; q^{8}\\right)_{k}^{2}} q^{8 k} \\\\\\N& \\quad \\times\\left\\{1-[2 n]^{2}\\left(2-q^{2 n}\\right) \\sum_{j=1}^{k}\\left(\\frac{q^{8 j-10}}{[8 j-10]^{2}}+\\frac{q^{8 j+1}}{[8 j+1]^{2}}\\right)\\right\\} \\tag{3}\\N\\end{align*}\\Nwhere \\(n\\) is a positive integer such that \\(n>3\\) and \\(n \\equiv 3 \\pmod 4\\).\\N\\NBeyond the Chinese remainder theorem for coprime polynomials, the L'H\u00f4pital rule, and the ``creative microscoping'' method introduced by the first author and \\textit {W. Zudilin} [Adv. Math. 346, 329--358 (2019; Zbl 1464.11028)], the proofs of theorems \\((1)\\) and \\((2)\\) employ the Jackson's \\({}_8\\phi _7\\) summation, whereas theorem \\((3)\\) requires the Watson's \\({}_8\\phi _7\\) transformation; both the hypergeometric tools are illustrated in Vol. No. 96 of the \\textit {Encyclopedia of Mathematics and its Applications} [Basic hypergeometric series. 2nd ed. Cambridge: Cambridge University Press (2004; Zbl 1129.33005)].\\N\\NAs corollary, by using some fundamental properties of the \\(p\\)-adic Gamma function \\(\\Gamma_{p}\\), the authors derive \\N\\[\\N\\sum_{k=0}^{(p-1) / 4}(16 k+1) \\frac{\\left(\\frac{1}{8}\\right)_{k}\\left(\\frac{1}{4}\\right)_{k}^{5}}{k!\\left(\\frac{7}{8}\\right)_{k}^{5}} \\equiv-\\frac{5 p^{3}}{64} \\Gamma_{p}\\left(\\frac{7}{8}\\right)^{6} \\Gamma_{p}\\left(\\frac{3}{8}\\right)^{10} \\pmod{p^{5}} \\tag{4}\\N\\]\\Nwhere \\(p\\) is a prime such that \\(p \\equiv 5 \\pmod 8\\).\\N\\NThe supercongruence \\((4)\\) is related to a result of \\textit {R. Barman} and \\textit {N. Saikia} [Math. Proc. Camb. Philos. Soc. 168, No. 1, 171--195 (2020; Zbl 1509.11003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$DE1F5707-5AFC-4A23-8D42-E2E53729336B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$D4A4D3F2-5D4F-42EB-B557-A87789BEA3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34693e52bda3b7dbf741569b62f785c0e006d8ef","datavalue":{"value":"11B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$DF168E4F-7F9A-4027-BC88-FD5FA92D46F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c618f816e6308977cf393dfcfa211f201052855","datavalue":{"value":"33C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$16EF3391-CBB2-4669-A777-4BCBFFA3D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f82d05d536127c774077d55aec4ca53f83fd2a","datavalue":{"value":"33D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$607D668D-9057-4C2B-A102-415539639813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2878726e144b349cdff0443c91b453767c760f4","datavalue":{"value":"05A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$BEE7ADC9-248B-486C-AC95-41E3D56E1BEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a8a52b38dbeaff5b8a07a58fad99349a6a0e72a","datavalue":{"value":"8040085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984075$6D55B755-1772-4D9B-A72A-5D3F042182E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a121738f3dfba3f8aae00b7d79a9758a3c397d4","datavalue":{"value":"\\(q\\)-supercongruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$EE99B859-3D11-4076-92E7-A21BD872C151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d25a84c631cc28ad210decb325d2d38aad656d4","datavalue":{"value":"cyclotomic polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$660FF9A8-04C2-4F5B-9C40-C377B7350670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ebb6ccaeeadf79b58dc7561483d42f7fd52c4d7","datavalue":{"value":"\\(p\\)-adic Gamma function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$3052E128-4806-427E-BEA8-F3275FD23A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8356ec84f6af6bc74e56bdecf3d082976a0ee1f","datavalue":{"value":"basic hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$660949B7-8A8E-4D5F-A837-947709D2D19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ae2d85cd4a52f7ea480b4639dd0890b628f5c9","datavalue":{"value":"Jackson's \\({}_8\\phi _7\\) summation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$DECA3CF7-1E8F-4365-BCA6-6380043E5CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf2159b83c1cb1978a8a55c136391b653478ee6","datavalue":{"value":"Chinese remainder theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$4F3B6D23-47AE-4E7E-BFEF-8A23B646C7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fa749927fb13350f3080adb3ff674e3531f989","datavalue":{"value":"Watson's \\({}_8\\phi _7\\) transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$02E2FE24-9B2F-4940-8F52-63669F9AB096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cad222507f04fb0ee35d436d1a31086c3ad991","datavalue":{"value":"creative microscoping method","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984075$601A2D43-72C7-4232-9D40-1ED25E39513E","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":"Q6984075$918961F8-A3DC-40E3-AD4E-FD0C8F4ED492","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae9ca02b00acaba766c152981ff6deadb7b5b204","datavalue":{"value":{"entity-type":"item","numeric-id":5207976,"id":"Q5207976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$2A716CC8-D998-4EB3-AC11-E632FC4ACF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9713a621cac51225a53c806ad301cae212861c39","datavalue":{"value":{"entity-type":"item","numeric-id":4828543,"id":"Q4828543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$F1732C2A-B8E0-489D-931A-3AA3E9CF2B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feef2662d79d6f3497a4d88cca7e592fad01bc85","datavalue":{"value":{"entity-type":"item","numeric-id":6616002,"id":"Q6616002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$3657D1EA-5405-4944-9E9B-E2A826A7D296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4b5a803f16034d71b0411ca3d689307c1284c1","datavalue":{"value":{"entity-type":"item","numeric-id":6150805,"id":"Q6150805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$366E3960-F106-4351-A5E0-C813CA17E2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ac8b0e794999813c236967aa641e2ce54feae5","datavalue":{"value":{"entity-type":"item","numeric-id":5060359,"id":"Q5060359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$EFB2E06B-55E7-412C-835A-4DEF8831172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2100f407fb60d9db2fe07bebf8550507504e2af1","datavalue":{"value":{"entity-type":"item","numeric-id":2218736,"id":"Q2218736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$120D9A93-A753-406A-9B64-307495690346","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":"Q6984075$BAFB9CBA-1764-453C-AACC-B4DDB5630550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"156bc5e4956f98f312a514176647d4c2ecc1e102","datavalue":{"value":{"entity-type":"item","numeric-id":6110853,"id":"Q6110853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$FB4AAFC4-8A3F-4C43-AA4C-70B475DBAA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0582593b9922595669235397dc565e39e9f3c3c3","datavalue":{"value":{"entity-type":"item","numeric-id":3880931,"id":"Q3880931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$8AE94D4D-9754-40ED-9536-6E3D99DB534B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e352cf56ecb5cf22d9a3c0558fbe8d1f94c3c0","datavalue":{"value":{"entity-type":"item","numeric-id":908081,"id":"Q908081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$D614A326-5F6A-4E3A-8AAD-B5CBEA70EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3320adb8acc625008bcbe487ef35f7481d5554","datavalue":{"value":{"entity-type":"item","numeric-id":6500148,"id":"Q6500148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$42F75BB9-B3EB-4B34-9F36-4DBEC2344059","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":"Q6984075$B600AEC3-FC6E-421E-BF96-3B461B334A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ec5c718704cfecbe918b174214f2639bd0af43","datavalue":{"value":{"entity-type":"item","numeric-id":6123329,"id":"Q6123329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$3A79AA5C-F154-45CA-AA60-205BA113512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aad219dc6c55196e1d595cc4053d0bc77697b63","datavalue":{"value":{"entity-type":"item","numeric-id":6612589,"id":"Q6612589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$D75B07AC-0133-45BC-9AC7-7ABC9A4DDD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31274df0ea40caa479a2400db5f3c505c393a461","datavalue":{"value":{"entity-type":"item","numeric-id":6144657,"id":"Q6144657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$74985FAD-CE99-430E-B915-F8E261BDDA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"183093be33844faf40f0bb1a924225be52677d18","datavalue":{"value":{"entity-type":"item","numeric-id":6201498,"id":"Q6201498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$A5E68775-6DC4-4B8C-A202-4C51298699B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b114a0c6768c374b6c79208d6d1bf90f1bc222a","datavalue":{"value":{"entity-type":"item","numeric-id":6629701,"id":"Q6629701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984075$DAEBF454-B6E9-4257-B8C1-8DF2F5D1EEE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three new \\(q\\)-supercongruences from Jackson's summation and Watson's transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_new_%5C(q%5C)-supercongruences_from_Jackson%27s_summation_and_Watson%27s_transformation"}}}}}