arXiv++ Combinatorics

We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schröder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs.

We show that the Frobenius character of the equivariant Borel-Moore homology of a certain positive $GL_n$-version of the unramified affine Springer fiber $Z_k$ studied by Goreski, Kottwitz and MacPherson is computed by the matrix coefficients of the $\nabla^k$-operator, which acts diagonally in the modified Macdonald basis. We do this by relating the combinatorial formula for the $\nabla^k$-operator we obtained in an earlier paper to the GKM paving of $Z_k$, and we give an algebraic presentation of the above homology as an explicit submodule of the Kostant-Kumar nil Hecke algebra. We then study a certain open locus $U_k \subset Z_k$, and reduce a long-standing conjecture of Bergeron, Garsia, Haiman and Tesler, which predicts the sign of the coefficients of the Schur expansion of $\nabla^k$, to a vanishing conjecture about the homology groups of $U_k$. The latter conjecture is in turn reduced to a vanishing conjecture for certain open loci of the regular semisimple Hessenberg varieties which are indexed by partial Dyck paths.

We derive the length and area generating function of planar height-restricted forward-moving discrete paths of increments +1, 0, or -1 with arbitrary starting and ending points, the so-called Motzkin meanders, and the more general length-area generating functions for Motzkin paths with markers monitoring the number of passages from the two height boundaries ('floor' and 'ceiling') and the time spent there. The results are obtained by embedding Motzkin paths in a two-step anisotropic Dyck path process and using propagator, exclusion statistics and bosonization techniques. We also present a cluster expansion of the logarithm of the generating functions that makes their polynomial structure explicit. These results are relevant to the derivation of statistical mechanical properties of physical systems such as polymers, vesicles, and solid-on-solid interfaces.

This paper studies a generalization of parking functions named $k$-Naples parking functions, where backward movement is allowed. One consequence of backward movement is that the number of ascending $k$-Naples is not the same as the number of descending $k$-Naples. This paper focuses on generalizing the bijections of ascending parking functions with combinatorial objects enumerated by the Catalan numbers in the setting of both ascending and descending $k$-Naples parking functions. These combinatorial objects include Dyck paths, binary trees, triangulations of polygons, and non-crossing partitions. Using these bijections, we enumerate both ascending and descending $k$-Naples parking functions.

We consider a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ down-steps $(1,-j)$, for $j\ge2$ are allowed. We give credits to Emeric Deutsch for that. The enumeration of such objects living in a strip is performed. Methods are the kernel method and techniques from linear algebra.

Skew Dyck are a variation of Dyck paths, where additionally to steps $(1,1)$ and $(1,-1)$ a south-west step $(-1,-1)$ is also allowed, provided that the path does not intersect itself. Replacing the south-west step by a red south-east step, we end with decorated Dyck paths. We analyze partial versions of them where the path ends on a fixed level $j$, not necessarily at level 0. We exclusively use generating functions and derive them with the celebrated kernel method. In the second part of the paper, a dual version is studied, where the paths are read from right to left. In this way, we have two types of up-steps, not two types of down-steps, as before. A last section deals with the variation that the negative territory (below the $x$-axis) is also allowed. Surprisingly, this is more involved in terms of computations.

In this paper we study a subfamily of a classic lattice path, the \emph{Dyck paths}, called \emph{restricted $d$-Dyck} paths, in short $d$-Dyck. A valley of a Dyck path $P$ is a local minimum of $P$; if the difference between the heights of two consecutive valleys (from left to right) is at least $d$, we say that $P$ is a restricted $d$-Dyck path. The \emph{area} of a Dyck path is the sum of the absolute values of $y$-components of all points in the path. We find the number of peaks and the area of all paths of a given length in the set of $d$-Dyck paths. We give a bivariate generating function to count the number of the $d$-Dyck paths with respect to the the semi-length and number of peaks. After that, we analyze in detail the case $d=-1$. Among other things, we give both, the generating function and a recursive relation for the total area.

In a Dyck path a peak which is (weakly) higher than all the preceding peaks is called a strict (weak) left to right maximum. We obtain explicit generating functions for both weak and strict left to right maxima in Dyck paths. The proofs of the associated asymptotics make use of analytic techniques such as Mellin transforms, singularity analysis and formal residue calculus.

A new hierarchy of operads over the linear spans of $δ$-cliffs, which are some words of integers, is introduced. These operads are intended to be analogues of the operad of permutations, also known as the associative symmetric operad. We obtain operads whose partial compositions can be described in terms of intervals of the lattice of $δ$-cliffs. These operads are very peculiar in the world of the combinatorial operads since, despite to the relative simplicity for their construction, they are infinitely generated and they have nonquadratic and nonhomogeneous nontrivial relations. We provide a general construction for some of their quotients. We use it to endow the spaces of permutations, $m$-increasing trees, $c$-rectangular paths, and $m$-Dyck paths with operad structures. The operads on $c$-rectangular paths admit, as Koszul duals, operads generalizing the duplicial and triplicial operads.

Hex-trees are identified as a particular instance of weighted unary-binary trees. The Horton-Strahler numbers of these objects are revisited, and, thanks to a substitution that is not immediately intuitive, explicit results are possible. They are augmented by asymptotic evaluations as well. Furthermore, marked ordered trees (in bijection to skew Dyck paths) are investigated, followed 3-Motzkin paths and multi-edge trees. The underlying theme is sequence A002212 in the Encyclopedia of integer sequences.

