arXiv++ Combinatorics

In this short note, we establish some identities containing sums of binomials with coefficients satisfying third order linear recursive relations. As a result and in particular, we obtain general forms of earlier identities involving binomial coefficients and Fibonacci type sequences.

Binomial coefficients and central trinomial coefficients play important roles in combinatorics. Let $p>3$ be a prime. We show that $$T_{p-1}\equiv\left(\frac p3\right)3^{p-1}\ \pmod{p^2},$$ where the central trinomial coefficient $T_n$ is the constant term in the expansion of $(1+x+x^{-1})^n$. We also prove three congruences modulo $p^3$ conjectured by Sun, one of which is $$\sum_{k=0}^{p-1}\binom{p-1}k\binom{2k}k((-1)^k-(-3)^{-k})\equiv \left(\frac p3\right)(3^{p-1}-1)\ \pmod{p^3}.$$ In addition, we get some new combinatorial identities.

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.

We present yet another algebraic proof of the unimodality of the binomial coefficients.

The $q$-binomial coefficients $\qbinom{n}{m}=\prod_{i=1}^m(1-q^{n-m+i})/(1-q^i)$, for integers $0\le m\le n$, are known to be polynomials with non-negative integer coefficients. This readily follows from the $q$-binomial theorem, or the many combinatorial interpretations of $\qbinom{n}{m}$. In this note we conjecture an arithmetically motivated generalisation of the non-negativity property for products of ratios of $q$-factorials that happen to be polynomials.

We construct multiple $qt$-binomial coefficients and related multiple analogues of several celebrated families of special numbers in this paper. These multidimensional generalizations include the first and the second kind of $qt$-Stirling numbers, $qt$-Bell numbers, $qt$-Bernoulli numbers, $qt$-Catalan numbers and the $qt$--Fibonacci numbers. In the course of developing main properties of these extensions, we prove results that are significant in their own rights such as certain probability measures on the set of integer partitions.

In 1947 Fine obtained an expression for the number of binomial coefficients on row n of Pascal's triangle that are nonzero modulo p. In this paper we use Kummer's theorem to generalize Fine's theorem to prime powers, expressing the number of nonzero binomial coefficients modulo p^alpha as a sum over certain integer partitions. For fixed alpha, this expression can be rewritten to show explicit dependence on the number of occurrences of each subword in the base-p representation of n.

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.

Let s and t be variables. Define polynomials {n} in s, t by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. If s, t are integers then the corresponding sequence of integers is called a Lucas sequence. Define an analogue of the binomial coefficients by C{n,k}={n}!/({k}!{n-k}!) where {n}!={1}{2}...{n}. It is easy to see that C{n,k} is a polynomial in s and t. The purpose of this note is to give two combinatorial interpretations for this polynomial in terms of statistics on integer partitions inside a k by n-k rectangle. When s=t=1 we obtain combinatorial interpretations of the fibonomial coefficients which are simpler than any that have previously appeared in the literature.

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

In this note, we present several identities involving binomial coefficients and the two kind of Stirling numbers.

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

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.

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

Several combinatorial identities are presented, involving Stirling functions of the second kind with a complex variable. The identities involve also Stirling numbers of the first kind, binomial coefficients and harmonic numbers.

By using the Newton interpolation formula, we generalize the recent identities on the Catalan triangle obtained by Miana and Romero as well as those of Chen and Chu. We further study divisibility properties of sums of products of binomial coefficients and an odd power of a natural number. For example, we prove that for all positive integers $n_1, ..., n_m$, $n_{m+1}=n_1$, and any nonnegative integer $r$, the expression $$n_1^{-1}{n_1+n_{m}\choose n_1}^{-1} \sum_{k=1}^{n_1}k^{2r+1}\prod_{i=1}^{m} {n_i+n_{i+1}\choose n_i+k}$$ is either an integer or a half-integer. Moreover, several related conjectures are proposed.

In this paper, we prove the following identity $$ \lcm({n\brack 0}_q,{n\brack 1}_q,...,{n\brack n}_q) =\frac{\lcm([1]_q,[2]_q,...,[n+1]_q)}{[n+1]_q}, $$ where ${n\brack k}_q$ denotes the $q$-binomial coefficient and $[n]_q=\frac{1-q^n}{1-q}$. This result is a $q$-analogue of an identity of Farhi [Amer. Math. Monthly, November (2009)].

We prove exact asymptotic expansions for the partial sums of the sequences of central binomial coefficients and Catalan numbers, $\sum_{k=0}^n \binom{2k}{k}$ and $\sum_{k=0}^n C_n$. We also obtain closed forms for the polynomials $\sum_{k=0}^{q-1}\binom{2k}{k}x^k$ and $\sum_{k=0}^{q-1}C_kx^k$ over the field of $p$ elements, where $q$ is a power of the prime $p$.