Proof of two congruence conjectures of Z.-W. Sun

Guo-Shuai Mao

2023-04-04

Abstract:In this paper, we mainly prove two congruence conjecture of Z.-W. Sun. Let $p\equiv3\pmod 4$ be a prime. Then $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{8^k}\equiv-\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{(-16)^k}\pmod{p^3}.$$ And for any odd prime $p$, if $p=x^2+y^2$ with $4|x-1, 2|y$, then $$ \sum_{k=0}^{p-1}\frac{(k+1)\binom{2k}k^2}{8^k}+\sum_{k=0}^{(p-1)/2}\frac{(2k+1)\binom{2k}k^2}{(-16)^k}\equiv2\left(\frac{2}p\right)x\pmod{p^3}. $$

Number Theory,Combinatorics

What problem does this paper attempt to address?

This paper attempts to solve two congruence conjectures proposed by Z.-W. Sun, as follows:

1. **The first conjecture**: For prime numbers \(p\) satisfying \(p\equiv 3\ (\text{mod}\ 4)\), prove that the following congruence holds:
\[
\sum_{k = 0}^{p-1}\frac{\binom{2k}{k}^2}{8^k}\equiv-\sum_{k = 0}^{p-1}\frac{\binom{2k}{k}^2}{(- 16)^k}\pmod{p^3}
\]

2. **The second conjecture**: For any odd prime number \(p\), if \(p=x^2 + y^2\) and \(4\mid(x - 1)\) and \(2\mid y\), then prove that the following congruence holds:
\[
\sum_{k = 0}^{p-1}(k + 1)\frac{\binom{2k}{k}^2}{8^k}+\sum_{k = 0}^{\frac{p-1}{2}}(2k + 1)\frac{\binom{2k}{k}^2}{(-16)^k}\equiv2\left(\frac{2}{p}\right)x\pmod{p^3}
\]
where \(\left(\frac{2}{p}\right)\) represents the Legendre symbol.

These two conjectures involve combinatorial numbers, binomial coefficients and congruence properties modulo \(p^3\). The main objective of the paper is to verify the correctness of these two conjectures through detailed mathematical derivations and proofs.