enumeration
2243 papers tagged with this keyword
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.
Hypermaps with hyperedges of length at most $3$
We study the computation of our recently introduced Whitney polynomial and the enumeration of the spanning hypertrees for hypermaps whose hyperedges have length at most $3$. This is a class of hypermaps where the computation of the above invariants depends only on the underlying (multi)hypergraph structure. We develop deletion-contraction formulas involving six types of generalized loops and bridges, and we prove results on special substitutions into our Whitney polynomial. We generalize the reliability polynomial and the random cluster model to hypermaps in general in such a way that they can be computed using our Whitney polynomial. Finally we explicitly count the spanning hypertrees in reciprocals of plane graphs in which every vertex has degree at most $3$.
Subgraphs versus Orientations: Infinite families of equidistributions
A classical enumerative result states that, given a graph $G$ and a vertex $u$, the number of connected subgraphs of $G$ is equal to the number of orientations of $G$ such that every vertex can reach $u$ by a directed path. We show that this result is an instance of a much broader set of enumerative identities between subgraphs and orientations corresponding to various connectivity constraints. Namely, given two sets of pairs of vertices $A=\{(u_i,v_i), i\in[k]\}$ and $B=\{(u_i',v_i'), i\in[l]\}$, we consider the orientations $α$ of $G$ such that adding the elements of $A$ and $B$ as additional directed edges to $α$ gives an orientation $α'$ in which $v_i$ cannot reach $u_i$ for all $i\in[k]$, but $v_i'$ can reach $u_i'$ for all $i\in[l]$. We show that this set of orientations is equinumerous to a set of subgraphs satisfying the ``same" connectivity constraints defined in terms of $A$ and $B$.
We also extend our results to the enumeration of equivalence classes of orientations satisfying such connectivity constraints. Precisely, we consider the equivalence classes under cycle reversal, cocycle reversal, or cycle-cocycle reversal. We show that the equivalences classes are equinumerous to some sets of subgraphs defined by connectivity and acyclicity constraints.
Counting symmetric unimodular triangulations
The objects of study are triangulations of the dilated standard triangle in the plane. Motivated by work on T-curves (Geiselmann et al., 2026), the focus lies on unimodular triangulations with a fixed symmetry axis. Lower and upper bounds are given, in combination with full enumerations of a few small cases.
Analytic Properties of Necklace Polynomials
The necklace polynomials \[ M_n(x)=\frac1n\sum_{d\mid n}μ(d)x^{n/d} \] play a central role in discrete mathematics: they count aperiodic necklaces, enumerate monic irreducible polynomials over finite fields, and give the dimensions of homogeneous components of free Lie algebras. Despite their inherently discrete origins, we show that treating $M_n(x)$ as a function of a real variable $x$ unlocks surprising structural properties that answer natural enumerative questions. In this paper, we study $M_n(x)$ as a real-variable function and establish several new analytical and monotonicity properties. We prove that the normalized functions $M_n(x)/x^n$ and their higher normalized derivatives are strictly increasing on $[1,\infty)$. As a consequence, we show that the proportion of irreducible polynomials of fixed degree over $\mathbf F_q$ increases with $q$. We also establish strict growth with respect to the degree $n$ for $x\ge2$. In addition, we determine a sharp threshold for log-convexity: the sequence $\{M_n(x)\}_{n\ge2}$ is uniformly log-convex if and only if $x>8$. These results reveal unexpected analytic structure underlying necklace polynomials and show how real-variable methods can yield new information about discrete enumeration problems. For instance, it is shown that adding one more bead to a sufficiently long necklace will approximately increase the total number of primitive, rotationally distinct configurations by a factor of the number of available colors.
Motzkin paths with two variants of level steps on odd levels -- a kernel method approach
The sequence A176677 in the Encyclopedia of Integer Sequences enumerates Motzkin paths where two types of horizontal steps may occur, but only on odd indexed levels. We show how to perform the enumeration, also dealing with partial such Motzkin paths leading to a particular level or to any level (open paths). The method is the kernel method where functional equations are manipulated in a suitable way. The coefficients of sequence A176677 satisfy a holonomic recursion that was recently discussed on the arxiv. We show how this can be established in an (almost) automatic fashion. Eventually we switch the roles of `odd' and `even'. One could also allow more versions of horizontal steps but we leave this to the interested readers.
Counting Spinal Tree-Child Networks via Word Encodings and Generating Functions
We study the enumeration of spinal tree-child phylogenetic networks, a rigid family of tree-child networks in which all internal vertices lie on a single root--to--leaf path. We provide two complementary combinatorial frameworks. First, we introduce a word model: unlabeled spinal networks correspond to a suitable class of restricted words with fixed multiplicities, taken modulo a simple relabeling equivalence, which yields an explicit closed enumeration. Second, we develop a symbolic-method approach based on a marked version of trees that admits a clean recursive specification; its boxed-product translation leads to a solvable bivariate generating function and a direct derivation of the coefficients.
Symmetric Sudoku-Type Games from Perfect Codes
Published
• View Publication
• BIB
This paper presents a novel construction method for symmetric Sudoku-type games based on Lee distance perfect codes and diameter perfect codes. The proposed method utilizes the tiling property of these codes to define the structure of the subgrid constraints of Sudoku-type games. In this way, our games inherit the symmetric properties of Sudoku. We provide a detailed analysis of two small cases: a $5 \times 5$ Sudoku in $\mathbb{Z}_5^2$, and an $8 \times 8$ Sudoku in $\mathbb{Z}_8^2$. By defining equivalence relations via rigid motions, we provide a complete enumeration of valid grids, identifying 17 inequivalent solutions for $5\times 5$ Sudoku. For two different types of $8\times 8$ Sudoku, we characterize 232,735 and 304,014 inequivalent solutions, respectively. Furthermore, to verify practical playability, we implement a human-like solver that assesses the difficulty of the generated games. The analysis confirms that our $5\times5$ Sudoku games offer a balanced distribution of difficulty levels, ranging from Easy to Hard, making them a viable alternative to traditional $9 \times 9$ Sudoku.
The vertex Folkman number $F_v(3,3;5)$ equals~$8$
The vertex Folkman number $F_v(s,t;k)$ is the smallest $n$ for which there exists a $K_k$-free graph on $n$ vertices whose vertices cannot be $2$-colored without producing a monochromatic copy of $K_s$ or $K_t$. We show $F_v(3,3;5)=8$. The witness is the cone $K_1 \vee \overline{C_7}$, a single universal vertex joined to the complement of a $7$-cycle. That this graph is $K_5$-free and arrows $(3,3)^v$ follows from a short independence-number argument. The matching lower bound -- no $K_5$-free graph on $7$ or fewer vertices works -- comes from exhaustive enumeration via nauty and a SAT check using Glucose\,4. The appendix has a self-contained Python script for verification.
CombOL: a Library for Practical Enumeration and Boltzmann Sampling of Combinatorial Classes
We present CombOL (Combinatorial Objects Library), an open-source library for the enumeration and Boltzmann sampling of combinatorial classes. Classes can be specified by a concise string syntax, and may depend on an arbitrary number of parameters. CombOL automatically derives the associated generating functions, enabling the generation of counting sequences and the compilation of Boltzmann samplers. The library supports exact and approximate-size Boltzmann rejection sampling with automatic parameter tuning to target specific sizes. In addition to implementing established methods, CombOL contributes a novel early-rejection scheme, as well as guaranteed statistical correctness by dynamically increasing the numerical precision, eliminating bias due to floating-point rounding errors. Through the Python interface, sampled structures can be mapped to application-specific objects, enabling direct sampling of domain objects such as graphs, chemical structure representations, or other complex data types. CombOL is available from PyPI as 'combol' (pypi.org/project/combol). The source code is available at gitlab.com/casbjorn/combol.
A Partition-Based Generating Function for Row-Convex Polyominoes
An alternative generating function is proposed to enumerate row-convex polyominoes without internal holes on a discrete grid. The approach is based on integer partitions of the total area, where each partition corresponds to a sequence of row lengths, and the product of all permutations of the parts accounts for all possible horizontal alignments of consecutive rows. Summing over the products yields a formula for the total number of convex polyominoes of a given size. Numerical examples are provided for small areas, and the exact generating function is derived via a transfer series argument, establishing the asymptotic growth S(N) as A2^(N) cos(N*theta) + phi) with theta = arctan(sqrt(7)/3). The method establishes a direct connection between integer partitions and polyomino enumeration, offering a simple yet effective framework for both exact and asymptotic combinatorial analysis. Potential applications include shape priors in discrete image analysis, grid-based modeling, and combinatorial generation of convex structures.
A bibasic double sum extension of a $q$-binomial theorem arising out of subspace enumeration
We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.