In this paper, we mainly prove two conjectural supercongruences of Sun by using the following identity $$ \sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2=16^n\sum_{k=0}^n\frac{\binom{n+k}{k}\binom{n}{k}\binom{2k}{k}^2}{(-16)^k} $$ which arises from a ${}_4F_3$ hypergeometric transformation. For any prime $p>3$, we prove that \begin{gather*} \sum_{n=0}^{p-1}\frac{n+1}{8^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+5p^3E_{p-3}\pmod{p^4},\\ \sum_{n=0}^{p-1}\frac{2n+1}{(-16)^n}\sum_{k=0}^n\binom{2k}{k}^2\binom{2n-2k}{n-k}^2\equiv(-1)^{(p-1)/2}p+3p^3E_{p-3}\pmod{p^4}, \end{gather*} where $E_{p-3}$ is the $(p-3)$th Euler number.
Let $m>2$ and $q>0$ be integers with $m$ even or $q$ odd. We show the supercongruence $$\sum_{k=0}^{p-1}(-1)^{km}\binom{p/m-q}{k}^m\equiv0\pmod{p^3}.$$ for any prime $p>mq$. This confirms a conjecture of Sun.
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 $$\sum_{k=0}^{p-1}\frac{\binom{4k}{2k+1}\binom{2k}k}{48^k}\equiv0\pmod{p^2},$$ and $$ \sum_{k=0}^{p-1}\frac{\binom{2k}{k}\binom{3k}{k}}{24^k}\equiv\begin{cases}\binom{(2p-2)/3}{(p-1)/3}\pmod{p^2}\ &\mbox{if}\ p\equiv1\pmod{3},\\ p/\binom{(2p+2)/3}{(p+1)/3}\pmod{p^2}\ &\mbox{if}\ p\equiv2\pmod{3}.\end{cases} $$ We also obtain some other results of such types.
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.
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.
Guillera and Zudilin proved three "divergent" Ramanujan-type supercongruences by means of the Wilf-Zeilberger algorithmic technique. In this paper, we prove $q$-analogues of two of them via the $q$-WZ method. Additionally, we give $q$-analogues of two related congruence of Sun, one is confirmed and the other is conjectural.
Using techniques due to Coster, we prove a supercongruence for a generalization of the Domb numbers. This extends a recent result of Chan, Cooper and Sica and confirms a conjectural supercongruence for numbers which are coefficients in one of Zagier's seven "sporadic" solutions to second order Apery-like differential equations.
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}\frac{6n+1}{256^n}\binom{2n}n^3&\equiv p(-1)^{(p-1)/2}-p^3E_{p-3}\pmod{p^4}. \end{align*} In fact, this supercongruence is a generalization of a supercongruence of van Hamme.
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.
Recently, Z.-W. Sun made the following conjecture: for any odd prime $p$ and odd integer $m$, $$ \frac{1}{m^2{m-1\choose (m-1)/2}}\Bigg(\sum_{k=0}^{(pm-1)/2}\frac{2k\choose k}{8^k} -\left(\frac{2}{p}\right)\sum_{k=0}^{(m-1)/2}\frac{2k\choose k}{8^k}\Bigg) \equiv 0\pmod{p^2}. $$ In this note, applying the "creative microscoping" method, introduced by the author and Zudilin, we confirm the above conjecture of Sun.
The Franel numbers are defined by $ f_n=\sum_{k=0}^n {n\choose k}^3. $ Motivated by the recent work of Z.-W. Sun on Franel numbers, we prove that \begin{align*} \sum_{k=0}^{n-1}(3k+1)(-16)^{n-k-1} {2k\choose k} f_k &\equiv 0\pmod{n{2n\choose n}}, \\ \sum_{k=0}^{p-1}\frac{3k+1}{(-16)^k} {2k\choose k} f_k &\equiv p (-1)^{\frac{p-1}{2}} \pmod{p^3}. \end{align*} where $n>1$ and $p$ is an odd prime. The second congruence modulo $p^2$ confirms a recent conjecture of Z.-H. Sun. We also show that, if $p$ is a prime of the form $4k+3$, then $$ \sum_{k=0}^{p-1}\frac{{2k\choose k} f_k}{(-16)^k} \equiv 0 …
Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)\cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ \sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^3}{k!^3} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which is a refinement of a famous supercongruence of Van Hamme. In 2016, Chen, Xie, and He established the following result: $$ \sum_{k=0}^{p-1}(-1)^k (3k+1)\frac{(\frac{1}{2})_k^3}{k!^3} 2^{3k} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which was originally conjectured by Sun. In this paper we give $q$-analogues of the above two supe…
In this paper, we prove two supercongruences by the Wilf-Zeilberger method. One of them is, for any prime $p>3$, \begin{align*} \sum_{n=0}^{(p-1)/2}\frac{3n+1}{(-8)^n}\binom{2n}n^3\equiv p\left(\frac{-1}p\right)+\frac{p^3}4\left(\frac2p\right)E_{p-3}\left(\frac14\right)\pmod{p^4}, \end{align*} where $\left(\frac{\cdot}p\right)$ stands for the Legendre symbol, and $E_{n}(x)$ are the Euler polynomials. This congruence confirms a conjecture of Sun \cite[(2.18)]{sun-numb-2019} with $n=1$.
We prove some supercongruence and divisibility results on sums involving Domb numbers, which confirm four conjectures of Z.-W. Sun and Z.-H. Sun. For instance, by using a transformation formula due to Chan and Zudilin, we show that for any prime $p\ge 5$, \begin{align*} \sum_{k=0}^{p-1}\frac{3k+1}{(-32)^k}{\rm Domb}(k)\equiv (-1)^{\frac{p-1}{2}}p+p^3E_{p-3} \pmod{p^4}, \end{align*} which is regarded as a $p$-adic analogue of the following interesting formula for $1/π$ due to Rogers: \begin{align*} \sum_{k=0}^{\infty}\frac{3k+1}{(-32)^k}{\rm Domb}(k)=\frac{2}π. \end{align*} Here ${\rm Domb}(n)$…
We prove several supercongruences involving the harmonic number of order two $H_n^{(2)}:=\sum_{k=1}^n1/k^2$. For example, if $p>5$ is prime and $α$ is $p$-integral, then we can completely determine $$ \sum_{k=0}^{p-1}\frac{H_k^{(2)}}{k}\cdot\binomα{k}\binom{-1-α}{k}\quad\text{and}\quad \sum_{k=0}^{\frac{p-1}{2}}\frac{H_k^{(2)}}{k}\cdot\binomα{k}\binom{-1-α}{k} $$ modulo $p^3$. In particular, by setting $α=-1/2$, we confirm two conjectured congruences of Z.-W. Sun.
In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$ \sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k^2\frac{P_k}{8^k}\equiv0\pmod{p^2} $$ for any prime $p\equiv 7\mod{8}$, where $P_k$ is the $k$-th Pell number. Further, we also propose three new congruences of the same type.
In this paper, we prove a new identity for values of the Hurwitz zeta function which contains as particular cases Koecher's identity for odd zeta values, the Bailey-Borwein-Bradley identity for even zeta values and many other interesting formulas related to values of the Hurwitz zeta function. We also get an extension of the bivariate identity of Cohen to values of the Hurwitz zeta function. The main tool we use here is a construction of new Markov-WZ pairs. As application of our results, we prove several conjectures on supercongruences proposed by J. Guillera, W. Zudilin, and Z.-W. Sun.
By using the Rodriguez-Villegas-Mortenson supercongruences, we prove four supercongruences on sums involving binomial coefficients, which were originally conjectured by Sun. We also confirm a related conjecture of Guo on integer-valued polynomials.
Let $M_n$ and $T_n$ denote the $n$th Motzkin number and the $n$th central trinomial coefficient respectively. We prove that for any prime $p\ge 5$, \begin{align*} &\sum_{k=0}^{p-1}M_k^2\equiv \left(\frac{p}{3}\right)\left(2-6p\right)\pmod{p^2},\\ &\sum_{k=0}^{p-1}kM_k^2\equiv \left(\frac{p}{3}\right)\left(9p-1\right)\pmod{p^2},\\ &\sum_{k=0}^{p-1}T_kM_k\equiv \frac{4}{3}\left(\frac{p}{3}\right)+\frac{p}{6}\left(1-9\left(\frac{p}{3}\right)\right)\pmod{p^2}, \end{align*} where $\left(-\right)$ is the Legendre symbol. These results confirm three 12-year-old supercongruence conjectures of Z.-W. Su…
Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$. In the paper we prove some supercongruences concerning $$\align &\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{3k}k}{54^k},\ \sum_{k=0}^{p-1}\frac{\binom{2k}k\binom{4k}{2k}}{128^k},\ \sum_{k=0}^{p-1}\frac{\binom{3k}k\binom{6k}{3k}}{432^k}, &\sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{3k}{k}}{m^k}, \sum_{k=0}^{p-1}\frac{\binom{2k}k^2\binom{4k}{2k}}{m^k},\ \sum_{k=0}^{p-1}\f{\binom{2k}k\binom{3k}{k}\binom{6k}{3k}}{m^k}\mod {p^2}.\endalign$$ Thus we solve some conjectures of Zhi-Wei Sun and the author.
The Delannoy numbers and Schröder numbers are given by \begin{align*} D_n=\sum_{k=0}^n{n\choose k}{n+k\choose k}\quad \text{and}\quad S_n=\sum_{k=0}^n{n\choose k}{n+k\choose k}\frac{1}{k+1}, \end{align*} respectively. Let $p>3$ be a prime. We mainly prove that \begin{align*} \sum_{k=1}^{p-1}D_k S_k\equiv 2p^3B_{p-3}-2pH^{*}_{p-1} \pmod{p^4}, \end{align*} where $B_n$ is the $n$-th Bernoulli number and those $H^{*}_n$ are the alternating harmonic numbers given by $H^{*}_n=\sum_{k=1}^{n}\frac{(-1)^k}{k}$. This supercongruence was originally conjectured by Z.-W. Sun in 2011.
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.
In this paper, we prove some supercongruences concerning truncated hypergeometric series. For example, we show that for any prime $p>3$ and positive integer $r$, $$ \sum_{k=0}^{p^r-1}(3k+1)\frac{(\frac12)_k^3}{(1)_k^3}4^k\equiv p^r+\frac76p^{r+3}B_{p-3}\pmod{p^{r+4}} $$ and $$ \sum_{k=0}^{(p^r-1)/2}(4k+1)\frac{(\frac12)_k^4}{(1)_k^4}\equiv p^r+\frac76p^{r+3}B_{p-3}\pmod{p^{r+4}}, $$ where $(x)_k=x(x+1)\cdots(x+k-1)$ is the Pochhammer symbol and $B_0,B_1,B_2,\ldots$ are Bernoulli numbers. These two congruences confirm conjectures of Sun [Sci. China Math. 54 (2011), 2509--2535] and Guo [Adv. App…
The harmonic numbers $H_n=\sum_{0<k\ls n}1/k\ (n=0,1,2,\ldots)$ play important roles in mathematics. With helps of some combinatorial identities, we establish the following two congruences: $$\sum_{k=0}^{\frac{p-3}2}\f{\binom{2k}k^2H_k}{(2k+1)16^k}\ \mbox{modulo}\ p^2\ \mbox{and}\ \sum_{k=0}^{\frac{p-3}2}\f{\binom{2k}k^2H_{2k}}{(2k+1)16^k}\ \mbox{modulo}\ p$$ for any prime $p>3$, the second one was conjectured by Z.-W. Sun in 2012. These two congruences are very important to prove the following conjectures of Z.W.Sun: For any old prime $p$, we have $$\sum_{k=0}^{p-1}\frac{P_k}{8^k}\equiv1+2\bi…
The Apéry numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove three supercongruences for Apéry numbers or Franel numbers conjectured by Z.-W. Sun. Let $p\geq 5$ be a prime and let $n\in \mathbb{Z}^{+}$. We show that \begin{align} \notag \frac{1}{n}\bigg(\sum_{k=0}^{pn-1}(2k+1)A_k-p\sum_{k=0}^{n-1}(2k+1)A_k\bigg)\equiv0\pmod{p^{4+3ν_p(n)}} \end{align} and \begin{align}\notag \frac{1}{n^3}\bigg(\sum_{k=0}^{pn-1}(2k+1)^3A_k-p^…
Recently, Z.-W. Sun introduced two kinds of polynomials related to the Delannoy numbers, and proved some supercongruences on sums involving those polynomials. We deduce new summation formulas for squares of those polynomials and use them to prove that certain rational sums involving even powers of those polynomials are integers whenever they are evaluated at integers. This confirms two conjectures of Z.-W. Sun. We also conjecture that many of these results have neat $q$-analogues.
We prove three supercongruences for sums of Almkvist-Zudilin numbers, which confirm some conjectures of Zudilin and Z.-H. Sun. A typical example is the Ramanujan-type supercongruence: \begin{align*} \sum_{k=0}^{p-1} \frac{4k+1}{81^k}γ_k \equiv \left(\frac{-3}{p}\right) p\pmod{p^3}, \end{align*} which is corresponding to Chan and Verrill's formula for $1/π$: \begin{align*} \sum_{k=0}^\infty \frac{4k+1}{81^k}γ_k = \frac{3\sqrt{3}}{2π}. \end{align*} Here $γ_n$ are the Almkvist-Zudilin numbers.
Series expansions for the mathematical constant $β(4)$ are rare in the history. With the help of the operator method and a hypergeometric transformation, we prove a surprising conjectural series of Sun for $β(4)$. Furthermore, we find five new series for the same constant in this paper.
For any odd prime p we obtain q-analogues of Van Hamme's supercongruence: $$ \sum_{k=0}^{\frac{p-1}{2}}{2k\choose k}^3\frac{1}{64^k} \equiv 0 \pmod{p^2} \quad\text{for}\quad p\equiv 3\pmod 4, $$ and Rodriguez-Villegas' Beukers-like supercongruences involving products of three binomial coefficients. For example, we prove that \begin{align*} \sum_{k=0}^{\frac{p-1}{2}} {2k\brack k}_{q^2}^3 \frac{q^{2k}}{(-q^2;q^2)_k^2 (-q;q)_{2k}^2} &\equiv 0\pmod{[p]^2} \quad\text{for}\quad p\equiv 3\pmod 4, \\ \sum_{k=0}^{\frac{p-1}{2}}{2k\brack k}_{q^3}\frac{(q;q^3)_k (q^{2};q^3)_{k} q^{3k} }{ (q^{6};q^{6})_k^…
We establish some supercongruences related to a supercongruence of Van Hamme, such as \begin{align*} \sum_{k=0}^{(p+1)/2} (-1)^k (4k-1)\frac{(-\frac{1}{2})_k^3}{k!^3} &\equiv p(-1)^{(p+1)/2}+p^3(2-E_{p-3})\pmod{p^{4}},\\ \sum_{k=0}^{(p+1)/2} (4k-1)^5 \frac{(-\frac{1}{2})_k^4}{k!^4} &\equiv 16p\pmod{p^{4}}, \end{align*} where $p$ is an odd prime and $E_{p-3}$ is the $(p-3)$-th Euler number. Our proof uses some congruences of Z.-W. Sun, the Wilf--Zeilberger method, Whipple's $_7F_6$ transformation, and the software package {\tt Sigma} developed by Schneider. We also put forward two related conje…
In this paper, we mainly prove the following conjectures of Z.-H. Sun \cite{SH2}: Let $p>3$ be a prime. If $p\equiv1\pmod3$ and $p=x^2+3y^2$, then we have $$ \sum_{k=0}^{p-1}\frac{D_k}{4^k}\equiv\sum_{k=0}^{p-1}\frac{D_k}{16^k}\equiv4x^2-2p-\frac{p^2}{4x^2}\pmod{p^3}, $$ and if $p\equiv2\pmod3$, then $$ \sum_{k=0}^{p-1}\frac{D_k}{4^k}\equiv-2\sum_{k=0}^{p-1}\frac{D_k}{16^k}\equiv\frac{p^2}2\binom{\frac{p-1}2}{\frac{p-5}6}^{-2} \pmod{p^3}, $$ where $D_n=\sum_{k=0}^n\binom{n}k^2\binom{2k}k\binom{2n-2k}{n-k}$ stands for the $n$th Domb number.
For any positive integer $n$ and variables $a$ and $x$ we define the generalized Legendre polynomial $P_n(a,x)=\sum_{k=0}^n\b ak\b{-1-a}k(\frac{1-x}2)^k$. Let $p$ be an odd prime. In the paper we prove many congruences modulo $p^2$ related to $P_{p-1}(a,x)$. For example, we show that $P_{p-1}(a,x)\e (-1)^{<a>_p}P_{p-1}(a,-x)\mod {p^2}$, where $<a>_p$ is the least nonnegative residue of $a$ modulo $p$. We also generalize some congruences of Zhi-Wei Sun, and determine $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k{54^{-k}}$ and $\sum_{k=0}^{p-1}\binom ak\binom{b-a}k\mod {p^2}$, where $[x]$ is the great…
