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

Let (a;q)k=(1a)(1aq)(1aqk1)(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 xn\langle x\rangle_n denote the least non-negative residue of xx modulo nn. Let nn be a positive integer with n2(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<r3mn2n13.0<\left\langle\frac{r}{3m}\right\rangle_n\leqslant\frac{2n-1}{3}.

The conjecture. Then

k=0n1(qm;q3m)k(qr;q3m)k(q2mr;q3m)kq3mk(q3m;q3m)k30(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.

Sources & referencesView supporting material

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.