An odd-parameter supercongruence for a terminating hypergeometric sum

About 3 years old · traced to

Let r≤1r\leq 1 be an odd integer coprime with 55, and let pp be an odd prime such that p≡r(mod5)p\equiv r\pmod{5} and p≥(5−3r)/2p\geq (5-3r)/2. Then the proposed supercongruence.

∑k=0p−1(10k+r)(r5)k5(1)k5≡pΓp(r5)4Γp(2r5)2Γp(12+3r10)Γp(12−r10)3∑k=0(1−r)/2(r−12)k(r5)k3(1)k(2r5)k2(12+3r10)k(modp5).\sum_{k=0}^{p-1}(10k+r)\frac{(\frac{r}{5})_k^5}{(1)_k^5}\equiv\frac{p\Gamma_p(\frac r5)^4}{\Gamma_p(\frac{2r}5)^2\Gamma_p(\frac12+\frac{3r}{10})\Gamma_p(\frac12-\frac r{10})^3}\sum_{k=0}^{(1-r)/2}\frac{(\frac{r-1}{2})_k(\frac r5)_k^3}{(1)_k(\frac{2r}5)_k^2(\frac12+\frac{3r}{10})_k}\pmod{p^5}.

This is presented as an open conjecture motivated by a preceding theorem and numerical evidence; its validity remains unresolved in the source.

References

Primary source

Chen Wang, “Supercongruences arising from a _7F_6 hypergeometric transformation formula”, arXiv:2306.02635 (2023).

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.