arXiv++ Combinatorics

In this paper, we first extend the Christoffel-Darboux formula for orthogonal polynomials to general three-term recurrence sequences, and then investigate the identities and congruences for $g_n(x)$ and $v_n(x)$ given by \begin{align*} &g_0(x)=1,\ g_1(x)=\frac{x+1}2,\ (n+1)^2g_{n+1}(x)=\Big(2n(n+1)+\frac{x+1}2\Big)g_n(x)-n^2g_{n-1}(x)\ (n\ge 1), \\&v_0(x)=1,\ v_1(x)=x,\ (n+1)^3v_{n+1}(x)=(2n+1)(n(n+1)+x)v_n(x)-n^3v_{n-1}(x)\ (n\ge 1).\end{align*}

In this paper, we establish some curious identities involving Legendre polynomials and the first kind of Apéry-like numbers. As applications, many new supercongruences are deduced.

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.

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

Let $p>3$ be a prime. In this paper, we obtain the congruences for $$\sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^3}{(-8)^k},\ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{3k}k}{(-192)^k},\ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{4k}{2k}}{(-144)^k}\ \text{and} \ \sum_{k=0}^{p-1}\frac{w(k)\binom{2k}k^2\binom{4k}{2k}}{648^k}$$ modulo $p^2$, and partial results for $\sum_{k=0}^{(p-1)/2} \binom{2k}k^3\frac{w(k)}{m^k}$ modulo $p^2$, where $m\in\{1,16,-64,256,-512,4096\}$ and $w(k)\in\{k^2,k^3,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3}, \frac 1{2k-1},\frac 1{k+2}\}$.

Let $p$ be an odd prime, and let $a$ be a rational $p$-adic integer with $a\not\equiv 0\pmod p$. In this paper, using WZ method we establish the congruences for $\sum_{k=0}^{p-1} \binom ak^2(-1)^k(1-\frac 2ak)$ modulo $p^2$ and $\sum_{k=0}^{p-1} \binom ak^r(1-\frac 2ak)^s$ modulo $p^4$, where $r\in\{3,4\}$ and $s\in\{1,3\}$.

Let $p>3$ be a prime, and let $a$ be a rational $p$-adic integer, using WZ method we establish the congruences modulo $p^3$ for $$\sum_{k=0}^{p-1} \binom ak\binom{-1-a}k\binom{2k}k\frac {w(k)}{4^k},$$ where $$w(k)=1,\frac 1{k+1},\frac 1{(k+1)^2},\frac 1{(k+1)^3},\frac 1{2k-1},\frac 1{k+2}, \frac 1{k+3}, k,k^2,k^3,\frac 1{a+k},\frac 1{a+k-1}.$$ As consequences, taking $a=-\frac 12,-\frac 13,-\frac 14,-\frac 16$ we deduce many congruences modulo $p^3$ and so solve some conjectures posed by the author earlier.

In this paper, we pose lots of challenging conjectures on congruences for the sums involving binomial coefficients and Apéry-like numbers modulo $p^3$, where $p$ is an odd prime.

In this paper we present many results and conjectures on congruences involving two types of Apéry-like sequences $\{G_n(x)\}$ and $\{V_n(x)\}$.

In this paper we present many congruences for several Apéry-like sequences.

For $n=0,1,2,\ldots$ let $W_n=\sum_{k=0}^{[n/3]}\binom{2k}k \binom{3k}k\binom n{3k}(-3)^{n-3k}$, where $[x]$ is the greatest integer not exceeding $x$. Then $\{W_n\}$ is an Apéry-like sequence. In this paper we deduce many congruences involving $\{W_n\}$, in particular we determine $\sum_{k=0}^{p-1}\binom{2k}k\frac{W_k}{m^k}\pmod p$ for $m=-640332,-5292,-972,-108,-44,-27,-12,8,54,243$ by using binary quadratic forms, where $p>3$ is a prime. We also prove several congruences for generalized Apéry-like numbers, and pose 29 challenging conjectures on congruences involving binomial coefficients and Apéry-like numbers.

For $n=0,1,2,\ldots$ let $d_n^{(r)}(x)=\sum_{k=0}^n\binom{x+r+k}k\binom{x-r}{n-k}$. In this paper we illustrate the connection between $\{d_n^{(r)}(x)\}$ and Meixner polynomials. New formulas and recurrence relations for $d_n^{(r)}(x)$ are obtained, and a new proof of the formula for $d_n^{(r)}(x)^2$ is also given. In addition, for $r>-\frac 12$ and $n\ge 2$ we show that $d_n^{(r)}(x)>\frac{(2x+1)^n}{n!}>0$ for $x>-\frac 12$, and $(-1)^nd_n^{(r)}(x)>0$ for $x<-\frac 12$.

