arXiv++ Combinatorics

In this paper we show that many well-known counting coefficients, including the Catalan numbers, the Motzkin numbers, the central binomial coefficients, the central Delannoy numbers are Hausdorff moment sequences in a unified approach. In particular we answer a conjecture of Liang at al. which such numbers have unique representing measures. The smallest interval including the support of representing measure is explicitly found. Subsequences of Catalan-like numbers are also considered. We provide a necessary and sufficient condition for a pattern of subsequences that if sequences are the Stieltjes Catalan-like numbers, then their subsequences are Stieltjes Catalan-like numbers. Moreover, a representing measure of a linear combination of consecutive Catalan-like numbers is studied.

The Motzkin numbers $M_n=\sum_{k=0}^n\binom n{2k}\binom{2k}k/(k+1)$ $(n=0,1,2,\ldots)$ and the central trinomial coefficients $T_n$ ($n=0,1,2,\ldots)$ given by the constant term of $(1+x+x^{-1})^n$, have many combinatorial interpretations. In this paper we establish the following surprising arithmetic properties of them with $n$ any positive integer: $$\frac2n\sum_{k=1}^n(2k+1)M_k^2\in\mathbb Z,$$ $$\frac{n^2(n^2-1)}6\,\bigg|\,\sum_{k=0}^{n-1}k(k+1)(8k+9)T_kT_{k+1},$$ and also $$\sum_{k=0}^{n-1}(k+1)(k+2)(2k+3)M_k^23^{n-1-k}=n(n+1)(n+2)M_nM_{n-1}.$$

We study the higher-order Euler polynomials and give the corresponding monic orthogonal polynomials, which are Meixner-Pollaczek polynomials with certain arguments and constant factors. Moreover, through a general connection between moments of random variables and the generalized Motzkin numbers, we can obtain a new recurrence formula and a matrix representation for the higher-order Euler polynomials, interpreting them as weighted lattice paths.

The Motzkin numbers can be derived as coefficients of hybrid polynomials. Such an identification allows the derivation of new identities for this family of numbers and offers a tool to investigate previously unnoticed links with the theory of special functions and with the relevant treatment in terms of operational means. The use of umbral methods opens new directions for further developments and generalizations, which leads, e.g., to the identification of new Motzkin associated forms.

We show bijectively that Dyck paths with all peaks at odd height are counted by the Motzkin numbers and Dyck paths with all peaks at even height are counted by the Riordan numbers.

We consider combinatorial aspects of $λ$-terms in the model based on de Bruijn indices where each building constructor is of size one. Surprisingly, the counting sequence for $λ$-terms corresponds also to two families of binary trees, namely black-white trees and zigzag-free ones. We provide a constructive proof of this fact by exhibiting appropriate bijections. Moreover, we identify the sequence of Motzkin numbers with the counting sequence for neutral $λ$-terms, giving a bijection which, in consequence, results in an exact-size sampler for the latter based on the exact-size sampler for Motzkin trees of Bodini et alli. Using the powerful theory of analytic combinatorics, we state several results concerning the asymptotic growth rate of $λ$-terms in neutral, normal, and head normal forms. Finally, we investigate the asymptotic density of $λ$-terms containing arbitrary fixed subterms showing that, inter alia, strongly normalising or typeable terms are asymptotically negligible in the set of all $λ$-terms.

We show that the generating function $\sum_{n\ge0}M_n\,z^n$ for Motzkin numbers $M_n$, when coefficients are reduced modulo a given power of $2$, can be expressed as a polynomial in the basic series $\sum _{e\ge0} ^{} {z^{4^e}}/( {1-z^{2\cdot 4^e}})$ with coefficients being Laurent polynomials in $z$ and $1-z$. We use this result to determine $M_n$ modulo $8$ in terms of the binary digits of~$n$, thus improving, respectively complementing earlier results by Eu, Liu and Yeh [Europ. J. Combin. 29 (2008), 1449-1466] and by Rowland and Yassawi [J. Théorie Nombres Bordeaux 27 (2015), 245-288]. Analogous results are also shown to hold for related combinatorial sequences, namely for the Motzkin prefix numbers, Riordan numbers, central trinomial coefficients, and for the sequence of hex tree numbers.

