arXiv++ Combinatorics

Weighted Catalan numbers are a class of weighted sums over Dyck paths. Well-studied for their arithmetic properties and applications to enumerative combinatorics, these numbers were recently generalized to the setting of $k$-dimensional Catalan numbers for $k \geq 2$. In this paper, we introduce the $k$-dimensional semisymmetric weighted Catalan numbers ($k$-dimensional SSWCNs), an alternative $k$-dimensional generalization, along with their variant, the $k$-dimensional $u$-bounded semisymmetric weighted Catalan numbers ($k$-dimensional $u$-bounded SSWCNs). We define these two classes of numbers using the notion of semisymmetric height, a new statistic on points in $\mathbb{Z}^k_{\geq 0}$ motivated by geometric symmetries of $k$-dimensional analogs of Dyck paths and of the fundamental Weyl chamber of type $A_{k-1}$. For our main results, we prove the eventual periodicity of $k$-dimensional SSWCNs and their $u$-bounded variants modulo a suitable integer $m$, and we derive formulas for several classes of $k$-dimensional $u$-bounded SSWCNs. Additionally, using semisymmetric height, we derive novel analogs in the $k$-dimensional setting of the integer sequence counting Dyck paths by height and of the Narayana numbers. We conclude the paper with a future direction for generalizing weighted Catalan numbers to the $k$-dimensional setting.

We study the $(q,t)$-enumeration of triangular Dyck paths considered by Bergeron and Mazin. To do so, we introduce the notion of triangular and sim-sym tableaux and the deficit statistic which is a new interpretation of the dinv. We use it to obtain new results and proofs on triangular $2$-partitions and an interesting conjecture for a certain lattice interval $(q,t,r)$-enumeration.

We study a new class of palindromic descent polynomials. Given a Dyck path $d$ of semilength $n$ and a permutation $σ$ of size $n$, one can label the up-steps and down-steps of $d$ with the elements of $σ$. The labeled Dyck path determines a multiset permutation called a canon (or nonnesting) permutation. Such permutations arise as linear extensions of posets and as regions of hyperplane arrangements. Elizalde showed that the descent polynomial for all canon permutations of fixed length factors as a product of an Eulerian and a Narayana polynomial. We refine these polynomials by associating to $d$ a descent polynomial $C_d$ over the canon permutations obtained from $d$. We prove that $C_d$ is palindromic and free of internal zeros, though not unimodal in general. Its degree is determined by the number of peaks in the bounce path of $d$. We establish a correspondence between canon permutations attaining the maximum number of descents and Dyck paths below $d$ in the Dyck lattice satisfying a valley condition. Each such path contributes a number of maximizers equal to the number of linear extensions of an associated poset, yielding a combinatorial interpretation of the leading coefficient of $C_d$.

We study four bijections, which are promotion, evacuation, rowmotion, and rowvacuation, on generalized Dyck paths in rational Catalan combinatorics. We define the maps on generalized Dyck paths, which have their origins in maps on Dyck paths and non-crossing partitions. They include rotation, Kreweras complement map, Simion--Ullman involution on non-crossing partitions, and Lalanne--Kreweras involution on Dyck paths. These maps have an expression in terms of the four combinatorial bijections. By extending the bijection studied by D. Armstrong, C. Stump, and H. Thomas on one hand, and the correspondence of RSK type studied by B. Adenbaum and S. Elizalde on the other, we present the equivalence between the two bijections, promotion and rowmotion, on generalized Dyck paths through these bijection and correspondence. For this purpose, we provide an alternative description of the correspondence of RSK type in terms of Dyck tilings.

We present a combinatorial model of configuration spaces and polytopes associated to the quotients of $\mathbb{C} A_n$, the path algebra of the linearly oriented $A_n$ quiver, i.e. the algebra of upper triangular matrices. These quotient algebras are known as linear Nakayama algebras. Such configuration spaces were recently introduced for more general algebras by the second author and collaborators. In this special setting, we provide elementary proofs and explicit combinatorial constructions. From a Dyck path we define three related objects: a finite-dimensional algebra, an affine algebraic variety, and a polytope. Moreover, our constructions are natural: each relation in the poset of Dyck paths gives a morphism between the corresponding objects.

In an effort to further understanding $q,t$-Catalan statistics, a new statistic on Dyck paths called $\mathtt{depth}$ was proposed in Pappe, Paul and Schilling (2022) and was shown to be jointly equi-distributed with the well-known $\mathtt{area}$ statistics. In a recent preprint, Qu and Zhang (2025) generalized $\mathtt{depth}$ to so-called ``$\vec{k}$-Dyck paths''. They showed that $\mathtt{area}$ and $\mathtt{depth}$ are also jointly equi-distributed over such paths with a fixed multiset of up-steps and a given first up-step, and they conjectured that the same holds when also fixing the last up-step. In this short note, we settle this conjecture on the more general context of Łukasiewicz paths by interpreting $\mathtt{area}$ and $\mathtt{depth}$ under the classical bijection between Łukasiewicz paths and plane trees, through which the symmetry is transparent.

