• ### Consecutive primes and Legendre symbols(1406.5951)

Sept. 5, 2019 math.NT
Let $m$ be any positive integer and let $\delta_1,\delta_2\in\{1,-1\}$. We show that for some constanst $C_m>0$ there are infinitely many integers $n>1$ with $p_{n+m}-p_n\le C_m$ such that $$\left(\frac{p_{n+i}}{p_{n+j}}\right)=\delta_1\ \quad\text{and}\ \quad\left(\frac{p_{n+j}}{p_{n+i}}\right)=\delta_2$$ for all $0\le i<j\le m$, where $p_k$ denotes the $k$-th prime, and $(\frac {\cdot}p)$ denotes the Legendre symbol for any odd prime $p$. We also prove that under the Generalized Riemann Hypothesis there are infinitely many positive integers $n$ such that $p_{n+i}$ is a primitive root modulo $p_{n+j}$ for any distinct $i$ and $j$ among $0,1,\ldots,m$.
• ### $p$-adic analogues of hypergeometric identities(1703.01215)

Aug. 26, 2018 math.CO, math.NT
We prove some supercongruences for the truncated hypergeometric series.
• ### On the divisibility of some truncated hypergeometric series(1801.02213)

March 5, 2018 math.CO, math.NT
Let $p$ be an odd prime and $r\geq 1$. Suppose that $\alpha$ is a $p$-adic integer with $\alpha\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We confirm a conjecture of Sun and prove that $${}_{2r+1}F_{2r}\bigg[\begin{matrix}\alpha&\alpha&\ldots&\alpha\\ &1&\ldots&1\end{matrix}\bigg|\,1\bigg]_{p-1}\equiv0\pmod{p^2},$$ where the truncated hypergeometric series $${}_{q+1}F_{q}\bigg[\begin{matrix}x_0&x_1&\ldots&x_{q}\\ &y_1&\ldots&y_q\end{matrix}\bigg|\,z\bigg]_{n}:=\sum_{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_q)_k}{(y_1)_k\cdot (y_q)_k}\cdot\frac{z^k}{k!}.$$
• ### On the gaps between consecutive primes(1802.02470)

Feb. 7, 2018 math.CO, math.NT
Let $p_n$ denote the $n$-th prime. For any $m\geq 1$, there exist infinitely many $n$ such that $p_{n}-p_{n-m}\leq C_m$ for some large constant $C_m>0$, and $$p_{n+1}-p_n\geq \frac{c_m\log n\log\log n\log\log\log\log n}{\log\log\log n},$$ for some small constant $c_m>0$. Furthermore, we also obtain a related result concerning the least primes in arithmetic progressions.
• ### The Green-Tao theorem for primes of the form $x^2+y^2+1$(1708.08629)

Aug. 31, 2017 math.CO, math.NT
We prove that the primes of the form $x^2+y^2+1$ contain arbitrarily long non-trivial arithmetic progressions.
• ### On the number of three-term arithmetic progressions in a dense subset of $F_q^n$(1611.07792)

Nov. 26, 2016 math.CO, math.NT
Let $q$ be an odd prime power. Combining the discussion of Varnavides and a recent theorem of Ellenberg and Gijswijt, we show that a subset $A\subset{\mathbb F}_q^n$ will contain many non-trivial three-term arithmetic progressions, whenever $|A|\geq (c_q q)^n$ for some constant $c_q>0$. After the first version of our manuscript was uploaded in the arXiv, we learned from Professors Jacob Fox and Terence Tao that our result is a special case of a result of Fox and Lovasz [1, Theorem 3]. In fact, [1, Theorem 3] gives a much better bound than ours. For example, when $q=3$, the lower bound given by Fox and Lovasz is $|A|^{2}\cdot (|A|q^{-n})^{11.901}$, while our bound is $|A|^{2}\cdot (|A|q^{-n})^{25.803}$. We thank Professors Jacob Fox and Terence Tao for their helpful comments on our manuscript. [1] Jacob Fox, L\'aszl\'o Mikl\'os Lov\'asz, A tight bound for Green's arithmetic triangle removal lemma in vector spaces, preprint, arXiv:1606.01230.
• ### Supercongruences on some binomial sums involving Lucas sequences(1511.07221)

