Level-54 attractor-point supercongruence conjecture

At least 1 year old · documented by

For every prime p≠3p\ne3, consider the truncated hypergeometric sum

∑k=0p−1(−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 p≠3p\ne3,

∑k=0p−1(−1/3k)2(−2/3k)2(−1/8)k≡ap(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.

References

Primary source

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

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.