Kimoto–Osburn's congruence conjecture for J~2\tilde{J}_2

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

Kimoto–Osburn conjecture. For any odd prime pp and any m,r1m,r\geq1,

J~2(mpr1)( ⁣1p ⁣)J~2(mpr11)(modpr).\tilde{J}_2(mp^r-1)\equiv\left(\!\frac{-1}{p}\!\right)\tilde{J}_2(mp^{r-1}-1)\pmod{p^r}.

The source notes that the case r=1r=1 follows from elementary binomial congruences and a result of Mortenson, while the general assertion is presented as a conjecture.

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.