Proof of a conjectural supercongruence modulo $p^5$

Guo-Shuai Mao,Zhi-Wei Sun

DOI: https://doi.org/10.48550/arxiv.2109.09877

2021-01-01

Abstract: In this paper we prove the supercongruence $$\sum_{n=0}^{(p-1)/2}\frac{6n+1}{256^n}\binom{2n}n^3\equiv p(-1)^{(p-1)/2}+(-1)^{(p-1)/2}\frac{7}{24}p^4B_{p-3}\pmod{p^5}$$ for any prime $p>3$, which was conjectured by Sun in 2019.

What problem does this paper attempt to address?

On a supercongruence conjecture of Z.-W. Sun

Guo-Shuai Mao

DOI: https://doi.org/10.1007/s11401-022-0332-7

2020-04-05

Abstract:In this paper, we partly prove a supercongruence conjectured by Z.-W. Sun in 2013. Let $p$ be an odd prime and let $a\in\mathbb{Z}^{+}$. Then if $p\equiv1\pmod3$, we have \begin{align*} \sum_{k=0}^{\lfloor\frac{5}6p^a\rfloor}\frac{\binom{2k}k}{16^k}\equiv\left(\frac{3}{p^a}\right)\pmod{p^2}, \end{align*} where $\left(\frac{\cdot}{\cdot}\right)$ is the Jacobi symbol.

Number Theory,Combinatorics
Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

Chen Wang,Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jmaa.2021.125575

IF: 1.417

