BZPEER

preprint2022arXiv

Congruences for sums involving products of three binomial coefficients

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.

preprint2022arXiv

Supercongruences for sums involving $\binom ak^m$

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

preprint2020arXiv

Congruences for two types of Apery-like sequences

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)\}$ .

preprint2020arXiv

Congruences involving binomial coefficients and Apéry-like numbers

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.

preprint2020arXiv

Conjectures on congruences involving binomial coefficients and Apéry-like numbers

In this paper, we pose many challenging conjectures on congruences involving binomial coefficients and Apéry-like numbers.

preprint2020arXiv

New congruences involving Apéry-like numbers

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

preprint2020arXiv

Super congruences concerning binomial coefficients and Apéry-like numbers

Let $p$ be a prime with $p>3$ , and let $a,b$ be two rational $p-$ integers. In this paper we present general congruences for $\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac p{k+b}\pmod {p^2}$ . For $n=0,1,2,\ldots$ let $D_n$ and $b_n$ be Domb and Almkvist-Zudilin numbers, respectively. We also establish congruences for $\sum_{n=0}^{p-1}\frac{D_n}{16^n},\quad \sum_{n=0}^{p-1}\frac{D_n}{4^n}, \quad \sum_{n=0}^{p-1}\frac{b_n}{(-3)^n},\quad \sum_{n=0}^{p-1}\frac{b_n}{(-27)^n}\pmod {p^2}$ in terms of certain binary quadratic forms.

preprint2016arXiv

New super congruences involving Bernoulli and Euler polynomials

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

preprint2015arXiv

Congruences for Catalan-Larcombe-French numbers

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.

preprint2015arXiv

Congruences involving Franel and Catalan-Larcombe-French numbers

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

preprint2015arXiv

Note on super congruences modulo $p^2$

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

preprint2015arXiv

On the number of representations of n as a linear combination of four triangular numbers

Let $\Bbb Z$ and $\Bbb N$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in\Bbb N$ let $t(a,b,c,d;n)$ be the number of representations of $n$ by $ax(x-1)/2+by(y-1)/2+cz(z-1)/2 +dw(w-1)/2$ $(x,y,z,w\in\Bbb Z$ ). In this paper we obtain explicit formulas for $t(a,b,c,d;n)$ in the cases $(a,b,c,d)=(1,2,2,4),\ (1,2,4,4),\ (1,1,4,4),\ (1,4,4,4)$ , $(1,3,9,9),\ (1,1,3,9)$ , $(1,3,3,9)$ , $(1,1,9,9),\ (1,9,9,9)$ and $(1,1,1,9).$

preprint2015arXiv

On the number of representations of n as a linear combination of four triangular numbers II

Let $\Bbb Z$ and $\Bbb N$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in\Bbb N$ let $N(a,b,c,d;n)$ be the number of representations of $n$ by $ax^2+by^2+cz^2+dw^2$ , and let $t(a,b,c,d;n)$ be the number of representations of $n$ by $ax(x-1)/2+by(y-1)/2+cz(z-1)/2 +dw(w-1)/2$ $(x,y,z,w\in\Bbb Z$ ). In this paper we reveal the connections between $t(a,b,c,d;n)$ and $N(a,b,c,d;n)$ . Suppose $a,n\in\Bbb N$ and $2\nmid a$ . We show that $t(a,b,c,d;n)=\frac 23N(a,b,c,d;8n+a+b+c+d)-2N(a,b,c,d;2n+(a+b+c+d)/4)$ for $(a,b,c,d)= (a,a,2a,8m),\ (a,3a,8k+2,8m+6),\ (a,3a,8m+4,8m+4)\ (n\equiv m+\frac{a-1}2 \pmod 2)$ and $(a,3a,16k+4,16m+4)\ (n\equiv \frac{a-1}2\pmod 2)$ . We also obtain explicit formulas for $t(a,b,c,d;n)$ in the cases $(a,b,c,d)=(1,1,2,8),\ (1,1,2,16),(1,2,3,6),\ (1,3,4,12),\ (1,1,$ $3,4),\ (1,1,5,5),\ (1,5,5,5),\ (1,3,3,12),\ (1,1,1,12),\ (1,1,3,12)$ and $(1,3,3,4)$ .

