A supercongruence relating two cubic binomial sums

Let pp be an odd prime and rr a positive integer. Define

Sp,r(x)=k=0pr1xkj=0k(2jj)3(2k2jkj)3(3j+1)(3k3j+1).S_{p,r}(x)=\sum_{k=0}^{p^r-1}x^k\sum_{j=0}^k {2j\choose j}^3{2k-2j\choose k-j}^3(3j+1)(3k-3j+1).

The supercongruence.

Sp,r(116)Sp,r(18)0(modp2r+2).S_{p,r}\left(\frac1{16}\right)-S_{p,r}\left(-\frac18\right)\equiv0\pmod{p^{2r+2}}.

This strengthens the two preceding congruences, each of which has modulus pr+2p^{r+2}, by asserting extra cancellation in their difference.

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.