2021-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this paper, we prove several supercongruences conjectured by Z.-W. Sun ten years ago via certain strange hypergeometric identities. For example, for any prime p>3, we show that∑k=0p−1(4k2k+1)(2kk)48k≡0(modp2), and∑k=0p−1(2kk)(3kk)24k≡{((2p−2)/3(p−1)/3)(modp2)ifp≡1(mod3),p/((2p+2)/3(p+1)/3)(modp2)ifp≡2(mod3). We also obtain some other results of such types.
Proof of two supercongruences of truncated hypergeometric series ${}_4F_3$

Guo-Shuai Mao

DOI: https://doi.org/10.1007/s10114-023-1152-8

2024-11-20

Abstract:In this paper, we prove two supercongruences conjectured by Z.-W. Sun via the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{6n+1}{(-512)^n}\binom{2n}n^3&\equiv p\left(\frac{-2}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}$ is the $n$-th Euler number.

Number Theory,Combinatorics
SOME NEW SUPER-CONGRUENCES MODULO PRIME POWERS

Zhi‐Wei Sun

2010-01-01

Abstract:Let p > 3 be a prime. We show that p 1 X k=0 � −1/(p + 1) k �p+1 � 0 (mod p 5 ) and p 1 X k=0 � 1/(p − 1) k �p 1 � 0 (mod p 4 ). For any positive integer m 㘑 0 (mod p), we prove that p 1 X k=0 (−1) km � p/m − 1 k �m � 0 (mod p 4 ),
Supercongruences Motivated by E

Zhi-Wei Sun

DOI: https://doi.org/10.1016/j.jnt.2014.07.013

IF: 0.679

2015-01-01

Journal of Number Theory

Abstract:In this paper we establish some new supercongruences motivated by the well-known fact limn→∞⁡(1+1/n)n=e. Let p>3 be a prime. We prove that∑k=0p−1(−1/(p+1)k)p+1≡0(modp5) and∑k=0p−1(1/(p−1)k)p−1≡23p4Bp−3(modp5) where B0,B1,B2,… are Bernoulli numbers. We also show that for any a∈Z with p∤a we have∑k=1p−11k(1+ak)k≡−1(modp)and∑k=1p−11k2(1+ak)k≡1+12a(modp).
Congruences concerning Legendre polynomials

Zhi-Hong Sun

DOI: https://doi.org/10.1090/S0002-9939-2010-10566-X

2010-12-17

Abstract:Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$. In particular, we confirm several conjectures of Z.W. Sun. We also pose 13 conjectures on supercongruences.

Number Theory
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
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
Some super congruences involving binomial coefficients

Hui-Qin Cao,Zhi-Wei Sun

2010-01-01

Abstract:Let $p>3$ be a prime. We show that $$T_{p-1}=(p/3)3^{p-1} (mod p^2},$$ where the central trinomial coefficient $T_n$ is the constant term in the expansion of $(1+x+x^{-1})^n$. We also prove three congruences conjectured by Sun one of which is as follows: $$\sum_{k=0}^{p-1}\binom{p-1}{k}\binom{2k}{k}((-1)^k-(-3)^{-k})=(p/3)(3^{p-1}-1) (mod p^3).$$
Supercongruences for central trinomial coefficients

Hao Pan,Zhi-Wei Sun

DOI: https://doi.org/10.48550/arxiv.2012.05121

2020-01-01

Abstract: For each $n=0,1,2,\ldots$ the central trinomial coefficient $T_n$ is the coefficient of $x^n$ in the expansion of $(x^2+x+1)^n$. In 2016 the second author conjectured that for any prime $p>3$ and positive integer $n$ the quotient $(T_{pn}-T_n)/(pn)^3$ is a $p$-adic integer. In this paper we confirm this conjecture and prove further that $$\frac{T_{pn}-T_n}{(pn)^2}\equiv\frac{T_{n-1}}6\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod p,$$ where $B_{p-2}(x)$ denotes the Bernoulli polynomial of degree $p-2$.
Proof of Three Conjectures on Congruences

Hao Pan,Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11425-014-4834-y

2014-01-01

Science China Mathematics

Abstract:This paper proves three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let p be an odd prime and let a be a positive integer. It is shown that if p ≡ 1 (mod 4) or a > 1 then ∑_k = 0^⌊34p^a ⌋( - 1/2k) ≡( 2p^a )( p^2 ) , where (−) denotes the Jacobi symbol. This confirms a conjecture of the second author. A conjecture of Tauraso is also confirmed by showing that ∑_k = 1^⌊p - 1⌋L_k k^2 ≡ 0( p)providedp > 5, where the Lucas numbers L 0 , L 1 , L 2 , … are defined by L 0 = 2, L 1 = 1 and L n +1 = L n + L n −1 ( n = 1, 2, 3, …). The third theorem states that if p ≠ 5 then F_p^a - (p^a 5) mod p 3 can be determined in the following way: ∑_k = 0^p^a - 1( - 1)^k (_k^2k ) ≡( p^a 5)(1 - 2F_p^a - (p^a 5) )( p^3 ), which appeared as a conjecture in a paper of Sun and Tauraso in 2010.
Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.48550/arxiv.1503.03156

2015-01-01

Abstract:In 2014, Wang and Cai established the following harmonic congruence for any odd prime $p$ and positive integer $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{1}{ijk}\equiv-2p^{r-1}B_{p-3} (\bmod p^{r}), \end{equation*} where $\mathcal{P}_{n}$ denote the set of positive integers which are prime to $n$. In this note, we establish a combinational congruence of alternating harmonic sums for any odd prime $p$ and positive integers $r$, \begin{equation*} \sum\limits_{i+j+k=p^{r}\atop{i,j,k\in \mathcal{P}_{p}}}\frac{(-1)^{i}}{ijk} \equiv \frac{1}{2}p^{r-1}B_{p-3} (\bmod p^{r}). \end{equation*} For any odd prime $p\geq 5$ and positive integers $r$, we have \begin{align} &4\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}}+3\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}} \nonumber\\&\equiv\begin{cases} \frac{216}{5}pB_{p-5}\pmod{p^{2}}, if r=1, \\ \frac{36}{5}p^{r}B_{p-5}\pmod{p^{r+1}}, if r>1. \\ \end{cases}\nonumber \end{align} For any odd prime $p> 5$ and positive integers $r$, we have \begin{align} &\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}}}{i_{1}i_{2}i_{3}i_{4}i_{5}}+2\sum\limits_{i_{1}+i_{2}+i_{3}+i_{4}+i_{5}=2p^{r}\atop{i_{1}, i_{2}, i_{3}, i_{4}, i_{5}\in \mathcal{P}_{p}}}\frac{(-1)^{i_{1}+i_{2}}}{i_{1}i_{2}i_{3}i_{4}i_{5}} \nonumber\\&\equiv\begin{cases} 12B_{p-5}\pmod{p}, if r=1,\\ 6p^{r-1}B_{p-5}\pmod{p^{r}}, if r>1. \end{cases}\nonumber \end{align}
On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Tianxin Cai,Zhongyan Shen,Peng Yang

DOI: https://doi.org/10.2298/fil2402621c

2024-01-01

Filomat

Abstract:Let p be an odd prime. In this paper, analogs of Wilson?s and Wolstenholme?s theorems on the solution sets S+ = {n ? Z* p | n ? a + b ? ab (mod p)} and S? = {n ? Z* p | n ? a ? b ? ab (mod p)} are given, where Z* p denote a reduced residue system modulo p. We also establish congruences about sum and product of the quadratic residues in S+ or in S? modulo p. Finally, we raise a problem on how to solve Hadamard?s conjecture in the last section.
Supercongruences involving Domb numbers and binary quadratic forms

Guo-Shuai Mao,Michael J. Schlosser

DOI: https://doi.org/10.48550/arXiv.2112.12732

2021-12-24

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.

Number Theory
Supercongruences involving binomial coefficients and Euler polynomials

