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

We prove some supercongruences for the truncated hypergeometric series.

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]_{p1}\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!}. $$

Let $p_n$ denote the $n$th prime. For any $m\geq 1$, there exist infinitely
many $n$ such that $p_{n}p_{nm}\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.

We prove that the primes of the form $x^2+y^2+1$ contain arbitrarily long
nontrivial arithmetic progressions.

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 nontrivial threeterm 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 (Aq^{n})^{11.901}$, while our bound is
$A^{2}\cdot (Aq^{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.

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}^{p1}\binom{p1}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.

Suppose that $A$, $B$ and $S$ are nonempty subsets of a finite abelian group
$G$. Then the generalized restricted sumset $$ A\stackrel{S}+B:=\{a+b:\,a\in
A,\ b\in B,\ ab\not\in S\} $$ contains at least $$ \min\{A+B3S,p(G)\}
$$ elements, where $p(G)$ is the least prime factor of $G$. Further, we also
have $$ A\stackrel{S}+B\geq \min\{A+BS2,p(G)\}, $$ provided that both
$A$ and $B$ are large with respect to $S$.

We prove a generalization of Frieman's $3k3$ 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\}. $$

We prove several extensions of the ErdosFuchs theorem.

Let $(X,B_X,\mu,T)$ be a measurepreserving 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_i1)}A)\geq \mu(A)^2\epsilon $$
for each $0\leq i\leq m$ and $$ p_mp_0<C_m, $$ where $C_m>0$ is a constant
only depending on $m$, $A$ and $\epsilon$.

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.

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

We prove some symmetric $q$congruences.

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}^{n1}(4k+3)g_k(x) \in\mathbb{Z}[x],\quad\text{and}\\
&\sum_{k=0}^{n1}(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+n2\choose
m1}{n\choose m}{2n\choose n}\equiv 0\pmod{m+n}\quad\text{for $m,n\geqslant
1$.} $$

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

We prove a Lucastype congruence for qDelannoy numbers.

We prove some RodriguezVillegas type congruences for truncated
qhypergeometric functions.

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

Let $(X,\mu,T_1,...,T_l)$ be a measurepreserving 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.

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}^{p1}\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_{n1}\ (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^a1}(1)^k\binom{2k}k\equiv\left(\frac{p^a}5\right)\left(12F_{p^a(\frac{p^a}5)}\right)\
\pmod{p^3},$$ which appeared as a conjecture in a paper of Sun and Tauraso in
2010.

We prove a result on the divisibility of the truncated hypergeometric
function 3F2.

We prove an analogue of the prime number theorem for finite fields.

We prove a curious identity for the Bernoulli numbers.

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_jh_i):\,h_i<h_j\} $$
contains at least one Polignac number.