Search

Motivated by Zhou's method on the positivity of truncated pentagonal number series, we establish a general positivity result on tails of certain $q$-series which uniformly refines the positivity of truncated pentagonal number series, truncated Gauss' identities and some special cases of truncated Jacobi triple product identity. Our proof of the main results is elementary, in which a classical result on partitions of an integer into a finite set of positive integers and the mathematical software such as Maple play important roles., Comment: 20 pages

In the proof of the irrationality of $\zeta(3)$ and $\zeta(2)$, Ap\'ery defined two integer sequences through $3$-term recurrences, which are known as the famous Ap\'ery numbers. Zagier, Almkvist--Zudilin and Cooper successively introduced the other $13$ sporadic sequences through variants of Ap\'ery's $3$-term recurrences. All of the $15$ sporadic sequences are called Ap\'ery-like sequences. Motivated by Gessel's congruences mod $24$ for the Ap\'ery 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\'ery-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\'ery-like sequences $\{u_n\}_{n\ge 0}$.The binomial transforms of Ap\'ery-like sequences provide us a unified approach to this type of congruences for Ap\'ery-like sequences., Comment: 19 pages

Andrews and Merca [J. Combin. Theory Ser. A 203 (2024), Art. 105849] recently obtained two interesting results on the sum of the parts with the same parity in the partitions of $n$ (the modulo $2$ case), the proof of which relies on generating functions. Motivated by Andrews and Merca's results, we define six statistics related to the partitions of $n$ and show that the two triples of the six statistics are equidistributed. From this equidistributed result, we derive modulo $m$ extensions of Andrews and Merca's results for all integers $m\ge 2$. The proof of the main result is based on a general bijection on the set of partitions of $n$., Comment: The bijection constructed in this paper already exists in the known literature

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\'ery numbers and four kinds of Ap\'ery-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)}$., Comment: 26 pages

Motivated by Berkovich's nine $q$-binomial identities involving the Legendre symbol $(\frac{d}{3})$, we establish a unified form of $q$-binomial identities of this type through a combinatorial approach. This unified form includes Berkovich's nine identities as special cases. Many such identities can be also deduced from this unified form., Comment: 10 pages

We establish supercongruences for two kinds of Ap\'ery-like numbers, which involve Bernoulli numbers and Bernoulli polynomials. Conjectural supercongruences of the same type for another four kinds of Ap\'ery-like numbers are also proposed., Comment: 10 pages

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., Comment: 10 pages

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. Sun., Comment: 25 pages

We study divisibility for the $q$-trinomial coefficients $\tau_0(n,m,q)$, $T_0(n,m,q)$ and $T_1(n,m,q)$, which were first introduced by Andrews and Baxter. In particular, we completely determine $\tau_0(an,bn,q)$, $T_0(an,bn,q)$ and $T_1(an,bn,q)$ modulo the square of the cyclotomic polynomial $\Phi_n(q)$ for $(a,b)=(m,m-1)$., Comment: 11 pages

We prove the divisibility conjecture on sums of even powers of $q$-binomial coefficients, which was recently proposed by Guo, Schlosser and Zudilin. Our proof relies on two $q$-harmonic series congruences due to Shi and Pan., Comment: 6 pages

We establish a congruence on sums of central $q$-binomial coefficients. From this $q$-congruence, we derive the divisibility of the $q$-trinomial coefficients introduced by Andrews and Baxter., Comment: 8 pages

We prove two supercongruences for specific truncated hypergeometric series. These include an uniparametric extension of a supercongruence that was recently established by Long and Ramakrishna. Our proofs involve special instances of various hypergeometric identities including Whipple's transformation and the Karlsson--Minton summation., Comment: 10 pages

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}\gamma_k \equiv \left(\frac{-3}{p}\right) p\pmod{p^3}, \end{align*} which is corresponding to Chan and Verrill's formula for $1/\pi$: \begin{align*} \sum_{k=0}^\infty \frac{4k+1}{81^k}\gamma_k = \frac{3\sqrt{3}}{2\pi}. \end{align*} Here $\gamma_n$ are the Almkvist-Zudilin numbers., Comment: 12 pages

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/\pi$ due to Rogers: \begin{align*} \sum_{k=0}^{\infty}\frac{3k+1}{(-32)^k}{\rm Domb}(k)=\frac{2}{\pi}. \end{align*} Here ${\rm Domb}(n)$ and $E_n$ are the famous Domb numbers and Euler numbers., Comment: 11 pages

In this note, we prove two supercongruences involving Almkvist--Zudilin sequences, which were originally conjectured by Z.-H. Sun., Comment: 3 pages

We investigate a variation of $q$-Wolstenholme's theorem, which extends the $q$-analogue of Wolstenholme's theorem due to Shi and Pan [Amer. Math. Monthly 114 (2007), 529--531]. The proof makes use of the Ramanujan sum and higher order logarithmic derivatives of cyclotomic polynomials., Comment: 8 pages

