Congruences for the Apéry numbers modulo $p^3$

Zhi-Hong Sun

2024-10-15

Abstract:Let $\{A'_n\}$ be the Apéry numbers given by $A'_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k.$ For any prime $p\equiv 3\pmod 4$ we show that $A'_{\frac{p-1}2}\equiv \frac{p^2}3\binom{\frac{p-3}2}{\frac{p-3}4}^{-2}\pmod {p^3}$. Let $\{t_n\}$ be given by $$t_0=1,\ t_1=5\quad\hbox{and}\quad t_{n+1}=(8n^2+12n+5)t_n-4n^2(2n+1)^2t_{n-1}\ (n\ge 1).$$ We also obtain the congruences for $t_p\pmod {p^3},\ t_{p-1}\pmod {p^2}$ and $t_{\frac{p-1}2}\pmod {p^2}$, where $p$ is an odd prime.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the congruence properties of Apéry numbers. Specifically, the author Zhi - Hong Sun studied the congruence relations of Apéry numbers \(A'_n\) modulo \(p^3\) when \(p\equiv 3\pmod{4}\). The main result is to prove that for any prime number \(p\) satisfying \(p\equiv 3\pmod{4}\), we have:

\[A'_{\frac{p - 1}{2}}\equiv\frac{p^2}{3}\binom{\frac{p - 3}{2}}{\frac{p - 3}{4}}^{-2}\pmod{p^3}\]

In addition, the paper also explored some identities and congruence properties of the sequence \(\{t_n\}\). In particular, for odd prime numbers \(p\), it gave specific expressions for congruence relations such as \(t_p\bmod p^3\), \(t_{p - 1}\bmod p^2\) and \(t_{\frac{p - 1}{2}}\bmod p^2\). These results not only expand the understanding of Apéry numbers, but also provide new tools and methods for research in related fields.

The key contribution of the paper lies in systematically analyzing the behavior of Apéry numbers under specific modular conditions through combinatorial identities and congruence techniques modulo \(p\), providing a new perspective for congruence problems in number theory.