preprint2015arXiv

Some relations between t(a,b,c,d;n) and N(a,b,c,d;n)

Let $\Bbb Z$ and $\Bbb N$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in\Bbb N$ let $N(a,b,c,d;n)$ be the number of representations of $n$ by $ax^2+by^2+cz^2+dw^2$ , and let $t(a,b,c,d;n)$ be the number of representations of $n$ by $ax(x-1)/2+by(y-1)/2+cz(z-1)/2 +dw(w-1)/2$ $(x,y,z,w\in\Bbb Z$ ). In this paper we reveal some connections between $t(a,b,c,d;n)$ and $N(a,b,c,d;n)$ .

preprint2015arXiv

Turán's problem and Ramsey numbers for trees

Let $T_n^1=(V,E_1)$ and $T_n^2=(V,E_2)$ be the trees on $n$ vertices with $V=\{v_0,v_1,\ldots,v_{n-1}\}$ , $E_1=\{v_0v_1,\ldots,v_0v_{n-3},v_{n-4}v_{n-2},v_{n-3}v_{n-1}\}$ , and $E_2=\{v_0v_1,\ldots,$ $v_0v_{n-3},v_{n-3}v_{n-2}, v_{n-3}v_{n-1}\}$ . In this paper, for $p\ge n\ge 5$ we obtain explicit formulas for $\ex(p;T_n^1)$ and $\ex(p;T_n^2)$, where $\ex(p;L)$ denotes the maximal number of edges in a graph of order $p$ not containing $L$ as a subgraph. Let $r(G\sb 1, G\sb 2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$ . In this paper we also obtain some explicit formulas for $r(T_m,T_n^i)$ , where $i\in\{1,2\}$ and $T_m$ is a tree on $m$ vertices with $Δ(T_m)\le m-3$ .

preprint2014arXiv

Congruences for $q^{[p/8]}\pmod p$ II

Let $\Bbb Z$ be the set of integers, and let $p$ be a prime of the form $4k+1$ . Suppose $q\in\Bbb Z$ , $2\nmid q$ , $p\nmid q$ , $p=c^2+d^2$ , $c,d\in\Bbb Z$ and $c\equiv 1\pmod 4$ . In this paper we continue to discuss congruences for $q^{[p/8]}\pmod p$ and present new reciprocity laws, but we assume $4p=x^2+qy^2$ or $p=x^2+2qy^2$ , where $[\cdot]$ is the greatest integer function and $x,y\in\Bbb Z$ .

preprint2014arXiv

On the properties of even and odd sequences

In this paper we continue to investigate the properties of those sequences $\{a_n\}$ satisfying the condition $\sum_{k=0}^n\binom nk(-1)^ka_k=\pm a_n$ $(n\ge 0)$ . As applications we deduce new recurrence relations and congruences for Bernoulli and Euler numbers.

preprint2014arXiv

Ramsey numbers for trees

For $n\ge 5$ let $T_n'$ denote the unique tree on $n$ vertices with $Δ(T_n')=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 this paper we evaluate the Ramsey numbers $r(G_m,T_n')$ and $r(G_m,T_n^*)$ , where $G_m$ is a connected graph of order $m$ . As examples, for $n\ge 8$ we have $r(T_n',T_n^*)=r(T_n^*,T_n^*)=2n-5$ , for $n>m\ge 7$ we have $r(K_{1,m-1},T_n^*)=m+n-3$ or $m+n-4$ according as $m-1\mid (n-3)$ or $m-1\nmid (n-3)$ , for $m\ge 7$ and $n\ge (m-3)^2+2$ we have $r(T_m^*,T_n^*)=m+n-3$ or $m+n-4$ according as $m-1\mid (n-3)$ or $m-1\nmid (n-3)$ .

