Referee's supercongruence for a truncated double sum with alternating powers of 8

About 7 years old · traced to

Let pp be an odd prime. Define the truncated double sum

Sp=∑k=0p−1(−1)k8k∑j=0k(2jj)(2k−2jk−j)(6j+1)(6k−6j+1).S_p= \sum_{k=0}^{p-1}\frac{(-1)^k}{8^k}\sum_{j=0}^k {2j\choose j}{2k-2j\choose k-j}(6j+1)(6k-6j+1).

The first supercongruence conjecture. For every odd prime pp,

Sp≡−p2(modp2).S_p\equiv -\frac{p}{2}\pmod{p^2}.

This conjecture concerns a supercongruence for a truncated convolution of central binomial coefficients and is suggested by computational evidence. It was proposed by an anonymous referee in connection with the paper's preceding corollaries.

References

Primary source

Mohamed El Bachraoui, “On supercongruences for truncated sums of squares of basic hypergeometric series”, arXiv:1911.10491 (2019).

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.