Level-54 attractor-point supercongruence conjecture

From papers

For every prime p3p\ne3, consider the truncated hypergeometric sum

k=0p1(1/3k)2(2/3k)2(1/8)k.\sum_{k=0}^{p-1}\binom{-1/3}{k}^2\binom{-2/3}{k}^2(-1/8)^k.

Let apa_p be the coefficient of qpq^p in the weight 44 cusp form of level 5454 beginning q+2q2+4q4+3q5+q+2q^2+4q^4+3q^5+\cdots. Level-54 attractor-point supercongruence conjecture. For every prime p3p\ne3,

k=0p1(1/3k)2(2/3k)2(1/8)kap(modp3).\sum_{k=0}^{p-1}\binom{-1/3}{k}^2\binom{-2/3}{k}^2(-1/8)^k\equiv a_p\pmod{p^3}.

This conjecture predicts a modular-form congruence at the attractor point t0=1/8t_0=-1/8 for the indicated hypergeometric function. The source reports it as experimental and gives no resolution.

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

Frits Beukers, “Supercongruences using modular forms”, arXiv:2403.03301 (2025).

Solutions 0

No solutions have been posted yet.