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

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, and let Φn(q)\Phi_n(q) denote the nn-th cyclotomic polynomial. For a positive integer nn with n≡5(mod9)n\equiv 5\pmod 9, consider

∑k=0n−1(q−1,q−2,q−6;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=0n−1(q−1,q−2,q−6;q9)kq9k(q9;q9)k3≡0(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.

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.