arXiv++ Combinatorics

We propose an original approach to the problem of rankunimodality for Dyck lattices. It is based on a well known recursive construction of Dyck paths originally developed in the context of the ECO methodology, which provides a partition of Dyck lattices into saturated chains. Even if we are not able to prove that Dyck lattices are rank-unimodal, we describe a family of polynomials (which constitutes a polynomial analog of ballot numbers) and a succession rule which appear to be useful in addressing such a problem. At the end of the paper, we also propose and begin a systematic investigation of the problem of unimodality of succession rules.

We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recurrent configurations whose sum of heights is minimal are shown to correspond to polyominoes of least area. Two other classes of recurrent configurations are shown to be related to bicomposition matrices, a matrix analogue of set partitions, and (2+2)-free partially ordered sets. A canonical toppling process for recurrent configurations gives rise to a path within the associated parallelogram polyominoes. This path bounces off the external edges of the polyomino, and is reminiscent of Haglund's well-known bounce statistic for Dyck paths. We define a collection of polynomials that we call q,t-Narayana polynomials, defined to be the generating function of the bistatistic (area,parabounce) on the set of parallelogram polyominoes, akin to the (area,hagbounce) bistatistic defined on Dyck paths in Haglund (2003). In doing so, we have extended a bistatistic of Egge, Haglund, Kremer and Killpatrick (2003) to the set of parallelogram polyominoes. This is one answer to their question concerning extensions to other combinatorial objects. We conjecture the q,t-Narayana polynomials to be symmetric and prove this conjecture for numerous special cases. We also show a relationship between Haglund's (area,hagbounce) statistic on Dyck paths, and our bistatistic (area,parabounce) on a sub-collection of those parallelogram polyominoes living in a (n+1)*n rectangle.

We prove that the Mahonian-Stirling pairs of permutation statistics $(\sor, \cyc)$ and $(\inv, \mathrm{rlmin})$ are equidistributed on the set of permutations that correspond to arrangements of $n$ non-atacking rooks on a Ferrers board with $n$ rows and $n$ columns. The proofs are combinatorial and use bijections between matchings and Dyck paths and a new statistic, sorting index for matchings, that we define. We also prove a refinement of this equidistribution result which describes the minimal elements in the permutation cycles and the right-to-left minimum letters. Moreover, we define a sorting index for bicolored matchings and use it to show analogous equidistribution results for restricted permutations of type $B_n$ and $D_n$.

The set of Dyck paths of length $2n$ inherits a lattice structure from a bijection with the set of noncrossing partitions with the usual partial order. In this paper, we study the joint distribution of two statistics for Dyck paths: \emph{area} (the area under the path) and \emph{rank} (the rank in the lattice). While area for Dyck paths has been studied, pairing it with this rank function seems new, and we get an interesting $(q,t)$-refinement of the Catalan numbers. We present two decompositions of the corresponding generating function: one refines an identity of Carlitz and Riordan; the other refines the notion of $γ$-nonnegativity, and is based on a decomposition of the lattice of noncrossing partitions due to Simion and Ullman. Further, Biane's correspondence and a result of Stump allow us to conclude that the joint distribution of area and rank for Dyck paths equals the joint distribution of length and reflection length for the permutations lying below the $n$-cycle $(12...n)$ in the absolute order on the symmetric group.

Cover-inclusive Dyck tilings are tilings of skew Young diagrams with ribbon tiles shaped like Dyck paths, in which tiles are no larger than the tiles they cover. These tilings arise in the study of certain statistical physics models and also Kazhdan--Lusztig polynomials. We give two bijections between cover-inclusive Dyck tilings and linear extensions of tree posets. The first bijection maps the statistic (area + tiles)/2 to inversions of the linear extension, and the second bijection maps the "discrepancy" between the upper and lower boundary of the tiling to descents of the linear extension.

In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k} by the modified Hall-Littlewood functions would yield a polynomial that enumerates the same collection of parking functions but now restricted by the requirement that the Dyck path supporting cars j+1,...,j+n hits the diagonal according to the composition p=(p_1,p_2,...,p_k). We prove here this conjecture by deriving a recursion for the symmetric function expression then using this recursion to construct a new dinv statistic we will denote ndinv and show that this polynomial enumerates the latter parking functions by t^{area} q^{ndinv}.

