arXiv++ Combinatorics

By examining asymptotic behavior of certain infinite basic ($q$-) hypergeometric sums at roots of unity (that is, at a "$q$-microscopic" level) we prove polynomial congruences for their truncations. The latter reduce to non-trivial (super)congruences for truncated ordinary hypergeometric sums, which have been observed numerically and proven rarely. A typical example includes derivation, from a $q$-analogue of Ramanujan's formula $$ \sum_{n=0}^\infty\frac{\binom{4n}{2n}{\binom{2n}{n}}^2}{2^{8n}3^{2n}}\,(8n+1) =\frac{2\sqrt{3}}π, $$ of the two supercongruences $$ S(p-1)\equiv p\biggl(\frac{-3}p\biggr)\pmod{p^3} \quad\text{and}\quad S\Bigl(\frac{p-1}2\Bigr) \equiv p\biggl(\frac{-3}p\biggr)\pmod{p^3}, $$ valid for all primes $p>3$, where $S(N)$ denotes the truncation of the infinite sum at the $N$-th place and $(\frac{-3}{\cdot})$ stands for the quadratic character modulo $3$.

The hypergeometric formulae designed by Ramanujan more than a century ago for efficient approximation of $π$, Archimedes' constant, remain an attractive object of arithmetic study. In this note we discuss some $q$-analogues of Ramanujan-type evaluations and of related supercongruences.

We give $q$-analogues of the following two Ramanujan-type formulas for $1/π$: \begin{align*} \sum_{k=0}^\infty (6k+1)\frac{(\frac{1}{2})_k^3}{k!^3 4^k} =\frac{4}π \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}}π. \end{align*} Our proof is based on two $q$-WZ pairs found by the first author in his earlier work.

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.

We prove that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and non-negative integers $j$ and $r$ with $j\leqslant m$, the following two expressions \begin{align*} &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack n_1}^{-1}\sum_{k=0}^{n_1} q^{j(k^2+k)-(2r+1)k}[2k+1]^{2r+1}\prod_{i=1}^m {n_i+n_{i+1}+1\brack n_i-k},\\[5pt] &\frac{1}{[n_1+n_m+1]}{n_1+n_{m}\brack n_1}^{-1}\sum_{k=0}^{n_1}(-1)^k q^{{k\choose 2}+j(k^2+k)-2rk}[2k+1]^{2r+1}\prod_{i=1}^m {n_i+n_{i+1}+1\brack n_i-k} \end{align*} are Laurent polynomials in $q$ with integer coefficients, where $[n]=1+q+\cdots+q^{n-1}$ and ${n\brack k}=\prod_{i=1}^k(1-q^{n-i+1})/(1-q^i)$. This gives a $q$-analogue of some divisibility results of sums and alternating sums involving binomial coefficients and powers of integers obtained by Guo and Zeng. We also confirm some related conjectures of Guo and Zeng by establishing their $q$-analogues. Several conjectural congruences for sums involving products of $q$-ballot numbers $\left({2n\brack n-k}-{2n\brack n-k-1}\right)$ are proposed in the last section of this paper.

