On convolutions of Euler numbers

Zhi-Wei Sun

2010-01-01

Abstract:We show that if p is an odd prime then $$\sum_{k=0}^{p-1}E_kE_{p-1-k}=1 (mod p)$$ and $$\sum_{k=0}^{p-3}E_kE_{p-3-k}=(-1)^{(p-1)/2}2E_{p-3} (mod p),$$ where E_0,E_1,E_2,... are Euler numbers. Moreover, we prove that for any positive integer n and prime number p>2n+1 we have $$\sum_{k=0}^{p-1+2n}E_kE_{p-1+2n-k}=s(n) (mod p)$$ where s(n) is an integer only depending on n.

What problem does this paper attempt to address?

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
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}
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.
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
On Sums of Binomial Coefficients Modulo P^2

Zhi-Wei Sun

DOI: https://doi.org/10.4064/aa97-1-5

2012-01-01

Colloquium Mathematicum

Abstract:Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}/m^k$ mod p^2, where h,m are p-adic integers with m\not=0 (mod p). For example, we show that if h\not=0 (mod p) and p^a>3 then $$ sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}(-h/2)^k =(\frac{1-2h}{p^a})(1+h((4h-2)^{p-1}/h^{p-1}-1)) (mod p^2),$$ where (-) denotes the Jacobi symbol. Here is another remarkable congruence: If p>3 then $$\sum_{k=0}^{p^a-1}\binom{p^a-1}{k}\binom{2k}{k}(-1)^k =3^{p-1}(\frac{p^a}3) (mod p^2).$$
New Congruences Involving Harmonic Numbers

Zhi-Wei Sun

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

2014-01-01

Abstract:Let p>3 be a prime. For any p-adic integer a, we determine ∑_k=0^p-1-aka-1kH_k, ∑_k=0^p-1-aka-1kH_k^(2), ∑_k=0^p-1-aka-1kH_k^(2)/2k+1 modulo p^2, where H_k=∑_0<j≤ k1/j and H_k^(2)=∑_0<j≤ k1/j^2. In particular, we show that ∑_k=0^p-1-aka-1kH_k≡(-1)^⟨ a⟩_p 2(B_p-1(a)-B_p-1) p, ∑_k=0^p-1-aka-1kH_k^(2)≡ -E_p-3(a) p, (2a-1)∑_k=0^p-1-aka-1kH_k^(2)/2k+1≡ B_p-2(a) p, where ⟨ a⟩_p stands for the least nonnegative integer r with a≡ rp, and B_n(x) and E_n(x) denote the Bernoulli polynomial of degree n and the Euler polynomial of degree n respectively. We also pose some new conjectures on congruences.
Some Curious Congruences Modulo Primes

Li-Lu Zhao,Zhi-Wei Sun

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

IF: 0.679

2010-01-01

Journal of Number Theory

Abstract:Let n be a positive odd integer and let p>n+1 be a prime. We mainly derive the following congruence:∑0<i1<⋯<in<p(i13)(−1)i1i1⋯in≡0(modp).
Some Congruences Involving Euler Numbers

Yuan He,Qunying Liao

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

2008-01-01

Abstract:In this paper, we obtain some explicit congruences for Euler numbers modulo an odd prime power in an elementary way.
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
On Congruences Related to Central Binomial Coefficients

Zhi-Wei Sun

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

IF: 0.679

2011-01-01

Journal of Number Theory

Abstract:It is known that∑k=0∞(2kk)(2k+1)4k=π2and∑k=0∞(2kk)(2k+1)16k=π3. In this paper we obtain their p-adic analogues such as∑p/23 is a prime and E0,E1,E2,… are Euler numbers. Besides these, we also deduce some other congruences related to central binomial coefficients. In addition, we pose some conjectures one of which states that for any odd prime p we have∑k=0p−1(2kk)3≡{4x2−2p(modp2)if(p7)=1&p=x2+7y2(x,y∈Z),0(modp2)if(p7)=−1,i.e.,p≡3,5,6(mod7).
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).
On the Parity of the Generalized Euler Function

SHEN Zhongyan,CAI Tianxin,HU Mengjun

DOI: https://doi.org/10.11845/sxjz.2014201b

2013-01-01

Abstract:In this note, we study the parity of the generalized Euler function ϕe(n). For e = 2 or 3, we give a sufficient and necessary condition for both ϕe(n )a ndϕe(n + 1) to be odd.
Bernoulli Numbers And Congruences For Harmonic Sums

