An odd-parameter supercongruence for a terminating hypergeometric sum

From papers

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

k=0p1(10k+r)(r5)k5(1)k5pΓp(r5)4Γp(2r5)2Γp(12+3r10)Γp(12r10)3k=0(1r)/2(r12)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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.