arXiv++ Combinatorics

There are three classical lattices on the Catalan numbers: the Tamari lattice, the lattice of noncrossing partitions and the lattice of Dyck paths. The first is known to be isomorphic to the lattice of torsion classes of the path algebra of an equioriented quiver of type $A$ and the second is known to be isomorphic to its lattice of wide subcategories. Inspired by the notion of s-torsion classes of Adachi, Enomoto and Tsukamoto, in this short note we interpret the lattice of Dyck paths as a lattice of subcategories.

The modified Macdonald functions $\widetilde{H}_μ$ are fundamental objects in modern algebraic combinatorics. Haiman showed that there is a correspondence between the $(\mathbb{C}^{*})^2$-fixed points $I_μ$ of the Hilbert schemes $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and the functions $\widetilde{H}_μ$ realizing a derived equivalence between $(\mathbb{C}^{*})^2$-equivariant coherent sheaves on $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and $(\mathfrak{S}_n \times (\mathbb{C}^{*})^2)$-equivariant coherent sheaves on $(\mathbb{C}^2)^n.$ Carlsson--Gorsky--Mellit introduced a larger family of smooth projective varieties $\mathrm{PFH}_{n,n-k}$ called the parabolic flag Hilbert schemes. They showed that an algebra $\mathbb{B}_{q,t}$, directly related to the double Dyck path algebra $\mathbb{A}_{q,t}$ employed in Carlsson--Mellit's proof of the Shuffle Theorem, acts naturally on the $(\mathbb{C}^{*})^2$-equivariant K-theory $U_{\bullet}$ of these spaces and, moreover, there is a $\mathbb{B}_{q,t}$-isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ where $V_{\bullet}$ is the polynomial representation. The isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ is known to extend Haiman's correspondence. In this paper, we explicitly compute the images $Φ(H_{μ,w})$ of the normalized $(\mathbb{C}^{*})^2$-fixed point classes $H_{μ,w}$ of the spaces $\mathrm{PFH}_{n,n-k}$ and show they agree with the modified partially symmetric Macdonald polynomials $\widetilde{H}_{(λ|γ)}$ introduced by Goodberry-Orr, confirming their prior conjecture. We use this result to give an explicit formula for the action of the involution $\mathcal{N}$ on $V_{\bullet}.$

In 1996, Stanley extended the classical Catalan arrangement and semiorder arrangement, which are called the Catalan-type arrangement $\mathcal{C}_{n,A}$ and the semiorder-type arrangement $\mathcal{C}_{n,A}^*$ in this paper. By establishing a labeled Dyck path model for the regions of $\mathcal{C}_{n,A}$ and $\mathcal{C}_{n,A}^*$, this paper explores several enumerative problems related to the number of regions of level $\ell$, denoted as $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, which includes: (1) proving a Stirling convolution relation between $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, refining a result by Stanley and Postnikov; (2) showing that the sequences$\left(r_\ell{(\mathcal{C}_{n,A})}\right)_{n\geq 0}$ and $(r_\ell {(\mathcal{C}_{n,A}^*)})_{n\geq 0}$ exhibit properties of binomial type in the sense of Rota; (3) establishing the transformational significance of $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$ under Stanley's ESA framework: they can be viewed as transition matrices from binomial coefficients to their characteristic polynomials respectively. Further, we present two applications of the theories and methods: first, we provide a hyperplane arrangement counting interpretation of the two-parameter generalization of Fuss--Catalan numbers, which is closely related to the number of regions of level $\ell$ in the $m$-Catalan arrangement. Second, using labeled Dyck paths to depict the number of regions in the $m$-Catalan arrangement, we algorithmically provide the inverse mapping of the Fu, Wang, and Zhu mapping.

Given a positive rational $q$, we consider Dyck paths having height at most two with some constraints on the number of consecutive peaks and consecutive valleys, depending on $q$. We introduce a general class of Dyck paths, called rational Dyck paths, and provide the associated generating function, according to their semilength, as well as the construction of such a class. Moreover, we characterize some subsets of the rational Dyck paths that are enumerated by the $\mathbb Q$-bonacci numbers.

In the Stanley lattice defined on Dyck paths of size $n$, cover relations are obtained by replacing a valley $DU$ by a peak $UD$. We investigate a greedy version of this lattice, first introduced by Chenevière, where cover relations replace a factor $DU^k D$ by $U^kD^2$. By relating this poset to another poset recently defined by Nadeau and Tewari, we prove that this still yields a lattice, which we call the ascent lattice, $L_n$. We then count intervals in $L_n$. Their generating function is found to be algebraic of degree $3$. The proof is based on a recursive decomposition of intervals involving two catalytic parameters. The solution of the corresponding functional equation is inspired by recent work on the enumeration of walks confined to a quadrant. We also consider the order induced in $L_{mn}$ on $m$-Dyck paths, that is, paths in which all ascent lengths are multiples of $m$, and on mirrored $m$-Dyck paths, in which all descent lengths are multiples of $m$. The first poset $L_{m,n}$ is still a lattice for any $m$, while the second poset $L'_{m,n}$ is only a join semilattice when $m>1$. In both cases, the enumeration of intervals is still described by an equation in two catalytic variables. Interesting connections arise with the sylvester congruence of Hivert, Novelli and Thibon, and again with walks confined to a quadrant. We combine the latter connection with probabilistic results to give asymptotic estimates of the number of intervals in both $L_{m,n}$ and $L'_{m,n}$. Their form implies that the generating functions of intervals are no longer algebraic, nor even D-finite, when $m>1$.

