Stronger convolution q-congruences extending Theorems 7 and 8

Let nn be a positive odd integer, and let cq(k)c_q(k) be the sequence defined in Theorem 7. Let [n][n] denote the qq-integer and let Φn(q)\Phi_n(q) denote the nnth cyclotomic polynomial. The strengthened convolution q-congruence.

k=0n1j=0kcq(j)cq(kj){[n]2(q2;q4)(n1)/44(q4;q4)(n1)/44(mod[n]2Φn(q)2),n1(mod4),0(mod[n]2Φn(q)4),n3(mod4).\sum_{k=0}^{n-1}\sum_{j=0}^{k}c_q(j)c_q(k-j) \equiv \begin{cases} [n]^2\dfrac{(q^2;q^4)_{(n-1)/4}^4}{(q^4;q^4)_{(n-1)/4}^4}\pmod{[n]^2\Phi_n(q)^2},&n\equiv1\pmod4,\\ 0\pmod{[n]^2\Phi_n(q)^4},&n\equiv3\pmod4. \end{cases}

This is presented as a stronger version of Theorem 7, while the surrounding text also mentions Theorem 8; the supplied statement itself defines cq(k)c_q(k) only by reference to Theorem 7.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo and Long Li, “q-Supercongruences from squares of basic hypergeometric series”, arXiv:2112.12076 (2021).

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.