arXiv++ Combinatorics

The cyclic sieving phenomenon (CSP) provides valuable data about symmetry classes of cyclic actions, and has applications to representation theory. In this paper, we enumerate domino tableaux of shape 2-by-n, and use this result to prove a new CSP on these objects. We then enumerate the rectangular domino tableaux of any dimensions, and conjecture a more general CSP on rectangular domino tableaux. As a consequence of the enumerative results, we obtain several identities involving Fibonacci and Catalan numbers.

Fully bracketed implication terms on $n$ variables are evaluated in Gödel $m$-valued logic on a finite chain, and we enumerate truth-table rows by output value across all Catalan bracketings. Using the Catalan decomposition, we derive a finite system of generating functions for these value counts and introduce a root-split refinement that records the ordered pair of truth values at the top implication, yielding $m^2$ pair classes. We prove that the associated generating functions share a common dominant square-root singularity, which implies a universal $n^{-3/2}$ asymptotic form with exponential growth rate $(4m)^n$ and a limiting output distribution as $n\to\infty$. The root-split refinement yields matching uniform asymptotics for the pair classes and gives a transparent factorization of the original counts.

While the value of the radius of convergence of the generating series of the Catalan numbers is well-known, obtaining it solely from recurrence relations is less immediate. It is sometimes considered that no known proof establishes that the radius $R$ equals 1/4 without relying on the explicit closed formula for the Catalan numbers. In particular, it has been shown that one can obtain, at the cost of substantial technical effort and without resorting to the main Segner recursion relation or to the explicit formula for the Catalan number, the lower bound $R\geq 1/6$. In this work, we prove that Touchard's recurrence alone yields the optimal exponential upper bound $\limsup_{n\to\infty} C_n^{1/n} \le 4$, which implies $R \ge 1/4$. Combined with the classical lower estimate $\limsup_{n\to\infty} C_n^{1/n} \ge 4$, obtained from central binomial coefficients, this gives $R = 1/4$.

Starting with a known polynomial identity, we derive two generalizations of Touchard's identity concerning Catalan numbers; one obtained using the Beta function and the other via a connection with Stirling numbers of the second kind. We subsequently establish several new combinatorial identities.

Given a permutation of size $n$, we consider its associated grid graph whose $i$th column has height equal to the $i$th entry, with vertical edges between consecutive levels and horizontal edges between equal levels in adjacent columns. We study global degree statistics of these graphs when the permutation is chosen from the Catalan avoidance class $\mathrm{Av}_n(213)$ (and, by reversal, also from $\mathrm{Av}_n(312)$). We first obtain an explicit closed form for the total number of horizontal edges summed over all permutations in $\mathrm{Av}_n(213)$. We then determine, for each degree $r\in\{1,2,3,4\}$, the total number of degree-$r$ vertices accumulated over the same class, yielding closed expressions in terms of central binomial coefficients and powers of four. The proofs rely on the Catalan decomposition induced by the position of the minimum entry, which leads to gluing identities and algebraic functional equations for ordinary generating functions, completed using global vertex and degree-sum identities. As a consequence, we derive asymptotic degree proportions for a uniform random permutation in $\mathrm{Av}_n(213)$: the distribution concentrates and the proportion of degree-$4$ vertices tends to $1$, with a deficit of order $n^{-1/2}$.

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.

For any finite reductive group, we compute the central elements in its Hecke algebra that arise from partial Springer resolutions via the Harish-Chandra transform. Of the two kinds of partial resolution, the larger is the more interesting case. We deduce formulas for associated Hecke traces, generalizing work of Wan-Wang beyond type $A$, and Deodhar-like decompositions of braid varieties that map to partial Springer resolutions. From the latter, we construct noncrossing sets that interpolate between rational Catalan and parking objects, generalizing our work with Galashin-Lam. In parallel, we establish new formulas for arbitrary $a$-degrees of the HOMFLYPT invariants of positive braid closures, from which we construct noncrossing sets for rational Kirkman numbers.

A Catalan word is a sequence $w_1w_2\cdots w_n$ of nonnegative integers such that $w_1=0$ and $w_{i}\leq w_{i-1}+1$ for $2\leq i\leq n$. Given a Catalan word, we construct a column-convex polyomino (or \emph{bargraph}) by placing, at position $i$, a column of height $w_i + 1$, with all columns aligned along their bottom edges. On these Catalan polyominoes we define the black cell capacity by coloring the cells in a chessboard pattern and we count the number of black cells in the polyomino. We study the distribution of the black cell capacity over Catalan polyominoes and derive generating functions that encode this statistic.

This paper presents a two-phase algorithm for computing exact Catalan numbers at an unprecedented scale. The method is demonstrated by computing $C(n)$ for $n = 2,050,572,903$ yielding a result with a targeted $1,234,567,890$ decimal digits. To circumvent the memory limitations associated with evaluating large factorials, the algorithm operates exclusively in the prime-exponent domain. Phase 1 employs a parallel segmented sieve to enumerate primes up to $2n$ and applies Legendre's formula to determine the precise prime factorization of $C(n)$. The primes are grouped by exponent and serialized to disk. Phase 2 reconstructs the final integer using a memory-efficient balanced product tree with chunking. The algorithm runs on a time complexity of $Θ(n(\log n)^2)$ bit-operations and a space complexity of $Θ(n \log n)$ bits. This result represents the largest exact Catalan number computed to date. Performance statistics for a single-machine execution are reported, and verification strategies -- including modular checks and SHA-256 hash validation -- are discussed. The source code and factorization data are provided to ensure reproducibility.