Chen Wang,Hui-Li Han

2024-07-29

Abstract:Let $p$ be an odd prime and let $x$ be a $p$-adic integer. In this paper, we establish supercongruences for $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-4)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2} $$ and $$ \sum_{k=0}^{p-1}\frac{\binom{x}{k}\binom{x+k}{k}(-2)^k}{(dk+1)\binom{2k}{k}}\pmod{p^2}, $$ where $d\in\{0,1,2\}$. As consequences, we extend some known results. For example, for $p>3$ we show $$ \sum_{k=0}^{p-1}\binom{3k}{k}\left(\frac{4}{27}\right)^k\equiv\frac19+\frac89p+\frac{4}{27}pE_{p-2}\left(\frac13\right)\pmod{p^2}, $$ where $E_n(x)$ denotes the Euler polynomial of degree $n$. This generalizes a known congruence of Z.-W. Sun.

Number Theory,Combinatorics
On a conjectural congruence of Guo

Wang Chen,Pan Hao

DOI: https://doi.org/10.48550/arxiv.2001.08347

2020-01-01

Abstract: Let $p\equiv3\pmod{4}$ be a prime and $r$ a positive integer. We show that $$ \prod_{k=1}^{(p^{2r}-1)/2}\frac{4k-1}{4k+1}\equiv1\pmod{p^2}. $$ This confirms a recent conjecture of Guo.
Proof of Sun's supercongruence involving Catalan numbers

Ji-Cai Liu

DOI: https://doi.org/10.48550/arXiv.2001.03941

2020-01-12

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.

Number Theory,Combinatorics
A curious congruence modulo prime powers

liuquan wang,tianxin cai

DOI: https://doi.org/10.1016/j.jnt.2014.04.004

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:Zhao established a curious congruence, i.e., for any prime p≥3,∑i+j+k=pi,j,k>01ijk≡−2Bp−3(modp). In this note we prove that for any prime p≥3 and positive integer r,∑i+j+k=pri,j,k∈Pp1ijk≡−2pr−1Bp−3(modpr), where Pn denotes the set of positive integers which are prime to n.
Super Congruences and Elliptic Curves over $\bbb F_p$

Zhi-Wei Sun

2010-01-01

Abstract:In this paper we deduce some new supercongruences modulo powers of a prime $p>3$. Let $d\in\{0,1,\ldots,(p-1)/2\}$. We show that $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{2k}{k+d}}{8^k}\equiv 0 (\mbox{mod} p) \mbox{if} d\equiv \frac{p+1}2 (\mbox{mod} 2),$$ and $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k\binom{2k}{k+d}}{16^k} \equiv\left(\frac{-1}p\right)+p^2\frac{(-1)^d}4E_{p-3}\left(d+\frac12\right)\pmod{p^3},$$ where $E_{p-3}(x)$ denotes the Euler polynomial of degree $p-3$, and $(-)$ stands for the Legendre symbol. The paper also contains some other results such as $$\sum_{k=0}^{p-1}k^{(1+(\frac{-1}p))/2}\frac{\binom{6k}{3k}\binom{3k}k}{864^k}\equiv0\pmod{p^2}.$$
Supercongruences for sums involving $\binom ak^m$

Zhi-Hong Sun

DOI: https://doi.org/10.48550/arXiv.2204.10132

2022-04-21

Abstract:Let $p$ be an odd prime, and let $a$ be a rational $p$-adic integer with $a\not\equiv 0\pmod p$. In this paper, using WZ method we establish the congruences for $\sum_{k=0}^{p-1} \binom ak^2(-1)^k(1-\frac 2ak)$ modulo $p^2$ and $\sum_{k=0}^{p-1} \binom ak^r(1-\frac 2ak)^s$ modulo $p^4$, where $r\in\{3,4\}$ and $s\in\{1,3\}$.

Number Theory,Combinatorics

Proof of a conjectural supercongruence modulo $p^5$

On a supercongruence conjecture of Z.-W. Sun

Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

Proof of two supercongruences of truncated hypergeometric series ${}_4F_3$

SOME NEW SUPER-CONGRUENCES MODULO PRIME POWERS

Supercongruences Motivated by E

Congruences concerning Legendre polynomials

Proof of some supercongruences via the Wilf-Zeilberger method

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

Some super congruences involving binomial coefficients

Supercongruences for central trinomial coefficients

Proof of Three Conjectures on Congruences

Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

Supercongruences involving Domb numbers and binary quadratic forms

Supercongruences involving binomial coefficients and Euler polynomials

On a conjectural congruence of Guo

Proof of Sun's supercongruence involving Catalan numbers

A curious congruence modulo prime powers

Super Congruences and Elliptic Curves over $\bbb F_p$

Supercongruences for sums involving $\binom ak^m$