preprint2014arXiv

Recurrence formulas with gaps for Bernoulli and Euler polynomials

Let $\{B_n\}$ , $\{B_n(x)\}$ and $\{E_n(x)\}$ be the Bernoulli numbers, Bernoulli polynomials and Euler polynomials, respectively. In this paper we mainly establish formulas for $\sum_{6\mid k-3}\binom nkB_{n-k}(x)$ , $\sum_{6\mid k}\binom nkE_{n-k}(x)$ and $\sum_{6\mid k-3}\binom nkm^kB_{n-k}$ in the cases $m=2,3,4$ .

preprint2014arXiv

Super congruences involving Bernoulli and Euler polynomials

Let $p>3$ be a prime, and let $a$ be a rational p-adic integer. Let $\{B_n(x)\}$ and $\{E_n(x)\}$ denote the Bernoulli polynomials and Euler polynomials, respectively. In this paper we show that $\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\equiv (-1)^{\langle a\rangle_p}+ p^2t(t+1)E_{p-3}(-a)\pmod{p^3}$ and for $a\not\equiv -\frac 12\pmod p$ , $\sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac 1{2k+1}\equiv \frac{1+2t}{1+2a} +p^2\frac{t(t+1)}{1+2a}B_{p-2}(-a)\pmod{p^3},$ where $\langle a\rangle_p\in\{0,1,\ldots,p-1\}$ satisfying $a\equiv \langle a\rangle_p\pmod p$ and $t=(a-\langle a\rangle_p)/p$ . Taking $a=-\frac 13,-\frac 14,-\frac 16$ in the above congruences we solve some conjectures of Z.W. Sun. In this paper we also establish congruences for $\sum_{k=0}^{p-1}k\binom ak\binom{-1-a}k,\ \sum_{k=0}^{p-1}\binom ak\binom{-1-a}k\frac 1{2k-1},\ \sum_{k=1}^{p-1}\frac 1k\binom ak\binom{-1-a}k\pmod{p^3}$ and $\sum_{k=1}^{p-1}\frac {(-1)^k}k\binom ak,\ \sum_{k=0}^{p-1}\binom ak(-2)^k\pmod{p^2}.$

preprint2014arXiv

Turán's problem and generalized Ramsey numbers

Let $n,r,k,s$ be positive integers with $n,k\ge 2$ . The generalized Ramsey number $R(n,r;k,s)$ is the smallest positive integer $p$ such that for every graph $G$ of order $p$ , either $G$ contains a subgraph induced by $n$ vertices with at most $r-1$ edges, or the complement $\bar G$ of $G$ contains a subgraph induced by $k$ vertices with at most $s-1$ edges. In this paper we completely determine $R(n,n(n-1)/2-r;k,1)$ for $n\ge 4$ and $r\le n-2$ , and pose several conjectures on Ramsey numbers.

preprint2014arXiv

Turán's Problem for Trees

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^*)$ .

preprint2014arXiv

Turán's problem for trees $T_n$ with maximal degree $n-4$

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.

preprint2013arXiv

Congruences concerning Lucas' law of repetition

Let $P,Q\in\Bbb Z$ , $U_0=0,\ U_1=1$ and $U_{n+1}=PU_n-QU_{n+1}$ . In this paper we obtain a general congruence for $U_{kmn^r}/U_k\pmod {n^{r+1}}$ , where $k,m,n,r$ are positive integers. As applications we extend Lucas' law of repetition and characterize the square prime factors of $a^n+1$ or $S_n$ , where $\{S_n\}$ is given by $S_1=P^2+2$ and $S_{k+1}=S_k^2-2\ (k\ge 1)$ .

preprint2013arXiv

Congruences for sequences analogous to Euler numbers

