The higher Apéry-like square-sum supercongruence for J~2\tilde{J}_2

Let pp be an odd prime, and let J~2(n)\tilde{J}_2(n) denote the normalized higher Apéry-like number used in the paper. The symbol ( ⁣1p ⁣)\left(\!\frac{-1}{p}\!\right) denotes the Legendre symbol.

Square-sum supercongruence. For any odd prime pp,

n=0p1J~2(n)2( ⁣1p ⁣)(modp3).\sum_{n=0}^{p-1}\tilde{J}_2(n)^2\equiv\left(\!\frac{-1}{p}\!\right)\pmod{p^3}.

This conjecture is presented as similar to Rodriguez–Villegas-type congruences for truncated binomial sums; its resolution is not specified in the source.

Sources & referencesView supporting material

Primary source

Kazufumi Kimoto, “Higher Apery-like numbers arising from special values of the spectral zeta function for the non-commutative harmonic oscillator”, arXiv:0901.0658 (2009).

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.