Tauraso's qq-supercongruence conjecture for central qq-binomial coefficients

Let nn be a positive odd integer. Define the qq-Pochhammer symbol by (a;q)k=j=0k1(1aqj)(a;q)_k=\prod_{j=0}^{k-1}(1-aq^j), and let [2kk]{2k\brack k} denote the qq-binomial coefficient.

Tauraso's conjecture.

k=0n1qk(q;q)k[2kk](1)(n1)/2q(n21)/4(modΦn(q)2).\sum_{k=0}^{n-1}\frac{q^k}{(-q;q)_{k}}{2k\brack k}\equiv (-1)^{(n-1)/2}q^{(n^2-1)/4} \pmod{\Phi_n(q)^2}.

This strengthens the previously known congruence modulo Φn(q)\Phi_n(q) and is a natural generalization of Tauraso's conjecture for odd prime nn. The source does not provide evidence that the assertion has been resolved.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo, “Some q-congruences with parameters”, arXiv:1804.10963 (2018).

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.