For a given real number $a$ we define the sequence $\{E_{n,a}\}$ by $E_{0,a}=1$ and $E_{n,a}=-a\sum_{k=1}^{[n/2]} \binom n{2k}E_{n-2k,a}$ $(n\ge 1)$ , where $[x]$ is the greatest integer not exceeding $x$ . Since $E_{n,1}=E_n$ is the n-th Euler number, $E_{n,a}$ can be viewed as a natural generalization of Euler numbers. In this paper we deduce some identities and an inversion formula involving $\{E_{n,a}\}$ , and establish congruences for $E_{2n,a}\mod{2^{{\rm ord}_2n+8}}$ , $E_{2n,a}\pmod{3^{{\rm ord}_3n+5}}$ and $E_{2n,a}\pmod{5^{{\rm ord}_5n+4}}$ provided that $a$ is a nonzero integer, where ${\rm ord}_pn$ is the least nonnegative integer $α$ such that $p^{\a}\mid n$ but $p^{\a+1}\nmid n$.

preprint2013arXiv

Cubic congruences and sums involving $\binom{3k}k$

Let $p$ be a prime greater than $3$ and let $a$ be a rational p-adic integer. In this paper we try to determine $\sum_{k=1}^{[p/3]}\binom{3k}ka^k\pmod p$ , and real the connection between cubic congruences and the sum $\sum_{k=1}^{[p/3]}\binom{3k}ka^k$ , where $[x]$ is the greatest integer not exceeding $x$ . Suppose that $a_1,a_2,a_3$ are rational p-adic integers, $P=-2a_1^3+9a_1a_2-27a_3$ , $Q=(a_1^2-3a_2)^3$ and $PQ(P^2-Q)(P^2-3Q)(P^2-4Q)\not\equiv 0\pmod p$ . In this paper we show that the number of solutions of the congruence $x^3+a_1x^2+a_2x+a_3\equiv 0\pmod p$ depends only on $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{4Q-P^2}{27Q})^k\pmod p$ . Let $q$ be a prime of the form $3k+1$ and so $4q=L^2+27M^2$ with $L,M\in\Bbb Z$ . When $p\not=q$ and $p\nmid L$ , we establish congruences for $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{M^2}q)^k$ and $\sum_{k=1}^{[p/3]}\binom{3k}k(\frac{L^2}{27q})^k$ modulo p. As a consequence, we show that $x^3-qx-qM\equiv 0\pmod p$ has three solutions if and only if $p$ is a cubic residue of $q$ .

preprint2013arXiv

Extensions of Stern's congruence for Euler numbers

For a nonzero integer $a$ let ${E_n^{(a)}}$ be given by $\sum_{k=0}^{[n/2]}\binom n{2k}a^{2k}E_{n-2k}^{(a)}=(1-a)^n$ $(n=0,1,2,...)$ , where $[x]$ is the greatest integer not exceeding $x$ . As $E_n^{(1)}=E_n$ is the Euler number, $E_n^{(a)}$ can be viewed as a generalization of Euler numbers. Let $k$ and $m$ be positive integers, and let $b$ be a nonnegative integer. In this paper, we determine $E_{2^mk+b}^{(a)}$ modulo $2^{m+10}$ for $m\ge 5$ . For $m\ge 5$ we also establish congruences for $U_{kφ{(5^m)}+b},\; E_{kφ{(5^m)}+b},\; S_{kφ{(5^m)}+b}\pmod{5^{m+5}}$ and $S_{kφ{(3^m)}+b}\pmod{3^{m+5}},$ where $U_{2n}=E_{2n}^{(3/2)}$ , $S_n=E_n^{(2)}$ and $φ(n)$ is Euler's function.

preprint2013arXiv

Inequalities for binomial coefficients

In this paper we prove several inequalities for binomial coefficients. For instance, if $k$ and $n$ are positive integers such that $n\ge 400$ and $[\frac n5]\le k\le [\frac n2]$ , where $[x]$ is the greatest integer not exceeding $x$ , then $$\binom nk<\Big(1-\frac{5(k-[\f n5])}{6n^2}\Big) \frac{n^{n-\f 12}}{k^k(n-k)^{n-k}}.$$

