arXiv++ Combinatorics

We decide to combine this preprint with two other ones (arXiv:1101.1946 and arXiv:1008.3887). The results on Apery numbers and polynomials will be added to the new version of arxiv:1101.1946, and those results on generalized trinomial coefficients will be added to the new version of arxiv:1008.3887

Let k and n be positive integers. We mainly show that $$(ln+1) | k\binom{kn+ln}{kn},$$ $$2\binom{kn}n | \binom {2n}{n}C_{2n}^{(k-1)}$$, $$\binom{kn}n | (2k-1)C_n\binom{2kn}{2n},$$ $$\binom{2n}n | (k+1)C_n^{(k-1)}\binom{2kn}{kn},$$ $$2^{k-1}\binom{2n}{n} | \binom{2(2^k-1)n}{(2^k-1)n}C_n^{(2^k-2)},$$ $$(6n+1)\binom{5n}{n} | \binom{3n-1}{n-1}C_{3n}^{(4)},$$ and $$\binom{3n}{n} | \binom{5n-1}{n-1}C_{5n}^{(2)},$$ where C_n denotes the Catalan number $\binom{2n}{n}/(n+1)$, and C_m^{(h)} refers to the Catalan number $\binom{(h+1)m}{m}/(hm+1)$ of order h.

In this paper we initiate the study of products and sums divisible by central binomial coefficients. We show that 2(2n+1)binom(2n,n)| binom(6n,3n)binom(3n,n) for every n=1,2,3,... Also, for any nonnegative integers $k$ and $n$ we have $$\binom {2k}k | \binom{4n+2k+2}{2n+k+1}\binom{2n+k+1}{2k}\binom{2n-k+1}n$$ and $$\binom{2k}k | (2n+1)\binom{2n}nC_{n+k}\binom{n+k+1}{2k},$$ where $C_m$ denotes the Catalan number $\binom{2m}m/(m+1)=\binom{2m}m-\binom{2m}{m+1}$. Applying this result we obtain two sums divisible by central binomial coefficients.

Let G be a finite additive abelian group with exponent exp(G)=n>1 and let A be a nonempty subset of {1,...,n-1}. In this paper, we investigate the smallest positive integer $m$, denoted by s_A(G), such that any sequence {c_i}_{i=1}^m with terms from G has a length n=exp(G) subsequence {c_{i_j}}_{j=1}^n for which there are a_1,...,a_n in A such that sum_{j=1}^na_ic_{i_j}=0. When G is a p-group, A contains no multiples of p and any two distinct elements of A are incongruent mod p, we show that s_A(G) is at most $\lceil D(G)/|A|\rceil+exp(G)-1$ if |A| is at least (D(G)-1)/(exp(G)-1), where D(G) is the Davenport constant of G and this upper bound for s_A(G)in terms of |A| is essentially best possible. In the case A={1,-1}, we determine the asymptotic behavior of s_{1,-1}(G) when exp(G) is even, showing that, for finite abelian groups of even exponent and fixed rank, s_{1,-1}(G)=exp(G)+log_2|G|+O(log_2log_2|G|) as exp(G) tends to the infinity. Combined with a lower bound of $exp(G)+sum{i=1}{r}\lfloor\log_2 n_i\rfloor$, where $G=\Z_{n_1}\oplus...\oplus \Z_{n_r}$ with 1<n_1|... |n_r, this determines s_{1,-1}(G), for even exponent groups, up to a small order error term. Our method makes use of the theory of L-intersecting set systems. Some additional more specific values and results related to s_{1,-1}(G) are also computed.

