arXiv++ Combinatorics

A word $w=w_1\cdots w_n$ over the set of positive integers is a Motzkin word whenever $w_1=\texttt{1}$, $1\leq w_k\leq w_{k-1}+1$, and $w_{k-1}\neq w_{k}$ for $k=2, \dots, n$. It can be associated to a $n$-column Motzkin polyomino whose $i$-th column contains $w_i$ cells, and all columns are bottom-justified. We reveal bijective connections between Motzkin paths, restricted Catalan words, primitive Łukasiewicz paths, and Motzkin polyominoes. Using the aforementioned bijections together with classical one-to-one correspondence with Dyck paths avoiding $UDU$s, we provide generating functions with respect to the length, area, semiperimeter, value of the last symbol, and number of interior points of Motzkin polyominoes. We give asymptotics and closed-form expressions for the total area, total semiperimeter, sum of the last symbol values, and total number of interior points over all Motzkin polyominoes of a given length. We also present and prove an engaging trinomial relation concerning the number of cells lying at different levels and first terms of the expanded $(1+x+x^2)^n$.

We study cluster algebra of affine type $A_1^{(1)}$ by using two methods including counting the numbers of perfect matchings on snake graphs and compatible pairs on maximal Dyck paths. We find that the sum of coefficients of the terms in the Laurent polynomials of these cluster variables are odd-indexed Fibonacci numbers. In addition, we prove that the numbers of non-decreasing Dyck paths of even lengths are also odd-indexed Fibonacci numbers. As a consequence, we define explicit bijective correspondences among three combinatorial models, including perfect matchings on the snake graph, compatible pairs on the maximal Dyck path, and non-decreasing Dyck paths of even lengths.

The double Dyck path algebra $\mathbb{A}_{q,t}$ and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra $\mathbb{B}_{q,t}$ was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra $\mathbb{B}_{q,t}$. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.