preprint2013arXiv

On the properties of a sequence concerning binomial coefficients

For $n\ge 3$ let $f(n)$ be the least positive integer $k$ such that $\binom nk>\frac{2^n}{n+1}$ . In this paper we investigate the properties of $f(n)$ .

preprint2013arXiv

Quartic residues and sums involving $\binom{4k}{2k}$

Let $p$ be an odd prime and let $m\not\equiv 0\pmod p$ be a rational p-adic integer. In this paper we reveal the connection between quartic residues and the sum $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\frac 1{m^k}$ , where $[x]$ is the greatest integer not exceeding $x$ . Let $q$ be a prime of the form $4k+1$ and so $q=a^2+b^2$ with $a,b\in\Bbb Z$ . When $p\nmid ab(a^2-b^2)q$ , we show that for $r=0,1,2,3$ , $p^{\frac{q-1}4}\equiv (\frac ab)^r\pmod q$ if and only if $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\Big(\frac{a^2}{16q}\Big)^k\equiv (-1)^{\frac{p^2-1}8a+\frac{p-1}2\cdot \frac{q-1}4}\Big(\frac pq\Big) \Big(\frac ab\Big)^r\pmod p,$ where $(\frac pq)$ is the Legendre symbol. We also establish congruences for $\sum_{k=0}^{[p/4]}\binom{4k}{2k}\frac 1{m^k}\pmod p$ in the cases $m=17,18,20,32,52,80,272$ .

preprint2013arXiv

Some conjectures on congruences

Let $p$ be an odd prime. In the paper we collect the author's various conjectures on congruences modulo $p$ or $p^2$ , which are concerned with sums of binomial coefficients, Lucas sequences, power residues and special binary quadratic forms.

preprint2012arXiv

An extension of Stern's congruence

Let $\{E_n\}$ be the Euler numbers. In the paper we determine $E_{2^mk+b}-E_b$ modulo $2^{m+7}$ , where $k$ and $m$ are positive integers and $b\in{0,2,4,...}$ .

preprint2012arXiv

Congruences concerning Legendre polynomials II

Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$ . In the paper we solve some conjectures of Z.W. Sun concerning $\sum_{k=0}^{p-1}\binom{2k}k^3/m^k\pmod{p^2}$ , $\sum_{k=0}^{p-1}\binom{2k}k\b{4k}{2k}/m^k\pmod p$ and $\sum_{k=0}^{p-1}\binom{2k}k^2\b{4k}{2k}/m^k\pmod {p^2}.$ In particular, we show that $\sum_{k=0}^{\frac{p-1}{2}}\binom{2k}k^3\equiv 0\pmod {p^2}$ for $p\equiv 3,5,6\pmod 7$ . Let $P_n(x)$ be the Legendre polynomials. In the paper we also show that $P_{[\frac {p}{4}]}(t)\equiv -\big(\frac{-6}{p}\big)\sum_{x=0}^{p-1} \big(\frac{x^3-3/2(3t+5)x-9t-7}{p}\big)\pmod p$ and determine $P_{\frac{p-1}{2}}(\sqrt 2), P_{\frac{p-1}{2}}(\frac{3\sqrt 2}{4}), P_{\frac{p-1}{2}}(\sqrt {-3}),P_{\frac{p-1}{2}}(\frac{\sqrt 3}{2}), P_{\frac{p-1}{2}}(\sqrt {-63}), P_{\frac{p-1}{2}}(\frac {3\sqrt 7}{8}) \pmod p$ , where $t$ is a rational $p-$ integer, $[x]$ is the greatest integer not exceeding $x$ and $(\frac {a}{p})$ is the Legendre symbol. As consequences we determine $P_{[\frac {p}{4}]}(t)\pmod p$ in the cases $t=-5/3,-7/9,-65/63$ and confirm many conjectures of Z.W. Sun.

preprint2012arXiv

Congruences concerning Legendre polynomials III

