arXiv++ Combinatorics

The Stanley lattice, Tamari lattice and Kreweras lattice are three remarkable orders defined on the set of Catalan objects of a given size. These lattices are ordered by inclusion: the Stanley lattice is an extension of the Tamari lattice which is an extension of the Kreweras lattice. The Stanley order can be defined on the set of Dyck paths of size $n$ as the relation of \emph{being above}. Hence, intervals in the Stanley lattice are pairs of non-crossing Dyck paths. In a former article, the second author defined a bijection $Φ$ between pairs of non-crossing Dyck paths and the realizers of triangulations (or Schnyder woods). We give a simpler description of the bijection $Φ$. Then, we study the restriction of $Φ$ to Tamari's and Kreweras' intervals. We prove that $Φ$ induces a bijection between Tamari intervals and minimal realizers. This gives a bijection between Tamari intervals and triangulations. We also prove that $Φ$ induces a bijection between Kreweras intervals and the (unique) realizers of stack triangulations. Thus, $Φ$ induces a bijection between Kreweras intervals and stack triangulations which are known to be in bijection with ternary trees.

We introduce weighted succession rules and parametric production matrices - simple extensions of the standard ECO method succession rules and production matrices. The purpose is to enumerate combinatorial objects with respect to several variables. We consider one main example, from the theory of Dyck paths. The path statistics primarily considered are peak height, rise height, and certain subwalks. Many classical sequences (such as the Catalan, Motzkin, Narayana and Schroeder numbers) are incorporated in this example.

We introduce a notion of Dyck paths with coloured ascents. For several ways of colouring, we establish bijections between sets of such paths and other combinatorial structures, such as non-crossing trees, dissections of a convex polygon, etc. In some cases enumeration gives new expression for sequences enumerating these structures.

It is well-known that the length generating function E(t) of Dyck paths (excursions with steps +1 and -1) satisfies 1-E+t^2E^2=0. The generating function E^(k)(t) of Dyck paths of height at most k is E^(k)=F_k/F_{k+1}, where the F_k are polynomials in t given by F_0=F_1=1 and F_{k+1}= F_k-t^2F_{k-1}. This means that the generating function of these polynomials is \sum_{k\ge 0} F_k z^k= 1/(1-z+t^2z^2). We note that the denominator of this fraction is the minimal polynomial of the algebraic series E(t). This pattern persists for walks with more general steps. For any finite set of steps S, the generating function E^(k)(t) of excursions (generalized Dyck paths) taking their steps in S and of height at most k is the ratio F_k/F_{k+1} of two polynomials. These polynomials satisfy a linear recurrence relation with coefficients in Q[t]. Their (rational) generating function can be written \sum_{k\ge 0} F_k z^k= N(t,z)/D(t,z). The excursion generating function E(t) is algebraic and satisfies D(t,E(t))=0 (while N(t,E(t))\not = 0). If max S=a and min S=b, the polynomials D(t,z) and N(t,z) can be taken to be respectively of degree d_{a,b}=binomial(a+b,a) and d_{a,b}-a-b in z. These degrees are in general optimal: for instance, when S={a,-b} with a and b coprime, D(t,z) is irreducible, and is thus the minimal polynomial of the excursion generating function E(t). The proofs of these results involve a slightly unusual mixture of combinatorial and algebraic tools, among which the kernel method (which solves certain functional equations), symmetric functions, and a pinch of Galois theory.

We introduce square diagrams that represent numerical semigroups and we obtain an injection from the set of numerical semigroups into the set of Dyck paths.

In this paper we present a CAT generation algorithm for Dyck paths with a fixed length n. It is the formalization of a method for the exhaustive generation of this kind of paths which can be described by means of two equivalent strategies. The former is described by a rooted tree, the latter lists the paths by means of three operations which, as we are going to see, are equivalent to visit the tree. These constructions are strictly connected with ECO method and can be encoded by a rule, very similar to the succession rule in ECO, with a finite number of labels for each n. Moreover with a slight variation this method can be generalized to other combinatorial classes like Grand Dyck or Motzkin paths.