A descent $k$ of a permutation $π=π_{1}π_{2}\dotsπ_{n}$ is called a big descent if $π_{k}>π_{k+1}+1$; denote the number of big descents of $π$ by $\operatorname{bdes}(π)$. We study the distribution of the $\operatorname{bdes}$ statistic over permutations avoiding prescribed sets of length-three patterns. Specifically, we classify all pattern sets $Π\subseteq\mathfrak{S}_{3}$ of size 1 and 2 into $\operatorname{bdes}$-Wilf equivalence classes, and we derive a formula for the distribution of big descents for each of these classes. Our methods include generating function techniques along with various bijections involving objects such as Dyck paths and binary words. Several future directions of research are proposed, including conjectures concerning real-rootedness, log-concavity, and Schur positivity.

The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic group action on the decorated square paths which we call cutting and pasting, we show that $\left.\left\langle \frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n), h_1^n\right\rangle\right|_{q=-1}$ is $0$ whenever $n-k$ is even, and is a positive polynomial related to the Euler numbers when $n-k$ is odd. We also show that the combinatorics of this enumerator is closely connected to that of the Dyck path enumerator for $\langleΔ_{e_{n-k-1}}'e_n,h_1^n\rangle$ considered by Corteel-Josuat Vergès-Vanden Wyngaerd.

For $0\leq k\leq n-1$, we introduce a family of $k$-skeletal paths which are counted by the $n$-th Catalan number for each $k$, and specialize to Dyck paths when $k=n-1$. We similarly introduce $k$-skeletal parking functions which are equinumerous with the spanning trees on $n+1$ vertices for each $k$, and specialize to classical parking functions for $k=n-1$. The preceding constructions are generalized to paths lying in a trapezoid with base $c > 0$ and southeastern diagonal of slope $1/m$; $c$ and $m$ need not be integers. We give bijections among these families when $k$ varies with $m$ and $c$ fixed. Our constructions are motivated by chip firing and have connections to combinatorial representation theory and tropical geometry.

Descents of odd length in Dyck paths are discussed, taking care of some variations. The approach is based on generating functions and the kernel method and augments relations about them from the Encyclopedia of Integer Sequences, that were pointed out by David Callan.

We study a refinement of the $q,t$-Catalan numbers introduced by Xin and Zhang (2022, 2023) using tools from polyhedral geometry. These refined $q,t$-Catalan numbers depend on a vector of parameters $\vec{k}$ and the classical $q,t$-Catalan numbers are recovered when $\vec{k} = (1,\ldots,1)$. We interpret Xin and Zhang's generating functions by developing polyhedral cones arising from constraints on $\vec{k}$-Dyck paths and their associated area and bounce statistics. Through this polyhedral approach, we recover Xin and Zhang's theorem on $q,t$-symmetry of the refined $q,t$-Catalan numbers in the cases where $\vec{k} = (k_1,k_2,k_3)$ and $(k,k,k,k)$, give some extensions, including the case $\vec{k} = (k,k+m,k+m,k+m)$, and discuss relationships to other generalizations of the $q,t$-Catalan numbers.

We study the two statistics, the inversion number and the major index, on Catalan combinatorial objects such as $r$-Dyck paths, $r$-Stirling permutations, non-crossing partitions, Dyck tilings, and symmetric Dyck paths. We show that they are equidistributed with the inversion number or the major index on Dyck paths.

In 10.1093/imrn/rnac258, the authors conjecture a combinatorial formula for the expressions $Ξe_α\rvert_{t=1}$, known as Symmetric Theta Trees Conjecture, in terms of tiered trees with an inversion statistic. In 10.1017/fms.2024.14, the authors prove a combinatorial formula for the same symmetric function, in terms of doubly labelled Dyck paths with the area statistic. In this paper, we give an explicit bijection between the subsets of the two families of objects when the relevant statistic is equal to $0$, thus proving the Symmetric Theta Tree Conjecture when $q=0$.

We consider Dyck paths having height at most two with some constraints on the number of consecutive valleys at height one which must be followed by a suitable number of valleys at height zero. We prove that they are enumerated by so-called Q-bonacci numbers (recently introduced by Kirgizov) which generalize the classical q-bonacci numbers in the case where q is a positive rational.

We give bijective results between several variants of lattice paths of length $2n$ (or $2n-2$) and integer compositions of n, all enumerated by the seemingly innocuous formula $4^{n-1}$. These associations lead us to make new connections between these objects, such as congruence results.

