arXiv++ Combinatorics

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

We prove a Lucas-type congruence for q-Delannoy numbers.

We prove some Rodriguez-Villegas type congruences for truncated q-hypergeometric functions.

Let $(X,μ,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 $ε>0$ and $A\subseteq X$ with $μ(A)>0$, the set $$ \{n:\,μ(A\cap T_1^{-p_1(n)}A\cap...\cap T_l^{-p_l(n)}A)\geqμ(A)^{l+1}-ε\} $$ has bounded gaps.

We prove a generalization of Frieman's $3k-3$ theorem for the sumset $$ Σ^{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 generalize a result of Ruzsa on the inverse Erdos-Fuchs theorem for k-fold sumsets.

Suppose that $A,B$ are two non-empty subsets of the finite nilpotent group $G$. If $A\not=B$, then the cardinality of the restricted sumset $$A\dotplus B={a+b: a\in A, b\in B, a\neq b} $$ is at least $$\min{p(G),|A|+|B|-2},$$ where $p(G)$ denotes the least prime factor of $|G|$.

We prove some 3-adic congruences for binomial sums, which were conjectured by Sun.

In this paper, we prove a divisibility result for the lacunary $q$-binomial sum $$ \sum_{k\equiv r\pmod{c}}(-1)^kq^{\binom{k}{2}}\qbinom{n}{k}{q}\qbinom{(k-r)/c}{l}{q^{c}}. $$

For any positive integers $m$ and $α$, we prove that $$\sum_{k=0}^{n-1}ε^k(2k+1)A_k^{(α)}(x)^m\equiv0\pmod{n}, $$ where $ε\in\{1,-1\}$ and $$ A_n^{(α)}(x)=\sum_{k=0}^n\binom{n}{k}^α\binom{n+k}{k}^αx^k.$$

We extend two results of Ruzsa and Vu on the additive complements of primes

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.

In 1992 Strauss, Shallit and Zagier proved that for any positive integer $a$ we have $$\sum_{k=0}^{3^a-1}\binom{2k}{k}=0 (mod 3^{2a})$$ and furthermore $$3^{-2a}}\sum_{k=0}^{3^a-1}\binom{2k}k=1 (mod 3).$$ Recently a $q$-analogue of the former congruence was conjectured by Guo and Zeng. In this paper we prove the Guo-Zeng conjecture and also give a $q$-analogue of the latter congruence.

We prove that for any nonnegative integers $n$ and $r$ the binomial sum $$ \sum_{k=-n}^n\binom{2n}{n-k}k^{2r} $$ is divisible by $2^{2n-\min\{α(n),α(r)\}}$, where $α(n)$ denotes the number of 1's in the binary expansion of $n$. This confirms a recent conjecture of Guo and Zeng.

Let p be any odd prime. We mainly show that $$\sum_{k=1}^{p-1}binomial(3k,k)*2^k/k=0 (mod p)$$ and $$\sum_{k=1}^{p-1}2^{k-1}C_k^{(2)}=(-1)^{(p-1)/2}-1 (mod p),$$ where $C_k^{(2)}=binomial(3k,k)/(2k+1)$ is the $k$th Catalan number of order 2.

We confirm several conjectures of Guo, Jouhet and Zeng concerning the factors of alternative binomials sums.

In this paper we establish two symmetric identities on sums of products of Euler polynomials.

For each m>=1 and k>=2, we construct a graph G=(V,E) with ω(G)=m such that max_{1\leq i\leq k} ω(G[V_i])=m for arbitrary partition V=V_1\cup...\cup V_k, where ω(G) is the clique number of G and G[V_i] is the induced subgraph of G with the vertex set V_i. Using this result, we show that for each m>=2 there exists an exact m-cover of Z which is not the union of two 1-covers.

We give a q-analogue of Gauss' divisibility theorem

Suppose that all primes are colored with k colors. Then there exist monochromatic primes p1, p2, p3 such that p1+p2=p3+1.