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

What problem does this paper attempt to address?

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.
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 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
Congruences Involving Catalan Numbers

Zhi-Wei Sun,Roberto Tauraso

2007-01-01

Abstract:In this paper we establish some new congruences involving Catalan numbers as well as central binomial coefficients. Let p > 3 be a prime. We show that
Supercongruences involving Motzkin numbers and central trinomial coefficients

Ji-Cai Liu

DOI: https://doi.org/10.1017/s0013091524000610

2024-10-05

Proceedings of the Edinburgh Mathematical Society

Abstract:Let M n and T n denote the nth Motzkin number and the nth central trinomial coefficient respectively. We prove that for any prime , where is the Legendre symbol. These results confirm three supercongruences conjectured by Z.-W. Sun in 2010.

mathematics
Super congruences and Euler numbers

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11425-011-4302-x

2011-01-01

Science China Mathematics

Abstract:Let p > 3 be a prime. A p -adic congruence is called a super congruence if it happens to hold modulo some higher power of p . The topic of super congruences is related to many fields including Gauss and Jacobi sums and hypergeometric series. We prove that ∑_k = 0^p - 1( _k^2k)/2^k ≡( - 1)^( p - 1)/ . - 2 - p^2 E_p - 3( p^3 ), ∑_k = 1^( p - 1)/ . - 2( _k^2k)/k≡( - 1)^( p + 1)/ . - 28/3pE_p - 3( p^2 ), ∑_k = 0^( p - 1)/ . - 2( _k^2k)^2 /16^k ≡( - 1)^( p - 1)/ . - 2 + p^2 E_p - 3( p^3 ), where E 0 , E 1 , E 2 , ... are Euler numbers. Our new approach is of combinatorial nature. We also formulate many conjectures concerning super congruences and relate most of them to Euler numbers or Bernoulli numbers. Motivated by our investigation of super congruences, we also raise a conjecture on 7 new series for π 2 , π −2 and the constant K: = ∑_k = 1^∞( k3)/ . -k^2 (with (−) the Jacobi symbol), two of which are ∑_k = 1^∞( 10k - 3)8^k /k^3 ( _k^2k)^2 ( _k^3k) = π ^2 /2 and ∑_k = 1^∞( 15k - 4)( - 27)^k - 1/k^3 ( _k^2k)^2 ( _k^3k) = K.
Super Congruences Involving Central Binomial Coefficients

Zhi-Wei Sun,R. Tauraso

2008-01-01

Abstract:In this paper we study super-congruences involving central binomial coefficients and our main results extend some conjectures of Rodriguez-Villegas proved by Mortenson.
Supercongruences satisfied by coefficients of 2F1 hypergeometric series

Heng Huat Chan,Aristides Kontogeorgis,Christian Krattenthaler,Robert Osburn

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

2009-12-03

Abstract:Recently, Chan, Cooper and Sica conjectured two congruences for coefficients of classical 2F1 hypergeometric series which also arise from power series expansions of modular forms in terms of modular functions. We prove these two congruences using combinatorial properties of the coefficients.

Number Theory,Combinatorics
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.
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.
Telescoping Method and Congruences for Double Sums

Yan-Ping Mu,Zhi-Wei Sun

DOI: https://doi.org/10.1142/s1793042118500100

2017-01-01

International Journal of Number Theory

Abstract:In recent years, Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double summations of hypergeometric terms. Using the telescoping method and certain mathematical software packages, we transform such a double summation into a single sum. With this new approach, we confirm several open conjectures of Sun.
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 conjectures on series with summands involving 2kk8^k/(3kk6k3k)

Zhi-Wei Sun,Yajun Zhou

2024-01-01

Abstract:Using cyclotomic multiple zeta values of level 8, we confirm and generalize several conjectural identities on infinite series with summands involving 2kk8^k/(3kk6k3k). For example, we prove that ∑_k=0^∞(350k-17)2kk8^k/3kk6k3k=15√(2) π+27 and ∑_k=1^∞{(5k-1)[16𝖧_2k-1^(2)-3𝖧_k-1^(2)]-12(6k-1)/(2k-1)^2}2kk8^k/k(2k-1)3kk6k3k=π^3/12√(2), where 𝖧^(2)_m denotes the second-order harmonic number ∑_0<j≤ m1/j^2.
Proof of a q-supercongruence conjectured by Guo and Schlosser