Let $d$ be a positive integer and $x$ a real number. Let $A_{d, x}$ be a $d\times 2d$ matrix with its entries $$ a_{i,j}=\left\{ \begin{array}{ll} x\ \ & \mbox{for} \ 1\leqslant j\leqslant d+1-i, 1\ \ & \mbox{for} \ d+2-i\leqslant j\leqslant d+i, 0\ \ & \mbox{for} \ d+1+i\leqslant j\leqslant 2d. \end{array} \right. $$ Further, let $R_d$ be a set of sequences of integers as follows: $$R_d=\{(ρ_1, ρ_2,\ldots, ρ_d)|1\leqslant ρ_i\leqslant d+i, 1\leqslant i \leqslant d,\ \mbox{and}\ ρ_r\neq ρ_s\ \mbox{for}\ r\neq s\}.$$ and define $$Ω_d(x)=\sum_{ρ\in R_d}a_{1,ρ_1}a_{2, ρ_2}\ldots a_{d,ρ_d}.$$ In order to give a better bound on the size of spheres of permutation codes under the Chebychev distance, Kløve introduced the above function and conjectured that $$Ω_d(x)=\sum_{m=0}^d{d\choose m}(m+1)^d(x-1)^{d-m}.$$ In this paper, we settle down this conjecture positively.

The $q$-Narayana numbers $N_q(n,k)$ and $q$-Catalan numbers $C_n(q)$ are respectively defined by $$ N_q(n,k)=\frac{1-q}{1-q^n}{n\brack k}{n\brack k-1}\quad\text{and}\quad C_n(q)=\frac{1-q}{1-q^{n+1}}{2n\brack n}, $$ where ${n\brack k}=\prod_{i=1}^{k}\frac{1-q^{n-i+1}}{1-q^i}$. We prove that, for any positive integers $n$ and $r$, there holds \begin{align*} \sum_{k=-n}^{n}(-1)^{k}q^{jk^2+{k\choose 2}}N_q(2n+1,n+k+1)^r \equiv 0 \pmod{C_n(q)}, \end{align*} where $0\leqslant j\leqslant 2r-1$. We also propose several related conjectures.

Trees or rooted trees have been generously studied in the literature. A forest is a set of trees or rooted trees. Here we give recurrence relations between the number of some kind of rooted forest with $k$ roots and that with $k+1$ roots on $\{1,2,\ldots,n\}$. Classical formulas for counting various trees such as rooted trees, bipartite trees, tripartite trees, plane trees, $k$-ary plane trees, $k$-edge colored trees follow immediately from our recursive relations.

We show that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and any non-negative integers $j$ and $r$ with $j\leqslant m$, the expression $$ \frac{1}{[n_1]}{n_1+n_{m}\brack n_1}^{-1} \sum_{k=1}^{n_1}[2k][k]^{2r}q^{jk^2-(r+1)k}\prod_{i=1}^{m} {n_i+n_{i+1}\brack n_i+k} $$ is a Laurent polynomial in $q$ with integer cofficients, where $[n]=1+q+\cdots+q^{n-1}$ and ${n\brack k}=\prod_{i=1}^k(1-q^{n-i+1})/(1-q^i)$. This gives a $q$-analogue of a divisibility result on the Catalan triangle obtained by the first author and Zeng, and also confirms a conjecture of the first author and Zeng. We further propose several related conjectures.

We show that certain terminating $_{6}φ_5$ series can be factorized into a product of two $_{3}φ_{2}$ series. As applications we prove a summation formula for a product of two $q$-Delannoy numbers along with some congruences for sums involving $q$-Delannoy numbers. This confirms three recent conjectures of the second author.

The polynomials $d_n(x)$ are defined by \begin{align*} d_n(x) &= \sum_{k=0}^n{n\choose k}{x\choose k}2^k. \end{align*} We prove that, for any prime $p$, the following congruences hold modulo $p$: \begin{align*} \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(-\frac{1}{4}\right)^2 &\equiv \begin{cases} 2(-1)^{\frac{p-1}{4}}x,&\text{if $p=x^2+y^2$ with $x\equiv 1\pmod{4}$,} 0,&\text{if $p\equiv 3\pmod{4}$,} \end{cases} [5pt] \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(-\frac{1}{6}\right)^2 &\equiv 0, \quad\text{if $p>3$,} [5pt] \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(\frac{1}{4}\right)^2 &\equiv \begin{cases} 0,&\text{if $p\equiv 1\pmod{4}$,} (-1)^{\frac{p+1}{4}}{\frac{p-1}{2}\choose \frac{p-3}{4}},&\text{if $p\equiv 3\pmod{4}$.} \end{cases} \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(\frac{1}{6}\right)^2 &\equiv 0, \quad\text{if $p>5$.} \end{align*} The $p\equiv 3\pmod{4}$ case of the first one confirms a conjecture of Z.-W. Sun, while the second one confirms a special case of another conjecture of Z.-W. Sun.

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.

The Sun polynomials $g_n(x)$ are defined by \begin{align*} g_n(x)=\sum_{k=0}^n{n\choose k}^2{2k\choose k}x^k. \end{align*} We prove that, for any positive integer $n$, there hold \begin{align*} &\frac{1}{n}\sum_{k=0}^{n-1}(4k+3)g_k(x) \in\mathbb{Z}[x],\quad\text{and}\\ &\sum_{k=0}^{n-1}(8k^2+12k+5)g_k(-1)\equiv 0\pmod{n}. \end{align*} The first one confirms a recent conjecture of Z.-W. Sun, while the second one partially answers another conjecture of Z.-W. Sun. We give three different proofs of the former. One of them depends on the following congruence: $$ {m+n-2\choose m-1}{n\choose m}{2n\choose n}\equiv 0\pmod{m+n}\quad\text{for $m,n\geqslant 1$.} $$

We prove some Rodriguez-Villegas type congruences for truncated q-hypergeometric functions.

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*}

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$.

