Proof of some conjectural congruences involving Apéry and Apéry-like numbers

Guo-shuai Mao,Lilong Wang

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

2024-03-08

Proceedings of the Edinburgh Mathematical Society

Abstract:In this paper, we mainly prove the following conjectures of Sun [16]: Let p > 3 be a prime. Then where is the nth Apéry number, and B n is the nth Bernoulli number.

mathematics

What problem does this paper attempt to address?

On Congruences Involving Apéry Numbers

Wei Xia,Zhi-Wei Sun

DOI: https://doi.org/10.1090/proc/16387

IF: 0.9709

2023-01-01

Proceedings of the American Mathematical Society

Abstract:In this paper, we mainly establish a congruence for a sum involving Apery numbers, which was conjectured by Z.-W. Sun. Namely, for any prime p > 3 and positive odd integer m, we prove that there is a p-adic integer Gm only depending on m such that
Supercongruences involving Apéry-like numbers and Bernoulli numbers

Ji-Cai Liu

2024-05-15

Abstract:We establish supercongruences for two kinds of Apéry-like numbers, which involve Bernoulli numbers and Bernoulli polynomials. Conjectural supercongruences of the same type for another four kinds of Apéry-like numbers are also proposed.

Number Theory
Congruences for the Apéry numbers modulo $p^3$

Zhi-Hong Sun

2024-10-15