The Horton-Strahler number of a rooted tree $T$ is the height of the tallest complete binary tree that can be homeomorphically embedded in $T$. The number of full binary trees with $n$ internal vertices and Horton-Strahler number $s$ is known to be the same as the number of Dyck paths of length $2n$ whose height $h$ satisfies $\lfloor \log_2(1+h)\rfloor=s$. In this paper, we present a new bijective proof of the above result, that in fact strengthens and refines it as follows. We introduce a sequence of trees $(τ_i,i \ge 0)$ which "interpolates" the complete binary trees, in the sense that $τ_{2^h-1}$ is the complete binary tree of height $h$ for all $h \ge 0$, and $τ_{i+1}$ strictly contains $τ_i$ for all $i \ge 0$. Defining $\mathcal{S}(T)$ to be the largest $i$ for which $τ_i$ can be homeomorphically embedded in $T$, we then show that the number of full binary trees $T$ with $n$ internal vertices and with $\mathcal{S}(T)=h$ is the same as the number of Dyck paths of length $2n$ with height $h$. (We call $\mathcal{S}(T)$ the refined Horton-Strahler number of $T$.) Our proof is bijective and relies on a recursive decomposition of binary trees (resp. Dyck paths) into subtrees with strictly smaller refined Horton-Strahler number (resp. subpaths with strictly smaller height). In a subsequent paper, we will show that the bijection has a continuum analogue, which transforms a Brownian continuum random tree into a Brownian excursion and under which (a continuous analogue of) the refined Horton-Strahler number of the tree becomes the height of the excursion.

We partition a series of natural numbers into infinite number sequences. We consider two partitioning options: (a) a forest of unary trees with recurrence formula of Mersenne numbers, and (b) a set of arithmetic progressions with difference $2^k$. Every tree starts with an even number, and any even number starts a certain tree. In the partitioning into arithmetic progressions, each progression starts with a Mersenne number, and each Mersenne number is the beginning of a particular arithmetic progression. Unary trees starting from some term are contained in OEIS A036991 (compact Dyck path codes), so we consider A036991 as a backbone of the partitions. In particular, we prove the existence of an arithmetic progression of any length in A036991. As a result of the partitions, we obtain a Natural Matrix with a packing function that captures the bijection between the set of natural numbers and the set of ordered pairs of natural numbers. In Natural Matrix, the even natural numbers are located on the $x$-axis, so the selection of primes in the considered arithmetic progressions is greatly simplified. A method for proving the infinity of primes in A036991 is proposed. In this regard, an attempt is made to reduce the Linnik's constant to $2$.

There have been several combinatorial constructions of universally positive bases in cluster algebras, and these same combinatorial objects play a crucial role in the known proofs of the famous positivity conjecture for cluster algebras. The greedy basis was constructed in rank $2$ by Lee-Li-Zelevinsky using compatible pairs on Dyck paths. The theta basis, introduced by Gross-Hacking-Keel-Kontsevich, has elements expressed as a sum over broken lines on scattering diagrams. It was shown by Cheung-Gross-Muller-Musiker-Rupel-Stella-Williams that these bases coincide in rank $2$ via algebraic methods, and they posed the open problem of giving a combinatorial proof by constructing a (weighted) bijection between compatible pairs and broken lines. We construct a quantum-weighted bijection between compatible pairs and broken lines for the quantum type $A_2$ and the quantum Kronecker cluster algebras. By specializing the quantum parameter, this handles the problem of Cheung et al. for skew-symmetric cluster algebras of finite and affine type. For cluster monomials in skew-symmetric rank-$2$ cluster algebras, we construct a quantum-weighted bijection between positive compatible pairs (which comprise almost all compatible pairs) and broken lines of negative angular momentum.

We provide generating functions, formulas, and asymptotic expressions for the number of Catalan words based on the number of runs of ascents (descents), runs of weak ascents (descents), $\ell$-valleys, valleys, symmetric valleys, $\ell$-peaks, peaks, and symmetric peaks. We also establish some bijections with restricted Dyck paths and ordered trees that transports some statistics.

The number of inversion sequences avoiding two patterns $101$ and $102$ is known to be the same as the number of permutations avoiding three patterns $2341$, $2431$, and $3241$. This sequence also counts the number of Schröder paths without triple descents, restricted bicolored Dyck paths, $(101,021)$-avoiding inversion sequences, and weighted ordered trees. We provide bijections to integrate them together by introducing $F$-paths. Moreover, we define three kinds of statistics for each of the objects and count the number of each object with respect to these statistics. We also discuss direct sums of each object.

We consider a Tamari interval of size $n$ (i.e., a pair of Dyck paths which are comparable for the Tamari relation) chosen uniformly at random. We show that the height of a uniformly chosen vertex on the upper or lower path scales as $n^{3/4}$, and has an explicit limit law. By the Bernardi-Bonichon bijection, this result also describes the height of points in the canonical Schnyder trees of a uniform random plane triangulation of size $n$. The exact solution of the model is based on polynomial equations with one and two catalytic variables. To prove the convergence from the exact solution, we use a version of moment pumping based on D-finiteness, which is essentially automatic and should apply to many other models. We are not sure to have seen this simple trick used before. It would be interesting to study the universality of this convergence for decomposition trees associated to positive Bousquet-Mélou--Jehanne equations.