A hypergeometric supercongruence for even d

Let (x)k(x)_k denote the rising factorial, with (x)0=1(x)_0=1. Let d2d\geqslant 2 be an even integer, and let pd+1(mod2d)p\equiv d+1\pmod{2d} be a prime. The hypergeometric supercongruence.

k=0p1(3dk+1)(1d)k2(d1d)k(12d)kk!34k(d+22d)k0(modp3).\sum_{k=0}^{p-1} (3dk+1)\frac{(\frac{1}{d})_{k}^{2}(\frac{d-1}{d})_{k}(\frac{1}{2d})_{k}} {k!^{3}4^{k} (\frac{d+2}{2d})_{k}} \equiv 0 \pmod {p^3}.

This is proposed as a variation of an earlier supercongruence obtained by extending the summation range to p1p-1; its validity is supported by numerical calculation, but no proof is supplied here.

Sources & referencesView supporting material

Primary source

Victor J. W. Guo, “Further q-supercongruences from a transformation of Rahman”, arXiv:2201.06942 (2022).

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.