A q-congruence for a second truncated 3ϕ2{}_3\phi_2 series modulo a cyclotomic square

Let (a;q)k=(1a)(1aq)(1aqk1)(a;q)_k=(1-a)(1-aq)\cdots(1-aq^{k-1}) be the qq-shifted factorial, and let Φn(q)\Phi_n(q) denote the nn-th cyclotomic polynomial. For a positive integer nn with n5(mod9)n\equiv 5\pmod 9, consider

k=0n1(q1,q2,q6;q9)kq9k(q9;q9)k3.\sum_{k=0}^{n-1}\frac{(q^{-1},q^{-2},q^{-6};q^9)_k q^{9k}}{(q^9;q^9)_k^3}.

The conjecture. The truncated series should satisfy

k=0n1(q1,q2,q6;q9)kq9k(q9;q9)k30(modΦn(q)2).\sum_{k=0}^{n-1}\frac{(q^{-1},q^{-2},q^{-6};q^9)_k q^{9k}}{(q^9;q^9)_k^3}\equiv 0\pmod{\Phi_n(q)^2}.

This is one of the two nonsymmetric conjectures proposed in the concluding section for further study; no resolution is supplied in the source.

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.