Guo-Shuai Mao,Michael J. Schlosser
Abstract:In this paper, we prove two recently conjectured supercongruences (modulo $p^3$, where $p$ is any prime greater than $3$) of Zhi-Hong Sun on truncated sums involving the Domb numbers. Our proofs involve a number of ingredients such as congruences involving specialized Bernoulli polynomials, harmonic numbers, binomial coefficients, and hypergeometric summations and transformations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove two supercongruences of truncated sums involving Domb numbers proposed by Zhi - Hong Sun. These congruences are modulo \(p^3\), where \(p\) is any prime number greater than 3. Specifically, the authors verify these conjectures through a series of complex mathematical tools and techniques, such as congruence relations involving special Bernoulli polynomials, harmonic numbers, binomial coefficients, and hypergeometric summation and transformation.
### Background Introduction
The Domb number \(D_n\) is defined as:
\[
D_n=\sum_{k = 0}^{n}\binom{n}{k}^2\binom{2k}{k}\binom{2n-2k}{n - k}
\]
These numbers first appeared in C. Domb's research on interacting particles on crystal lattices and also emerged in the calculation of certain series coefficients related to \(\frac{1}{\pi}\).
### Main Results
The main result of the paper is Theorem 1.1, which contains two supercongruences. These congruences were originally proposed by Z. - H. Sun in [19, Conjecture 3.5, Conjecture 3.6]. The special feature of these two congruences is that their expressions involve the binary quadratic form \(x^2 + 3y^2\). For a prime number \(p\) satisfying \(p\equiv1\pmod{3}\), it can be expressed as \(p=x^2+3y^2\).
The specific congruences are as follows:
For prime numbers \(p>3\):
\[
\sum_{k = 0}^{p-1}\frac{k^3D_k}{4^k}\equiv
\begin{cases}
-\frac{64}{45}x^2+\frac{32}{45}p+\frac{43p^2}{90}x^2&\pmod{p^3}\text{ if }p=x^2 + 3y^2\equiv1\pmod{3},\\
\frac{28}{9}R_3(p)&\pmod{p^2}\text{ if }p\equiv2\pmod{3}\text{ and }p\neq5
\end{cases}
\]
\[
\sum_{k = 0}^{p-1}\frac{k^3D_k}{16^k}\equiv
\begin{cases}
\frac{4}{45}x^2-\frac{2}{45}p+\frac{p^2}{45}x^2&\pmod{p^3}\text{ if }p=x^2 + 3y^2\equiv1\pmod{3},\\
-\frac{4}{9}R_3(p)&\pmod{p^2}\text{ if }p\equiv2\pmod{3}
\end{cases}
\]
### Proof Methods
To prove these congruences, the authors use seven lemmas, which involve the congruence properties of Bernoulli polynomials, harmonic numbers, binomial coefficients, etc. In addition, they also utilize some existing congruence results and combinatorial identities and verify them through the Sigma package in Mathematica software.
In general, this paper successfully proves two complex congruence relations involving Domb numbers through strict mathematical derivations, further enriching the research results in this field.