A strengthened convolution q-congruence for Theorem 8

Let nn be a positive odd integer, and let cq(k)c_q(k) be the sequence defined in Theorem 8 by

cq(k)=[4k+1](q;q2)k6(q2;q2)k6qk.c_q(k)=[4k+1]\frac{(q;q^2)_k^6}{(q^2;q^2)_k^6}q^k.

Let [n][n] denote the qq-integer and let Φn(q)\Phi_n(q) denote the nnth cyclotomic polynomial. The strengthened convolution q-congruence. Modulo [n]2Φn(q)3[n]^2\Phi_n(q)^3,

k=0n1j=0kcq(j)cq(kj)q1n([n]2+(n21)(1q)212[n]4)(k=0(n1)/2(q;q2)k4(q2;q2)k4q2k)2.\sum_{k=0}^{n-1}\sum_{j=0}^{k}c_q(j)c_q(k-j) \equiv q^{1-n}\left([n]^2+\frac{(n^2-1)(1-q)^2}{12}[n]^4\right) \left(\sum_{k=0}^{(n-1)/2}\frac{(q;q^2)_k^4}{(q^2;q^2)_k^4}q^{2k}\right)^2.

This is stated as a stronger version of Theorem 8 and is left as an apparent conjecture.

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.