Via symbolic summation method, we establish the following series for $\pi^2$: \begin{align*} \sum_{k=1}^\infty \frac{H_k-2H_{2k}}{(-3)^k k} = \frac{\pi^2}{18}, \end{align*} where $H_k=\sum_{j=1}^k 1/j$. We also derive a $p$-adic congruence related to this series. As an application, we prove two congruences involving Franel numbers, one of which was originally conjectured by Sun., Comment: 12 pages

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., Comment: 9 pages

In this note, we confirm two conjectural supercongruences on double sums of binomial coefficients due to El Bachraoui., Comment: to appear in Period. Math. Hungar.,6 pages

Based on some combinatorial identities arising from symbolic summation, we extend two supercongruences on partial sums of hypergeometric series, which were originally conjectured by Guo and Schlosser and recently confirmed by Jana and Kalita., Comment: 11 pages

In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem., Comment: 8 pages

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 conjectures., Comment: 10 pages

Based on a $q$-congruence of the author and Petrov, we set up a $q$-analogue of Sun--Tauraso's congruence for sums of Catalan numbers, which extends a $q$-congruence due to Tauraso.

We establish a $q$-analogue of Sun--Zhao's congruence on harmonic sums. Based on this $q$-congruence and a $q$-series identity, we prove a congruence conjecture on sums of central $q$-binomial coefficients, which was recently proposed by Guo. We also deduce a $q$-analogue of a congruence due to Apagodu and Zeilberger from Guo's $q$-congruence., Comment: 11 pages

By using some hypergeometric series identities, we prove two supercongruences on truncated hypergeometric series, one of which is related to a modular Calabi--Yau threefold, and the other is regarded as $p$-adic analogue of an identity due to Ramanujan., Comment: 9 pages

In 1997, van Hamme conjectured 13 Ramanujan-type supercongruences labeled (A.2)--(M.2). Using some combinatorial identities discovered by Sigma, we extend (A.2) and (H.2) to supercongruences modulo $p^4$ for primes $p\equiv 3\pmod{4}$, which appear to be new., Comment: 9 pages

In this paper, we prove two congruences on the double sums of the super Catalan numbers (named by Gessel), which were recently conjectured by Apagodu., Comment: 8 pages

In this paper, we prove two conjectural supercongruences on the $(p-1)$th Ap\'ery number, which were recently proposed by Z.-H. Sun., Comment: 9 pages

We give $q$-analogues of the following two Ramanujan-type formulas for $1/\pi$: \begin{align*} \sum_{k=0}^\infty (6k+1)\frac{(\frac{1}{2})_k^3}{k!^3 4^k} =\frac{4}{\pi} \quad\text{and}\quad \sum_{k=0}^\infty (-1)^k(6k+1)\frac{(\frac{1}{2})_k^3}{k!^3 8^k } =\frac{2\sqrt{2}}{\pi}. \end{align*} Our proof is based on two $q$-WZ pairs found by the first author in his earlier work., Comment: typos corrected, 5 pages

We establish four supercongruences between truncated ${}_3F_2$ hypergeometric series involving $p$-adic Gamma functions, which extend some of the Rodriguez-Villegas supercongruences., Comment: The results of this paper are added to arXiv:1610.03799, which is accepted by Journal of Difference Equations and Applications

Using an identity due to Gessel and Stanton and some properties of the $p$-adic Gamma function, we establish a $p$-adic supercongruence for truncated hypergeometric series ${}_7F_6$. From it we deduce some related supercongruences, which extend certain recent results and confirm a supercongruence conjecture., Comment: Results Math., online, 9 pages

We establish some supercongruences for the truncated ${}_2F_1$ and ${}_3F_2$ hypergeometric series involving the $p$-adic Gamma functions. Some of these results extend the four Rodriguez-Villegas supercongruences on the truncated ${}_3F_2$ hypergeometric series. The corresponding conjectural supercongruences modulo $p^3$ are also proposed for further research., Comment: to appear in Bulletin of the Australian Mathematical Society, 11 pages

In 2003, Rodriguez-Villegas conjectured four supercongruences on the truncated ${}_3F_2$ hypergeometric series for certain modular K3 surfaces, which were gradually proved by several authors. Motivated by some supercongruences on combinatorial numbers such as Ap\'ery numbers and Domb numbers, we establish some new supercongruences on the truncated ${}_3F_2$ hypergeometric series, which extend the four Rodriguez-Villegas supercongruences., Comment: to appear in J. Difference Equ. Appl., 14 pages