The known bijections on Dyck paths are either involutions or have notoriously intractable cycle structure. Here we present a size-preserving bijection on Dyck paths whose cycle structure is amenable to complete analysis. In particular, each cycle has length a power of 2. A new manifestation of the Catalan numbers as labeled forests crops up enroute as does the Pascal matrix mod 2. We use the bijection to show the equivalence of two known manifestations of the Motzkin numbers. Finally, we consider some statistics on the new Catalan manifestation.

We complete the enumeration of Dumont permutations of the second kind avoiding a pattern of length 4 which is itself a Dumont permutation of the second kind. We also consider some combinatorial statistics on Dumont permutations avoiding certain patterns of length 3 and 4 and give a natural bijection between 3142-avoiding Dumont permutations of the second kind and noncrossing partitions that uses cycle decomposition, as well as bijections between 132-, 231- and 321-avoiding Dumont permutations and Dyck paths. Finally, we enumerate Dumont permutations of the first kind simultaneously avoiding certain pairs of 4-letter patterns and another pattern of arbitrary length.

A k-triangulation of a convex polygon is a maximal set of diagonals so that no k+1 of them mutually cross in their interiors. We present a bijection between 2-triangulations of a convex n-gon and pairs of non-crossing Dyck paths of length 2(n-4). This solves the problem of finding a bijective proof of a result of Jonsson for the case k=2. We obtain the bijection by constructing isomorphic generating trees for the sets of 2-triangulations and pairs of non-crossing Dyck paths.

We first observe that the relations of the canonical generating isometries of the Cuntz algebra ${\cal O}_N$ are naturally related to the $N$-colored Catalan numbers. For a directed graph $G$, we generalize the Catalan numbers by using the canonical generating partial isometries of the Cuntz-Krieger algebra ${\cal O}_{A^G}$ for the transition matrix $A^G$ of $G$. The generalized Catalan numbers $c_n^G, n=0,1,2,...$ enumerate the number of Dyck paths and oriented rooted trees for the graph $G$. Its generating functions will be studied.

We generalize the classical work of de Bruijn, Knuth and Rice (giving the asymptotics of the average height of Dyck paths of length $n$) to the case of $p$--watermelons with a wall (i.e., to a certain family of $p$ nonintersecting Dyck paths; simple Dyck paths being the special case $p=1$.) We work out this asymptotics for the case $p=2$ only, since the computations involved are already quite complicated (but might be of some interest in their own right).

Given a sequence of integers b = (b_0,b_1,b_2,...) one gives a Dyck path P of length 2n the weight wt(P) = b_{h_1} b_{h_2} ... b_{h_n}, where h_i is the height of the ith ascent of P. The corresponding weighted Catalan number is C_n^b = sum_P wt(P), where the sum is over all Dyck paths of length 2n. So, in particular, the ordinary Catalan numbers C_n correspond to b_i = 1 for all i >= 0. Let xi(n) stand for the base two exponent of n, i.e., the largest power of 2 dividing n. We give a condition on b which implies that xi(C_n^b) = xi(C_n). In the special case b_i=(2i+1)^2, this settles a conjecture of Postnikov about the number of plane Morse links. Our proof generalizes the recent combinatorial proof of Deutsch and Sagan of the classical formula for xi(C_n).

We introduce the notion of doubly rooted plane trees and give a decomposition of these trees, called the butterfly decomposition which turns out to have many applications. From the butterfly decomposition we obtain a one-to-one correspondence between doubly rooted plane trees and free Dyck paths, which implies a simple derivation of a relation between the Catalan numbers and the central binomial coefficients. We also establish a one-to-one correspondence between leaf-colored doubly rooted plane trees and free Schröder paths. The classical Chung-Feller theorem on free Dyck paths and some generalizations and variations with respect to Dyck paths and Schröder paths with flaws turn out to be immediate consequences of the butterfly decomposition and the preorder traversal of plane trees. We obtain two involutions on free Dyck paths and free Schröder paths, leading to two combinatorial identities. We also use the butterfly decomposition to give a combinatorial treatment of the generating function for the number of chains in plane trees due to Klazar. We further study the average size of chains in plane trees with $n$ edges and show that this number asymptotically tends to ${n+9 \over 6}$.

