enumeration
2301 papers tagged with this keyword
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
Let $G$ be a finite abelian group of order $n$, and let $\mathsf M(G,m)$ denote the set of zero-sum sequences over $G$ of length $m$. We introduce the zero-sum polytope $\mathcal P_G$, a rational polytope of dimension $n-1$, whose lattice points encode zero-sum sequences: \[
|\mathsf M(G,m)|=|m\mathcal P_G\cap \mathbb Z^n|. \] This naturally realizes the enumeration of zero-sum sequences as a problem in rational Ehrhart theory, which leads to a combinatorial reciprocity theorem identifying the negative evaluations of the corresponding counting quasipolynomial with zero-sum sequences of full support. Our main results establish a face-stratified rigidity for zero-sum polytopes: whenever two such polytopes have equal total lattice point counts at specific dilations, the dimension-wise open-face strata are equinumerous. Moreover, we study the natural $\operatorname{Aut}(G)$-action on $\mathcal P_G$, derive equivariant generating functions and reciprocity formulas, and obtain cyclic sieving phenomena for natural cyclic actions.
Enumeration of certain subsets of uprooted trees and spherical parking functions
Spherical $G$-parking functions are a distinguished subset of standard monomials, arising from the skeleton ideals of the $G$-parking function ideal. Explicit spherical $G$-parking function enumeration formulas are known only in a few classes of graphs. In this paper, we consider a family of graphs $\Gl$ ($1\leq \ell \leq n-2$), obtained from the complete bipartite $K_{n+1}$ by deleting the $\ell$ edges joining vertex $1$ to the vertices in $F_\ell= \{n-\ell+1, \ldots, n\}$. The uprooted spanning trees of $\Gl-\{0\}$ are counted by the set $\UnFl$ of uprooted trees with the vertex set $[n]$ in which vertex $1$ is not adjacent to any vertex in $F_\ell$, and we establish that $|\UnFl| = (n-1)^{n-\ell-2}(n-2)^{\ell}(n-\ell-1).$ We derive this formula combinatorially and independently recover it as an application of the matrix tree theorem, obtaining some combinatorial identities as consequences. Finally, we determine the number of spherical $\Gl$-parking functions as $|\SPF(\Gl)| = (n-1)^{n-3}(n-\ell-1)^2.$
Area and water-capacity statistics for upper hulls of Dyck paths
We study Dyck paths refined simultaneously by proper area and water capacity, where water capacity is measured above the path and below its lattice-path upper hull. The finite-height ingredients used in the enumeration are classical bounded-height area-polynomial and continued-fraction objects. The upper-hull decomposition produces a coupled area--capacity substitution, which gives an exact four-variable height expansion with denominator branches indexed by the height levels. The full generating function is asymmetric in the two weights, while the height summands admit a symmetric unreduced denominator representation under interchange of the area and capacity weights. In the open square $0<p,q<1$, we prove that the length radius of $G(x,1,p,q)$ is the minimum of the positive real denominator branches. The proof combines uniform normal convergence of the height expansion below this first branch with a Perron-root representation of the branch locations and an interval log-submodularity theorem for spectral radii of weighted paths. On the diagonal $p=q=s$, the classical Chebyshev specialisation gives explicit branch crossings and a $(1-s)^{2/3}$ branch-envelope accumulation law at the Dyck critical point.
Generating 2-Gray codes for grand Motzkin paths and grand Dyck paths with air pockets in constant amortized time
A grand Motzkin path with air pockets is a non-empty lattice path in the first and fourth quadrant of $\mathbb{Z}^2$, starting at the origin $(0,0)$, ending on the $x$-axis, and consisting of up-steps $(1, 1)$, horizontal steps $(1, 0)$, down-steps $(1, -k)$ where $k \geq 1$, and with no consecutive down-steps. A {grand Dyck path with air pockets} is a grand Motzkin path with air pockets that uses no horizontal steps. We present the first known 2-Gray codes for grand Motzkin paths with air pockets. Setting the number of horizontal steps to zero in our algorithm yields the first known 2-Gray codes for grand Dyck paths with air pockets. Our three-stage algorithm generates each path in constant amortized time per string, using $O(n^2)$ memory. We also provide enumeration formulae for grand Motzkin paths and grand Dyck paths with air pockets.
Enumeration of modular forms for $Γ_1(N)$
This paper considers holomorphic modular forms for $Γ_1(N)$ of integral weight of the form $$f^{(N)}_{\mathbf a}(τ) =q^{s} (q^{N};q^{N})_{\infty}^{a_0}\prod_{j=1}^{\lfloor N/2 \rfloor}(q^j,q^{N-j};q^N)_\infty^{a_j}, \quad \mathbf a = (a_1, \ldots, a_{\lfloor N/2 \rfloor}),$$ for fixed $a_0=2k \in 2 \Bbb Z_{\ge 0}$. We show that the number of relevant exponent vectors $\mathbf a$ is finite and characterize them in terms of the $\mathbb{Q}$-rational cuspidal divisor class group of $X_{1}(N)$. Effective procedures are given for counting the admissible exponents by enumerating the corresponding polytopes. This leads to formulas for the number of exponent vectors in terms of quasipolynomials in $k$.
Finite Kleshchev bipartitions and $q$-trinomial coefficients
The Kleshchev multipartitions arise in the representation theory for the Ariki-Koike algebras. In previous work, Li, Stanton, Xue, Yee, and the author considered a refined enumeration for the $2$-dimensional case, namely, the Kleshchev bipartitions, by invoking the $2$-residue statistic for partitions. In this paper, we make further elaboration by bounding the largest part of the bipartitions and show that the related counting functions are connected with two families of $q$-trinomial coefficients introduced by Andrews and Baxter.
$λ$-Chromatic Polynomials and Polytope Geometry
In this paper, we investigate the notion of the \textit{$λ$-chromatic polynomial} of a graph, which enumerates the number of distinct $L(2,1)$-colorings using colors from a prescribed finite set. We prove that the $λ$-chromatic polynomial of a graph with $n$ vertices is a monic polynomial of degree $n$ and provide a combinatorial interpretation via lattice point enumeration within the framework of inside-out polytopes. Moreover, we compute the $λ$-chromatic polynomial of complete graphs $K_n$ using lattice path enumeration, and we develop a block-gap technique to derive the $λ$-chromatic polynomials for complete bipartite and multipartite graphs. Our approach unifies geometric, combinatorial, and algebraic methods to provide a systematic treatment of $λ$-colorings across various families of graphs.
Constraining Conformal Correlators
We study the space of conformally covariant $n$-point functions of spinning operators using methods from invariant theory, commutative algebra, and combinatorics. We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of $n$-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting formulas for arbitrary integer spins, both with and without Bose symmetry, and discuss a necessary and sufficient condition for the partial conservation operator to lift to a differential operator written in terms of the building blocks. We provide code that generates a basis of three-point structures satisfying these constraints for given values of spins and scaling dimensions.
On certain combinatorial expressions of TASEP transition probabilities
We study combinatorial structures arising from finite-time transition probabilities of the Totally Asymmetric Simple Exclusion Process with open boundary conditions. While much of the existing combinatorial theory regarding the TASEP concerns the steady-state distribution, we focus instead on the transient dynamics. We first show that the enumeration of transition sequences between two configurations of the open TASEP is equivalent to the enumeration of standard Young tableaux of a family of non-classical shapes which have been of recent interest in the combinatorial literature. This extends to the open-boundary setting the correspondence between the TASEP with periodic boundaries and cylindric tableaux.
We then introduce a family of tableau-like objects associated with Young diagrams in which repetitions of cells are allowed, subject to the partial order induced by the diagram. For each diagram, we collect the numbers of these objects into an exponential generating function. We prove that the entries of the homogeneous open TASEP transition matrix can be expressed as signed sums of such generating functions over suitable families of diagrams. This gives a combinatorial and order-theoretic interpretation of finite-time transition probabilities for the open TASEP, analogous to the combinatorial mappings known for steady-state probabilities.
Polytopes and posets associated to preorders
Preorder polytopes, defined from preorders on finite sets, are introduced and studied from a lattice point enumeration point of view. They naturally generalize arbor polytopes, recently introduced and studied by the second named author. Preorder polytopes are shown to be lattice polytopes which satisfy a certain duality relating their Ehrhart polynomials with the zeta polynomials of their posets of lattice points. A combinatorial interpretation of the normalized volume of a preorder polytope is proven, together with formulas for the Ehrhart polynomial and the $h^\ast$-polynomial, and a combinatorial interpretation of the latter is conjectured. Several conjectures and results on the lattice point enumeration of arbor polytopes are generalized to preorder polytopes, new conjectures are proposed and new interesting examples of preorder polytopes are studied.
On partial groups of small order
There are 123,650 partial groups of order at most 9 and 178,937,003 partial groups of order 10. We explain a computer enumeration of these results and provide a complete list of indecomposable partial groups of order at most 5. We also indicate results that were discovered through computational experiments.
Hurwitz numbers of a fixed partition (m, 1^{n-m}) via enumeration of unrooted hypermaps
This manuscript studies a special case of the Hurwitz enumeration problem: for branched covers from genus g compact Riemann surface to the Riemann sphere, with three branch points, and require the branching data at one of the branch points to be of the partition (m 1^{n-m}), obtain a formula of Hurwitz number. The Hurwitz enumeration problem can be transformed into enumeration of a class of unrooted hypermaps. We first provide a enumeration formula for rooted hypermaps, thereby obtaining the weighted Hurwitz numbers. Next give the quantitative relationship between the enumeration of unrooted hypermaps and that of rooted hypermaps in the general setting. Finally, combining these two results, we obtain a formula for the unrooted hypermaps or the Hurwitz numbers in the special setting.
The Closure of LCD-to-GI Reductions via Generalized Inner Products
The Permutation Equivalence Problem (PEP) for linear codes is a fundamental problem in coding theory and cryptography. A recent reduction shows that PEP for Linear Complementary Dual (LCD) codes reduces to Graph Isomorphism (GI) via orthogonal projectors, but is restricted to codes with trivial hull. We prove that this approach extends to bilinear forms $M = aI + bJ$, and that no other nondegenerate symmetric form yields a valid reduction. A code is reducible if and only if its hull dimension is at most $1$ with an explicit condition on the hull vector; in characteristic $2$, only LCD codes are reducible. This establishes the closure of the orthogonal projector method. We derive exact enumeration formulas via character sums over quadratic forms and provide a polynomial-time reduction algorithm.
Finite-state enumeration of adjacency-constrained 132-avoiding permutations
For a fixed integer $m\ge 1$, let $\mathcal{A}_n^{(m)}$ be the set of permutations $π\in S_n$ that avoid the pattern $132$ and satisfy the adjacency bound $|π_{i+1}-π_i|\le m$ for all $i$. Here, a pattern $132$ means three indices $i<j<k$ such that $π_i<π_k<π_j$. A recent study initiated the enumeration of these constrained 132-avoiding permutations, treating the case $m=2$ by deriving a rational ordinary generating function and asking for finite-state decompositions, rational generating functions, and explicit rational formulas for larger fixed $m$. We introduce a two-sided endpoint-state decomposition that works uniformly for every fixed $m$. The state variables impose threshold bounds on the endpoint deficiencies $n-π_1$ and $n-π_n$, with thresholds in $\{0,1,\ldots,m-1,\infty\}$. This gives at most $(m+1)^2$ states and proves that, for every fixed $m$, the ordinary generating function $A^{(m)}(x)$ is rational and can be computed effectively by exact linear algebra. We also identify cyclic strongly connected components of the dependency graph in the finite-state system to give an explicit upper bound for the order of an eventual constant-coefficient recurrence satisfied by the sequence $a_n^{(m)}=|\mathcal{A}_n^{(m)}|$. We then recover the known case $m=2$ from this state system and work out the case $m=3$ explicitly. On the asymptotic side, we prove that the exponential growth constant exists for every $m$; for $m\ge2$ it is obtained from the spectral radii of the two cyclic components with more than one vertex in the state system. We determine the simple-pole asymptotics for $m=2$ and $m=3$, and we prove that the growth constants are nondecreasing in $m$, strictly smaller than the Catalan growth constant $4$ for every finite $m$, and converge to $4$ as $m\to\infty$.
Betti Numbers of Cut Complexes of Squared Paths and a Recurrence Conjecture
For a graph $G$ on $[n]$, the $k$-cut complex $Δ_k(G)$ has facets $[n]\setminus T$, where $T$ ranges over the disconnected $k$-vertex induced subgraphs of $G$. Bayer, Denker, Jelić Milutinović, Sundaram, and Xue proved that the $k$-cut complex of the squared path $P_n^2$ is shellable for $n\ge k+3$ and conjectured a finite-difference recurrence for its top reduced Betti number along every diagonal $n-k=r$. We prove the recurrence by giving the exact formula $β(k,n)=\binom{n-1}{k-1}-\sum_{j=0}^{\min\{k-1,n-k\}}\binom{k-1}{j}(n-k-j+1)+(n-k)$ for $r=n-k\ge3$. Equivalently, for fixed $r\ge3$, the diagonal sequence $B_r(k)=β(k,k+r)$ is a polynomial in $k$ of degree $r-1$, and therefore $\nabla^rB_r(k)=0$. The proof uses a complementary-face enumeration: among complements with size at least $k$, all bad complements have size $k$ or $k+1$, and they are, respectively, connected $k$-subsets of $P_n^2$ and intervals of length $k+1$. The same formula also proves the conjectural closed forms for $k=4,5$.
Cyclic Sieving for Strong Dichotomy Enumeration
Agustín-Aquino solved, in terms of the table of marks of $\Aff(\mathbb{Z}/2k\mathbb{Z})$, the problem of enumerating the classes of bicolour self-complementary and rigid patterns in $\mathbb{Z}/2k\mathbb{Z}$ (also known as \emph{strong dichotomy classes}). In particular, the rigid pattern-inventory polynomial appeared, for odd $k$, to yield the number of strong classes with negative sign when evaluated in $-1$, and it was conjectured that this is true for $k$ a power of an odd prime. Here we prove the conjecture is true for $k$ odd in general.
A probabilistic bijection between twenty-vertex configurations with a free west boundary and Gelfand-Tsetlin patterns avoiding three equal entries in a row
We study a coincidence between two enumerations governed by the same product formula, reminiscent of the Robbins numbers: the unweighted enumeration of twenty-vertex configurations on quadrangular domains with fixed west boundary, and the weighted enumeration of Gelfand-Tsetlin patterns avoiding three equal entries in a row. This coincidence naturally raises the question of whether there is a combinatorial explanation relating these two enumerations. In this paper, we provide such an explanation by constructing a probabilistic bijection between twenty-vertex configurations on quadrangular domains and Gelfand-Tsetlin patterns avoiding three equal entries in a row. Under this probabilistic bijection, the west boundary of a twenty-vertex configuration corresponds to the bottom row of Gelfand-Tsetlin patterns; in particular, the fixed boundary case corresponds to Gelfand-Tsetlin patterns with bottom row $(1, 2, \ldots, n)$. Combining this correspondence with an enumeration formula of Fischer and Schreier-Aigner for Gelfand-Tsetlin pattern avoiding three equal entries in a row with bounded entries, we obtain an enumeration formula for twenty-vertex configurations with a free west boundary.
$p$-Adic Asymptotic Subalgebra Enumeration
We introduce the notion of $p$-adic asymptotics, or $p$-asymptotics, to the context of finite-index subgroup and subalgebra enumeration. For finitely generated groups and finite-dimensional algebras, we connect these asymptotics with the poles of their associated local zeta functions. Our two main results establish the smallest real pole for local zeta functions associated with residually nilpotent algebras, as well as its simplicity and residue whenever this algebra is graded. We thereby provide proof to parts of two conjectures raised by Rossmann and give a precise description of the $p$-asymptotic behaviour inside these algebras.
Equidistribution of mesh patterns of short length
We study the equidistribution of mesh patterns of length 2. We show that the number of equidistribution equivalence classes lies between 105 and 108, and conjecture that it is exactly 105. As a consequence, we obtain an upper bound of 49 Wilf-classes, improving the previously known bound of 56 due to Hilmarsson et al., and reducing the problem to three remaining conjectural equivalences (with the actual number conjectured to be 46).
Our approach combines bijective constructions, generating functions, recurrence relations, and structural symmetries. We establish several new equidistribution results, including four previously unknown distribution classes, connect numerous patterns to known distributions in the literature, and resolve seven open pattern-avoidance enumeration problems posed by Hilmarsson et al.
This work provides a near-complete classification of mesh patterns of length 2 and unifies several previously isolated results within a coherent framework.
Max-tree for d-permutations and pattern avoidance
Higher dimensional permutations are tuples of d-1 permutations that can be identified with a point set in a d-dimensional grid. In N. Bonichon and P.-J. Morel, {\it J. Integer Sequences} 25 (2022), several conjectures regarding the enumeration of pattern avoiding d-permutations were stated.
In this paper, we consider a mapping from d-permutations to $2^{d-1}-$ary trees that naturally generalizes the classical max-tree construction for permutations. We then show that, when restricted to d-permutations avoiding (21,12) and 231, this mapping yields a bijection with d-ary trees. This result resolves one of the conjectures of Bonichon and Morel.