A family of q-congruences for truncated 3ϕ2{}_3\phi_2 series when n is 2 modulo 3

About 7 years old · traced to

Let (a;q)k=(1−a)(1−aq)⋯(1−aqk−1)(a;q)_k=(1-a)(1-aq)\cdots(1-aq^{k-1}) be the qq-shifted factorial, let Φn(q)\Phi_n(q) denote the nn-th cyclotomic polynomial, and for a rational number xx whose denominator is coprime with nn, let ⟨x⟩n\langle x\rangle_n denote the least non-negative residue of xx modulo nn. Let nn be a positive integer with n≡2(mod3)n\equiv 2\pmod 3, let mm be a positive integer with gcd⁡(m,n)=1\gcd(m,n)=1, and let rr be an integer satisfying

0<⟨r3m⟩n⩽2n−13.0<\left\langle\frac{r}{3m}\right\rangle_n\leqslant\frac{2n-1}{3}.

The conjecture. Then

∑k=0n−1(qm;q3m)k(qr;q3m)k(q2m−r;q3m)kq3mk(q3m;q3m)k3≡0(modΦn(q)2).\sum_{k=0}^{n-1}\frac{(q^m;q^{3m})_k(q^r;q^{3m})_k(q^{2m-r};q^{3m})_kq^{3mk}}{(q^{3m};q^{3m})_k^3}\equiv 0\pmod{\Phi_n(q)^2}.

The source presents this as one of two proposed general families of q-congruences and does not state that it has been resolved.

References

Primary source

Victor J. W. Guo, “Factors of some truncated basic hypergeometric series”, arXiv:1901.07908 (2019).

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.