Abstract:Let $\{A'_n\}$ be the Apéry numbers given by $A'_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k.$ For any prime $p\equiv 3\pmod 4$ we show that $A'_{\frac{p-1}2}\equiv \frac{p^2}3\binom{\frac{p-3}2}{\frac{p-3}4}^{-2}\pmod {p^3}$. Let $\{t_n\}$ be given by $$t_0=1,\ t_1=5\quad\hbox{and}\quad t_{n+1}=(8n^2+12n+5)t_n-4n^2(2n+1)^2t_{n-1}\ (n\ge 1).$$ We also obtain the congruences for $t_p\pmod {p^3},\ t_{p-1}\pmod {p^2}$ and $t_{\frac{p-1}2}\pmod {p^2}$, where $p$ is an odd prime.

Number Theory,Combinatorics
Congruences for Apéry Numbers Βn =∑k=0nn K2n+k K

Hui-Qin Cao,Yuri Matiyasevich,Zhi-Wei Sun

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

2019-01-01

International Journal of Number Theory

Abstract:In this paper, we establish some congruences involving the Apéry numbers [Formula: see text]. For example, we show that [Formula: see text] for any positive integer [Formula: see text], and [Formula: see text] for any prime [Formula: see text], where [Formula: see text] is the [Formula: see text]th Bernoulli number. We also present certain relations between congruence properties of the two kinds of Aṕery numbers, [Formula: see text] and [Formula: see text].
Sun's Three Conjectures on Apéry-like Sums Involving Harmonic Numbers

Ce Xu,Jianqiang Zhao

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

2022-03-08

Number Theory

Abstract:In this paper, we will give another proof of Zhi-Wei Sun's three conjectures on Ap\'{e}ry-like sums involving harmonic numbers by proving some identities among special values of multiple polylogarithms.
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
Congruences for Ap'ery numbers $eta_{n}=sum_{k=0}^{n}inom{n}{k}^2inom{n+k}{k}$.

Hui-Qin Cao,Yuri Matiyasevich,Zhi-Wei Sun

2019-01-01

Abstract:In this paper we establish some congruences involving the Apu0027ery numbers $beta_{n}=sum_{k=0}^{n}binom{n}{k}^2binom{n+k}{k}$ $(n=0,1,2,ldots)$. For example, we show that $$sum_{k=0}^{n-1}(11k^2+13k+4)beta_kequiv0pmod{2n^2}$$ for any positive integer $n$, and $$sum_{k=0}^{p-1}(11k^2+13k+4)beta_kequiv 4p^2+4p^7B_{p-5}pmod{p^8}$$ for any prime $pu003e3$, where $B_{p-5}$ is the $(p-5)$th Bernoulli number. We also present certain relations between congruence properties of the two kinds of Au0027pery numbers, $beta_n$ and $A_n=sum_{k=0}^nbinom nk^2binom{n+k}k^2$.
On Sums of Apéry Polynomials and Related Congruences

Zhi-Wei Sun

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

IF: 0.679

2012-01-01

Journal of Number Theory

Abstract:The Apéry polynomials are given byAn(x)=∑k=0n(nk)2(n+kk)2xk(n=0,1,2,…). (Those An=An(1) are Apéry numbers.) Let p be an odd prime. We show that∑k=0p−1(−1)kAk(x)≡∑k=0p−1(2kk)316kxk(modp2), and that∑k=0p−1Ak(x)≡(xp)∑k=0p−1(4kk,k,k,k)(256x)k(modp) for any p-adic integer x≢0(modp). This enables us to determine explicitly ∑k=0p−1(±1)kAkmodp, and ∑k=0p−1(−1)kAkmodp2 in the case p≡2(mod3). Another consequence states that∑k=0p−1(−1)kAk(−2)≡{4x2−2p(modp2)if p=x2+4y2(x,y∈Z),0(modp2)if p≡3(mod4). We also prove that for any prime p>3 we have∑k=0p−1(2k+1)Ak≡p+76p4Bp−3(modp5) where B0,B1,B2,… are Bernoulli numbers.
An extension of Gauss congruences for Apéry numbers

Ji-Cai Liu

2024-04-25

Abstract:Osburn, Sahu and Straub introduced the numbers: \begin{align*} A_n^{(r,s,t)}=\sum_{k=0}^n{n\choose k}^r{n+k\choose k}^s{2k\choose n}^t, \end{align*} for non-negative integers $n,r,s,t$ with $r\ge 2$, which includes two kinds of Apéry numbers and four kinds of Apéry-like numbers as special cases, and showed that the numbers $\{A_n^{(r,s,t)}\}_{n\ge 0}$ satisfy the Gauss congruences of order $3$. We establish an extension of Osburn--Sahu--Straub congruence through Bernoulli numbers, which is one step deep congruence of the Gauss congruence for $A_n^{(r,s,t)}$.

Number Theory,Combinatorics
Supercongruences via Beukers' method

Zhi-Hong Sun,Dongxi Ye

2024-09-19

Abstract:Recently, using modular forms F. Beukers posed a unified method that can deal with a large number of supercongruences involving binomial coefficients and Apéry-like numbers. In this paper, we use Beukers' method to prove some conjectures of the first author concerning the congruences for $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k^3}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k}, \ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k\binom{6k}{3k}}{m^k}, \ \sum_{n=0}^{p-1}\frac{V_n}{m^n},\ \sum_{n=0}^{p-1}\frac{T_n}{m^n},\ \sum_{n=0}^{p-1}\frac{D_n}{m^n} $$ and $\sum_{n=0}^{p-1}(-1)^nA_n$ modulo $p^3$, where $p$ is an odd prime representable by some suitable binary quadratic form, $m$ is an integer not divisible by $p$, $V_n=\sum_{k=0}^n\binom{2k}k^2\binom{2n-2k}{n-k}^2$, $T_n=\sum_{k=0}^n\binom nk^2\binom{2k}n^2$, $D_n=\sum_{k=0}^n\binom nk^2\binom{2k}k\binom{2n-2k}{n-k}$ and $A_n$ is the Apéry number given by $A_n=\sum_{k=0}^n\binom nk^2\binom{n+k}k^2$.

Number Theory,Classical Analysis and ODEs,Combinatorics
On the binomial transforms of Apéry-like sequences

Ji-Cai Liu

2024-06-26

Abstract:In the proof of the irrationality of $\zeta(3)$ and $\zeta(2)$, Apéry defined two integer sequences through $3$-term recurrences, which are known as the famous Apéry numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced the other $13$ sporadic sequences through variants of Apéry's $3$-term recurrences. All of the $15$ sporadic sequences are called Apéry-like sequences. Motivated by Gessel's congruences mod $24$ for the Apéry numbers, we investigate the congruences in the form $u_n\equiv \alpha^n \pmod{N_{\alpha}}~(\alpha\in \mathbb{Z},N_{\alpha}\in \mathbb{N}^{+})$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$. Let $N_{\alpha}$ be the largest positive integer such that $u_n\equiv \alpha^n \pmod{N_{\alpha}}$ for all non-negative integers $n$. We determine the values of $\max\{N_{\alpha}|\alpha \in \mathbb{Z}\}$ for all of the $15$ Apéry-like sequences $\{u_n\}_{n\ge 0}$.The binomial transforms of Apéry-like sequences provide us a unified approach to this type of congruences for Apéry-like sequences.

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
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
Power-partible reduction and congruences for Apéry numbers

Rong-Hua Wang,Michael X. X. Zhong

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

2024-08-18

International Journal of Number Theory

Abstract:International Journal of Number Theory, Ahead of Print. In this paper, we introduce the power-partible reduction for holonomic (or, P-recursive) sequences and apply it to obtain a series of congruences for Apéry numbers [math]. In particular, we prove that, for any [math], there exists an integer [math] such that ∑k=0p−1(2k + 1)2r+1A k ≡c̃rp(modp3) holds for any prime [math].

mathematics
Proofs of Some Conjectures of Chan and Wang on Congruences for $$(q;q)_\infty ^{\Frac{a}{b}}$$

Xia Ernest X. W.,Zhu Haiyang

DOI: https://doi.org/10.1007/s11139-019-00207-3

2020-01-01

Abstract:Recently, Chan and Wang proved numerous congruences satisfied by $$p_{a/b}(n)$$, where $$p_{a/b}(n)$$ denotes the coefficient of $$q^n$$ in the series expansion of $$(q;q)_\infty ^{\frac{a}{b}}$$. Moreover, they presented many conjectures on the congruences for $$p_{a/b}(n)$$. In this paper, we not only prove some conjectures of Chan and Wang, but also discover new congruences for $$p_{a/b}(n)$$ in light of Ramanujan’s modular equations of fifth, seventh and thirteenth orders.
A Note on Sun's Conjectures on Apéry-like Sums Involving Lucas Sequences and Harmonic Numbers

Ce Xu,Jianqiang Zhao

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

2022-04-11

Number Theory

Abstract:In this paper, we will prove Zhi-Wei Sun's four conjectural identities on Ap\'{e}ry-like sums involving Lucas sequences and harmonic numbers by using a few results of Davydychev--Kalmykov.
Congruences involving g_n(x)=∑ _k=0^n( [ n; k ]) ^2( [ 2k; k ]) x^k

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11139-015-9727-3

2015-01-01

The Ramanujan Journal

Abstract:Define g_n(x)=∑ _k=0^n( [ n; k ]) ^2( [ 2k; k ]) x^k for n=0,1,2,… . Those numbers g_n=g_n(1) are closely related to Apéry numbers and Franel numbers. In this paper we establish some fundamental congruences involving g_n(x) . For example, for any prime p>5 we have ∑ _k=1^p-1g_k(-1)/k≡ 0p^2 and ∑ _k=1^p-1g_k(-1)/k^2≡ 0 p. This is similar to Wolstenholme’s classical congruences ∑ _k=1^p-11/k≡ 0p^2 and ∑ _k=1^p-11/k^2≡ 0 p for any prime p>3 .
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.
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 congruences involving Apéry and Apéry-like numbers

On Congruences Involving Apéry Numbers

Supercongruences involving Apéry-like numbers and Bernoulli numbers

Congruences for the Apéry numbers modulo $p^3$

Congruences for Apéry Numbers Βn =∑k=0nn K2n+k K

Sun's Three Conjectures on Apéry-like Sums Involving Harmonic Numbers

On Some Congruences Involving Central Binomial Coefficients

Congruences for Ap'ery numbers $eta_{n}=sum_{k=0}^{n}inom{n}{k}^2inom{n+k}{k}$.

On Sums of Apéry Polynomials and Related Congruences

An extension of Gauss congruences for Apéry numbers

Supercongruences via Beukers' method

On the binomial transforms of Apéry-like sequences

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

Proof of Some Conjectural Hypergeometric Supercongruences Via Curious Identities

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

Power-partible reduction and congruences for Apéry numbers

Proofs of Some Conjectures of Chan and Wang on Congruences for $$(q;q)_\infty ^{\Frac{a}{b}}$$

A Note on Sun's Conjectures on Apéry-like Sums Involving Lucas Sequences and Harmonic Numbers

Congruences involving g_n(x)=∑ _k=0^n( [ n; k ]) ^2( [ 2k; k ]) x^k

Bernoulli Numbers And Congruences For Harmonic Sums

On a supercongruence conjecture of Z.-W. Sun

Congruences for Ap'ery numbers $eta_{n}=sum_{k=0}^{n}inom{n}{k}^2inom{n+k}{k}$.