Let $p>3$ be a prime, and let $R_p$ be the set of rational numbers whose denominator is coprime to $p$ . Let $\{P_n(x)\}$ be the Legendre polynomials. In this paper we mainly show that for $m,n,t\in R_p$ with $m\not\e 0\pmod p$, $$\align &P_{[\frac p6]}(t) \e -\Big(\frac 3p\Big)\sum_{x=0}^{p-1}\Big(\frac{x^3-3x+2t}p\Big)\pmod p, &\Big(\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big)\Big)^2\equiv \Big(\frac{-3m}p\Big) \sum_{k=0}^{[p/6]}\binom{2k}k\binom{3k}k\binom{6k}{3k} \Big(\frac{4m^3+27n^2}{12^3\cdot 4m^3}\Big)^k\pmod p,$$ where $(\frac ap)$ is the Legendre symbol and $[x]$ is the greatest integer function. As an application we solve some conjectures of Z.W. Sun and the author concerning $\sum_{k=0}^{p-1}\binom{2k}k\binom{3k}k\binom{6k}{3k}/m^k\pmod {p^2}$ , where $m$ is an integer not divisible by $p$ .

preprint2012arXiv

Generalized Legendre polynomials and related congruences modulo $p^2$

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 greatest integer function. Finally we pose some supercongruences modulo $p^2$ concerning binary quadratic forms.

preprint2012arXiv

Jacobsthal sums, Legendre polynomials and binary quadratic forms

