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

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

Sp=k=0p1(1)k8kj=0k(2jj)(2k2jkj)(6j+1)(6k6j+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,

Spp2(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.

Sources & referencesView supporting material

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.