Wei's fourth-power q-supercongruence for n congruent to 3 modulo 4

Let nn be a positive integer with n3(mod4)n\equiv3\pmod4, let [n]=(1qn)/(1q)[n]=(1-q^n)/(1-q), let (a;q)k(a;q)_k be the qq-shifted factorial, and let (a1,,ar;q)k=i=1r(ai;q)k(a_1,\ldots,a_r;q)_k=\prod_{i=1}^r(a_i;q)_k. Set M=(n1)/2M=(n-1)/2 or M=n1M=n-1. Wei's conjecture.

k=0M(1)k[4k+1](q;q2)k4(q2;q4)k(q2;q2)k4(q4;q4)kqk[n]2(q3;q4)(n1)/2(q5;q4)(n1)/2q(1n)/2(mod[n]Φn(q)4).\sum_{k=0}^{M}(-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]^2\frac{(q^3;q^4)_{(n-1)/2}}{(q^5;q^4)_{(n-1)/2}}q^{(1-n)/2}\pmod{[n]\Phi_n(q)^4}.

In particular, for p3(mod4)p\equiv3\pmod4, the source proposes

k=0(pr1)/2(1)k(4k+1)(12)k5k!5p2r(34)(pr1)/2(54)(pr1)/2(modpr+4).\sum_{k=0}^{(p^r-1)/2}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^5}{k!^5}\equiv p^{2r}\frac{(\frac{3}{4})_{(p^r-1)/2}}{(\frac{5}{4})_{(p^r-1)/2}}\pmod{p^{r+4}}.

This is motivated by numerical calculations and strengthens the earlier cubic-power qq-congruence; the source gives no proof or resolution evidence.

Sources & referencesView supporting material

Primary source

Chuanan Wei, “Some q-supercongruences modulo the fourth power of a cyclotomic polynomial”, arXiv:2005.14196 (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.