Define $$D_n(x)=\sum_{k=0}^n\binom nk^2x^k(x+1)^{n-k}\ \ \ \mbox{for}\ n=0,1,2,\ldots$$ and $$s_n(x)=\sum_{k=1}^n\frac1n\binom nk\binom n{k-1}x^{k-1}(x+1)^{n-k}\ \ \ \mbox{for}\ n=1,2,3,\ldots.$$ Then $D_n(1)$ is the $n$-th central Delannoy number $D_n$, and $s_n(1)$ is the $n$-th little Schröder number $s_n$. In this paper we obtain some surprising arithmetic properties of $D_n(x)$ and $s_n(x)$. We show that $$\frac1n\sum_{k=0}^{n-1}D_k(x)s_{k+1}(x)\in\mathbb Z[x(x+1)]\ \quad\mbox{for all}\ n=1,2,3,\ldots.$$ Moreover, for any odd prime $p$ and $p$-adic integer $x\not\equiv0,-1\pmod p$, we establish the supercongruence $$\sum_{k=0}^{p-1}D_k(x)s_{k+1}(x)\equiv0\pmod{p^2}.$$ As an application we confirm Conjecture 5.5 in [S14a], in particular we prove that $$\frac1n\sum_{k=0}^{n-1}T_kM_k(-3)^{n-1-k}\in\mathbb Z\quad\mbox{for all}\ n=1,2,3,\ldots,$$ where $T_k$ is the $k$-th central trinomial coefficient and $M_k$ is the $k$-th Motzkin number.

Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Catalan and Motzkin numbers, but also some previously unknown sequences which have close links to other combinatorial objects such as lattice paths and integer partitions. Where possible we include a generating function for the enumeration. One of the cases considered settles a conjecture by Pudwell (2010) on the Wilf-equivalence of barred patterns. We also give an alternative proof of the classic result that permutations avoiding 123 are counted by the Catalan numbers.

Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$, for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such a sequence by $a_k$, we obtain a general formula that determines the congruence class, modulo $p$, of the indefinite sum $\sum_{k=0}^{rp -1} a_k$, for {\it any} prime $p$, and any positive integer $r$, as a linear combination of sequences that satisfy linear recurrence (alias difference) equations with constant coefficients. This enables us (or rather, our computers) to automatically discover and prove congruence theorems for such partial sums. Moreover, we show that in many cases, the set of the residues is finite, regardless of the prime $p$.

A sequence $\{z_n\}_{n\geq0}$ is called ratio log-convex in the sense that the ratio sequence $\{\frac{z_{n+1}}{z_n}\}_{n\geq0}$ is log-convex. Based on a three-term recurrence for sequences, we develop techniques for dealing with the ratio log-convexity of ratio sequences. As applications, we prove that the ratio sequences of numbers, including the derangement numbers, the Motzkin numbers, the Fine numbers, Franel numbers and the Domb numbers are ratio log-convex, respectively. Finally, we not only prove that the sequence of derangement numbers is asymptotically infinitely log-monotonic, but also show some infinite log-monotonicity of some numbers related to the Gamma function, in particular, implying two results of Chen {\it et al.} on the infinite log-monotonicity of the Catalan numbers and the central binomial coefficients.

We present a method for obtaining congruences modulo powers of 3 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Motzkin numbers, Riordan numbers, Schröder numbers, Eulerian numbers, trinomial coefficients, Delannoy numbers, and to functions counting free subgroups of finite index in the inhomogeneous modular group and its lifts. This leads to numerous new results, including many extensions of known results to higher powers of 3.