Let $p>3$ be a prime and $m,n\in\Bbb Z$ with $p\nmid mn$ . Built on the work of Morton, in the paper we prove the uniform congruence: $$&\sum_{x=0}^{p-1}\Big(\frac{x^3+mx+n}p\Big) \equiv {-(-3m)^{\frac{p-1}4} \sum_{k=0}^{p-1}\binom{-\frac 1{12}}k\binom{-\frac 5{12}}k (\frac{4m^3+27n^2}{4m^3})^k\pmod p&\t{if $4\mid p-1$,} \frac{2m}{9n}(\frac{-3m}p)(-3m)^{\frac{p+1}4} \sum_{k=0}^{p-1}\binom{-\frac 1{12}}k\binom{-\frac 5{12}}k (\frac{4m^3+27n^2}{4m^3})^k\pmod p&\text{if $4\mid p-3$,}$$ where $(\frac ap)$ is the Legendre symbol. We also establish many congruences for $x\pmod p$ , where $x$ is given by $p=x^2+dy^2$ or $4p=x^2+dy^2$ , and pose some conjectures on supercongruences modulo $p^2$ concerning binary quadratic forms.

preprint2012arXiv

On the further properties of $\{U_n\}$

Let $\{U_n\}$ be given by $U_0=1$ and $U_n=-2\sum_{k=1}^{[n/2]} \b n{2k}U_{n-2k}\ (n\ge 1)$, where $[\cdot]$ is the greatest integer function. In the paper we present a summation formula and several congruences involving $\{U_n\}$ .

preprint2012arXiv

Quartic, octic residues and binary quadratic forms

Let $\Bbb Z$ be the set of integers, and let $(m,n)$ be the greatest common divisor of integers $m$ and $n$ . Let $p\equiv 1\mod 4$ be a prime, $q\in\Bbb Z$ , $2\nmid q$ and $p=c^2+d^2=x^2+qy^2$ with $c,d,x,y\in\Bbb Z$ and $c\e 1\mod 4$. Suppose that $(c,x+d)=1$ or $(d,x+c)$ is a power of 2. In the paper, by using the quartic reciprocity law we determine $q^{[p/8]}\mod p$ in terms of $c,d,x$ and $y$ , where $[\cdot]$ is the greatest integer function. We also determine $\big(\frac{b+\sqrt{b^2+4^α}}2\big)^{\frac{p-1}4}\mod p$ for odd $b$ and $(2a+\sqrt{4a^2+1})^{\f{p-1}4}\mod p$ for $a\in\Bbb Z$ . As applications we obtain the congruence for $U_{\f{p-1}4}\mod p$ and the criterion for $p\mid U_{\frac{p-1}8}$ (if $p\equiv 1\mod 8$ ), where $\{U_n\}$ is the Lucas sequence given by $U_0=0,\ U_1=1$ and $U_{n+1}=bU_n+U_{n-1}\ (n\ge 1)$ , and $b\not\equiv 2\mod 4$ . Hence we partially solve some conjectures posed by the author in two previous papers.

preprint2011arXiv

Congruences involving $\binom{2k}k^2\binom{3k}km^{-k}$

Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$ . In the paper, based on the work of Brillhart and Morton, by using the work of Ishii and Deuring's theorem for elliptic curves with complex multiplication we solve some conjectures of Zhi-Wei Sun concerning $\sum_{k=0}^{p-1}\binom{2k}k^2\binom{3k}km^{-k}\mod {p^2}$ .

preprint2011arXiv

Congruences involving $\binom{2k}k^2\binom{4k}{2k}m^{-k}$

Let $p>3$ be a prime, and let $m$ be an integer with $p\nmid m$ . In the paper, by using the work of Ishii and Deuring's theorem for elliptic curves with complex multiplication we solve some conjectures of Zhi-Wei Sun concerning $\sum_{k=0}^{p-1}\binom{2k}k^2\binom{4k}{2k}m^{-k}\mod {p^2}$ .

preprint2011arXiv

Congruences involving $\binom{4k}{2k}$ and $\binom{3k}k$

Let $p$ be a prime greater than 3. In the paper we mainly determine $\sum_{k=0}^{[p/4]}\binom{4k}{2k}(-1)^k$ , $\sum_{k=0}^{[p/3]}\binom{3k}k, \sum_{k=0}^{[p/3]}\binom{3k}k(-1)^k$ and $\sum_{k=0}^{[p/3]}\binom{3k}k(-3)^k$ modulo $p$ , where $[x]$ is the greatest integer not exceeding $x$ .

preprint2011arXiv

Some supercongruences modulo $p^2$

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.

preprint2010arXiv

Congruences concerning Legendre polynomials

Let $p$ be an odd prime. In the paper, by using the properties of Legendre polynomials we prove some congruences for $\sum_{k=0}^{\frac{p-1}2}\binom{2k}k^2m^{-k}\mod {p^2}$ . In particular, we confirm several conjectures of Z.W. Sun. We also pose 13 conjectures on supercongruences.

preprint2010arXiv

Constructing $x^2$ for primes $p=ax^2+by^2$

Let $a$ and $b$ be positive integers and let $p$ be an odd prime such that $p=ax^2+by^2$ for some integers $x$ and $y$ . Let $λ(a,b;n)$ be given by $q\prod_{k=1}^\infty (1-q^{ak})^3(1-q^{bk})^3 = \sum_{n=1}^\infty λ(a,b;n)q^n$ . In the paper, using Jacobi's identity $\prod_{n=1}^\infty (1-q^n)^3 = \sum_{k=0}^\infty (-1)^k(2k+1)q^{\frac{k(k+1)}2}$ we construct $x^2$ in terms of $λ(a,b;n)$ . For example, if $2\nmid ab$ and $p\nmid ab(ab+1)$ , then $(-1)^{\frac{a+b}2x+\frac{b+1}2}(4ax^2-2p) = λ(a,b;((ab+1)p-a-b)/8+1)$ . We also give formulas for $λ(1,3;n+1),λ(1,7;2n+1)$ , $λ(3,5;2n+1)$ and $λ(1,15;4n+1)$ .

preprint2010arXiv

Identities and congruences for a new sequence

Let $[x]$ be the greatest integer not exceeding $x$ . In the paper we introduce the sequence $\{U_n\}$ given by $U_0=1$ and $U_n=-2\sum_{k=1}^{[n/2]}\binom n{2k}U_{n-2k}\quad(n\ge 1)$ , and establish many recursive formulas and congruences involving $\{U_n\}$ .

preprint2010arXiv

Some inversion formulas and formulas for Stirling numbers

In the paper we present some new inversion formulas and two new formulas for Stirling numbers.

Zhi-Hong Sun

Research overview

Is this your work?

46 publications

Congruences for sums involving products of three binomial coefficients

Supercongruences for sums involving (ak)m\binom ak^m(ka​)m

Congruences for two types of Apery-like sequences

Congruences involving binomial coefficients and Apéry-like numbers

Conjectures on congruences involving binomial coefficients and Apéry-like numbers

New congruences involving Apéry-like numbers

Super congruences concerning binomial coefficients and Apéry-like numbers

New super congruences involving Bernoulli and Euler polynomials

Congruences for Catalan-Larcombe-French numbers

Congruences involving Franel and Catalan-Larcombe-French numbers

Note on super congruences modulo p2p^2p2

On the number of representations of n as a linear combination of four triangular numbers

On the number of representations of n as a linear combination of four triangular numbers II

Some relations between t(a,b,c,d;n) and N(a,b,c,d;n)

Turán's problem and Ramsey numbers for trees

Congruences for q[p/8](modp)q^{[p/8]}\pmod pq[p/8](modp) II

On the properties of even and odd sequences

Ramsey numbers for trees

Recurrence formulas with gaps for Bernoulli and Euler polynomials

Super congruences involving Bernoulli and Euler polynomials

Turán's problem and generalized Ramsey numbers

Turán's Problem for Trees

Turán's problem for trees TnT_nTn​ with maximal degree n−4n-4n−4

Congruences concerning Lucas' law of repetition

Congruences for sequences analogous to Euler numbers

Cubic congruences and sums involving (3kk)\binom{3k}k(k3k​)

Extensions of Stern's congruence for Euler numbers

Inequalities for binomial coefficients

On the properties of a sequence concerning binomial coefficients

Quartic residues and sums involving (4k2k)\binom{4k}{2k}(2k4k​)

Some conjectures on congruences

An extension of Stern's congruence

Congruences concerning Legendre polynomials II

Congruences concerning Legendre polynomials III

Generalized Legendre polynomials and related congruences modulo p2p^2p2

Jacobsthal sums, Legendre polynomials and binary quadratic forms

On the further properties of {Un}\{U_n\}{Un​}

Quartic, octic residues and binary quadratic forms

Congruences involving (2kk)2(3kk)m−k\binom{2k}k^2\binom{3k}km^{-k}(k2k​)2(k3k​)m−k

Congruences involving (2kk)2(4k2k)m−k\binom{2k}k^2\binom{4k}{2k}m^{-k}(k2k​)2(2k4k​)m−k

Congruences involving (4k2k)\binom{4k}{2k}(2k4k​) and (3kk)\binom{3k}k(k3k​)

Some supercongruences modulo p2p^2p2

Congruences concerning Legendre polynomials

Constructing x2x^2x2 for primes p=ax2+by2p=ax^2+by^2p=ax2+by2

Identities and congruences for a new sequence

Some inversion formulas and formulas for Stirling numbers

See the researcher in context

Building this map preview

Supercongruences for sums involving $\binom ak^m$

Note on super congruences modulo $p^2$

Congruences for $q^{[p/8]}\pmod p$ II

Turán's problem for trees $T_n$ with maximal degree $n-4$

Cubic congruences and sums involving $\binom{3k}k$

Quartic residues and sums involving $\binom{4k}{2k}$

Generalized Legendre polynomials and related congruences modulo $p^2$

On the further properties of $\{U_n\}$

Congruences involving $\binom{2k}k^2\binom{3k}km^{-k}$

Congruences involving $\binom{2k}k^2\binom{4k}{2k}m^{-k}$

Congruences involving $\binom{4k}{2k}$ and $\binom{3k}k$

Some supercongruences modulo $p^2$

Constructing $x^2$ for primes $p=ax^2+by^2$