Kimoto–Wakayama's supercongruence for Apéry-like numbers

About 12 years old · traced to

Let J~2(n)\tilde{J}_{2}(n) be the Apéry-like numbers defined by

J~2(n):=∑k=0n(−1)k(−12k)2(nk).\tilde{J}_{2}(n):=\sum_{k=0}^{n}(-1)^k\binom{-\frac12}{k}^2\binom{n}{k}.

Kimoto–Wakayama's conjecture. For every prime p≥3p\geq 3,

∑k=0p−1J~2(k)2≡(−1)p−12(modp3).\sum_{k=0}^{p-1}\tilde{J}_{2}(k)^2\equiv(-1)^{\frac{p-1}{2}}\pmod{p^3}.

This is a supercongruence for the Apéry-like numbers associated with the non-commutative harmonic oscillator. The conjecture is attributed to Kimoto and Wakayama; its resolution is not indicated in the supplied source.

References

Primary source

Ling Long, Robert Osburn and Holly Swisher, “On a conjecture of Kimoto and Wakayama”, arXiv:1404.4723 (2016).

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.