Recently, in the context of walks of hexagonal circle packings, interest has emerged in the family of skew Dyck paths with two variants of down-steps. These paths have steps $U, D_g, D_b, L=D_r$. Using generating functions, the kernel method and (in)finite linear systems, contributions to the (average) height and other enumerations are made. As in many similar instances, the average height is of order $\sqrt n$.

We show that the q-Narayana numbers for q=-1 count symmetric Dyck paths according to the number of their valleys.

We describe an explicit basis for the $\operatorname{SU}(2)$-invariant space of the exterior power $\wedge_{2k} \mathbb{C}^{2m}$ via the combinatorics of plane partitions. In quantum chemistry, this is the space of spin adapted quantum states of an electronic system with $m$ spin orbitals and $k$ electron pairs. We construct our basis by identifying the invariant space with an Artinian commutative ring called the excitation ring. We compute a Gröbner basis and enumerate its standard monomials via an explicit bijection to Dyck paths counted by the Narayana numbers.

We continue on a recent concept introduced by Kariuki and Okoth, about skew 2-Dyck paths, introducing an additional down-step $L$, together with the usual steps $U$ (up) and $D$ down. There is the syntactical condition that $UL$ and $LU$ can never occur. An automaton that checks these conditions is introduced, and the relevant generating functions are obtained by applying the kernel method to three functional equations. It is briefly discussed how the setting can be extended to $t$-Dyck paths. As a benefit, prefixes of skew $t$-Dyck paths are also enumerated. An approach that scans 2-Dyck paths from right to left is also discussed.

It is known when we call a poset P, a $\mathcal{P}$-chain permutational poset, given a subset of permutations $\mathcal{P}$ of the symmetric group $S_{n}$. In this work, we use the same idea to study subsets of words of length $n$, that are not necessarily permutations, for example: especially when they are certain classes of restricted growth functions induced by set partitions in standard form over $[n]=\{1,2\cdots n\}$. Varying $n$ only, and also varying $n$ and $k$ (the number of blocks of the set partitions) simultaneously, we can show that those posets form a projective system of trees and lattices (after giving a lattice structure in a natural way). These poset structures can be extended over signed restricted growth functions for standard type B set partitions over $\langle n\rangle=\{-1,-2,\cdots n,0,1,2\cdots n\}$ as well. We investigate properties of the tree and lattice structures of these projective systems. In this scenario we further bring up some other posets like $\mathcal{P}$-Partition posets of snake graph of continued fractions, Ascent lattices on Dyck Paths, certain type of lattice induced by generalisec fibonnaci number and Stanley order, lattices induced by non-crossing set partitions.

A Catalan word is one on the alphabet of positive integers starting with $1$ in which each subsequent letter is at most one more than its predecessor. Let $\mathcal{C}_n$ denote the set of Catalan words of length $n$. In this paper, we give combinatorial proofs of explicit formulas for the sums of several parameter values taken over all the members of $\mathcal{C}_n$. In particular, we find such proofs for the parameters tracking the number of symmetric or $\ell$-valleys, which was previously requested by Baril et al. Further, we find a combinatorial explanation of a related Catalan number identity whose proof was also requested. To carry out our arguments, we consider corresponding statistics on Dyck paths and find the cardinality of certain sets of marked Dyck paths wherein one or more of the steps is distinguished from all others.

Evolutionary program synthesis systems such as AlphaEvolve, OpenEvolve, and ShinkaEvolve offer a new approach to AI-assisted mathematical discovery. These systems utilize teams of large language models (LLMs) to generate candidate solutions to a problem as human readable code. These candidate solutions are then 'evolved' with the goal of improving them beyond what an LLM can produce in a single shot. While existing mathematical applications have mostly focused on problems of establishing bounds (e.g., sphere packing), the program synthesis approach is well suited to any problem where the solution takes the form of an explicit construction. With this in mind, in this paper we explore the use of OpenEvolve for combinatorial bijection discovery. We describe the results of applying OpenEvolve to three bijection construction problems involving Dyck paths, two of which are known and one of which is open. We find that while systems like OpenEvolve show promise as a valuable tool for combinatorialists, the problem of finding novel, research-level bijections remains a challenging task for current frontier systems, reinforcing the need for human mathematicians in the loop. We describe some lessons learned for others in the field interested in exploring the use of these systems.

We investigate paths in the hexagonal circle packing and enumerate them with respect to width, height, number of steps, area, and kissing number. Functional equations and the kernel method yield closed bivariate generating functions together with coefficient formulas and asymptotics. We establish bijections with skew Dyck paths, constrained Motzkin paths, and peakless Motzkin paths, and show that several of the associated counting arrays are Riordan arrays. Continued-fraction expansions for the area and kissing-number enumerators are also obtained.

