The ASD-type congruence conjecture for J~2\tilde{J}_2

Let pp be an odd prime and let m,rZ>0m,r\in\mathbb{Z}_{>0} with mm odd. Let J~2(n)\tilde{J}_2(n) denote the normalized higher Apéry-like number used in the paper. Define the coefficients λn\lambda_n by

n=1λnqn=qn=1(1q4n)6=η(4τ)6.\sum_{n=1}^{\infty}\lambda_nq^n=q\prod_{n=1}^{\infty}(1-q^{4n})^6=\eta(4\tau)^6.

ASD-type congruence conjecture. For any odd prime pp and m,rZ>0m,r\in\mathbb{Z}_{>0} with mm odd,

J~2(mpr12)λpJ~2(mpr112)+(1)p(p1)/2p2J~2(mpr212)0(modpr).\tilde{J}_2\left(\frac{mp^r-1}{2}\right)-\lambda_p\tilde{J}_2\left(\frac{mp^{r-1}-1}{2}\right)+(-1)^{p(p-1)/2}p^2\tilde{J}_2\left(\frac{mp^{r-2}-1}{2}\right)\equiv0\pmod{p^r}.

Further, the congruence holds modulo p2rp^{2r} if p5p\geq5. The source says that the Apéry-number congruence is a special case and that the analogous Apéry and normalized higher Apéry-like numbers satisfy the same relation, but it does not state a resolution.

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.