Guo and Zudilin's second q-analogue of a supercongruence

Define the qq-shifted factorial by (a;q)0=1(a;q)_0=1 and (a;q)k=(1a)(1aq)(1aqk1)(a;q)_k=(1-a)(1-aq)\cdots(1-aq^{k-1}) for k1k\geq 1, and let Φn(q)\Phi_n(q) denote the nn-th cyclotomic polynomial. Let mm and nn be positive integers with n3  (mod4)n\equiv 3\;\allowbreak(\operatorname{mod}4). Guo and Zudilin's q-congruence conjecture.

k=0mn1(q;q2)k2(q2;q4)k(q2;q2)k2(q4;q4)kq2k0  (modΦn(q)2),\sum_{k=0}^{mn-1}\frac{(q;q^2)_k^2(q^2;q^4)_k}{(q^2;q^2)_k^2(q^4;q^4)_k}q^{2k}\equiv 0\;\allowbreak(\operatorname{mod}\Phi_n(q)^2), k=0mn+(n1)/2(q;q2)k2(q2;q4)k(q2;q2)k2(q4;q4)kq2k0  (modΦn(q)2).\sum_{k=0}^{mn+(n-1)/2}\frac{(q;q^2)_k^2(q^2;q^4)_k}{(q^2;q^2)_k^2(q^4;q^4)_k}q^{2k}\equiv 0\;\allowbreak(\operatorname{mod}\Phi_n(q)^2).

This is described as another qq-analogue of a previously known supercongruence. The source states that the m=1m=1 case was proved, while the general conjecture remains open.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo, “A family of q-congruences modulo the square of a cyclotomic polynomial”, arXiv:2001.08079 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.