A Dwork-type q-supercongruence for n congruent to 1 modulo 4

Let n1(mod4)n\equiv 1\pmod{4} be a positive integer and let r1r\geqslant 1. Write (a;q)k(a;q)_k for the qq-shifted factorial, [m]=(1qm)/(1q)[m]=(1-q^m)/(1-q), and let Φm(q)\Phi_m(q) denote the mmth cyclotomic polynomial. The Dwork-type q-supercongruence. Modulo

[nr]j=1rΦnj(q)2,[n^r]\prod_{j=1}^r\Phi_{n^j}(q)^2,

where d=1d=1 or d=2d=2,

k=0(nr1)/d[6k+1](q;q4)k(q;q2)k3(q2;q2)k(q4;q4)k3qk2+k(q2;q4)(nr1)/4(q4n;q4n)(nr11)/4(q4;q4)(nr1)/4(q2n;q4n)(nr11)/4[n]q(1n)/4×k=0(nr11)/d[6k+1](qn;q4n)k(qn;q2n)k3(q2n;q2n)k(q4n;q4n)k3q(k2+k)n.\sum_{k=0}^{(n^r-1)/d}[6k+1]\frac{(q;q^{4})_k(q;q^2)_k^3}{(q^2;q^2)_k(q^{4};q^{4})_k^3}q^{k^2+k} \equiv \frac{(q^2;q^4)_{(n^r-1)/4}(q^{4n};q^{4n})_{(n^{r-1}-1)/4}} {(q^4;q^4)_{(n^r-1)/4}(q^{2n};q^{4n})_{(n^{r-1}-1)/4}}[n]q^{(1-n)/4} \times\sum_{k=0}^{(n^{r-1}-1)/d}[6k+1] \frac{(q^{n};q^{4n})_k(q^n;q^{2n})_k^3}{(q^{2n};q^{2n})_k(q^{4n};q^{4n})_k^3}q^{(k^2+k)n}.

This is proposed as a Dwork-type extension of earlier qq-supercongruences. The surrounding text attributes related work to the author and Zudilin and notes a similar conjecture of Liu and Wang; no proof or resolution is provided.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo, “Further q-supercongruences from a transformation of Rahman”, arXiv:2201.06942 (2022).

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.