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

About 5 years old · traced to

Let nn be a positive integer and let rr be an arbitrary integer. Write [n]=(1−qn)/(1−q)[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 [ab]q\begin{bmatrix}a\\b\end{bmatrix}_q denote the qq-binomial coefficient. Guo–Schlosser–Zudilin's conjecture.

∑k=0n−1qr(n−k)2+(r−1)k[n+kk]q2r[n−1k]q2r≡q(r−1)n+1[n]−r(2r−1)(n−1)2q(1−q)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.

References

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.