Abstract:Using a ${}_7F_6$ hypergeometric transformation formula, we prove two supercongruences. In particular, one of these supercongruences confirms a recent conjecture of Guo, Liu and Schlosser, and gives an extension of a supercongruence of Long and Ramakrishna.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove two supercongruences by using a specific 7F6 hypergeometric transformation formula. One of the supercongruences verifies a recent conjecture of Guo, Liu and Schlosser, and extends a known supercongruence result of Long and Ramakrishna.
Specifically, the paper mainly focuses on the following problems:
1. **Verify and extend supercongruences**: One of the main objectives of the paper is to verify Conjecture 1 proposed by Guo, Liu and Schlosser, which involves a supercongruence of a specific form. In addition, the paper also attempts to further generalize this result.
2. **Introduce new supercongruences**: The second objective of the paper is to prove a new supercongruence theorem (Theorem 1.2), which extends previous work and involves different parameters and modulus conditions.
### Specific mathematical expressions
The specific supercongruence expressions involved in the paper are as follows:
#### Theorem 1.1
For an integer \( r\leq1 \) and coprime to 3, and a prime number \( p > 3 \) such that \( p\equiv -r\pmod{3} \) and \( p\geq3 - r \), we have:
\[
\sum_{k = 0}^{p - 1}(6k + r)\frac{\left(\frac{r}{3}\right)_k^6}{(1)_k^6}\equiv(-1)^{r + 1}\frac{80rp^4}{81}\cdot\frac{\Gamma_p\left(1+\frac{r}{3}\right)^2\Gamma_p\left(1+\frac{2r}{3}\right)^3}{\Gamma_p\left(1-\frac{r}{3}\right)^4}\sum_{k = 0}^{1 - r}\frac{(r - 1)_k\left(\frac{r}{3}\right)_k^3}{(1)_k\left(\frac{2r}{3}\right)_k^3}\pmod{p^6}
\]
#### Theorem 1.2
For an odd number \( r\leq1 \) and coprime to 5, and an odd prime number \( p \) such that \( p\equiv2r\pmod{5} \) and \( p\geq\frac{5 - r}{2} \), we have:
\[
\sum_{k = 0}^{p - 1}(10k + r)\frac{\left(\frac{r}{5}\right)_k^5}{(1)_k^5}\equiv\frac{12p^4}{25}\cdot\frac{\Gamma_p\left(\frac{r}{5}\right)^4}{\Gamma_p\left(\frac{2r}{5}\right)^2\Gamma_p\left(\frac{1}{2}+\frac{3r}{10}\right)\Gamma_p\left(\frac{1}{2}-\frac{r}{10}\right)^3}\sum_{k = 0}^{\frac{1 - r}{2}}\frac{\left(\frac{r - 1}{2}\right)_k\left(\frac{r}{5}\right)_k^3}{(1)_k\left(\frac{2r}{5}\right)_k^2\left(\frac{1}{2}+\frac{3r}{10}\right)_k}\pmod{p^5}
\]
### Summary
The core problem of the paper is to verify and extend existing supercongruence results by using the 7F6 hypergeometric transformation formula, and at the same time propose and prove new supercongruence theorems. These results.