Let the numbers $\alpha_n,\beta_n$ and $\gamma_n$ denote \begin{align*} \alpha_n=\sum_{k=0}^{n-1}{2k\choose k},\quad \beta_n=\sum_{k=0}^{n-1}{2k\choose k}\frac{1}{k+1}\quad\text{and}\quad \gamma_n=\sum_{k=0}^{n-1}{2k\choose k}\frac{3k+2}{k+1}, \end{align*} respectively. We prove that for any prime $p\ge 5$ and positive integer $n$ \begin{align*} \alpha_{np}&\equiv \left(\frac{p}{3}\right) \alpha_n \pmod{p^2},\\ \beta_{np}&\equiv \begin{cases} \displaystyle \beta_n \pmod{p^2},\quad &\text{if $p\equiv 1\pmod{3}$},\\ -\gamma_n \pmod{p^2},\quad &\text{if $p\equiv 2\pmod{3}$}, \end{cases} \end{align*} where $\left(\frac{\cdot}{p}\right)$ denotes the Legendre symbol. These two supercongruences were recently conjectured by Apagodu and Zeilberger., Comment: to appear in J. Difference Equ. Appl. This version is a bit different from the final version for publication

Rodriguez-Villegas conjectured four supercongruences associated to certain elliptic curves, which were first confirmed by Mortenson by using the Gross-Koblitz formula. In this paper, we aim to prove four supercongruences between two truncated hypergeometric series ${}_2F_1$. This generalizes these four Rodriguez-Villegas supercongruences., Comment: 11 pages, to appear in Bull. Aust. Math. Soc

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., Comment: 6 pages

The Delannoy numbers and Schr\"oder 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., Comment: 10 pages

We prove that, if $m,n\geqslant 1$ and $a_1,\ldots,a_m$ are nonnegative integers, then \begin{align*} \frac{[a_1+\cdots+a_m+1]!}{[a_1]!\ldots[a_m]!}\sum^{n-1}_{h=0}q^h\prod_{i=1}^m{h\brack a_i} \equiv 0\pmod{[n]}, \end{align*} where $[n]=\frac{1-q^n}{1-q}$, $[n]!=[n][n-1]\cdots[1]$, and ${a\brack b}=\prod_{k=1}^b\frac{1-q^{a-k+1}}{1-q^k}$. The $a_1=\cdots=a_m$ case confirms a recent conjecture of Z.-W. Sun. We also show that, if $p>\max\{a,b\}$ is a prime, then \begin{align*} \frac{[a+b+1]!}{[a]![b]!}\sum_{h=0}^{p-1}q^h{h\brack a}{h\brack b} \equiv (-1)^{a-b} q^{ab-{a\choose 2}-{b\choose 2}}[p]\pmod{[p]^2}. \end{align*}, Comment: 5 pages

The numbers $R_n$ and $W_n$ are defined as \begin{align*} R_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}\frac{1}{2k-1},\ \text{and}\ W_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}\frac{3}{2k-3}. \end{align*} We prove that, for any positive integer $n$ and odd prime $p$, there hold \begin{align*} \sum_{k=0}^{n-1}(2k+1)R_k^2 &\equiv 0 \pmod{n}, \\ \sum_{k=0}^{p-1}(2k+1)R_k^2 &\equiv 4p(-1)^{\frac{p-1}{2}} -p^2 \pmod{p^3}, \\ 9\sum_{k=0}^{n-1}(2k+1)W_k^2 &\equiv 0 \pmod{n}, \\ \sum_{k=0}^{p-1}(2k+1)W_k^2 &\equiv 12p(-1)^{\frac{p-1}{2}}-17p^2 \pmod{p^3}, \quad\text{if $p>3$.} \end{align*} The first two congruences were originally conjectured by Z.-W. Sun. Our proof is based on the multi-variable Zeilberger algorithm and the following observation: $$ {2n\choose n}{n\choose k}{m\choose k}{k\choose m-n}\equiv 0\pmod{{2k\choose k}{2m-2k\choose m-k}}, $$ where $0\leqslant k\leqslant n\leqslant m \leqslant 2n$., Comment: 18 pages

Z.-W. Sun introduced three kinds of numbers: \begin{align*}S_n=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}(2k+1),\qquad s_n=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}\frac{1}{2k-1}, \end{align*} and $S_n^{+}=\sum_{k=0}^{n}{n\choose k}^2{2k\choose k}(2k+1)^2$. In this paper we mainly prove that \begin{align*} 4\sum_{k=0}^{n-1}kS_k\equiv \sum_{k=0}^{n-1}s_k\equiv \sum_{k=0}^{n-1}S_k^{+}\equiv 0\pmod{n^2}\quad\text{for $n\geqslant 1$}, \end{align*} by establishing some binomial coefficient identities, such as \begin{align*} 4\sum_{k=0}^{n-1}kS_k=n^2\sum_{k=0}^{n-1}\frac{1}{k+1}{2k\choose k}(6k{n-1\choose k}^2+{n-1\choose k}{n-1\choose k+1}). \end{align*} This confirms several recent conjectures of Z.-W. Sun., Comment: 8 pages