Abstract:We confirm a conjectural supercongruence involving Catalan numbers, which is one of the 100 selected open conjectures on congruences of Sun. The proof makes use of hypergeometric series identities and symbolic summation method.
What problem does this paper attempt to address?
This paper attempts to solve a super congruence conjecture about Catalan numbers. Specifically, the author proves a super congruence conjecture (Conjecture 1.1) involving Catalan numbers proposed by Z.-W. Sun in 2019, that is, for any prime number \( p \geq 5 \), the following congruence holds:
\[
\sum_{k = 0}^{\frac{p - 1}{2}} \frac{\binom{4k}{2k} \binom{2k}{k}}{(2k + 1)64^k} \equiv (-1)^{\frac{p - 1}{2}} \left( 2^{p - 1}-(2^{p - 1}-1)^2 \right) \pmod{p^3}
\]
### Main contributions of the paper
1. **Verify Sun's super congruence conjecture**:
- By using hypergeometric series identities and symbolic summation methods, the author successfully proves the above conjecture.
2. **Proof of key results**:
- In order to prove the main conjecture (Formula 1.2), the author first proves two key theorems (Theorem 1.2 and Theorem 1.3).
- Among them, Theorem 1.2 contains two important congruence relations (Formula 1.3 and Formula 1.4), which are the basis for proving the main conjecture.
### Key formulas
- **Formula 1.3**:
\[
\sum_{k = 0}^{\frac{p - 1}{2}} \frac{\binom{2k}{k}}{(2k - 1)24^k} \equiv (-1)^{\frac{p - 1}{2}} \left( 2^{p - 1}-q_p(2) \right) \pmod{p^2}
\]
- **Formula 1.4**:
\[
\sum_{k = 0}^{\frac{p - 1}{2}} \frac{\binom{2k}{k}^2}{(2k - 1)^3 16^k} \equiv 2 - 2q_p(2)-p \left( q_p(2)^2 - 4q_p(2)+3 \right) \pmod{p^2}
\]
where \( q_p(2) \) is the Fermat quotient, defined as \( q_p(2)=\frac{2^{p - 1}-1}{p} \).
### Conclusion
Through the proof of these key results, the author finally completes the verification of the super congruence conjecture proposed by Sun. This result not only solves an important conjecture of Sun, but also shows the powerful application of hypergeometric series and symbolic summation methods in number theory.