enumeration
2243 papers tagged with this keyword
Motzkin paths of bounded height with two forbidden contiguous subwords of length two
Motzkin excursions and meanders are revisited. This is considered in the context of forbidden patterns. Previous work by Asinowski, Banderier, Gittenberger, and Roitner is continued. Motzkin paths of bounded height are considered, leading to matrix equations and also to continued fractions. The enumeration is done by properly setting up bivariate generating functions which can be expanded using the kernel method.
Rational Catalan Numbers for Complex Reflection Groups
Assuming standard conjectures, we show that the canonical symmetrizing trace evaluated at powers of a Coxeter element produces rational Catalan numbers for irreducible spetsial complex reflection groups. This extends a technique used by Galashin, Lam, Trinh, and Williams to uniformly prove the enumeration of their noncrossing Catalan objects for finite Coxeter groups.
Face enumeration for split matroid polytopes
Published in Combinator. Probab. Comp. 34 (2025) 528-544
• View Publication
• BIB
This paper initiates the explicit study of face numbers of matroid polytopes and their computation. We prove that, for the large class of split matroid polytopes, their face numbers depend solely on the number of cyclic flats of each rank and size, together with information on the modular pairs of cyclic flats. We provide a formula which allows us to calculate $f$-vectors without the need of taking convex hulls or computing face lattices. We discuss the particular cases of sparse paving matroids and rank two matroids, which are of independent interest due to their appearances in other combinatorial and geometric settings.
Combinatorics of pruned Hurwitz numbers
Hurwitz numbers enumerate branched morphisms between Riemannn surfaces with fixed numerical data. They represent important objects in enumerative geometry that are accessible by combinatorial techniques. In the past decade, many variants of Hurwitz numbers have appeared in the literature. In this paper, we focus on an exciting such variant that arises naturally from the theory of topological recursion: Pruned Hurwitz numbers. These are defined as an enumeration of a relevant subset of branched morphisms between Riemann surfaces, that yield smaller numbers than their classical counterparts while retaining maximal information. Thus, pruned Hurwitz numbers may be viewed as the core of the Hurwitz problem. In this paper, we develop the combinatorial theory of pruned Hurwitz numbers. In particular, motivated by the successful application of combinatorial techniques to classical Hurwitz numbers, we derive two new combinatorial expressions of pruned Hurwitz numbers. Firstly, we show that they may be expressed in terms of Hurwitz mobiles which are tree-like structure that arise from the theory of random planar maps. Secondly, we prove a tropical correspondence theorem which allows the enumeration of pruned Hurwitz numbers in terms of tropical covers.
The Six-Vertex Model with a Non-Standard Boundary Condition
We consider the enumeration of states in the Brubaker-Bump-Friedberg six-vertex model, whose boundary conditions are determined by an integer partition. In general, we find the number of states is a polynomial in the largest part of the partition. By explicating this technique, we also enumerate the states completely for hook shapes and staircases.
Algebraic Enumeration of Polypolyhedra
Published
• View Publication
• BIB
Polypolyhedra are edge-transitive compounds of polyhedra. In this paper we use group theory to determine the number of distinct polypolyhedra whose symmetry group is any given finite irreducible Coxeter group. We apply this result in order to enumerate the 3-dimensional polypolyhedra.
The squish map and the $\text{SL}_2$ double dimer model
Published in Electron. J. Combin.31(2024), no.1, Paper No. 1.61, 24 pp
• View Publication
• BIB
A plane partition, whose 3D Young diagram is made of unit cubes, can be approximated by a ``coarser" plane partition, made of cubes of side length 2. Indeed, there are two such approximations obtained by ``rounding up" or ``rounding down" to the nearest cube. We relate this coarsening (or downsampling) operation to the squish map introduced by the second author in earlier work. We exhibit a related measure-preserving map between the dimer model on the honeycomb graph, and the $\text{SL}_2$ double dimer model on a coarser honeycomb graph; we compute the most interesting special case of this map, related to plane partition $q$-enumeration with 2-periodic weights. As an application, we specialize the weights to be certain roots of unity, obtain novel generating functions (some known, some new, and some conjectural) that $(-1)$-enumerate certain classes of pairs of plane partitions according to how their dimer configurations interact.
Efficient Enumeration of Drawings and Combinatorial Structures for Maximal Planar Graphs
We propose efficient algorithms for enumerating the notorious combinatorial structures of maximal planar graphs, called canonical orderings and Schnyder woods, and the related classical graph drawings by de Fraysseix, Pach, and Pollack [Combinatorica, 1990] and by Schnyder [SODA, 1990], called canonical drawings and Schnyder drawings, respectively. To this aim (i) we devise an algorithm for enumerating special $e$-bipolar orientations of maximal planar graphs, called canonical orientations; (ii) we establish bijections between canonical orientations and canonical drawings, and between canonical orientations and Schnyder drawings; and (iii) we exploit the known correspondence between canonical orientations and canonical orderings, and the known bijection between canonical orientations and Schnyder woods. All our enumeration algorithms have $O(n)$ setup time, space usage, and delay between any two consecutively listed outputs, for an $n$-vertex maximal planar graph.
Enumerating minimal solution sets for metric graph problems
Problems from metric graph theory like Metric Dimension, Geodetic Set, and Strong Metric Dimension have recently had a strong impact in parameterized complexity by being the first known problems in NP to admit double-exponential lower bounds in the treewidth, and even in the vertex cover number for the latter, assuming the Exponential Time Hypothesis. We initiate the study of enumerating minimal solution sets for these problems and show that they are also of great interest in enumeration. Specifically, we show that enumerating minimal resolving sets in graphs and minimal geodetic sets in split graphs are equivalent to enumerating minimal transversals in hypergraphs (denoted Trans-Enum), whose solvability in total-polynomial time is one of the most important open problems in algorithmic enumeration. This provides two new natural examples to a question that emerged in recent works: for which vertex (or edge) set graph property $Π$ is the enumeration of minimal (or maximal) subsets satisfying $Π$ equivalent to Trans-Enum? As very few properties are known to fit within this context -- namely, those related to minimal domination -- our results make significant progress in characterizing such properties, and provide new angles to approach Trans-Enum. In contrast, we observe that minimal strong resolving sets can be enumerated with polynomial delay. Additionally, we consider cases where our reductions do not apply, namely graphs with no long induced paths, and show both positive and negative results related to the enumeration and extension of partial solutions.
Enumerating pattern-avoiding permutations by leading terms
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.
Deterministic stack-sorting for set partitions
A sock sequence is a sequence of elements, which we will refer to as socks, from a finite alphabet. A sock sequence is sorted if all occurrences of a sock appear consecutively. We define equivalence classes of sock sequences called sock patterns, which are in bijection with set partitions. The notion of stack-sorting for set partitions was originally introduced by Defant and Kravitz. In this paper, we define a new deterministic stack-sorting map $φ_σ$ for sock sequences that uses a $σ$-avoiding stack, where pattern containment need not be consecutive. When $σ= aba$, we show that our stack-sorting map sorts any sock sequence with $n$ distinct socks in at most $n$ iterations, and that this bound is tight for $n \geq 3$. We obtain a fine-grained enumeration of the number of sock patterns of length $n$ on $r$ distinct socks that are $1$-stack-sortable under $φ_{aba}$, and we also obtain asymptotics for the number of sock patterns of length $n$ that are $1$-stack-sortable under $φ_{aba}$. Finally, we show that for all unsorted sock patterns $σ\neq a\cdots a b a \cdots a$, the map $φ_σ$ cannot eventually sort all sock sequences on any multiset $M$ unless every sock sequence on $M$ is already sorted.
Alternating Sign Pentagons and Magog Pentagons
Alternating sign triangles have been introduced by Ayyer, Behrend and Fischer in 2016 and it was proven that there is the same number of alternating sign triangles with $n$ rows as there is of $n\times n$ alternating sign matrices. Later on Fischer gave a refined enumeration of alternating sign triangles with respect to a statistic $ρ$, having the same distribution as the unique 1 in the top row of an alternating sign matrix, by connecting alternating sign triangles to $(0,n,n)$- Magog trapezoids. We introduce two more statistics counting the all $0$-columns on the left and right in an alternating sign triangle yielding objects we call alternating sign pentagons. We then show the equinumeracy of these alternating sign pentagons with Magog pentagons of a certain shape taking into account the statistic $ρ$. Furthermore we deduce a generating function of these alternating sign pentagons with respect to the statistic $ρ$ in terms of a Pfaffian and consider the implications of our new results on some open conjectures.
Logarithmic terms in discrete heat kernel expansions in the quadrant
In the context of lattice walk enumeration in cones, we consider the number of walks in the quarter plane with fixed starting and ending points, prescribed step-set and given length. After renormalization, this number may be interpreted as a discrete heat kernel in the quadrant. We propose a new method to compute complete asymptotic expansions of these numbers of walks as their length tends to infinity, based on two main ingredients: explicit expressions for the underlying generating functions in terms of elliptic Jacobi theta functions along with a duality known as Jacobi transformation. This duality allows us to pass from a classical Taylor expansion of the series to an expansion at the critical point of the model. We work through two examples. First, we present our approach on the well-known Kreweras model, which is algebraic, and show how to obtain a complete asymptotic expansion in this case. We then consider a more generic (so-called infinite group) model, and find the associated complete asymptotic expansion. In this second case, we prove the existence of logarithmic terms in the asymptotic expansion, and we relate the coefficients appearing in the expansion to polyharmonic functions. To our knowledge, this is the first time that logarithmic terms have been observed in the asymptotics of a class of lattice walks confined to a quadrant.
Cost-sharing in Parking Games
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (November 4, 2024) dmtcs:13113
• View Publication
• BIB
In this paper, we study the total displacement statistic of parking functions from the perspective of cooperative game theory. We introduce parking games, which are coalitional cost-sharing games in characteristic function form derived from the total displacement statistic. We show that parking games are supermodular cost-sharing games, indicating that cooperation is difficult (i.e., their core is empty). Next, we study their Shapley value, which formalizes a notion of "fair" cost-sharing and amounts to charging each car for its expected marginal displacement under a random arrival order. Our main contribution is a polynomial-time algorithm to compute the Shapley value of parking games, in contrast with known hardness results on computing the Shapley value of arbitrary games. The algorithm leverages the permutation-invariance of total displacement, combinatorial enumeration, and dynamic programming. We conclude with open questions around an alternative solution concept for supermodular cost-sharing games and connections to other areas in combinatorics.
Diagonally symmetric alternating sign matrices
The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various further results and conjectures are also obtained, including some related to the exact enumeration of off-diagonally symmetric alternating sign matrices, and some related to the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.
Inhomogeneous order 1 iterative functional equations with applications to combinatorics
We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more precisely stated as follows: We consider $R,b\in \mathbb{C}(t)$ with $R(0)=0$, such that $f(R(t))=f(t)+b(t)$. If either $R'(0)=0$ or $R'(0)$ is a root of unity, then either $f$ is a rational function, or $f$ does not satisfy a polynomial differential equation. More generally a solution of a functional equation of the form $f(R(t))=a(t)f(t)+b(t)$ will be either differentially trascendental or the solution of an inhomogeneous linear differential equation of order $1$ with rational coefficients.
We illustrate how to apply these results to deduce the differential transcendence of combinatorial generating functions by considering three examples: the ordinary generating function for a family of complete trees; the Green function for excursions on the Sierpinski graph; and a series related to the enumeration of permutations avoiding the consecutive pattern 1423.
The proof strategy is inspired by the Galois theory of functional equations and relies on the property of the dynamics of $R$.
Explicit formulas for a family of hypermaps beyond the one-face case
Published in Journal of Combinatorial Theory Series A, 206 (2024), Article 105905
• View Publication
• BIB
Enumeration of hypermaps is widely studied in many fields. In particular, enumerating hypermaps with a fixed edge-type according to the number of faces and genus is one topic of great interest. However, it is challenging and explicit results mainly exist for hypermaps having one face, especially for the edge-type corresponding to maps. The first systematic study of one-face hypermaps with any fixed edge-type is the work of Jackson (Trans.~Amer.~Math.~Soc.~299, 785--801, 1987) using group characters. In 2011, Stanley obtained the generating polynomial of one-face hypermaps of any fixed edge-type expressed in terms of the backward shift operator. There are also enormous amount of work on enumerating one-face hypermaps of specific edge-types. The enumeration of hypermaps with more faces is generally much harder. In this paper, we make some progress in that regard, and obtain the generating polynomials and properties for a family of typical two-face hypermaps with almost any fixed edge-type.
Tropical Möbius strips and ruled surfaces
We consider the enumeration of tropical curves in Möbius strips for two different lattice structures and relate them to the enumeration of curves in two rational ruled surfaces over a complex elliptic curve. Using this correspondence, we prove regularity results such as the piecewise quasi-polynomiality of relative invariants and the quasi-modularity of their generating series.
Perfect Roman Domination and Unique Response Roman Domination
The idea of enumeration algorithms with polynomial delay is to polynomially bound the running time between any two subsequent solutions output by the enumeration algorithm. While it is open for more than four decades if all minimal dominating sets of a graph can be enumerated in output-polynomial time, it has recently been proven that pointwise-minimal Roman dominating functions can be enumerated even with polynomial delay. The idea of the enumeration algorithm was to use polynomial-time solvable extension problems. We use this as a motivation to prove that also two variants of Roman dominating functions studied in the literature, named perfect and unique response, can be enumerated with polynomial delay. This is interesting since Extension Perfect Roman Domination is W[1]-complete if parameterized by the weight of the given function and even W[2]-complete if parameterized by the number vertices assigned 0 in the pre-solution, as we prove. Otherwise, efficient solvability of extension problems and enumerability with polynomial delay tend to go hand-in-hand. We achieve our enumeration result by constructing a bijection to Roman dominating functions, where the corresponding extension problem is polynomimaltime solvable. Furthermore, we show that Unique Response Roman Domination is solvable in polynomial time on split graphs, while Perfect Roman Domination is NP-complete on this graph class, which proves that both variations, albeit coming with a very similar definition, do differ in some complexity aspects. This way, we also solve an open problem from the literature.
Stack-sorting simplices: geometry and lattice-point enumeration
We initiate the study of subpolytopes of the permutahedron that arise as the convex hulls of stack-sorting on permutations. We primarily focus on $Ln1$ permutations, i.e., permutations of length $n$ whose penultimate and last entries are $n$ and $1$, respectively. First, we present some enumerative results on $Ln1$ permutations. Then we show that the polytopes that arise from stack-sorting on $Ln1$ permutations are simplices and proceed to study their geometry and lattice-point enumeration. In addition, we pose questions and problems for further investigation. Particular focus is then taken on the $Ln1$ permutation $23\cdots n1$. We show that the convex hull of all its iterations through the stack-sorting algorithm shares the same lattice-point enumerator as that of the $(n-1)$-dimensional unit cube and lecture-hall simplex. Lastly, we detail some results on the real lattice-point enumerator for variations of the simplices arising from stack-sorting on the permutation $23\cdots n1$. This then allows us to show that those simplices are Gorenstein of index $2$.