A fifth-order q-supercongruence

About 3 years old · traced to

Let mm and nn be positive integers with n≡1  (mod⁡4)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=0mn−1(−1)k[4k+1](q;q2)k4(q2;q4)k(q2;q2)k4(q4;q4)kqk≡[n](q2;q4)(n−1)/42(q4;q4)(n−1)/42∑k=0m−1(−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.

References

Primary source

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

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.