arXiv++ Combinatorics

Permutation pattern avoidance on Ferrers boards has become a central topic in enumerative combinatorics with important connections to matchings, set partitions, and other combinatorial structures as it allows one to build families of Wilf-equivalent patterns. While shape-Wilf-equivalence classes have been completely determined for individual patterns and pairs of patterns of length three, the corresponding classification for larger pattern sets has remained open. In this paper, we provide a complete classification of the shape-Wilf-equivalence classes of triples of patterns of length three. Our proofs use a bijective encoding of pattern avoiding transversals to establish all equivalence classes. As an application, we enumerate matchings avoiding triples of patterns of length three for all but two equivalence classes, extending previous results of Bloom and Elizalde. These enumerative results identify additional families of combinatorial objects counted by the Fuss-Catalan numbers and by other integer sequences appearing in the OEIS.

In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.

Flow polytopes of directed acyclic graphs form a central class of lattice polytopes in algebraic, geometric, and enumerative combinatorics. Order polytopes are one of the best understood families of lattice polytopes; their Ehrhart theory, triangulations, volumes, and face structures are closely controlled by the combinatorics of the underlying posets. Mészáros--Morales--Striker proved that the flow polytope of an $st$-planar directed acyclic graph is unimodularly equivalent to an order polytope. In this paper, we prove a converse after contracting idle edges. More precisely, for a directed acyclic graph $G$ with a unique source and a unique sink, let $\widetilde G$ be the graph obtained from $G$ by successively contracting idle edges until none remain. We prove that $\mathcal{F}(G)$ is unimodularly equivalent to an order polytope if and only if $\widetilde G$ is $st$-planar. In addition, under a local three-good-neighbor condition, we prove that for a directed acyclic graph with a unique source, a unique sink, and no idle edges, the graph is $st$-planar if and only if it avoids an explicit list of forbidden butterfly minors.

We study the class $\#\mathsf{L}$ of functions counting accepting paths of non-deterministic log-space Turing machines and construct methods to prove containment in $\#\mathsf{L}$. We prove that a large number of classical combinatorial and number theoretic functions belong to this class: classical functions from enumerative combinatorics (multinomial coefficients, Catalan numbers, linear extensions of trees, Stirling numbers, etc), algebraic combinatorics (number of standard Young tableaux, etc), discrete geometry, number theoretic functions, representation theoretic multiplicities in a large class of cases. We show that $\mathrm{GL}_2$-plethysm coefficients of bounded length outer partition can be counted by log$^2$-space polytime verifiers. We pose numerous questions and conjectures on $\#\mathsf{L}$ containment and its generalizations, that suggest venues for conditionally disproving $\#\mathsf{P}$-completeness. While studying which combinatorial functions are in $\#\mathsf{P}$ provides a formal way of (dis)proving the existence of combinatorial interpretations, the lower class $\#\mathsf{L}$ serves as an analogue for functions computable in polynomial time.

A Dyck path of semilength $n$ is a lattice path from $(0,0)$ to $(n,n)$ consisting of $n$ right-steps $(1,0)$ and $n$ up-steps $(0,1)$ that never rises above the line $y=x$. These paths are enumerated by the Catalan numbers and play a central role in enumerative combinatorics. We color the cells of the integer grid in black and white according to two natural patterns, namely chessboard and column-alternating, and enumerate the Dyck paths having equal numbers of black and white cells beneath them.

