A supercongruence relating two cubic binomial sums

About 5 years old · traced to

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

Sp,r(x)=∑k=0pr−1xk∑j=0k(2jj)3(2k−2jk−j)3(3j+1)(3k−3j+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.

References

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.