We show that an identity of Kreweras for the Narayana numbers counts Dyck paths with a given number of peaks by number of peak plateaus, where a peak plateau is a run of consecutive peaks that is immediately preceded by an upstep and followed by a downstep.

We consider the set of alternating paths on a fixed fully packed loop of size n. This set is in bijection with the set of fully packed loops of size n. Furthermore, for a special choice of fully packed loop, we demonstrate that the set of alternating paths are nested osculating loops, which we call Dyck islands. Dyck islands can be constructed as a union of lattice Dyck paths, and we use this structure to give a simple graphical formula for the calculation of the inversion number of an alternating sign matrix.

We extend the Lee-Schiffler Dyck path model to give a proof of the Kontsevich non-commutative cluster positivity conjecture with unequal parameters.

The $m$-Tamari lattices $\mathcal{T}_{n}^{(m)}$ were recently introduced by Bergeron and Préville-Ratelle as posets on $m$-Dyck paths, and it was shown by Bousquet-Mélou, Fusy and Préville-Ratelle that these lattices form intervals in the classical Tamari lattice $\mathcal{T}_{nm}$. It follows from a theorem by Björner and Wachs and a basic property of EL-shellable posets, that the $m$-Tamari lattices are EL-shellable. In this article, we define a new EL-labeling of the $m$-Tamari lattices completely in terms of $m$-Dyck paths. With the help of this labeling, we compute the values of the Möbius function of $\mathcal{T}_{n}^{(m)}$, and we characterize the intervals of $\mathcal{T}_{n}^{(m)}$ according to their topological properties.

The $q,t$-Catalan numbers can be defined using rational functions, geometry related to Hilbert schemes, symmetric functions, representation theory, Dyck paths, partition statistics, or Dyck words. After decades of intensive study, it was eventually proved that all these definitions are equivalent. In this paper, we study the similar situation for higher $q,t$-Catalan numbers, where the equivalence of the algebraic and combinatorial definitions is still conjectural. We compute the limits of several versions of the modified higher $q,t$-Catalan numbers and show that these limits equal the generating function for integer partitions. We also identify certain coefficients of the higher $q,t$-Catalan numbers as enumerating suitable integer partitions, and we make some conjectures on the homological significance of the Bergeron-Garsia nabla operator.

In this paper we study the number of humps (peaks) in Dyck, Motzkin and Schröder paths. Recently A. Regev noticed that the number of peaks in all Dyck paths of order $n$ is one half of the number of super Dyck paths of order $n$. He also computed the number of humps in Motzkin paths and found a similar relation, and asked for bijective proofs. We give a bijection and prove these results. Using this bijection we also give a new proof that the number of Dyck paths of order $n$ with $k$ peaks is the Narayana number. By double counting super Schröder paths, we also get an identity involving products of binomial coefficients.

We study certain types of ideals in the standard Borel subalgebra of an untwisted affine Lie algebra. We classify these ideals in terms of the root combinatorics and give an explicit formula for the number of such ideals in type $A$. The formula involves various aspects of combinatorics of Dyck paths and leads to a new interesting integral sequence.

In this paper we define and study what we call the double Catalan monoid. This monoid is the image of a natural map from the 0-Hecke monoid to the monoid of binary relations. We show that the double Catalan monoid provides an algebraization of the (combinatorial) set of 4321-avoiding permutations and relate its combinatorics to various off-shoots of both the combinatorics of Catalan numbers and the combinatorics of permutations. In particular, we give an algebraic interpretation of the first derivative of the Kreweras involution on Dyck paths, of 4321-avoiding involutions and of recent results of Barnabei {\em et al.} on admissible pairs of Dyck paths. We compute a presentation and determine the minimal dimension of an effective representation for the double Catalan monoid. We also determine the minimal dimension of an effective representation for the 0-Hecke monoid.