We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it is ratio log-concave in the sense that the sequence $\{a_{n+1}/a_{n}\}_{n\geq 0}$ is log-concave. Furthermore, we prove that if a sequence $\{a_n\}_{n\geq k}$ is ratio log-concave, then the sequence $\{\sqrt[n]{a_n}\}_{n\geq k}$ is strictly log-concave subject to a certain initial condition. As consequences, we show that the sequences of the derangement numbers, the Motzkin numbers, the Fine numbers, the central Delannoy numbers, the numbers of tree-like polyhexes and the Domb numbers are ratio log-concave. For the case of the Domb numbers $D_n$, we confirm a conjecture of Sun on the log-concavity of the sequence $\{\sqrt[n]{D_n}\}_{n\geq 1}$.

The enumeration of standard Young tableaux (SYTs) of shape λ can be easily computed by the hook-length formula. In 1981, Amitai Regev proved that the number of SYTs having at most three rows with n entries equals the nth Motzkin number M_n. In 2006, Regev conjectured that the total number of SYTs of skew shape λ/(2, 1) over all partitions λ having at most three parts with n entries is the difference of two Motzkin numbers, M_{n-1} - M_{n-3}. Ekhad and Zeilberger proved Regev's conjecture using a computer program. In 2009, S.-P. Eu found a bijection between Motzkin paths and SYTs of skew shape with at most three rows to prove Regev's conjecture, and Eu also indirectly showed that for the fixed μ = (μ1,μ2) the number of SYTs of skew shape λ/μ over all partitions λ having at most three parts can be expressed as a linear combination of the Motzkin numbers. In this paper, we will find an explicit formula for the generating function for the general case: for each partition μ having at most three parts the generating function gives a formula for the coefficients of the linear combination of Motzkin numbers. We will also show that these generating functions are unexpectedly related to the Chebyshev polynomials of the second kind.

We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.

Motzkin numbers are derived from a special case of Random Domino Automaton - recently proposed toy model of earthquakes. An exact solution of the set of equations describing stationary state of Random Domino Automaton in "inverse-power" case is presented. A link with Motzkin numbers allows to present explicit form of asymptotic behaviour of the automaton.

Let $\mathcal{T}_3$ be the three-rowed strip. Recently Regev conjectured that the number of standard Young tableaux with $n-3$ entries in the "skew three-rowed strip" $\mathcal{T}_3 / (2,1,0)$ is $m_{n-1}-m_{n-3}$, a difference of two Motzkin numbers. This conjecture, together with hundreds of similar identities, were derived automatically and proved rigorously by Zeilberger via his powerful program and WZ method. It appears that each one is a linear combination of Motzkin numbers with constant coefficients. In this paper we will introduce a simple bijection between Motzkin paths and standard Young tableaux with at most three rows. With this bijection we answer Zeilberger's question affirmatively that there is a uniform way to construct bijective proofs for all of those identites.

We present an approach to proving the 2-log-convexity of sequences satisfying three-term recurrence relations. We show that the Apery numbers, the Cohen-Rhin numbers, the Motzkin numbers, the Fine numbers, the Franel numbers of order 3 and 4 and the large Schroder numbers are all 2-log-convex. Numerical evidence suggests that all these sequences are k-log-convex for any $k\geq 1$ possibly except for a constant number of terms at the beginning.

We evaluate four families of determinants of matrices, where the entries are sums or differences of generating functions for paths consisting of up-steps, down-steps and level steps. By specialisation, these determinant evaluations have numerous corollaries. In particular, they cover numerous determinant evaluations of combinatorial numbers - most notably of Catalan, ballot, and of Motzkin numbers - that appeared previously in the literature.

We show how a bijection due to Biane between involutions and labelled Motzkin paths yields bijections between Motzkin paths and two families of restricted involutions that are counted by Motzkin numbers, namely, involutions avoiding 4321 and 3412. As a consequence, we derive characterizations of Motzkin paths corresponding to involutions avoiding either 4321 or 3412 together with any pattern of length 3. Furthermore, we exploit the described bijection to study some notable subsets of the set of restricted involutions, namely, fixed point free and centrosymmetric restricted involutions.