We introduce and study a generalization of the Narayana numbers $N_d(n,k) = \frac{1}{n+1} \binom{n+1}{k+1} \binom{ n + (n-k)(d-2)+1}{k}$ for integers $d \geq 2$ and $n,k \geq 0$. This two-parameter array extends the classical Narayana numbers ($d=2$) and yields a $d$-ary analogue of the Catalan numbers $C_d(n) = \sum_{k=0}^n N_d(n,k)$. We give nine combinatorial interpretations of $N_d(n,k)$ that unify and generalize known combinatorial interpretations of the Narayana numbers and $C_3(n)$ in the literature. In particular, we show that $N_d(n,k)$ counts a natural class of operator monomials over a $d$-ary associative algebra, thereby extending a result of Bremner and Elgendy for the binary case. We also construct explicit bijections between these monomials and several families of classic combinatorial objects, including Schröder paths, Dyck paths, rooted ordered trees, and $231$-avoiding permutations.

There is a large class of problems in algebraic combinatorics which can be distilled into the same challenge: construct an explicit combinatorial bijection. Traditionally, researchers have solved challenges like these by visually inspecting the data for patterns, formulating conjectures, and then proving them. But what is to be done if patterns fail to emerge until the data grows beyond human scale? In this paper, we propose a new workflow for discovering combinatorial bijections via machine learning. As a proof of concept, we train a transformer on paired Dyck paths and use its learned attention patterns to derive a new algorithmic description of the zeta map, which we call the \textit{Scaffolding Map}.

We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the lattice on alternating sign matrices whose quotient is isomorphic to the Stanley lattice on Dyck paths, which we call catalan congruences. We prove that the maxima of the congruence classes are always covexillary permutations (and all covexillary permutations appear this way), and that the minimal permutations in each class are always precisely the $321$-avoiding permutations. Finally, we show that any choice of representative permutations in each congruence class yield a basis of the Temperley-Lieb algebra with parameter $2$, vastly generalizing the bases arising from the excedance relation.

Pappe, Paul, and Schilling introduced two combinatorial statistics, depth and ddinv, associated with classical Dyck paths, and proved that the distributions of (area, depth) and (dinv, ddinv) are $q,t$-symmetric by constructing an involution on plane trees. They also provided a new formula for the original $q,t$-Catalan polynomials $C_{n}(q,t)$. We observe that depth is a slight modification of bounce, which was defined by the filling algorithm and ranking algorithm of Xin and the second author in their study of $\vec{k}$-Dyck paths. In this article, we generalize depth of classical Dyck paths to the case of $\vec{k}$-Dyck paths and prove $q,t$-symmetry of the pair of statistics (area, depth) for $\mathcal{K}$-Dyck paths. We provide an alternative description of the higher $q,t$-Catalan polynomials $C_{n}^{(k)}(q,t)$.

The shuffle conjecture of Haglund et al. expresses the symmetric function $\nabla e_n$ as a sum over labeled Dyck paths. Here $\nabla$ is an operator on symmetric functions defined in terms of its diagonal action on the basis of modified Macdonald polynomials. The shuffle conjecture was later refined by Haglund-Morse-Zabrocki to the compositional shuffle conjecture, expressing $\nabla C_α$ as a sum over labeled Dyck paths with touchpoints specified by $α$, where $C_α$ is a compositional Hall-Littlewood polynomial. Carlsson-Mellit settled both versions by developing the theory of a variant of the DAHA called the double Dyck path algebra. In a recent paper, we discovered a notion of nonsymmetric plethsym which led us to a construction of modified nonsymmetric Macdonald polynomials $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. These polynomials Weyl symmetrize to their symmetric counterparts and are conjecturally atom positive. Here we introduce a nonsymmetric version $\boldsymbol{\nabla}$ of $\nabla$, now acting diagonally on the basis given by the functions $\mathsf{H}_{η|λ}(\mathbf{x};q,t)$. Weaving together our theory with results of Carlsson-Mellit and Mellit, we establish a nonsymmetric version of the compositional shuffle theorem, which equates $\boldsymbol{\nabla}^{-1}$ applied to a nonsymmetric version $\mathsf{C}_α$ of $C_α$ with a sum over flagged labeled Dyck paths with touchpoints given by $α$. This combinatorial sum is conjecturally atom positive, refining the known Schur positivity of its symmetric counterpart.

We study a statistic $\mathsf{traj}$ on the ordered pairs $(P,Q)$ of Dyck paths of size $n$, which counts the number of billiard trajectories in the grid polygon enclosed by $P$ and $-Q$, where $-Q$ is the path obtained by reflecting $Q$ over the ground line. It turns out to coincide with the component statistic of meanders. In terms of grid polygon, we establish an involution on the set of such ordered pairs $(P,Q)$ which either increases or decreases $\mathsf{traj}(P,Q)$ by 1. This proves a result by Di Francesco--Golinelli--Guitter that the numbers of semimeanders (meanders, respectively) of order $n$ with even and odd numbers of components are equal if $n$ is even and differ by a Catalan number (the square of a Catalan number, respectively) if $n$ is odd. Some results about $(-1)$-evaluation of the generating functions for the statistic $\mathsf{traj}$ on restricted sets of Dyck paths are also presented.