A triple-sum Ramanujan-type supercongruence

Let p>3p>3 be a prime number. Define the triple sum

Sp=k=0p1j=0ki=0kj(2jj)2(4j2j)(2ii)2(4i2i)(2(kji)kji)2(4(kji)2(kji))28k32k(8i+1)(8j+1)(8(kji)+1).S_p= \sum_{k=0}^{p-1} \sum_{j=0}^k \sum_{i=0}^{k-j} \frac{ {2j\choose j}^2{4j\choose 2j} {2i\choose i}^2{4i\choose 2i} {2(k-j-i)\choose k-j-i}^2{4(k-j-i)\choose 2(k-j-i)}}{2^{8k} 3^{2k}} (8i+1)(8j+1) \big(8(k-j-i)+1 \big).

Triple-sum Ramanujan-type congruence. One has

Sp0(modp2).S_p\equiv 0 \pmod{p^2}.

This conjecture is motivated by the failure of the corresponding triple sum to satisfy the stronger congruence modulo p3p^3, despite the analogous double-sum congruence modulo p3p^3. It is based on computational evidence, and its general validity remains open.

Sources & referencesView supporting material

Primary source

Mohamed El Bachraoui, “N-tuple sum analogues for Ramanujan-type congruences”, arXiv:2112.00308 (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.