In 2003, Deutsch and Elizalde defined a family of bijective maps between the set of Dyck paths to itself which is induced by some particular permutations. In this paper, we extend the construction of the maps by allowing the permutation to be arbitrary. We characterise the permutations which generate the same map and find all permutations generating a bijection among Dyck paths. Consequently, we give a new combinatorial interpretation of the quantity $(2n-1)!!$ as well as some new statistics of Dyck paths which are equidistributed to some known height statistics via our generalised maps.

We prove a conjecture of S. Gao-J. Kiers-G. Orelowitz-A. Yong which asserts the reducibility of certain generalized Dyck paths. This gives a strengthening, and new proof, for their Width Bound Theorem on the Hilbert basis of the Kostka semigroup.

In this paper, we characterize and enumerate pattern-avoiding permutations composed of only 3-cycles. In particular, we answer the question for the six patterns of length 3. We find that the number of permutations composed of $n$ 3-cycles that avoid the pattern 231 (equivalently 312) is given by $3^{n-1}$, while the generating function for the number of those that avoid the pattern 132 (equivalently 213) is given by a formula involving the generating functions for the well-known Motzkin numbers and Catalan numbers. The number of permutations composed of $n$ 3-cycles that avoid the pattern 321 is characterized by a weighted sum involving statistics on Dyck paths of semilength~$n$.

The chromatic symmetric function (CSF) of Dyck paths of Stanley and its Shareshian-Wachs $q$-analogue have important connections to Hessenberg varieties, diagonal harmonics and LLT polynomials. In the, so called, abelian case they are also curiously related to placements of non-attacking rooks by results of Stanley-Stembridge (1993) and Guay-Paquet (2013). For the $q$-analogue, these results have been generalized by Abreu-Nigro (2020) and Guay-Paquet (private communication), using $q$-hit numbers. Among our main results is a new proof of Guay-Paquet's elegant identity expressing the $q$-CSFs in a CSF basis with $q$-hit coefficients. We further show its equivalence to the Abreu-Nigro identity expanding the $q$-CSF in the elementary symmetric functions. In the course of our work we establish that the $q$-hit numbers in these expansions differ from the originally assumed Garsia-Remmel $q$-hit numbers by certain powers of $q$. We prove new identities for these $q$-hit numbers, and establish connections between the three different variants.

Given a permutation $f$, we study the positroid Catalan number $C_f$ defined to be the torus-equivariant Euler characteristic of the associated open positroid variety. We introduce a class of repetition-free permutations and show that the corresponding positroid Catalan numbers count Dyck paths avoiding a convex subset of the rectangle. We show that any convex subset appears in this way. Conjecturally, the associated $q,t$-polynomials coincide with the generalized $q,t$-Catalan numbers that recently appeared in relation to the shuffle conjecture, flag Hilbert schemes, and Khovanov-Rozansky homology of Coxeter links.

We study combinatorial properties of a rational Dyck path by decomposing it into a tuple of Dyck paths. The combinatorial models such as $b$-Stirling permutations, $(b+1)$-ary trees, parenthesis presentations, and binary trees play central roles to establish a correspondence between the rational Dyck path and the tuple of Dyck paths. We reinterpret two orders, the Young and the rotation orders, on rational Dyck paths in terms of the tuple of Dyck paths by use of the decomposition. As an application, we show a duality between $(a,b)$-Dyck paths and $(b,a)$-Dyck paths in terms of binary trees.

In this note, we present constructive bijections from Dyck and Motzkin meanders with catastrophes to Dyck paths avoiding some patterns. As a byproduct, we deduce correspondences from Dyck and Motzkin excursions to restricted Dyck paths.

We use a Hamiltonian (transition matrix) description of height-restricted Dyck paths on the plane in which generating functions for the paths arise as matrix elements of the propagator to evaluate the length and area generating function for paths with arbitrary starting and ending points, expressing it as a rational combination of determinants. Exploiting a connection between random walks and quantum exclusion statistics that we previously established, we express this generating function in terms of grand partition functions for exclusion particles in a finite harmonic spectrum and present an alternative, simpler form for its logarithm that makes its polynomial structure explicit.

For any integer $m\ge 2$ and a set $V\subset \{1,\dots,m\}$, let $(m,V)$ denote the union of congruence classes of the elements in $V$ modulo $m$. We study the Hankel determinants for the number of Dyck paths with peaks avoiding the heights in the set $(m,V)$. For any set $V$ of even elements of an even modulo $m$, we give an explicit description of the sequence of Hankel determinants in terms of subsequences of arithmetic progression of integers. There are numerous instances for varied $(m,V)$ with periodic sequences of Hankel determinants. We present a sufficient condition for the set $(m,V)$ such that the sequence of Hankel determinants is periodic, including even and odd modulus $m$.

We generalize the shuffle theorem and its $(km,kn)$ version, as conjectured by Haglund et al. and Bergeron et al., and proven by Carlsson and Mellit, and Mellit, respectively. In our version the $(km,kn)$ Dyck paths on the combinatorial side are replaced by lattice paths lying under a line segment whose $x$ and $y$ intercepts need not be integers, and the algebraic side is given either by a Schiffmann algebra operator formula or an equivalent explicit raising operator formula. We derive our combinatorial identity as the polynomial truncation of an identity of infinite series of $GL_{l}$ characters, expressed in terms of infinite series versions of LLT polynomials. The series identity in question follows from a Cauchy identity for non-symmetric Hall-Littlewood polynomials.