arXiv++ Combinatorics

In this paper we studied infinite weighted automata and a general methodology to solve a wide variety of classical lattice path counting problems in an uniform way. This counting problems are related to Dyck paths, Motzkin paths and some generalizations. These methodology uses weighted automata, equations of ordinary generating functions and continued fractions. It is a variation of the one proposed by J. Rutten.

In this note we extend the notion of greedy bases developed by Lee, Li, and Zelevinsky to rank two generalized cluster algebras, i.e. binomial exchange relations are replaced by polynomial exchange relations. In the process we give a combinatorial construction in terms of a refined notion of compatible pairs on a maximal Dyck path.

In this paper we prove a $q$-analogue of Koshy's formula in terms of the Narayana polynomial due to Lassalle and a $q$-analogue of Koshy's formula in terms of $q$-hypergeometric series due to Andrews by applying the inclusion-exclusion principle on Dyck paths and on partitions. We generalize these two $q$-analogues of Koshy's formula for $q$-Catalan numbers to that for $q$-Ballot numbers. This work also answers an open question by Lassalle and two questions raised by Andrews in 2010. We conjecture that if $n$ is odd, then for $m\ge n\ge 1$, the polynomial $(1+q^n){m\brack n-1}_q$ is unimodal. If $n$ is even, for any even $j\ne 0$ and $m\ge n\ge 1$, the polynomial $(1+q^n)[j]_q{m\brack n-1}_q$ is unimodal. This implies the answer to the second problem posed by Andrews.

The $m$-Tamari lattices $\mathcal{T}_{n}^{(m)}$, introduced by Bergeron and Pr{é}ville-Ratelle, are defined as a poset of $m$-Dyck paths equipped with the generalized rotation order, and constitute a Fuss-Catalan generalization of the classical Tamari lattices $\mathcal{T}_{n}$. While for $\mathcal{T}_{n}$ many combinatorial realizations are known, to present there is no further combinatorial realization of $\mathcal{T}_{n}^{(m)}$. In this article, we introduce a certain decomposition of $m$-Dyck paths into $m$-tuples of Dyck paths, and after a certain modification of these $m$-tuples, we conjecture that the resulting $m$-tuples of Dyck paths realize $\mathcal{T}_{n}^{(m)}$ as an induced subposet of the $m$-fold direct product of $\mathcal{T}_{n}$ with itself. We are able to prove this conjecture for $n\leq 3$, and provide necessary conditions for $m$-tuples of Dyck paths to belong to this realization. However, for $n\geq 5$, no sufficient condition is known.

We give a bijection between permutations of length 2n and certain pairs of Dyck paths with labels on the down steps. The bijection arises from a game in which two players alternate selecting from a set of 2n items: the permutation encodes the players' preference ordering of the items, and the Dyck paths encode the order in which items are selected under optimal play. We enumerate permutations by certain statistics, AA inversions and BB inversions, which have natural interpretations in terms of the game. We give new proofs of classical identities such as \sum_p \prod_{i=1}^n q^{h_i -1} [h_i]_q = [1]_q [3]_q ... [2n-1]_q where the sum is over all Dyck paths p of length 2n, and the h_i are the heights of the down steps of p.

Each positive rational number x>0 can be written uniquely as x=a/(b-a) for coprime positive integers 0<a<b. We will identify x with the pair (a,b). In this paper we define for each positive rational x>0 a simplicial complex \Ass(x)=\Ass(a,b) called the {\sf rational associahedron}. It is a pure simplicial complex of dimension a-2, and its maximal faces are counted by the {\sf rational Catalan number} \Cat(x)=\Cat(a,b):=\frac{(a+b-1)!}{a!\,b!}. The cases (a,b)=(n,n+1) and (a,b)=(n,kn+1) recover the classical associahedron and its "Fuss-Catalan" generalization studied by Athanasiadis-Tzanaki and Fomin-Reading. We prove that \Ass(a,b) is shellable and give nice product formulas for its h-vector (the {\sf rational Narayana numbers}) and f-vector (the {\sf rational Kirkman numbers}). We define \Ass(a,b) via {\sf rational Dyck paths}: lattice paths from (0,0) to (b,a) staying above the line y = \frac{a}{b}x. We also use rational Dyck paths to define a rational generalization of noncrossing perfect matchings of [2n]. In the case (a,b) = (n, mn+1), our construction produces the noncrossing partitions of [(m+1)n] in which each block has size m+1.

We study the total number of occurrences of several vincular (also called generalized) patterns and other statistics, such as the major index and the Denert statistic, on permutations avoiding a pattern of length 3, extending results of Bona (2010, 2012) and Homberger (2012). In particular, for 2-3-1-avoiding permutations, we find the total number of occurrences of any vincular pattern of length 3. In some cases the answer is given by simple expressions involving binomial coefficients. The tools we use are bijections with Dyck paths, generating functions, and block decompositions of permutations.

We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that lie between two fixed boundaries T and B (which are themselves lattice paths), the statistics `number of E steps shared with B' and `number of E steps shared with T' have a symmetric joint distribution. To do so, we give an involution that switches these statistics, preserves additional parameters, and generalizes to paths that contain steps S=(0,-1) at prescribed x-coordinates. We also show that a similar equidistribution result for path statistics follows from the fact that the Tutte polynomial of a matroid is independent of the order of its ground set. We extend the two theorems to k-tuples of paths between two boundaries, and we give some applications to Dyck paths, generalizing a result of Deutsch, to watermelon configurations, to pattern-avoiding permutations, and to the generalized Tamari lattice. Finally, we prove a conjecture of Nicolás about the distribution of degrees of k consecutive vertices in k-triangulations of a convex n-gon. To achieve this goal, we provide a new statistic-preserving bijection between certain k-tuples of non-crossing paths and k-flagged semistandard Young tableaux, which is based on local moves reminiscent of jeu de taquin.

The Catalan number has a lot of interpretations and one of them is the number of Dyck paths. A Dyck path is a lattice path from $(0,0)$ to $(n,n)$ which is below the diagonal line $y=x$. One way to generalize the definition of Dyck path is to change the end point of Dyck path, i.e. we define (generalized) Dyck path to be a lattice path from $(0,0)$ to $(m,n) \in \mathbb{N}^2$ which is below the diagonal line $y=\frac{n}{m}x$, and denote by $C(m,n)$ the number of Dyck paths from $(0,0)$ to $(m,n)$. In this paper, we give a formula to calculate $C(m,n)$ for arbitrary $m$ and $n$.

The action of the symmetric group $S_n$ on the set $Park_n$ of parking functions of size $n$ has received a great deal of attention in algebraic combinatorics. We prove that the action of $S_n$ on $Park_n$ extends to an action of $S_{n+1}$. More precisely, we construct a graded $S_{n+1}$-module $V_n$ such that the restriction of $V_n$ to $S_n$ is isomorphic to $Park_n$. We describe the $S_n$-Frobenius characters of the module $V_n$ in all degrees and describe the $S_{n+1}$-Frobenius characters of $V_n$ in extreme degrees. We give a bivariate generalization $V_n^{(\ell, m)}$ of our module $V_n$ whose representation theory is governed by a bivariate generalization of Dyck paths. A Fuss generalization of our results is a special case of this bivariate generalization.

We introduce the notion of pattern in the context of lattice paths, and investigate it in the specific case of Dyck paths. Similarly to the case of permutations, the pattern-containment relation defines a poset structure on the set of all Dyck paths, which we call the Dyck pattern poset. Given a Dyck path P, we determine a formula for the number of Dyck paths covered by P, as well as for the number of Dyck paths covering P. We then address some typical pattern-avoidance issues, enumerating some classes of pattern-avoiding Dyck paths. Finally, we offer a conjecture concerning the asymptotic behavior of the sequence counting Dyck paths avoiding a generic pattern and we pose a series of open problems regarding the structure of the Dyck pattern poset.

Generalized Dyck paths (or discrete excursions) are one-dimensional paths that take their steps in a given finite set S, start and end at height 0, and remain at a non-negative height. Bousquet-Mélou showed that the generating function E_k of excursions of height at most k is of the form F_k/F_{k+1}, where the F_k are polynomials satisfying a linear recurrence relation. We give a combinatorial interpretation of the polynomials F_k and of their recurrence relation using a transfer matrix method. We then extend our method to enumerate discrete meanders (or paths that start at 0 and remain at a non-negative height, but may end anywhere). Finally, we study the particular case where the set S is symmetric and show that several simplifications occur.