In this paper we introduce the polynomials $\{d_n^{(r)}(x)\}$ and $\{D_n^{(r)}(x)\}$ given by $d_n^{(r)}(x)=\sum_{k=0}^n\binom{x+r+k}k\binom{x-r}{n-k} \ (n\ge 0)$, $D_0^{(r)}(x)=1,\ D_1^{(r)}(x)=x$ and $D_{n+1}^{(r)}(x)=xD_n^{(r)}(x)-n(n+2r)D_{n-1}^{(r)}(x)\ (n\ge 1).$ We show that $\{D_n^{(r)}(x)\}$ are orthogonal polynomials for $r>-\frac 12$, and establish many identities for $\{d_n^{(r)}(x)\}$ and $\{D_n^{(r)}(x)\}$, especially obtain a formula for $d_n^{(r)}(x)^2$ and the linearization formulas for $d_m^{(r)}(x)d_n^{(r)}(x)$ and $D_m^{(r)}(x)D_n^{(r)}(x)$. As an application we extend recent work of Sun and Guo.

Let $p>3$ be a prime, and let $a$ be a rational p-adic integer with $a\not\equiv 0\pmod p$. In this paper we establish congruences for $$\sum_{k=1}^{(p-1)/2}\frac{\binom ak\binom{-1-a}k}k, \quad\sum_{k=0}^{(p-1)/2}k\binom ak\binom{-1-a}k \quad\text{and}\quad\sum_{k=0}^{(p-1)/2}\frac{\binom ak\binom{-1-a}k}{2k-1}\pmod {p^2}$$ in terms of Bernoulli and Euler polynomials. We also give some transformation formulas for congruences modulo $p^2$.

Let $\{P_n\}$ be the Catalan-Larcombe-French numbers given by $P_0=1,\ P_1=8$ and $n^2P_n=8(3n^2-3n+1)P_{n-1}-128(n-1)^2P_{n-2}$ $(n\ge 2)$, and let $S_n=P_n/2^n$. In this paper we deduce congruences for $S_{mp^r}\pmod{p^{r+2}}$, $S_{mp^r-1}\pmod{p^r}$ and $S_{mp^r+1}\pmod{p^{2r}}$, where $p$ is an odd prime and $m,r$ are positive integers. We also prove that $S_{(p^2-1)/2}\equiv 0\pmod {p^2}$ for any prime $p\equiv 5,7\pmod 8$, and show that $\{S_m\}$ is log-convex.

Let $p$ be an odd prime, and let $m$ be an integer with $p\nmid m$. In this paper show that $$\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak\binom{-1-a}k}{m^k} \equiv 0\pmod p \quad\hbox{implies}\quad\sum_{k=0}^{p-1}\frac{\binom{2k}k\binom ak \binom{-1-a}k}{m^k}\equiv 0\pmod {p^2}.$$

Let $\{f_n\}$ be the Franel numbers given by $f_n=\sum_{k=0}^n\binom nk^3$, and let $p>5$ be a prime. In this paper we mainly determine $\sum_{k=0}^{p-1} \binom{2k}k\frac{f_k}{m^k}\pmod p$ for $m=5,-16,16,32,-49,50,96$. Let $S_n=\sum_{k=0}^n\binom nk\binom{2k}k\binom{2n-2k}{n-k}$. We also determine $\sum_{k=0}^{p-1} \binom{2k}k\frac{S_k}{m^k}\pmod p$ for $m=7,16,25,32,64,160,800,1600, 156832$.

Let $r(G_1, G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V(S(n_1,n_2))=\{v_0,v_1,\ldots,v_{n_1},w_0,w_1,\ldots,w_{n_2}\}$ and $E(S(n_1,n_2))=\{v_0v_1,\ldots,v_0v_{n_1},v_0w_0,w_0w_1,\ldots,w_0w_{n_2}\}$. In this paper we determine $r(K_{1,m-1},$ $S(n_1,n_2))$ under certain conditions. For $n\ge 6$ let $T_n^3=S(n-5,3)$, $T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3)$, where $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},$ $v_2v_{n-1}\}$ and $E_3=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$. We also obtain explicit formulas for $r$ $(K_{1,m-1},T_n)$, $r(T_m',T_n)$ $(n\ge m+3)$, $r(T_n,T_n)$, $r(T_n',T_n)$ and $r(P_n,T_n)$, where $T_n\in\{T_n'',T_n''',T_n^3\}$, $P_n$ is the path on $n$ vertices and $T_n'$ is the unique tree with $n$ vertices and maximal degree $n-2$.

For a forbidden graph $L$, let $ex(p;L)$ denote the maximal number of edges in a simple graph of order $p$ not containing $L$. Let $T_n$ denote the unique tree on $n$ vertices with maximal degree $n-2$, and let $T_n^*=(V,E)$ be the tree on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$ and $E=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-3}v_{n-2},v_{n-2}v_{n-1}\}$. In the paper we give exact values of $ex(p;T_n)$ and $ex(p;T_n^*)$.

For $n\ge 6$ let $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_1=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2}$, $v_1v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},v_2v_{n-1}\}$, $E_3=\{v_0v_1,\ldots,v_0v_{n-4}$, $v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$, $T_n^3=(V,E_1),\ T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3).$ In this paper, for $p\ge n\ge 15$ we obtain explicit formulas for $ex(p;T_n^3)$, $ex(p;T_n^{''})$ and $ex(p;T_n^{'''})$, where $ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph.