Guo–Schlosser–Zudilin's divisibility conjecture for sums of even powers of q-binomial coefficients

Let nn be a positive integer and let rr be an arbitrary integer. Write [n]=(1qn)/(1q)[n]=(1-q^n)/(1-q) for the qq-integer and let Φn(q)\Phi_n(q) denote the nnth cyclotomic polynomial. For integers aa and bb, let [a\b]q\begin{bmatrix}a\b\end{bmatrix}_q denote the qq-binomial coefficient. Guo–Schlosser–Zudilin's conjecture.

k=0n1qr(nk)2+(r1)k[n+k\k]q2r[n1\k]q2rq(r1)n+1[n]r(2r1)(n1)2q(1q)24[n]3(mod[n]Φn(q)3).\sum_{k=0}^{n-1}q^{r(n-k)^2+(r-1)k}\begin{bmatrix}n+k\k\end{bmatrix}_q^{2r}\begin{bmatrix}n-1\k\end{bmatrix}_q^{2r} \equiv q^{(r-1)n+1}[n]-\frac{r(2r-1)(n-1)^2q(1-q)^2}{4}[n]^3\pmod{[n]\Phi_n(q)^3}.

This conjecture unifies earlier conjectures of Gu and Guo and of Guo, Schlosser and Zudilin; the supplied context states that the corresponding congruence modulo [n]Φn(q)2[n]\Phi_n(q)^2 was still open, and gives no resolution of this stronger modulo [n]Φn(q)3[n]\Phi_n(q)^3 claim.

Sources & referencesView supporting material

Primary source

Ji-Cai Liu and Xue-Ting Jiang, “On the divisibility of sums of even powers of q-binomial coefficients”, arXiv:2110.09906 (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.