Consider the following plaquette model from statistical physics: a lamp lies at every vertex of the triangular lattice and a switch lies at every even vertex of the (bipartite) dual hexagonal lattice. Each switch toggles the three lamps on its face. The energy of a configuration is the number of ON lamps. For the Glauber dynamics associated with the Gibbs measure defined by this Hamiltonian at any inverse temperature $β>0$, we show that, in any dimension $d\ge 2$, the infinite volume relaxation time satisfies \[e^{β^2/C}/C \le T_{\mathrm{rel}}\le Ce^{e^{Cβ}}\] for some $C>0$. Our result entails that the Gibbs measure is unique. The $e^{β^2}$ scaling was conjectured by Newman and Moore in 1999 and matches the behaviour of supercritical rooted kinetically constrained models such as the East model, thus recovering fragile glass phenomenology in the absence of kinetic constraints. More precisely, we show that, on a torus of side length $2^k$, when $β\to\infty$ and $k/β\to0$, we have $T_{\mathrm{rel}}=e^{2βk(1+o(1))}$. Quite surprisingly, however, we also prove that, on non-periodic finite domains of size $n\le e^{β/C}$ for large $C>0$, we have the much larger asymptotics $\ln T_{\mathrm{rel}}=βn^{Θ(1)}$. The main ingredients of the proofs are new results in extremal and enumerative combinatorics and rely on renormalisation ideas for the dynamics and its groundstates also known as the Ledrappier subshift. We note consequences of our results to geometric group theory (more precisely to the complexity of the word problem for the Baumslag finitely presented group) and to ergodic theory.

There are $2^{n-1}$ ways to tile a $1 \times n$ rectangle with rectangular tiles (of any length, of course they all must have width $1$), but in how many ways can you tile a $100 \times 100$ checkerboard with such tiles? Neither humankind, nor computer-kind, will (most probably) ever know the exact number. But it is possible to compute these numbers for $m \times n$ rectangular grids, if $m$ is not too big, while $n$ can be as big as one wishes. This was initially done in 1988 by David Klarner and Spyros Magliveras, and beautifully extended, around 2006, by, at-the-time, first-year LSU undergraduate Joshua Smith, in collaboration with his faculty mentor, Helena Verrill. Here we extend this to weighted-counting, also keeping track of the number of tiles (that ranges from $1$ to $mn$), and the number of participating grid-edges (that range from $2m+2n$ to $2mn+m+n$). This quickly leads to statistical analyses (mean, variance, and higher moments) of these quantities. While we admire the clever approaches of Klarner-Magliveras and Smith-Verrill, we use two alternative approaches to the original problem, that are more amenable for deriving these generalizations. At the same time, we illustrate the power and beauty of experimental-yet-rigorous enumerative combinatorics.

We present several short proofs that resolve open problems from the algebraic and enumerative combinatorics literature. First, we consider the echelonmotion operator on modular lattices. We resolve a conjecture of Defant, Jiang, Marczinzik, Segovia, Speyer, Thomas, and Williams and, consequently, obtain a new algebraic bijective proof of a classical result of Dilworth. Second, we consider statistics on parking functions studied by Stanley and Yin and by Hopkins. We prove some conjectures of Hopkins. Third, we consider centralizers in the plactic monoid. We settle two conjectures of Sagan and Wilson. All of these proofs were obtained autonomously by ChatGPT 5.4 Pro.

Inversion sequences, also known as subexcedant sequences, form a fundamental class of objects in enumerative combinatorics. In this paper, we study the joint distribution of five statistics on inversion sequences. While several statistics on inversion sequences have been extensively investigated, our contribution is to introduce the inversion number statistic, originally defined for permutations, into the context of inversion sequences. As special cases, we recover classical permutation statistics, including the Stirling, Mahonian and Eulerian distributions, as well as the Catalan and Narayana numbers. Somewhat unexpectedly, our specializations also include the number of involutions in the symmetric group. Our study arises from a $q$-analog of Comtet's expansion formula obtained by substituting the classical derivative operator $D$ with the $q$-derivative operator $D_q$.

We count the number of countable homogeneous colored linear orderings in $k$ colors. Relatedly, we count the number of countable $C_{n,m}$-homogeneous linear orderings. $C_{n,m}$-homogeneity is a strong homogeneity notion that approximates $sp-$homogeneity, a notion recently uncovered in [2] to have important computability theoretic properties. Explicit formulas are derived for both of the quantities in question, along with asymptotic bounds. The objects being counted are generally infinite, and it is not obvious that there are even only finitely many. This fact, along with the more precise counting, is demonstrated by corresponding the linear orderings with finite objects.

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.