Nov. 11, 2016 math.CO, math.NT
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.
• ### On the generalized restricted sumsets in abelian groups(1609.02833)

Sept. 12, 2016 math.CO, math.NT
Suppose that $A$, $B$ and $S$ are non-empty subsets of a finite abelian group $G$. Then the generalized restricted sumset $$A\stackrel{S}+B:=\{a+b:\,a\in A,\ b\in B,\ a-b\not\in S\}$$ contains at least $$\min\{|A|+|B|-3|S|,p(G)\}$$ elements, where $p(G)$ is the least prime factor of $|G|$. Further, we also have $$|A\stackrel{S}+B|\geq \min\{|A|+|B|-|S|-2,p(G)\},$$ provided that both $|A|$ and $|B|$ are large with respect to $|S|$.
• ### A generalization of Frieman's 3k-3 theorem(1308.3853)

Sept. 12, 2016 math.CO, math.NT
We prove a generalization of Frieman's $3k-3$ theorem for the sumset $$\Sigma^{l}(A_1,\ldots,A_k)=\{a_{j_{1}}+\cdots+a_{j_{l}}:\,1\leq j_{1}<\cdots<j_{l}\leq k,\ a_{j_{s}}\in A_{j_{s}}\text{ for all }s\}.$$
• ### On the Erdos-Fuchs theorem(1608.08433)

Aug. 30, 2016 math.CO, math.NT
We prove several extensions of the Erdos-Fuchs theorem.
• ### Ergodic recurrence and bounded gaps between primes(1608.04111)

Aug. 19, 2016 math.DS, math.NT
Let $(X,B_X,\mu,T)$ be a measure-preserving probability system with $T$ is invertible. Suppose that $A\in B_X$ with $\mu(A)>0$ and $\epsilon>0$. For any $m\geq 1$, there exist infinitely many primes $p_0,p_1,\ldots,p_m$ with $p_0<\cdots<p_m$ such that $$\mu(A\cap T^{-(p_i-1)}A)\geq \mu(A)^2-\epsilon$$ for each $0\leq i\leq m$ and $$p_m-p_0<C_m,$$ where $C_m>0$ is a constant only depending on $m$, $A$ and $\epsilon$.
• ### Identities involving weighted Catalan, Schroder and Motzkin paths(1608.02448)

Aug. 16, 2016 math.CO
In this paper, we investigate the weighted Catalan, Motzkin and Schr\"oder numbers together with the corresponding weighted paths. The relation between these numbers is illustrated by three equations, which also lead to some known and new interesting identities. To show these three equations, we provide combinatorial proofs. One byproduct is to find a bijection between two sets of Catalan paths: one consisting of those with $k$ valleys, and the other consisting of $k$ $\mathbf{N}$ steps in even positions.
• ### Small gaps between the Piatetski-Shapiro primes(1601.04905)

March 10, 2016 math.NT
Suppose that $1<c<9/8$. For any $m\geq 1$, there exist infinitely many $n$ such that $$\{[n^c],\ [(n+1)^c],\ \ldots,\ [(n+k_0)^c]\}$$ contains at least $m+1$ primes, if $k_0$ is sufficiently large (only depending on $m$).
• ### Some symmetric $q$-congruences(1601.03934)

Jan. 5, 2016 math.NT
We prove some symmetric $q$-congruences.
• ### Proof of a conjecture involving Sun polynomials(1511.04005)

Dec. 28, 2015 math.CO, math.NT
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.}$$
• ### A Stern-type congruence for the Schroder numbers(1512.06310)

