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

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 p3p\geq 3,

k=0p1J~2(k)2(1)p12(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.

Sources & referencesView supporting material

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.