arXiv++ Combinatorics

Suppose that $k\geq 2$ and $A$ is a non-empty subset of a finite abelian group $G$ with $|G|>1$. Then the cardinality of the restricted sumset $$ k^\wedge A:=\{a_1+\cdots+a_k:\,a_1,\ldots,a_k\in A,\ a_i\neq a_j\text{ for }i\neq j\} $$ is at least $$ \min\{p(G), k|A|-k^2+1\}, $$ where $p(G)$ denotes the least prime divisor of $|G|$.

We prove several supercongruences involving the harmonic number of order two $H_n^{(2)}:=\sum_{k=1}^n1/k^2$. For example, if $p>5$ is prime and $α$ is $p$-integral, then we can completely determine $$ \sum_{k=0}^{p-1}\frac{H_k^{(2)}}{k}\cdot\binomα{k}\binom{-1-α}{k}\quad\text{and}\quad \sum_{k=0}^{\frac{p-1}{2}}\frac{H_k^{(2)}}{k}\cdot\binomα{k}\binom{-1-α}{k} $$ modulo $p^3$. In particular, by setting $α=-1/2$, we confirm two conjectured congruences of Z.-W. Sun.

For each $n=0,1,2,\ldots$ the central trinomial coefficient $T_n$ is the coefficient of $x^n$ in the expansion of $(x^2+x+1)^n$. In 2016 the second author conjectured that for any prime $p>3$ and positive integer $n$ the quotient $(T_{pn}-T_n)/(pn)^2$ is a $p$-adic integer. In this paper we confirm this conjecture and prove further that $$\frac{T_{pn}-T_n}{(pn)^2}\equiv\frac{T_{n-1}}6\left(\frac p3\right)B_{p-2}\left(\frac13\right)\pmod p,$$ where $(\frac p3)$ is the Legendre symbol and $B_{p-2}(x)$ is the Bernoulli polynomial of degree $p-2$.

We prove that, for any $c_1,c_2,c_3\in(1,41/35)$, every sufficiently large odd number $N$ can be represented as the sum of three primes $N = p_1 + p_2 +p_3$ such that $p_i = \lfloor n_{i}^{c_i}\rfloor$ for some $n_i \in{\mathbb N}$ for each $1 \leq i \leq 3$. Our arguments are based on a variant of Green's transference principle due to Matomäki, Maynard and Shao. We prove a necessary restriction estimate using Bourgain's strategy and employ Harman's sieve method to optimize our upper bound for $c_i$.

In this paper we obtain a new curious identity involving trigonometric functions. Namely, for any positive odd integer $n$ we prove that $$\sum_{k=1}^n(-1)^k(\cot kx)\sin k(n-k)x=\frac{1-n}2,$$ which is equivalent to the identity $$\sum_{k=1}^n(-1)^kU_{n-k}(\cos kx)=-\frac{n+1}2,$$ where $U_m(z)$ stands for the $m$th Chebyshev polynomial of the second kind. As a consequence, for any positive odd integer $n$ and positive integer $m$ we obtain $$\sum_{k=1}^n(-1)^kk^{2m}B_{2m+1}\left(\frac{n-k}2\right)=0,$$ where $B_j(x)$ denotes the Bernoulli polynomial of degree $j$.

Let ${\mathcal C}_n$ be the set of all permutation cycles of length $n$ over $\{1,2,\ldots,n\}$. Let $${\mathfrak f}_n(q):=\sum_{σ\in{\mathcal C}_{n+1}}q^{{\mathrm maj}\,σ} $$ be a $q$-analogue of the factorial $n!$, where ${\mathrm maj}$ denotes the major index. We prove a $q$-analogue of Wilson's congruence $$ {\mathfrak f}_{n-1}(q)\equivμ(n)\pmod{Φ_n(q)}, $$ where $μ$ denotes the Möbius function and $Φ_n(q)$ is the $n$-th cyclotomic polynomial.