A finite impartial game is a two-player game in which the players take turns making moves and the game ends after finitely many moves. In this paper, we study a class of finite impartial games introduced by H.~Lenstra, which we call coin turning games. We focus on two typical classes of coin turning games, namely the order ideal games and the rulers, distinguished by their choices of turning sets. For several posets arising from enumerative combinatorics, we determine the Sprague-Grundy functions. In particular, we determine the Sprague-Grundy function of the order ideal game on the ASM poset, introduced by J.~Striker in connection with the alternating sign matrices.

We introduce the package combinatorics for the software CoCoA. This package provides a data structure and the necessary methods for computing several known enumerative combinatorial invariants.

This paper considers an important inverse problem in topological data analysis (TDA): How many different barcodes produce the same Betti curve? Equivalently, given a function $β\colon [n]=\{1<\cdots< n\} \to \mathbb{Z}_{\geq 0}$, how many different ways can we write $β$ as a sum of indicator functions supported on intervals in $[n]$? Our answer to this question is to connect persistent homology with the study of the Kostant partition function and the enumerative combinatorics for so-called "magic" juggling sequences studied by Ronald Graham and others. Specifically, we prove an equivalence between our inverse problem and corresponding statements in these other two settings. From an applications and statistics point of view, our work provides a quantification of how lossy the TDA pipeline is when moving from persistent homology to persistent Betti numbers.

Permutation statistics constitute a classical subject of enumerative combinatorics. In her study of the genus zeta function, Denert discovered a new Mahonian statistic for permutations, which is called the Denert's statistic ({\bf $\den$}) by Foata and Zeilberger. As natural extensions of the $r$-descent number ({\bf $r\des$}) and the $r$-major index ({\bf $r\maj$}) introduced by Rawlings, Liu introduced the $g$-gap $\ell$-level descent number ({\bf $g\des_{\ell}$}) and the $g$-gap $\ell$-level major index ({\bf $g\maj_{\ell}$}) for permutations. In this paper, we introduce the $g$-gap $\ell$-level Denert's statistic ({\bf $g\den_{\ell}$}) and the $g$-gap $\ell$-level excedance number ({\bf $g\exc_{\ell}$}) for multipermutations, which serve as natural generalizations of the Denert's statistic ({\bf $\den$}) and the excedance number ({\bf $\exc$}) for multipermutations first introduced by Han. By constructing two explicit bijections, we establish the equidistribution of the pairs $(g\exc_{\ell}, g\den_{h} )$ and $(g\des_{\ell}, g\maj_{\ell})$ over multipermutations for all $1\leq h\leq g+\ell$. Our result provides a new proof of the equidistribution of the pairs ($\des$, $\maj$) and ($\exc$, $\den$) over multipermutations originally derived by Han and enables us to confirm a recent conjecture posed by Huang-Lin-Yan. Furthermore, we demonstrate that for all $1\leq h\leq g+\ell$, the pair $(g\exc_\ell, g\den_{h})$ is $r$-Euler-Mahonian over multipermutations of $M=\{1^k, 2^k, \ldots, n^k\}$ where $r=g+\ell-1$ and $k\geq 1$, which extends a recent novel result derived by Liu from permutations to multipermutations.

Rooted binary phylogenetic networks are extensions of rooted binary trees, adding reticulation nodes that are designed to represent evolutionary processes that involve hybridization events. Enumerative combinatorics studies have counted leaf-labeled phylogenetic networks in a variety of classes, finding that when the number of reticulations is fixed, the time-consistent galled trees are asymptotically less numerous than each of several network classes that had been previously examined. Here we provide enumerative results on two additional network classes: general galled trees and simplex time-consistent galled trees. We show that for a fixed number of galls, as the number of leaves goes to infinity, the asymptotic count of general galled trees is identical to that of time-consistent galled trees, whereas the count of simplex time-consistent galled trees is smaller. If the number of galls is not restricted, then the asymptotic approximations all differ: simplex time-consistent galled trees are less numerous than time-consistent galled trees, which are in turn less numerous than general galled trees. We also report a variety of additional results: recursions to count the studied networks with small numbers of leaves a fixed number of galls, as well as enumerative results for unlabeled networks in the classes that we investigate.

