A fifth-order q-supercongruence

From papers

Let mm and nn be positive integers with n1  (mod4)n\equiv1\;\allowbreak(\operatorname{mod}4), and let (a;q)k(a;q)_k denote the q-shifted factorial. The fifth-order q-supercongruence conjecture.

k=0mn1(1)k[4k+1](q;q2)k4(q2;q4)k(q2;q2)k4(q4;q4)kqk[n](q2;q4)(n1)/42(q4;q4)(n1)/42k=0m1(1)k(4k+1)(12)k5k!5  (modΦn(q)3).\sum_{k=0}^{mn-1}(-1)^k[4k+1]\frac{(q;q^2)_k^4(q^2;q^4)_k}{(q^2;q^2)_k^4(q^4;q^4)_k}q^k \equiv [n]\frac{(q^2;q^4)_{(n-1)/4}^2}{(q^4;q^4)_{(n-1)/4}^2}\sum_{k=0}^{m-1}(-1)^k(4k+1)\frac{(\frac12)_k^5}{k!^5}\;\allowbreak(\operatorname{mod}\Phi_n(q)^3).

The m=1m=1 case was previously given by the author; the conjecture is described as a simplified version of earlier conjectures.

Progress summary

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

Sources & referencesView supporting material

Primary source

Victor J. W. Guo, “Dwork-type q-congruences through the q-Lucas theorem”, arXiv:2310.15207 (2023).

Solutions 0

No solutions have been posted yet.