The large Schroder numbers are known to count several classes of permutations avoiding two 4-letter patterns. Here we show they count another family of permutations, those whose left to right minima decomposition, when reversed, is 321-avoiding. The main tool is the Mansour-Deng-Du bijection from 321-avoiding permutations to Dyck paths.

An increasing tableau is a semistandard tableau with strictly increasing rows and columns. It is well known that the Catalan numbers enumerate both rectangular standard Young tableaux of two rows and also Dyck paths. We generalize this to a bijection between rectangular 2-row increasing tableaux and small Schröder paths. We demonstrate relations between the jeu de taquin for increasing tableaux developed by H. Thomas and A. Yong and the combinatorics of tropical frieze patterns. We then use this jeu de taquin to present new instances of the cyclic sieving phenomenon of V. Reiner, D. Stanton, and D. White, generalizing results of D. White and of J. Stembridge.

We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cases all previous results connected with this conjecture such as the q, t-Catalan [3] and the Schroder and h, h results of Haglund in [12] as well as their compositional refinements recently obtained in [9] and [10]. It also confirms the possibility that the approach adopted in [9] and [10] has the potential to yield a resolution of the shuffle parking function conjecture as well as its compositional refinement more recently proposed by Haglund, Morse and Zabrocki in [15].

It is known that both the number of Dyck paths with $2n$ steps and $k$ peaks, and the number of Dyck paths with $2n$ steps and $k$ steps at odd height follow the Narayana distribution. In this paper we present a bijection which explicitly illustrates this equinumeracy. Moreover, we extend this bijection to bilateral Dyck paths. The restriction to Dyck paths preserves the number of contacts.

A lot of recent activity in the theory of cluster algebras has been directed towards various constructions of "natural" bases in them. One of the approaches to this problem was developed several years ago by P.Sherman - A.Zelevinsky who have shown that the indecomposable positive elements form an integer basis in any rank 2 cluster algebra of finite or affine type. It is strongly suspected (but not proved) that this property does not extend beyond affine types. Here we go around this difficulty by constructing a new basis in any rank 2 cluster algebra that we call the greedy basis. It consists of a special family of indecomposable positive elements that we call greedy elements. Inspired by a recent work of K.Lee - R.Schiffler and D.Rupel, we give explicit combinatorial expressions for greedy elements using the language of Dyck paths.

We introduce a new concept of permutation avoidance pattern called hatted pattern, which is a natural generalization of the barred pattern. We show the growth rate of the class of permutations avoiding a hatted pattern in comparison to barred pattern. We prove that Dyck paths with no peak at height $p$, Dyck paths with no $ud... du$ and Motzkin paths are counted by hatted pattern avoiding permutations in $\s_n(132)$ by showing explicit bijections. As a result, a new direct bijection between Motzkin paths and permutations in $\s_n(132)$ without two consecutive adjacent numbers is given. These permutations are also represented on the Motzkin generating tree based on the Enumerative Combinatorial Object (ECO) method.

We study the number of 231-avoiding permutations with $j$-descents and maximum drop is less than or equal to $k$ which we denote by $a_{n,231,j}^{(k)}$. We show that $a_{n,231,j}^{(k)}$ also counts the number of Dyck paths of length $2n$ with $n-j$ peaks and height $\leq k+1$, and the number of ordered trees with $n$ edges, $j+1$ internal nodes, and of height $\leq k+1$. We show that the generating functions for the $a_{n,231,j}^{(k)}$s with $k$ fixed satisfy a simple recursion. We also use the combinatorics of ordered trees to prove new explicit formulas for $a_{n,231,j}^{(k)}$ as a function of $n$ in a number of special values of $j$ and $k$ and prove a simple recursion for the $a_{n,231,j}^{(k)}$s.

We introduce a functorial construction which, from a monoid, produces a set-operad. We obtain new (symmetric or not) operads as suboperads or quotients of the operad obtained from the additive monoid. These involve various familiar combinatorial objects: parking functions, packed words, planar rooted trees, generalized Dyck paths, Schröder trees, Motzkin paths, integer compositions, directed animals, etc. We also retrieve some known operads: the magmatic operad, the commutative associative operad, and the diassociative operad.