Let $m\geq 3$. Suppose that $$ 1-2^{-2^{m^24^m}}<γ<1. $$ Then the set $$ \{p\text{ prime}:\, p=[n^{\frac1γ}]\text{ for some }n\in{\mathbb N}\} $$ contains infinitely many non-trivial $m$-term arithmetic progressions.

Let $p$ be an odd prime and let $n$ be a positive integer. For any positive integer $α$ and $m\in\{1,2,3\}$, we have \begin{align*} \sum_{k=0}^{p^αn-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\equiv\bigg(\frac{m(m-4)}{p}\bigg)\sum_{k=0}^{p^{α-1}n-1}\frac{(\frac12)_k}{k!}\cdot\frac{(-4)^k}{m^k}\pmod{p^{2α}}, \end{align*} where $(x)_k=x(x+1)\cdots(x+k-1)$ and $\big(\frac{\cdot}{\cdot}\big)$ denotes the Legendre symbol. Also, when $m=4$, \begin{align*} \sum_{k=0}^{p^αn-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\equiv p\sum_{k=0}^{p^{α-1}n-1}(-1)^k\cdot\frac{(\frac12)_k}{k!}\pmod{p^{2α}}. \end{align*}

With help of $q$-congruence, we prove the divisibility of some binomial sums. For example, for any integers $ρ,n\geq 2$, $$\sum_{k=0}^{n-1}(4k+1) \binom{2k}{k}^ρ\cdot (-4)^{ρ(n-1-k)} \equiv 0\pmod{2^{ρ-2}n\binom{2n}{n}}.$$

Let $n\geq 3$ be an integer and $p$ be a prime with $p\equiv 1\pmod{n}$. In this paper, we show that $${}_nF_{n-1}\bigg[\begin{matrix} \frac{n-1}{n}&\frac{n-1}{n}&\ldots&\frac{n-1}{n}\\ &1&\ldots&1\end{matrix}\bigg | \, 1\bigg]_{p-1}\equiv -Γ_p\bigg(\frac{1}{n}\bigg)^n\pmod{p^3}, $$ where the truncated hypergeometric series $$_nF_{n-1} \bigg[\begin{matrix} x_1&x_2&\ldots&x_n\\ &y_1&\cdots&y_{n-1}\end{matrix}\bigg | \, z\bigg]_m=\sum_{k=0}^{m}\frac{z^k}{k!}\prod_{j=0}^{k-1}\frac{(x_1+j)\cdots(x_{n}+j)}{(y_1+j)\cdots(y_{n-1}+j)} $$ and $Γ_p$ denotes the $p$-adic gamma function. This confirms a conjecture of Deines, Fuselier, Long, Swisher and Tu. Furthermore, under the same assumptions, we also prove that $$p^n\cdot {}_{n+1} F_n \bigg[ \begin{matrix} 1 &1 &\ldots &1\\ &\frac{n+1}{n} &\ldots &\frac{n+1}{n} \end{matrix}\bigg | \, 1\bigg]_{p-1} \equiv -Γ_p \Bigl(\frac{1}{n} \Bigr)^n \quad(\mathrm{mod}\ {p^3}),$$ which solves another conjecture of Deines, Fuselier, Long, Swisher and Tu.

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.

Let $p$ be an odd prime and $r\geq 1$. Suppose that $α$ is a $p$-adic integer with $α\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}α&α&\ldots&α\\ &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!}. $$

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

We prove some supercongruences for the truncated hypergeometric series.

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ászló Miklós Lovász, A tight bound for Green's arithmetic triangle removal lemma in vector spaces, preprint, arXiv:1606.01230.

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

We prove several extensions of the Erdos-Fuchs theorem.

In this paper, we investigate the weighted Catalan, Motzkin and Schröder 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.

For the Schröder number $$ S_n=\sum_{k=0}^n\binom{n}k\binom{n+k}k\frac1{k+1}, $$ we prove that $$ S_{n+2^α}\equiv S_{n}+2^{α+1}\pmod{2^{α+2}}, $$ where $n\geq 1$ and $α\geq 1$.

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.