For any integer $k\geq 1,$ define $L_k: \mathbb{R}^\mathbb{N}\to \mathbb{R}^\mathbb{N}$ by $(a_n)_{n\in\mathbb{N}}\mapsto (a'_n)_{n\in\mathbb{N}}$ where $a'_n=\det(a_{n+i+j})_{i,j=0}^{k-1}$. Previously, Zhu showed that $L_k$ preserves the Stieltjes moment (SM) property of sequences (Proc. Am. Math. Soc., 2019). The proof used the characterization of SM sequences in terms of positive semidefinite Hankel matrices. In this note, we give another proof by viewing SM sequences as weighted enumerations of closed walks on $\mathbb{N}$. Our proof is essentially a double-counting argument that views a $k$-tuple of non-crossing Dyck paths as a single closed walk on some bipartite subgraph of $\mathbb{N}^k.$

In this paper, we first describe how to find the generating function for the sum of the areas under generalized Dyck paths (with an arbitrary set of steps) using Motzkin paths as a motivating example. We then focus on Motzkin and Dyck paths, deriving functional equations for them. We then describe an algorithm to manipulate these functional equations for finding `perturbation expansions' of the solutions, with applications for deriving explicit generating functions for the sum of powers of areas under Dyck and Motzkin paths for any desired power.

The number of 123-avoiding permutation on $\{1,2,\ldots,n\}$ with a fixed leading terms is counted by the ballot numbers. The same holds for $132$-avoiding permutations. These results were proved by Miner and Pak using the Robinson-Schensted-Knuth (RSK) correspondence to connect permutations with Dyck paths. In this paper, we first provide an alternate proof of these enumeration results via a direct counting argument. We then study the number of pattern-avoiding permutations with a fixed prefix of length $t\geq1$, generalizing the $t=1$ case. We find exact expressions for single and pairs of patterns of length three as well as the pair $3412$ and $3421$. These expressions depend on $t$, the extrema, and the order statistics. We also define $r$-Wilf equivalence for permutations with a single fixed leading term $r$, and classify the $r$-Wilf-equivalence classes for both classical and vincular patterns of length three.

In the study of a tantalizing symmetry on Catalan objects, Bóna et al. introduced a family of polynomials $\{W_{n,k}(x)\}_{n\geq k\geq 0}$ defined by \begin{align*} W_{n,k}(x)=\sum_{m=0}^{k}w_{n,k,m}x^{m}, \end{align*} where $w_{n,k,m}$ counts the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. They proposed two conjectures on the interlacing property of these polynomials, one of which states that $\{W_{n,k}(x)\}_{n\geq k}$ is a Sturm sequence for any fixed $k\geq 1$, and the other states that $\{W_{n,k}(x)\}_{1\leq k\leq n}$ is a Sturm-unimodal sequence for any fixed $n\geq 1$. In this paper, we obtain certain recurrence relations for $W_{n,k}(x)$, and further confirm their conjectures.

We introduce a new poset structure on Dyck paths where the covering relation is a particular case of the relation inducing the Tamari lattice. We prove that the transitive closure of this relation endows Dyck paths with a lattice structure. We provide a trivariate generating function counting the number of Dyck paths with respect to the semilength, the numbers of outgoing and incoming edges in the Hasse diagram. We deduce the numbers of coverings, meet and join irreducible elements. As a byproduct, we present a new involution on Dyck paths that transports the bistatistic of the numbers of outgoing and incoming edges into its reverse. Finally, we give a generating function for the number of intervals, and we compare this number with the number of intervals in the Tamari lattice.

The central object of study in this paper are infinite banded Hessenberg matrices admitting factorisations as products of bidiagonal matrices. In the two main novel results of this paper, we show that these Hessenberg matrices are associated with the decomposition of $(r+1)$-fold symmetric $r$-orthogonal polynomials and are the production matrices of the generating polynomials of $r$-Dyck paths. We combine the aforementioned bidiagonal matrix factorisations and the recently found connection of multiple orthogonal polynomials with lattice paths and branched continued fractions to study $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set of the complex plane and their decomposition via multiple orthogonal polynomials on the positive real line. As an explicit example, we give formulas as terminating hypergeometric series for the Appell sequences of $(r+1)$-fold symmetric $r$-orthogonal polynomials on a star-like set and show that the densities of their orthogonality measures can be expressed via Meijer G-functions on the positive real line.

A \emph{Dyck path} is a lattice path in the first quadrant of the $xy$-plane that starts at the origin, ends on the $x$-axis, and consists of the same number of North-East steps $U$ and South-East steps $D$. A \emph{valley} is a subpath of the form $DU$. A Dyck path is called \emph{restricted $d$-Dyck} if the difference between any two consecutive valleys is at least $d$ (right-hand side minus left-hand side) or if it has at most one valley. In this paper we give some connections between restricted $d$-Dyck paths and both, the non-crossing partitions of $[n]$ and some subfamilies of polyominoes. We also give generating functions to count several aspects of these combinatorial objects.

Let $T$ be a tree on $n$ vertices and let $L_q^T$ be the $q$-analogue of its Laplacian. For a partition $λ\vdash n$, let the normalized immanant of $L_q^T$ indexed by $λ$ be denoted as $d_λ(L_q^T)$. A string of inequalities among $d_λ(L_q^T)$ is known when $λ$ varies over hook partitions of $n$ as the size of the first part of $λ$ decreases. In this work, we show a similar sequence of inequalities when $λ$ varies over two row partitions of $n$ as the size of the first part of $λ$ decreases. Our main lemma is an identity involving binomial coefficients and irreducible character values of $S_n$ indexed by two row partitions. Our proof can be interpreted using the combinatorics of Riordan paths and our main lemma admits a nice probabilisitic interpretation involving peaks at odd heights in generalized Dyck paths or equivalently involving special descents in Standard Young Tableaux with two rows. As a corollary, we also get inequalities between $d_{λ_1}(L_q^{T_1})$ and $d_{λ_2}(L_q^{T_2})$ when $T_1$ and $T_2$ are comparable trees in the $GTS_n$ poset and when $λ_1$ and $λ_2$ are both two rowed partitions of $n$, with $λ_1$ having a larger first part than $λ_2$.

Building upon the foundational work of Thomas and Williams on the modular sweep map, Garsia and Xin have developed a straightforward algorithm for the inversion of the sweep map on rational $(m,n)$-Dyck paths, where $(m,n)$ represents coprime pairs of integers. Our research reveals that their innovative approach readily generalizes to encompass a broader spectrum of Dyck paths. To this end, we introduce a family of Order sweep maps applicable to general Dyck paths, which are differentiated by their respective sweep orders at level $0$. We demonstrate that each of these Order sweep maps constitutes a bijective transformation. Our findings encapsulate the sweep maps for both general Dyck paths and their incomplete counterparts as specific instances within this more extensive framework.

We construct and study an explicit simultaneous $\mathscr{Y}$-eigenbasis of Ion and Wu's standard representation of the $^+$stable-limit double affine Hecke algebra for the limit Cherednik operators $\mathscr{Y}_i$. This basis arises as a generalization of Cherednik's non-symmetric Macdonald polynomials of type $GL$. We utilize links between $^+$stable-limit double affine Hecke algebra theory of Ion-Wu and the double Dyck path algebra of Carlsson-Mellit that arose in their proof of the Shuffle Conjecture. As a consequence, the spectral theory for the limit Cherednik operators is understood. The symmetric functions comprise the zero weight space. We introduce one extra operator that commutes with the $\mathscr{Y}_i$ action and dramatically refines the weight spaces to now be one-dimensional. This operator, up to a change of variables, gives an extension of Haiman's operator $Δ'$ from $Λ$ to $\mathscr{P}_{as}^{+}.$ Additionally, we develop another method to build this weight basis using limits of trivial idempotents.

Dyck paths having height at most $h$ and without valleys at height $h-1$ are combinatorially interpreted by means of 312-avoding permutations with some restrictions on their \emph{left-to-right maxima}. The results are obtained by analyzing a restriction of a well-known bijection between the sets of Dyck paths and 312-avoding permutations. We also provide a recursive formula enumerating these two structures using ECO method and the theory of production matrices. As a further result we obtain a family of combinatorial identities involving Catalan numbers.

We introduce a subfamily of skew Dyck paths called box paths and show that they are in bijection with pairs of ternary trees, confirming an observation stated previously on the On-Line Encyclopedia of Integer Sequences. More generally, we define $k$-box paths, which are in bijection with $(k+1)$-tuples of $(k+2)$-ary trees. A bijection is given between $k$-box paths and a subfamily of $k_{t}$-Dyck paths, as well as a bijection with a subfamily of $(k,\ell)$-threshold sequences. We also study the refined enumeration of $k$-box paths by the number of returns and the number of long ascents. Notably, the distribution of long ascents over $k$-box paths generalizes the Narayana distribution on Dyck paths, and we find that $(k-3)$-box paths with exactly two long ascents provide a combinatorial model for the second $k$-gonal numbers.

Given a Stirling permutation w, we introduce the mesa set of w as the natural generalization of the pinnacle set of a permutation. Our main results characterize admissible mesa sets and give closed enumerative formulas in terms of rational Catalan numbers by providing an explicit bijection between mesa sets and rational Dyck paths.

Dyck paths (also balanced brackets and Dyck words) are among the most heavily studied Catalan families. This paper is a continuation of [2, 3, 4]. In the paper we are dealing with the numbering of Dyck paths, with the resulting numbers, the terms of the OEIS sequence A036991, which encode Dyck paths and which we have called the Dyck numbers. In this sequence, it turned out to be promising to investigate nested term patterns. The sequence is constructed entirely from nested patterns, with each pattern having an infinite number of copies. We have already considered repeated triplets of adjacent odd numbers; copies of such triplets in the process of expansion form quite complex structures, the analysis of which allows us to understand the structure of A036991. Additionally, we note that the composition of the terms of each pattern is repeated many times by a simple shift (offset) of Dyck numbers by some fixed value. As a result, pattern copies give us important parts of most levels and even give us new levels.

We show the power of Bruno Buchberger's seminal Groebner Basis algorithm, interfaced, seamlessly, with what we call symbolic dynamical programming, to automatically generate algebraic equations satisfied by the generating functions enumerating so-called Generalized Dyck Walks, i.e. 2D walks that start and end on the x-axis, and never dip below it, for an arbitrary set of steps. More impressively, we combine it with calculus (that Maple knows very well!), to automatically compute generating functions for the sum-of-the-areas of these generalized Dyck paths, and even for the sum of any given power of the areas, enabling us to get statistical information about the area under a random generalized Dyck path.

The study of Mahonian statistics dated back to 1915 when MacMahon showed that the major index and the inverse number have the same distribution on a set of permutations with length n. Since then, many Mahonian statistics have been discovered and much effort have been done to find the equidistribution between two Mahonian statistics on permutations avoiding length-3 classical patterns. In recent years, Amini and Do et al. have done extensive research with various methods to prove the equidistributions, ranging from using generating functions, Dyck paths, block decompositions, to bijections. In this thesis, we will solve the conjectured equidistribution between bast and foze on Av(312) using the bijection method, as well as refine two established results by Do et al. with a combinatorial approach.

We consider a greedy version of the $m$-Tamari order defined on $m$-Dyck paths, recently introduced by Dermenjian. Inspired by intriguing connections between intervals in the ordinary 1-Tamari order and planar triangulations, and more generally by the existence of simple formulas counting intervals in the ordinary $m$-Tamari orders, we investigate the number of intervals in the greedy order on $m$-Dyck paths of fixed size. We find again a simple formula, which also counts certain planar maps (of prescribed size) called $(m+1)$-constellations. For instance, when $m=1$ the number of intervals in the greedy order on 1-Dyck paths of length $2n$ is proved to be $\frac{3\cdot 2^{n-1}}{(n+1)(n+2)} \binom{2n}{n}$, which is also the number of bipartite maps with $n$ edges. Our approach is recursive, and uses a ``catalytic'' parameter, namely the length of the final descent of the upper path of the interval. The resulting bivariate generating function is algebraic for all $m$. We show that the same approach can be used to count intervals in the ordinary $m$-Tamari lattices as well. We thus recover the earlier result of the first author, Fusy and Préville-Ratelle, who were using a different catalytic parameter.