El Bachraoui's double binomial sum supercongruences

About 7 years old · traced to

Let pp be an odd prime. Define

S−(p)=∑k=0p−1(−18)k∑j=0k(2jj)(2k−2jk−j)(6j+1)(6k−6j+1)S_-(p)=\sum_{k=0}^{p-1}\left(-\frac{1}{8}\right)^k\sum_{j=0}^k{2j\choose j}{2k-2j\choose k-j}(6j+1)(6k-6j+1)

and

S+(p)=∑k=0p−1(14)k∑j=0k(2jj)(2k−2jk−j)(6j+1)(6k−6j+1).S_+(p)=\sum_{k=0}^{p-1}\left(\frac{1}{4}\right)^k\sum_{j=0}^k{2j\choose j}{2k-2j\choose k-j}(6j+1)(6k-6j+1).

El Bachraoui's conjecture. For every odd prime pp,

S−(p)≡−p2(modp2),S+(p)≡p(modp2).S_-(p)\equiv -\frac{p}{2}\pmod{p^2},\qquad S_+(p)\equiv p\pmod{p^2}.

These strengthen the corresponding congruences modulo pp obtained from earlier qq-congruences, and are presented as two extensions conjectured by El Bachraoui. The supplied text gives no resolution status.

References

Primary source

Long Li and Ji-Cai Liu, “On two supercongruences of double binomial sums”, arXiv:1912.01445 (2020).

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.