We consider the spherical variety of quadratic forms over a quadratically closed field of characteristic 2, and determine its orbits for the action of the Borel subgroup of upper triangular matrices. We exhibit a connection between these orbits and the Catalan triangle numbers. In addition, we describe explicitly a natural Weyl group action on the set of Borel orbit double covers

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.

We introduce a new broadly unifying family of combinatorial objects, which we call permutation flows, associated to an acyclic directed graph $G$ together with a framing $F$. This new family is combinatorially rich and contains as special cases various families of combinatorial objects that are frequently studied in the literature, as is the case of permutations, circular permutations, multipermutations, Stirling permutations, Catalan objects and their generalizations. When permutation flows are decorated with compatible shuffles, they also include the combinatorics of parking functions and their generalizations. This model is geometrically rich. We show that permutation flow shuffles define a family of unimodular triangulations of the flow polytope $F_G(a)$ on $G$ with an integer balanced netflow vector a where only the last entry is negative. As an application we provide a new proof of the Lidskii volume formula of Baldoni and Vergne for this family of polytopes and a reformulation of the same formula where every term is explained by the nature of the combinatorial objects involved. Permutation flow triangulations extend the Danilov, Karzanov, and Koshevoy triangulations that were defined for the case where a=e_0-e_n. We provide a formula for the h^*-polynomial of the flow polytope as the descent enumerating polynomial of permutation flows. The model comes with an order structure induced by intuitive operators on permutation flows which we call the weak order. This order includes as special cases the weak order on permutations, the Tamari lattice, order ideals in Young's lattice, and their generalizations, among others. It was conjectured in 2020 by the three authors, together with Benedetti, Harris, and Morales, that this poset is in general a lattice. This conjecture has been recently established with independent proofs by Bell and Ceballos, and by Berggren and Serhiyenko.

Hughes introduced the projective planes that bear his name in 1957 and they have since been studied extensively. However, until now, no polynomial representation of a planar ternary ring that represents them has been determined. In this paper, we rectify this omission by determining a reduced PTR polynomial for any Hughes plane defined over a regular nearfield. The polynomials obtained provide a new surprising connection: both the Catalan numbers and generalized Catalan numbers occur among the coefficients, depending on the representation. Since every PTR polynomial has connections with several classes of permutation polynomials, we obtain three new infinite classes of permutation polynomials as a consequence of our main result, and these, too, involve the Catalan numbers. The differential uniformity of new permutation polynomials is also determined.

We develop a circular-street argument, in the style of Pollak, to obtain a new proof that there are $C_n = \frac{1}{n+1}\binom{2n}{n}$ weakly increasing parking functions of length $n \geq 1$, where $C_n$ is the $n$th Catalan number.

Richardson tableaux are a remarkable subfamily of standard Young tableaux introduced by Karp and Precup in order to index the irreducible components of Springer fibers equal to Richardson varieties. We show that the set of insertion tableaux of noncrossing partial matchings on $\{1,2,,\ldots, n\}$ by applying the Robinson--Schensted algorithm coincides with the set of Richardson tableaux of size $n$. This leads to a natural one-to-one correspondence between the set of Richardson tableaux of size $n$ and the set of Motzkin paths with $n$ steps, in response to a problem proposed by Karp and Precup. As consequences, we recover some known and establish new properties for Richardson tableaux. Especially, we relate the $q$-counting of Richardson tableaux to $q$-Catalan numbers.

In this paper, we continue our investigation of double sums where the inner sum is binomial but incomplete. We prove many new results for these types of double sums associated with binomial transform pairs. As applications we deduce new identities for double sums involving special numbers like Bernoulli numbers, Fibonacci numbers, harmonic numbers, Catalan numbers and Stirling numbers of the second kind. We also consider families of polynomials like Fibonacci polynomials, Chebyshev polynomials, Bernoulli polynomials, and others. Finally, we state new double sums involving hyperbolic functions.

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.

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.

We define a weighted analog for the multidimensional Catalan numbers, obtain matrix-based recurrences for some of them, and give conditions under which they are periodic. Building on this framework, we introduce two new sequences of triangular arrays: the first one enumerates the $k$-dimensional Balanced ballot paths of exact height $s$; the second one is a new multidimensional generalization of the Narayana numbers, which count the number of Balanced ballot paths with exactly $p$ peaks.

Motivated by recent advances in Catalan combinatorics, we study special values of the standard trace on affine Hecke algebras. Starting from a generating function for this trace calculated by Opdam, we use the theory of Szenes and Vergne to obtain residue formulae for the trace. This allows us to derive a product formula for the trace of translation elements corresponding to weights in certain ``Big Chambers'' of the positive root cone.