We give a combinatorial interpretation of a matrix identity on Catalan numbers and the sequence $(1, 4, 4^2, 4^3, ...)$ which has been derived by Shapiro, Woan and Getu by using Riordan arrays. By giving a bijection between weighted partial Motzkin paths with an elevation line and weighted free Motzkin paths, we find a matrix identity on the number of weighted Motzkin paths and the sequence $(1, k, k^2, k^3, ...)$ for any $k \geq 2$. By extending this argument to partial Motzkin paths with multiple elevation lines, we give a combinatorial proof of an identity recently obtained by Cameron and Nkwanta. A matrix identity on colored Dyck paths is also given, leading to a matrix identity for the sequence $(1, t^2+t, (t^2+t)^2, ...)$.

There exists a bijection between one stack sortable permutations --permutations which avoid the pattern 231-- and planar trees. We define an edit distance between permutations which is coherent with the standard edit distance between trees. This one-to-one correspondence yields a polynomial algorithm for the subpermutation problem for $(231)$ avoiding permutations. Moreover, we obtain the generating function of the edit distance between ordered trees and some special ones. For the general case we show that the mean edit distance between a planar tree and all other planar trees is at least $n/ln(n)$. Some results can be extended to labeled trees considering colored Dyck paths or equivalently colored one stack sortable permutations.

We describe a new basis of the ring of quasi-symmetric coinvariants, which is stable by the natural reversal of the set of variables. The indexing set is the set of triangulations of a regular polygon, instead of the set of Dyck paths used for the known basis. On décrit une nouvelle base de l'algèbre des coinvariants quasi-symétriques, qui est stable par l'involution naturelle et indexée par les triangulations d'un polygone régulier.

How many matchings on the vertex set V={1,2,...,2n} avoid a given configuration of three edges? Chen, Deng and Du have shown that the number of matchings that avoid three nesting edges is equal to the number of matchings avoiding three pairwise crossing edges. In this paper, we consider other forbidden configurations of size three. We present a bijection between matchings avoiding three crossing edges and matchings avoiding an edge nested below two crossing edges. This bijection uses non-crossing pairs of Dyck paths of length 2n as an intermediate step. Apart from that, we give a bijection that maps matchings avoiding two nested edges crossed by a third edge onto the matchings avoiding all configurations from an infinite family, which contains the configuration consisting of three crossing edges. We use this bijection to show that for matchings of size n>3, it is easier to avoid three crossing edges than to avoid two nested edges crossed by a third edge. In this updated version of this paper, we add new references to papers that have obtained analogous results in a different context.

The problem of counting plane trees with $n$ edges and an even or an odd number of leaves was studied by Eu, Liu and Yeh, in connection with an identity on coloring nets due to Stanley. This identity was also obtained by Bonin, Shapiro and Simion in their study of Schröder paths, and it was recently derived by Coker using the Lagrange inversion formula. An equivalent problem for partitions was independently studied by Klazar. We present three parity reversing involutions, one for unlabelled plane trees, the other for labelled plane trees and one for 2-Motzkin paths which are in one-to-one correspondence with Dyck paths.

We consider posets of lattice paths (endowed with a natural order) and begin the study of such structures. We give an algebraic condition to recognize which ones of these posets are lattices. Next we study the class of Dyck lattices (i.e., lattices of Dyck paths) and give a recursive construction for them. The last section is devoted to the presentation of a couple of open problems.

In this paper we investigate the class of invariant positive definite kernels on the free semigroup on N generators. We provide a combinatorial description of the positivity of the kernel in terms of Dyck paths and then we find a displacement equation that encodes the invariance property of the kernel.