Let $p>3$ be a prime. We prove that $$\sum_{k=0}^{p-1}\binom{2k}{k}/2^k=(-1)^{(p-1)/2}-p^2E_{p-3} (mod p^3),$$ $$\sum_{k=1}^{(p-1)/2}\binom{2k}{k}/k=(-1)^{(p+1)/2}8/3*pE_{p-3} (mod p^2),$$ $$\sum_{k=0}^{(p-1)/2}\binom{2k}{k}^2/16^k=(-1)^{(p-1)/2}+p^2E_{p-3} (mod p^3)$$, where E_0,E_1,E_2,... are Euler numbers. Our new approach is of combinatorial nature. We also formulate many conjectures concerning super congruences and relate most of them to Euler numbers or Bernoulli numbers. Motivated by our investigation of super congruences, we also raise a conjecture on 7 new series for $π^2$, $π^{-2}$ and the constant $K:=\sum_{k>0}(k/3)/k^2$ (with (-) the Jacobi symbol), two of which are $$\sum_{k=1}^\infty(10k-3)8^k/(k^3\binom{2k}{k}^2\binom{3k}{k})=π^2/2$$ and $$\sum_{k>0}(15k-4)(-27)^{k-1}/(k^3\binom{2k}{k}^2\binom{3k}k)=K.$$

Harmonic numbers $H_k=\sum_{0<j\le k}1/j (k=0,1,2,...)$ arise naturally in many fields of mathematics. In this paper we initiate the study of congruences involving both harmonic numbers and Lucas sequences. One of our three theorems is as follows: Let u_0=0, u_1=1, and u_{n+1}=u_n-4u_{n-1} for n=1,2,3,.... Then, for any prime p>5 we have $$\sum_{k=0}^{p-1}u_{k+δ}H_k/2^k=0 (mod p),$$ where $δ=0$ if p=1,2,4,8 (mod 15), and $δ=1$ otherwise.

In this paper we establish some sophisticated congruences involving central binomial coefficients and Fibonacci numbers. For example, we show that if $p\not=2,5$ is a prime then $$\sum_{k=0}^{p-1}F_{2k}\binom{2k}{k}=(-1)^{[p/5]}(1-(p/5)) (mod p^2)$$ and $$\sum_{k=0}^{p-1}F_{2k+1}\binom{2k}k=(-1)^{[p/5]}(p/5) (mod p^2).$$ We also obtain similar results for some other second-order recurrences and raise several conjectures.

In this paper we obtain some congruences involving central binomial coefficients and Lucas sequences. For example, we show that if p>5 is a prime then $\sum_{k=0}^{p-1}F_k*binom(2k,k)/12^k$ is congruent to 0,1,-1 modulo p according as p=1,4 (mod 5), p=13,17 (mod 30), and p=7,23 (mod 30) respectively, where {F_n} is the Fibonacci sequence. We also raise several conjectures.

We collect here various conjectures on congruences made by the author in a series of papers, some of which involve binary quadratic forms and other advanced theories. Part A consists of 100 unsolved conjectures of the author while conjectures in Part B have been recently confirmed. We hope that this material will interest number theorists and stimulate further research. Number theorists are welcome to work on those open conjectures; for some of them we offer prizes for the first correct proofs.

For $k=1,2,\ldots$ let $H_k$ denote the harmonic number $\sum_{j=1}^k 1/j$. In this paper we establish some new congruences involving harmonic numbers. For example, we show that for any prime $p>3$ we have $$\sum_{k=1}^{p-1}\frac{H_k}{k2^k}\equiv\frac7{24}pB_{p-3}\pmod{p^2},\ \ \sum_{k=1}^{p-1}\frac{H_{k,2}}{k2^k}\equiv-\frac 38B_{p-3}\pmod{p},$$ and $$\sum_{k=1}^{p-1}\frac{H_{k,2n}^2}{k^{2n}}\equiv\frac{\binom{6n+1}{2n-1}+n}{6n+1}pB_{p-1-6n}\pmod{p^2}$$ for any positive integer $n<(p-1)/6$, where $B_0,B_1,B_2,\ldots$ are Bernoulli numbers, and $H_{k,m}:=\sum_{j=1}^k 1/j^m$.

