A cubic q-supercongruence with shifted factors

From papers

Let mm and nn be positive integers with nn odd, and let (a;q)k(a;q)_k denote the q-shifted factorial. The cubic q-supercongruence conjecture.

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

The m=1m=1 case was proved by the author and Zudilin; the full statement is presented as a consequence for an earlier conjecture.

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.