arXiv++ Combinatorics

For $0\leq k \leq n$, the number $C(n,k)$ represents the number of all lattice paths in the plane from the point $(0,0)$ to the point $(n,k)$, using steps $(1,0)$ and $(0,1)$, that never rise above the main diagonal $y=x$. The Fuss-Catalan number of order three $C^{(3)}_n$ represents the number of all lattice paths in the plane from the point $(0,0)$ to the point $(2n,n)$, using steps $(1,0)$ and $(0,1)$, that do not rise above the line $y=\frac{x}{2}$. We present a new alternating convolution formula for the numbers $C(2n,k)$. By using a new class of binomial sums that we call $M$ sums, we prove that this sum is divisible by $C^{(3)}_n$ and by the central binomial coefficient $\binom{2n}{n}$. We do this by examining the numbers $T(n,j)=\frac{1}{2n+1}\binom{2n+j}{j}\binom{2n+1}{n+j+1}$, for which we present a new combinatorial interpretation, connecting them to the generalized Schröder numbers of order two.

The Gessel number $P(n,r)$ is the number of the paths in plane with $(1, 0)$ and $(0,1)$ steps from $(0,0)$ to $(n+r, n+r-1)$ that never touch any of the points from the set $\{(x,x)\in \mathbb{Z}^2: x\geq r\}$. We show that there is a close relationship between the Gessel numbers $P(n,r)$ and the super Catalan numbers $S(n,r)$. By using new sums, we prove that an alternating convolution of the Gessel numbers $P(n,r)$ is always divisible by \frac{1}{2}$S(n,r)$.

The Gessel number $P(n,r)$ represents the number of lattice paths in a plane with unit horizontal and vertical steps from $(0,0)$ to $(n+r,n+r-1)$ that never touch any of the points from the set $\{(x,x)\in \mathbb{Z}^2: x \geq r\}$. In this paper, we use combinatorial arguments to derive a recurrence relation between $P(n,r)$ and $P(n-1,r+1)$. Also, we give a new proof for a well-known closed formula for $P(n,r)$. Moreover, a new combinatorial interpretation for the Gessel numbers is presented.

We present a new alternating convolution formula for the super Catalan numbers which arises as a generalization of two known binomial identities. We prove a generalization of this formula by using auxiliary sums, recurrence relations, and induction. By using a new method, we prove one interesting divisibility result with super Catalan numbers.