Let $p$ be an odd prime. It is well known that $F_{p-(\frac p5)}\equiv 0\pmod{p}$, where $\{F_n\}_{n\ge0}$ is the Fibonacci sequence and $(-)$ is the Jacobi symbol. In this paper we show that if $p\not=5$ then we may determine $F_{p-(\frac p5)}$ mod $p^3$ in the following way: $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{(-16)^k}\equiv\left(\frac{p}5\right)\left(1+\frac{F_{p-(\frac {p}5)}}2\right)\pmod{p^3}.$$ We also use Lucas quotients to determine $\sum_{k=0}^{(p-1)/2}\binom{2k}k/m^k$ modulo $p^2$ for any integer $m\not\equiv0\pmod{p}$; in particular, we obtain $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{16^k}\equiv\left(\frac3{p}\right)\pmod{p^2}.$$ In addition, we pose three conjectures for further research.

It is known that $\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)4^k)=π/2$ and $\sum_{k=0}^\infty\binom{2k}{k}/((2k+1)16^k)=π/3$. In this paper we obtain their p-adic analogues such as $$\sum_{p/2<k<p}\binom{2k}{k}/((2k+1)4^k)=3\sum_{p/2<k<p}\binom{2k}{k}/((2k+1)16^k)= pE_{p-3} (mod p^2),$$ where p>3 is a prime and E_0,E_1,E_2,... are Euler numbers. Besides these, we also deduce some other congruences related to central binomial coefficients. In addition, we pose some conjectures one of which states that for any odd prime p we have $$\sum_{k=0}^{p-1}\binom{2k}{k}^3=4x^2-2p (mod p^2)$$ if (p/7)=1 and p=x^2+7y^2 with x,y integers, and $$\sum_{k=0}^{p-1}\binom{2k}{k}^3=0 (mod p^2)$$ if (p/7)=-1, i.e., p=3,5,6 (mod 7).

Let p be an odd prime and let a be a positive integer. In this paper we investigate the sum $\sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}/m^k$ mod p^2, where h,m are p-adic integers with m\not=0 (mod p). For example, we show that if h\not=0 (mod p) and p^a>3 then $$ sum_{k=0}^{p^a-1}\binom{hp^a-1}{k}\binom{2k}{k}(-h/2)^k =(\frac{1-2h}{p^a})(1+h((4h-2)^{p-1}/h^{p-1}-1)) (mod p^2),$$ where (-) denotes the Jacobi symbol. Here is another remarkable congruence: If p>3 then $$\sum_{k=0}^{p^a-1}\binom{p^a-1}{k}\binom{2k}{k}(-1)^k =3^{p-1}(\frac{p^a}3) (mod p^2).$$

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.

Let $m$ and $n>0$ be integers. Suppose that $p$ is a prime dividing $m-4$ but not dividing $m$. We show that $ν_p(\sum_{k=0}^{n-1}\frac{\binom{2k}k}{m^k})$ and $ν_p(\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k})$ are at least $ν_p(n)$, where $ν_p(x)$ denotes the $p$-adic valuation of $x$. Furthermore, if $p>3$ then $$n^{-1}\sum_{k=0}^{n-1}\frac{\bi{2k}k}{m^k}=\frac{\binom{2n-1}{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)})$$ and $$n^{-1}\sum_{k=0}^{n-1}\binom{n-1}{k}(-1)^k\frac{\binom{2k}k}{m^k}=\frac{C_{n-1}}{4^{n-1}} (mod p^{ν_p(m-4)}),$$ where $C_k$ denotes the Catalan number $\binom{2k}{k}/(k+1)$. This implies several conjectures of Guo and Zeng [GZ]. We also raise two conjectures, and prove that $n>1$ is a prime if and only if $$\sum_{k=0}^{n-1}multinomial{(n-1)k}{k,...,k}=0 (mod n),$$ where $multinomial{k_1+...+k_{n-1}}{k_1,...,k_{n-1}}$ denotes the multinomial coefficient $(k_1+...+k_{n-1})!/(k_1!... k_{n-1}!)$.