Dec. 20, 2015 math.CO, math.NT
For the Schr\"oder number $$S_n=\sum_{k=0}^n\binom{n}k\binom{n+k}k\frac1{k+1},$$ we prove that $$S_{n+2^\alpha}\equiv S_{n}+2^{\alpha+1}\pmod{2^{\alpha+2}},$$ where $n\geq 1$ and $\alpha\geq 1$.
• ### A Lucas-type congruence for q-Delannoy numbers(1508.02046)

Aug. 9, 2015 math.CO, math.NT
We prove a Lucas-type congruence for q-Delannoy numbers.
• ### The Rodriguez-Villegas type congruences for truncated q-hypergeometric functions(1507.03107)

July 11, 2015 math.CO, math.NT
We prove some Rodriguez-Villegas type congruences for truncated q-hypergeometric functions.
• ### Bounded gaps between primes of the special form(1403.4527)

May 15, 2015 math.NT
For each $m\geq 1$, there exist infinitely many primes $p_1<p_2<\ldots<p_{m+1}$ such that $p_{m+1}-p_1=O(m^4e^{8m})$ and $p_j+2$ has at most $\frac{16m}{\log 2}+\frac{5\log m}{\log 2}+37$ prime divisors for each $j$.
• ### Note on polynomial recurrence(1502.07203)

Feb. 26, 2015 math.CO, math.DS
Let $(X,\mu,T_1,...,T_l)$ be a measure-preserving system with those $T_i$ are commuting. Suppose that the polynomials $p_1(t),...,p_{l}(t)\in\Z[t]$ with $p_j(0)=0$ have distinct degrees. Then for any $\epsilon>0$ and $A\subseteq X$ with $\mu(A)>0$, the set $$\{n:\,\mu(A\cap T_1^{-p_1(n)}A\cap...\cap T_l^{-p_l(n)}A)\geq\mu(A)^{l+1}-\epsilon\}$$ has bounded gaps.
• ### Proof of three conjectures on congruences(1010.2489)

Aug. 7, 2014 math.CO, math.NT
In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\equiv 1\pmod{4}$ or $a>1$ then $$\sum_{k=0}^{\lfloor\frac34p^a\rfloor}\binom{-1/2}k\equiv\left(\frac{2}{p^a}\right)\pmod{p^2},$$ where $(-)$ denotes the Jacobi symbol. This confirms a conjecture of the second author. We also confirm a conjecture of R. Tauraso by showing that $$\sum_{k=1}^{p-1}\frac{L_k}{k^2}\equiv0\pmod{p}\quad {\rm provided}\ \ p>5,$$ where the Lucas numbers $L_0,L_1,L_2,\ldots$ are defined by $L_0=2,\ L_1=1$ and $L_{n+1}=L_n+L_{n-1}\ (n=1,2,3,\ldots)$. Our third theorem states that if $p\not=5$ then we can determine $F_{p^a-(\frac{p^a}5)}$ mod $p^3$ in the following way: $$\sum_{k=0}^{p^a-1}(-1)^k\binom{2k}k\equiv\left(\frac{p^a}5\right)\left(1-2F_{p^a-(\frac{p^a}5)}\right)\ \pmod{p^3},$$ which appeared as a conjecture in a paper of Sun and Tauraso in 2010.
• ### On the divisibility of the truncated hypergeometric function 3F2(1309.0230)

Sept. 3, 2013 math.NT
We prove a result on the divisibility of the truncated hypergeometric function 3F2.
• ### An analogue of the prime number theorem for finite fields(1308.5041)

Aug. 23, 2013 math.NT
We prove an analogue of the prime number theorem for finite fields.
• ### A curious identity for Bernoulli numbers(1307.7794)

Aug. 15, 2013 math.NT
We prove a curious identity for the Bernoulli numbers.
• ### A note on the Polignac numbers(1306.2032)

June 9, 2013 math.NT
Suppose that $k\geq 3.5\times 10^6$ and $\hH=\{h_1,\ldots,h_{k_0}\}$ is admissible. Then for any $m\geq 1$, the set $$\{m(h_j-h_i):\,h_i<h_j\}$$ contains at least one Polignac number.