Parametric supercongruence for a truncated hypergeometric series

Let p5p\ge 5 be a prime. For a pp-adic integer aa, let ap\langle a\rangle_p denote its least nonnegative residue modulo pp, and let Γp\Gamma_p denote the pp-adic Gamma function. Parametric supercongruence. If ap0(mod2)\langle a\rangle_p\equiv0\pmod 2, then

3F2[12,a,a+11,1;1]p1(1)p+12Γp(a2)2Γp(a+12)2(modp3).{}_3F_2\left[\begin{matrix}\frac12,&-a,&a+1\\[5pt]&1,&1\end{matrix};1\right]_{p-1}\equiv(-1)^{\frac{p+1}{2}}\Gamma_p\left(-\frac a2\right)^2\Gamma_p\left(\frac{a+1}{2}\right)^2\pmod{p^3}.

The source presents this as a further conjectural modulo-p3p^3 extension, supported by strong numerical evidence, so its general validity remains open.

Sources & referencesView supporting material

Primary source

Ji-Cai Liu, “Supercongruences involving p-adic Gamma functions”, arXiv:1611.07686 (2018).

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.