Motivated by the question of finding a type B analogue of the bijection between oscillating tableaux and matchings, we find a correspondence between oscillating m-rim hook tableaux and m-colored matchings, where m is a positive integer. An oscillating m-rim hook tableau is defined as a sequence $(λ^0,λ^1,...,λ^{2n})$ of Young diagrams starting with the empty shape and ending with the empty shape such that $λ^{i}$ is obtained from $λ^{i-1}$ by adding an m-rim hook or by deleting an m-rim hook. Our bijection relies on the generalized Schensted algorithm due to White. An oscillating 2-rim hook tableau is also called an oscillating domino tableau. When we restrict our attention to two column oscillating domino tableaux of length 2n, we are led to a bijection between such tableaux and noncrossing 2-colored matchings on $\{1, 2,..., 2n\}$, which are counted by the product $C_nC_{n+1}$ of two consecutive Catalan numbers. A 2-colored matching is noncrossing if there are no two arcs of the same color that are intersecting. We show that oscillating domino tableaux with at most two columns are in one-to-one correspondence with Dyck path packings. A Dyck path packing of length 2n is a pair (D, E), where D is a Dyck path of length 2n, and E is a dispersed Dyck path of length 2n that is weakly covered by D. So we deduce that Dyck path packings of length 2n are counted by $C_nC_{n+1}$.

We define $(k,\ell)$-restricted Lukasiewicz paths, $k\le\ell\in\mathbb{N}_0$, and use these paths as models of polymer adsorption. We write down a polynomial expression satisfied by the generating function for arbitrary values of $(k,\ell)$. The resulting polynomial is of degree $\ell+1$ and hence cannot be solved explicitly for sufficiently large $\ell$. We provide two different approaches to obtain the phase diagram. In addition to a more conventional analysis, we also develop a new mathematical characterization of the phase diagram in terms of the discriminant of the polynomial and a zero of its highest degree coefficient. We then give a bijection between $(k,\ell)$-restricted Lukasiewicz paths and "rise"-restricted Dyck paths, identifying another family of path models which share the same critical behaviour. For $(k,\ell)=(1,\infty)$ we provide a new bijection to Motzkin paths. We also consider the area-weighted generating function and show that it is a q-deformed algebraic function. We determine the generating function explicitly in particular cases of $(k,\ell)$-restricted Lukasiewicz paths, and for $(k,\ell)=(0,\infty)$ we provide a bijection to Dyck paths.

We define a map $ν$ between the symmetric group $S_n$ and the set of pairs of Dyck paths of semilength $n$. We show that the map $ν$ is injective when restricted to the set of 1234-avoiding permutations and characterize the image of this map.

We define a family of ideals $I_h$ in the polynomial ring $\mathbb{Z}[x_1,...,x_n]$ that are parametrized by Hessenberg functions $h$ (equivalently Dyck paths or ample partitions). The ideals $I_h$ generalize algebraically a family of ideals called the Tanisaki ideal, which is used in a geometric construction of permutation representations called Springer theory. To define $I_h$, we use polynomials in a proper subset of the variables ${x_1,...,x_n}$ that are symmetric under the corresponding permutation subgroup. We call these polynomials {\em truncated symmetric functions} and show combinatorial identities relating different kinds of truncated symmetric polynomials. We then prove several key properties of $I_h$, including that if $h>h'$ in the natural partial order on Dyck paths then $I_{h} \subset I_{h'}$, and explicitly construct a Gröbner basis for $I_h$. We use a second family of ideals $J_h$ for which some of the claims are easier to see, and prove that $I_h = J_h$. The ideals $J_h$ arise in work of Ding, Develin-Martin-Reiner, and Gasharov-Reiner on a family of Schubert varieties called partition varieties. Using earlier work of the first author, the current manuscript proves that the ideals $I_h = J_h$ generalize the Tanisaki ideals both algebraically and geometrically, from Springer varieties to a family of nilpotent Hessenberg varieties.

An expository summary of properties of the poset of Dyck paths ordered by inclusion.

We use Jones-Wenzl idempotents to construct bases for the relative Kauffman bracket skein module of a square with n points colored 1 and one point colored h. We consider a natural bilinear form on this skein module. We calculate the determinant of the matrix for this form with respect to the natural basis. We reduce the computation to count some steps in generalized Dyck paths. Moreover, we relate our determinant to a determinant on semi-meanders.