BINZHOU XIA,TIANXIN CAI

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

2010-01-01

International Journal of Number Theory

Abstract:Zhao established the following harmonic congruence for prime p > 3:Sigma(i,j,k>0i+j+k=p) 1/ijk equivalent to -2B(p-3) (mod p).In this note, the authors improve it to the following congruence for prime p > 5:Sigma(i,j,k>0i+j+k=p) 1/ijk equivalent to 12B(p-3)/p-3 - 3B(2p-4)/p-2 (mod p(2)).Meanwhile, they also improve a generalization of Zhao's congruence and extend Eisenstein's congruence.
Some New Congruences Involving Catalan Numbers

Zhi-Wei Sun

2009-01-01

Abstract:Let $p$ be an odd prime and let $a,m$ be integers with $a>0$ and $m \not\equiv0\pmod p$. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ mod $p^2$ for $d=0,1$; for example, $$\sum_{k=0}^{p^a-1}\frac{\binom{2k}k}{m^k}\equiv\left(\frac{m^2-4m}{p^a}\right)+\left(\frac{m^2-4m}{p^{a-1}}\right)u_{p-(\frac{m^2-4m}{p})}\pmod{p^2},$$ where $(-)$ is the Jacobi symbol, and $\{u_n\}_{n\geqslant0}$ is the Lucas sequence given by $u_0=0$, $u_1=1$ and $u_{n+1}=(m-2)u_n-u_{n-1}$ for $n=1,2,3,\ldots$. As an application, we determine $\sum_{0
A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
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.
A Congruence Involving the Quotients of Euler and Its Applications (II)

T. X. Cai,X. D. Fu,X. Zhou

DOI: https://doi.org/10.4064/aa103-4-1

2002-01-01

Acta Arithmetica

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
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.
A Congruence for Primes

ZW SUN

DOI: https://doi.org/10.2307/2161118

IF: 0.9709

1995-01-01

Proceedings of the American Mathematical Society

Abstract:With the help of the Pell sequence we obtain the following new congruence for odd primes: \[ ∑ k = 1 ( p − 1 ) / 2 1 k ⋅ 2 k ≡ ∑ k = 1 [ 3 p / 4 ] ( − 1 ) k − 1 k ( mod p ) . \sum \limits _{k = 1}^{(p - 1)/2} {\frac {1}{{k \cdot {2^k}}} \equiv \sum \limits _{k = 1}^{[3p/4]} {\;\frac {{{{( - 1)}^{k - 1}}}}{k}} \quad \pmod p.} \]
Congruences for the Second-Order Catalan Numbers

Liang Zhao,Hao Pan,Zhi-Wei Sun

DOI: https://doi.org/10.1090/s0002-9939-09-10067-9

IF: 0.9709

2010-01-01

Proceedings of the American Mathematical Society

Abstract:Let $p$ be any odd prime. We mainly show that \begin{equation*} \sum _{k=1}^{p-1}\frac {2^{k}}k\binom {3k}k\equiv 0\ (\operatorname {mod} p) \end{equation*} and \begin{equation*} \sum _{k=1}^{p-1}2^{k-1} C_{k}^{(2)}\equiv (-1)^{(p-1)/2}-1\ (\operatorname {mod} p),\end{equation*} where $C_{k}^{(2)}=\binom {3k}k/(2k+1)$ is the $k$th Catalan number of order 2.

On convolutions of Euler numbers

Supercongruences involving binomial coefficients and Euler polynomials

Super Congruences Involving Alternating Harmonic Sums Modulo Prime Powers

Super congruences and Euler numbers

Congruences concerning Legendre polynomials

On Sums of Binomial Coefficients Modulo P^2

New Congruences Involving Harmonic Numbers

Some Curious Congruences Modulo Primes

Some Congruences Involving Euler Numbers

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

On Congruences Related to Central Binomial Coefficients

Supercongruences Motivated by E

On the Parity of the Generalized Euler Function

Bernoulli Numbers And Congruences For Harmonic Sums

Some New Congruences Involving Catalan Numbers

A variety of Euler’s sum of powers conjecture

On the Solution Set of Additive and Multiplicative Congruences Modulo Primes

A Congruence Involving the Quotients of Euler and Its Applications (II)

A curious congruence modulo prime powers

A Congruence for Primes

Congruences for the Second-Order Catalan Numbers