Proof of some supercongruences via the Wilf-Zeilberger method

Guo-Shuai Mao

DOI: https://doi.org/10.1080/10236198.2020.1854239

2019-09-29

Abstract:In this paper, we prove some supercongruences via the Wilf-Zeilberger method. For instance, for any odd prime $p$ and positive integer $r$ and $\delta\in\{1,2\}$, we have \begin{align*} \sum_{n=0}^{(p^r-1)/\delta} \frac{\left(\frac12\right)^5_n}{n!^5}(10n^2+6n+1)(-4)^n &\equiv\begin{cases}p^{2r}\ \pmod{p^{r+4}} &\tt{if}\ r\leq4, \\0\ \pmod{p^{r+4}} &\tt{if}\ r \geq5. \end{cases} \end{align*}

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to prove some supercongruences by the Wilf - Zeilberger (WZ) method. Specifically, the author aims to generalize and verify congruence relations in specific forms, which involve mathematical objects such as binomial coefficients, central binomial coefficients, and generalized harmonic numbers. The following is an overview of several main problems:

1. **Generalize existing congruence relations**:
- For example, Guillera and Zudilin proved the following congruence relation:
\[
\sum_{n = 0}^{(p - 1)/2} \left(\frac{1}{2}\right)_n^5 \frac{(10n^2+6n + 1)(- 4)^n}{n!^5}\equiv p^2\pmod{p^5}
\]
The author attempts to generalize it to:
\[
\sum_{n = 0}^{(p^r-1)/\delta} \left(\frac{1}{2}\right)_n^5 \frac{(10n^2 + 6n + 1)(-4)^n}{n!^5}\equiv
\begin{cases}
p^{2r}\pmod{p^{r + 4}}& \text{if }r\leq4,\\
0\pmod{p^{r + 4}}& \text{if }r\geq5.
\end{cases}
\]

2. **Verify conjectures**:
- For example, Guo proposed the following conjecture:
\[
\sum_{k = 0}^{p^r-1} \frac{4k + 1}{(-64)^k}\binom{2k}{k}^3\equiv(-1)^{(p - 1)r/2}p^r\pmod{p^{r+2}}
\]
The author gives a new proof of this conjecture using the WZ method.

3. **Study other types of congruence relations**:
- For example, for the following form of congruence relation:
\[
\sum_{n = 0}^{(p - 1)/2} \left(\frac{1}{2}\right)_n^2 \frac{1}{(n + 1)n!^2}\equiv2p^2+2p^3(2q_p(2)-1)\pmod{p^4}
\]
where \(q_p(2)\) represents the Fermat quotient \(\frac{2^{p - 1}-1}{p}\), the author also conducts research and gives a proof.

### Main Tools
The author's main tool is the Wilf - Zeilberger (WZ) method, which is a powerful tool for proving combinatorial identities. By constructing appropriate WZ pairs and using the properties of modular arithmetic and binomial coefficients, the author is able to systematically prove the above supercongruences.

### Conclusion
Through the research on supercongruences, this paper not only generalizes the existing results but also verifies some important conjectures. These results are of great significance in the field of number theory, especially providing new insights and proof methods for congruence relations involving modular arithmetic and binomial coefficients.