Using the lattice $\mathbb{N}\times\mathbb{N}$, we derive a general formula for the sequences $\big(T(n,k)\big)_{n,k\in \mathbb{N}}$ satysfying the recurence relation of the form: \begin{equation*} T(n,k)=a_{n,k}T(n-1,k)+b_{n,k}T(n-1,k-1). \end{equation*} We apply this result to the case where $a_{n,k}=a_0+a_1k+a_2n$ and $b_{n,k}=b_0+b_1k+b_2n$. This leads to explicit expressions for general $T(n,k)$, with simpler formulas arising in the case $b_2=0$, as well as in the fully general case, using Faà di Bruno's type expression. In particular, we will analyze the case $b_{n,k}=1$, which frequently occurs in enumerative combinatorics. Applications include explicit formulas for the $r$-Eulerian numbers. We will write also the case where $b_{n,k}=1$, as a matrix of passage. \textbf{Keywords:} triangular recurrence, weighted paths, $r$-Eulerian numbers, combinatorial interpretation.

(Work in progress) Marcus and Tardos \cite{MarcusTardos2004} proved the Stanley--Wilf conjecture by reducing pattern avoidance to an extremal problem on $0$--$1$ matrices. We give a parallel proof for classical permutation patterns that stays entirely in the ``grow from the right'' world of enumerative combinatorics. A $v$-avoiding permutation is built by right insertion; at each step we keep a pruned family of locations of $(k{-}1)$-partial occurrences of $v$ (the \emph{frontier}), each carrying its forbidden rank interval. The insertion step then induces a nonnegative transfer operator on a doubly weighted $\ell^\infty$ space. A quadratic penalty in the length makes this operator bounded, and a Neumann-series argument on a natural separable predual yields analyticity of the growth series, hence finite exponential growth for $\Av(v)$. The formulation is completely internal -- we never pass to $0$--$1$ matrices -- and it cleanly separates the pattern-dependent combinatorics of the frontier from a purely operator-theoretic core. In particular, we obtain an abstract ``right-insertion/transfer-operator'' theorem: any system whose frontier grows at most linearly and whose transfer operator satisfies a uniform quadratic length bound has an analytic growth series.

We use our extension of the symbolic method in enumerative combinatorics (we extend finite sums defining coefficients in generating functions to infinite series) to generalize Pólya's theorem. This theorem determines the limits of probabilities that walks in the grid graph $\mathbb{Z}^d$, starting at the origin, visit the given vertex. We replace the grid graph with weighted countable complete graphs $K_{\mathbb{N}}$ such that the edge weights with values in $\mathbb{C}$ satisfy a convergence condition. Thus general Pólya's theorems are results in enumerative combinatorics.

We introduce DDE-Solver, a Maple package designed for solving Discrete Differential Equations (DDEs). These equations are functional equations relating algebraically a formal power series F(t, u) with polynomial coefficients in a "catalytic" variable u, with specializations of it with respect to the catalytic variable. Such equations appear in enumerative combinatorics, for instance in the enumeration of maps. Bousquet-Melou and Jehanne showed in 2006 that when these equations are of a fixed point type in F, then F is an algebraic series. In the same paper, they proposed a systematic method for computing annihilating polynomials of these series. Bostan, Safey El Din and the author of this paper recently designed new efficient algorithms for computing these witnesses of algebraicity. This paper provides combinatorialists an automated tool in hand that solves DDEs using these algorithms. We also compare the timings of all these algorithms on DDEs from the literature.