Let $p$ be an odd prime and let $a,m$ be integers with $a>0$ and $m \not\equiv0\pmod p$. In this paper we determine $\sum_{k=0}^{p^a-1}\binom{2k}{k+d}/m^k$ mod $p^2$ for $d=0,1$; for example, $$\sum_{k=0}^{p^a-1}\frac{\binom{2k}k}{m^k}\equiv\left(\frac{m^2-4m}{p^a}\right)+\left(\frac{m^2-4m}{p^{a-1}}\right)u_{p-(\frac{m^2-4m}{p})}\pmod{p^2},$$ where $(-)$ is the Jacobi symbol, and $\{u_n\}_{n\geqslant0}$ is the Lucas sequence given by $u_0=0$, $u_1=1$ and $u_{n+1}=(m-2)u_n-u_{n-1}$ for $n=1,2,3,\ldots$. As an application, we determine $\sum_{0<k<p^a,\, k\equiv r\pmod{p-1}}C_k$ modulo $p^2$ for any integer $r$, where $C_k$ denotes the Catalan number $\binom{2k}k/(k+1)$. We also pose some related conjectures.

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.

Let $p$ be a prime and let $a$ be a positive integer. In this paper we investigate $\sum_{k=0}^{p^a-1}\binom[(h+1)k,k+d]/m^k$ modulo a prime $p$, where $d$ and $m$ are integers with $-h<d<=p^a$ and $m\not=0 (mod p)$. We also study congruences involving higher-order Catalan numbers $C_k^{(h)}=\binom[(h+1)k,k]/(hk+1)$ and $\bar C_k^{(h)}=\binomal[(h+1)k,k]*h/(k+1)$. Our tools include linear recurrences and the theory of cubic residues. Here are some typical results in the paper. (i) If $p^a=1 (mod 6)$ then $$\sum_{k=1}^{p^a-1}\binom[3k,k]/6^k=2^{(p^a-1)/3}-1 (mod p).$$ Also, $$\sum_{k=0}^{p^a-1}\binom[3k,k]/7^k=\cases-2&if p^a=\pm2 (mod 7), \\1&otherwise.$$ (ii) We have $$\sum_{k=1}^{p^a-1}\binom[4k,k]/5^k=\cases1 (mod p) if p\not=11 and p^a=1 (mod 5), \1/11 (mod p)&if p^a=2,3 (mod 5), \9/11 (mod p) if p^a=4 (mod 5). $$ Also, $$\sum_{k=0}^{p^a-1}C_k^{(3)}/5^k=\cases1 (mod p) if p^a=1,3 (mod 5), \2 (mod p) if p^a=2 (mod 5), \\0 (mod p)& p^a=4 (mod 5).$$

For $m=3,4,\ldots$ those $p_m(x)=(m-2)x(x-1)/2+x$ with $x\in\mathbb Z$ are called generalized $m$-gonal numbers. Sun [13] studied for what values of positive integers $a,b,c$ the sum $ap_5+bp_5+cp_5$ is universal over $\mathbb Z$ (i.e., any $n\in\mathbb N=\{0,1,2,\ldots\}$ has the form $ap_5(x)+bp_5(y)+cp_5(z)$ with $x,y,z\in\mathbb Z$). We prove that $p_5+bp_5+3p_5\,(b=1,2,3,4,9)$ and $p_5+2p_5+6p_5$ are universal over $\mathbb Z$, as conjectured by Sun. Sun also conjectured that any $n\in\mathbb N$ can be written as $p_3(x)+p_5(y)+p_{11}(z)$ and $3p_3(x)+p_5(y)+p_7(z)$ with $x,y,z\in\mathbb N$; in contrast, we show that $p_3+p_5+p_{11}$ and $3p_3+p_5+p_7$ are universal over $\mathbb Z$. Our proofs are essentially elementary and hence suitable for general readers.