Long Li,Su-Dan Wang

DOI: https://doi.org/10.1007/s13398-020-00923-2

2020-08-19

Abstract:In this paper, we confirm the following conjecture of Guo and Schlosser: for any odd integer $n>1$ and $M=(n+1)/2$ or $n-1$,
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
On Some Congruences Involving Central Binomial Coefficients

GUO-SHUAI MAO

DOI: https://doi.org/10.1017/s0004972724000121

2024-03-09

Bulletin of the Australian Mathematical Society

Abstract:We prove the following conjecture of Z.-W. Sun ['On congruences related to central binomial coefficients', J. Number Theory13(11) (2011), 2219–2238]. Let p be an odd prime. Then where is the nth harmonic number and is the nth Bernoulli number. In addition, we evaluate modulo for any p-adic integers .

mathematics
Super Congruence on Harmonic Sums

Peng Yang,Tianxin Cai

DOI: https://doi.org/10.1142/s1793042117501433

2017-01-01

International Journal of Number Theory

Abstract:Wang and Cai established the following harmonic congruence for odd prime and positive integer [Formula: see text]: [Formula: see text] where [Formula: see text] denote the set of positive integers which are prime to [Formula: see text]. In this paper, the authors generalize it into super congruence for odd prime [Formula: see text] and positive integer [Formula: see text]: [Formula: see text] where [Formula: see text] [Formula: see text] [Formula: see text] and [Formula: see text] are positive integers such that [Formula: see text]
Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

Zhi-Wei Sun,Yajun Zhou

2024-01-25

Abstract:Using cyclotomic multiple zeta values of level $8$, we confirm and generalize several conjectural identities on infinite series with summands involving $\binom{2k}k8^k/(\binom{3k}k\binom{6k}{3k})$. For example, we prove that \[\sum_{k=0}^\infty\frac{(350k-17)\binom{2k}k8^k} {\binom{3k}k\binom{6k}{3k}}=15\sqrt2\,\pi+27\] and \[\sum_{k=1}^\infty\frac{\left\{(5k-1)\left[16\mathsf H_{2k-1}^{(2)}-3\mathsf H_{k-1}^{(2)}\right]-\frac{12(6k-1)}{(2k-1)^2}\right\}\binom{2k}k8^k} {k(2k-1)\binom{3k}k\binom{6k}{3k}}=\frac{\pi^3}{12\sqrt2},\] where $\mathsf H^{(2)}_m$ denotes the second-order harmonic number $\sum_{0<j\leq m}\frac1{j^2}$.

Classical Analysis and ODEs,Number Theory
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
Two new $q$-supercongruences arising from Carlitz's identity

Ji-Cai Liu,Wei-Wei Qi

2023-04-01

Abstract:From Carlitz's identity, we deduce two new $q$-supercongruences modulo the square of a cyclotomic polynomial, which were originally conjectured by Guo. These results establish new $q$-analogues of a supercongruence of Sun.

Number Theory,Combinatorics

Proof of Sun's supercongruence involving Catalan numbers

Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

On a supercongruence conjecture of Z.-W. Sun

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

Congruences Involving Catalan Numbers

Supercongruences involving Motzkin numbers and central trinomial coefficients

Super congruences and Euler numbers

Super Congruences Involving Central Binomial Coefficients

Supercongruences satisfied by coefficients of 2F1 hypergeometric series

Proof of Three Conjectures on Congruences

Proof of a conjectural supercongruence modulo $p^5$

Telescoping Method and Congruences for Double Sums

Congruences concerning Legendre polynomials

Proof of conjectures on series with summands involving 2kk8^k/(3kk6k3k)

Proof of a q-supercongruence conjectured by Guo and Schlosser

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

On Some Congruences Involving Central Binomial Coefficients

Super Congruence on Harmonic Sums

Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

Supercongruences involving Domb numbers and binary quadratic forms

Two new $q$-supercongruences arising from Carlitz's identity