The multi-variable Schmidt polynomials are defined by $$ S_n^{(r)}(x_0,\ldots,x_n):=\sum_{k=0}^n {n+k \choose 2k}^{r}{2k\choose k} x_k. $$ We prove that, for any positive integers $m$, $n$, $r$, and $\varepsilon=\pm 1$, all the coefficients in the polynomial $$ \sum_{k=0}^{n-1}\varepsilon^k(2k+1) S_k^{(r)}(x_0,\ldots,x_k)^m $$ are multiples of $n$. This generalizes a recent result of Pan on the divisibility of sums of Apéry polynomials.

The Delannoy polynomial $D_n(x)$ is defined by $$ D_n(x)=\sum_{k=0}^{n}{n\choose k}{n+k\choose k}x^k. $$ We prove that, if $x$ is an integer and $p$ is a prime not dividing $x(x+1)$, then \begin{align*} \sum_{k=0}^{p-1}(2k+1)D_k(x)^3 &\equiv p\left(\frac{-4x-3}{p}\right) \pmod{p^2}, \\ \sum_{k=0}^{p-1}(2k+1)D_k(x)^4 &\equiv p \pmod{p^2}, \\ \sum_{k=0}^{p-1}(-1)^k(2k+1)D_k(x)^3 &\equiv p\left(\frac{4x+1}{p}\right) \pmod{p^2}, \end{align*} where $\big(\frac{\cdot}{p}\big)$ denotes the Legendre symbol. The first two congruences confirm a conjecture of Z.-W. Sun [Sci. China 57 (2014), 1375--1400]. The third congruence confirms a special case of another conjecture of Z.-W. Sun [J. Number Theory 132 (2012), 2673--2699]. We also prove that, for any integer $x$ and odd prime $p$, there holds \begin{align*} \sum_{k=0}^{p-1}(-1)^k(2k+1)D_k(x)^4 &\equiv p\sum_{k=0}^{\frac{p-1}{2}} (-1)^k {2k\choose k}^2(x^2+x)^k(2x+1)^{2k} \pmod{p^2}, \end{align*} and conjecture that it still holds modulo $p^3$.

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.

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^2 } &\equiv 0 \pmod{[p]^2}\quad\text{for}\quad p\equiv 2\pmod{3}, \end{align*} where $[p]=1+q+\cdots+q^{p-1}$, $(a;q)_n=(1-a)(1-aq)\cdots(1-aq^{n-1})$, and ${n\brack k}_q$ denotes the q-binomial coefficient. Actually, our results give q-analogues of Z.-H. Sun's and Z.-W. Sun's generalizations of the above Beukers-like supercongruences. Our proof uses the theory of basic hypergeometric series including a new q-Clausen-type summation formula.