enumeration
2243 papers tagged with this keyword
Isomorphisms between Covering-Induced Lattices and Classical Geometric Lattices
Lattices induced by coverings arise naturally in matroid theory and combinatorial optimization, providing a structured framework for analyzing relationships between independent sets and closures. In this paper, we explore the structural properties of such lattices, with a particular focus on their rank structure, covering relations, and enumeration of elements per level. Leveraging these structural insights, we investigate necessary and sufficient conditions under which the lattice induced by a covering is isomorphic to classical geometric lattices, including the lattice of partitions, the lattice of subspaces of a vector space over a finite field, and the Dowling lattice. Our results provide a unified framework for comparing these combinatorial structures and contribute to the broader study of lattice theory, matroids, and their applications in combinatorics.
Completing the enumeration of inversion sequences avoiding triples of relations
An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.
$x(1-t(x+x^{-1}))F(x;t) = x-tF(0;t)$
The purpose of these notes is to introduce some of the problems the enumeration of lattice walks is dedicated to and familiarize with some of the arguments they can be addressed with. We discuss the enumeration of lattice walks, their generating functions, and the functional equations they satisfy. We focus on algebraic methods for manipulating and solving these equations. Elementary power series algebra plays a prominent role, computer algebra too, but we repeatedly digress and present ideas and methods of different kind whenever it is appropriate. The exposition is organized around the most simple yet non-trivial problem: the enumeration of simple walks on the half-line. The intention is to illustrate different techniques without getting technical.
Methods for Analyzing RNA Pseudoknots via Chord Diagrams and Intersection Graphs
RNA molecules are known to form complex secondary structures including pseudoknots. A systematic framework for the enumeration, classification and prediction of secondary structures is critical to determine the biological significance of the molecular configurations of RNA. Chord diagrams are mathematical objects widely used to represent RNA secondary structures and to analyze structural motifs, however a mathematically rigorous enumeration of pseudoknots remains a challenge. We introduce a method that incorporates a distance-based metric $τ$ to analyze the intersection graph of a chord diagram associated with a pseudoknotted structure. In particular, our method formally defines a pseudoknot in terms of a weighted vertex cover of a certain intersection graph constructed from a partition of the chord diagram representing the nucleotide sequence of the RNA molecule. In this graph-theoretic context, we introduce a rigorous algorithm that enumerates pseudoknots, classifies secondary structures, and is sensitive to three-dimensional topological features. We implement our methods in MATLAB and test the algorithm on pseudoknotted structures from the bpRNA-1m database. Our findings confirm that genus is a robust quantifier of pseudoknot complexity.
Fibonacci and Lucas numbers arising from two-component spanning forests of wheel graphs
In this paper, we present a constructive bijection between a conditioned spanning forest of the wheel graph $W_{n+1}$ and a spanning tree of the fan graph $F_n$. In addition, by applying the effective resistance formula obtained by Bapat and Gupta \cite{bapat-gupta}, we derive an explicit formula for the number of two-component spanning forests of $W_{n+1}$ in which two specified vertices $u$ and $v$ lie in distinct components. Based on this result, we obtain explicit formulas for the following three conditioned two-component spanning forests $F_{W_{n+1}}(v_1\mid v_2)$, $F_{W_{n+1}}(v_1\mid v_3)$, and $F_{W_{n+1}}(v_1\mid v_c)$. These formulas are $F_{W_{n+1}}(v_1\mid v_2)=2(f_{2n-1}-1)$, $F_{W_{n+1}}(v_1\mid v_3)=2(\ell_{2n-2}-3)$, $F_{W_{n+1}}(v_1\mid v_c)=f_{2n}$, where $f_i$ and $\ell_j$ denote the $i$-th Fibonacci number and $j$-th Lucas number, respectively. As these identities show, the enumerations naturally lead to formulas involving Fibonacci numbers and Lucas numbers. Taken together, these two approaches show a unified perspective. One is the constructive combinatorial bijection, and the other is the analytic method based on effective resistance. Together they provide a new integrated framework for studying the structure of spanning forests on $W_{n+1}$.
Enumeration of multipartite series-reduced trees
We obtain a generating function for the degree sequences and colors of rooted multipartite labeled series-reduced trees. As an application of this result, we determine the number of symbolic ultrametrics (introduced by Böcker and Dress) and increasingly labeled processes. We also find that the number of multipartite labeled series-reduced trees and the colored chain-increasing binary trees are the same. We obtain the number of rooted multipartite unlabeled series-reduced trees. We also find a refinement of the result of Riordan and Shannon.
A matrix approach to the enumeration of naturally labeled posets
We propose a matrix approach for enumerating naturally labeled posets by representing each poset $P$ on $[n]$ as a Boolean poset matrix $A$. This algebraic representation enables a systematic handling of partial orderings through $v$-extensions of the form $A^v=\bigl[\begin{smallmatrix}A&0\\ v&1\end{smallmatrix}\bigr]$. We show that $A^v$ defines a valid poset matrix if and only if the Boolean vector $v$ represents an order ideal of the poset $P$ associated to $A$, equivalently satisfying the fixed-point equation $vA=v$. Furthermore, we explore the twin-class decomposition of $A$, which partitions the elements of $P$ according to identical down- and up-sets. Finally, we present an algorithmic generation scheme for the posets based on the topological growth of their distribution lattices, offering a new approach to constructive enumeration of poset families.
Time to Cycle
Consider the random process that starts with $n$ vertices and no edges, where the edges of $K_n$ are added one at a time in a uniformly chosen random order $e_1, e_2,\ldots, e_{\binom{n}{2}}$. Let $T$ be the earliest time at which $e_1$ belongs to a cycle in this evolving random graph. By solving the appropriate graph enumeration problem we show that $\mathbb{E}[T]=n$. This fact turns out to be an instance of a much more general phenomenon and we are able to extend this theorem to all graphs and even to every matroid.
Solving Admissibility for the Spatial X-Ray Transform On the Two Element Field
The admissibility problem in integral geometry asks for which collections of affine subspaces the Radon transform remains injective. In the discrete setting, this becomes a purely combinatorial question about recovering a function on a finite vector space from its sums over a prescribed family of affine subspaces. In this paper, we study the spatial X-ray transform (line transform) over the finite vector spaces $\mathbb{Z}_{2}^{n}$ and give a complete structural and enumerative description of admissible line complexes in $\mathbb{Z}_{2}^{4}$. We prove that any admissible line complex in $\mathbb{Z}_{2}^{4}$ can be obtained by taking a disjoint union of one or more odd cycles and attaching trees to the cycle vertices. Using this structural description, we carry out a systematic case-by-case enumeration of all admissible complexes in $\mathbb{Z}_{2}^{4}$ and derive an exact total count. We then generalize our approach to an algorithm that applies to $\mathbb{Z}_{2}^{n}$ for arbitrary $n$, and we then implement it to obtain the total number of admissible complexes in $\mathbb{Z}_{2}^{5}$. Our results extend previous small-dimensional classifications and provide an algorithmic framework for studying admissibility in higher dimensions. Beyond their intrinsic combinatorial interest, these structures model discrete sampling schemes for tomographic imaging, and they suggest further connections between admissibility, incidence matrices, and spectral properties of the associated graphs.
Arndt and Carlitz Compositions
Carlitz considered integer compositions in which adjacent parts must be unequal. Arndt recently initiated the study of restricted compositions based on conditions applied to certain pairs of parts rather than to individual parts. Here, we combine and generalize these notions, establishing enumeration results using both combinatorial proofs and generating functions. Motivations for our generalizations include the gap-free compositions studied by Hitczenko and Knopfmacher and the Rogers-Ramanujan integer partitions.
Enumeration of Finite Distance Monoids
Building on the work of Gabriel Conant, we investigate the enumeration problems of finite distance monoids by applying the decomposition of Archimedean classes and studying their internal arithmetic progressions. Specifically, we first determine the exact value of $DM(n,2)$, which denotes the number of distance monoids on $n$ non-zero elements with Archimedean complexity $2$. This computation allows us to resolve a conjecture of Conant, establishing that the total number $DM(n)$ of distance monoids grows at least exponentially in $n$. Furthermore, we study the asymptotic behavior of $DM(n,n-k)$ for fixed $k$, proving that $DM(n,n-k) = O(n^k)$ and providing an exact formula for $DM(n,n-2)$.
Enumeration of maps with the Dumitriu-Edelman model
We give an expansion in $1/N$ and $β$ of the cumulants of power sums of the particles of the $β$-ensemble. This new expansion is obtained using the tridiagonal model of Dumitriu and Edelman. The coefficients of the expansion are expressed in terms of suitably labelled maps introduced by Bouttier, Fusy, and Guitter. Our expansion is of a different nature than the one obtained by LaCroix in is study of the $b$-conjecture of Goulden and Jackson, and involves only orientable maps. We are able to relate bijectively the first two orders of our expansion to the one of LaCroix using a novel many-to-one mapping that relates suitably labelled planar maps with two minima and maps on the projective plane.
Crystal skeleton polynomials with major index, charge and depth
We introduce a new family of polynomials, crystal skeleton polynomials, to better understand enumeration of standard Young tableaux, quasi-Yamanouchi tableaux and interactions with Gessel's expansion of a Schur function, quasi-crystals and crystal skeletons as Maas-Gariépy introduced in 2023. After developing calculus of those polynomials, we organize thoughts on major index, charge, depth, inversions with RSK correspondence and a bivariate factorial. Also, we revisit the theorem on internal zeros of fake degree polynomials by Billey--Konvalinka--Swanson (2020). These results altogether improve Gessel's expansion.
Asymptotic enumeration via graph containers and entropy
The container methods are powerful tools to bound the number of independent sets of graphs and hypergraphs, and they have been extremely influential in the area of extremal and probabilistic combinatorics. We will focus on more specialized graph container methods due to Sapozhenko (1987) that deal with sets in expander graphs. Entropy, first introduced by Shannon (1948) in the area of information theory, is a measure of the expected amount of information contained in a random variable. Entropy has seen lots of fascinating applications in a wide range of enumeration problems. In this survey article, we will discuss recent developments that exploit a combination of the two methods on enumerating graph homomorphisms.
Matrix Quasi-tree Theorem
Building on prior work that established Matrix Quasi-tree Theorems for special embedded graphs, in this paper, we develop a comprehensive theory applicable to all embedded graphs. We introduce symbolic skew-adjacency matrices and reduction maps as key innovations, and prove that a specific polynomial derived from these matrices encodes all spanning quasi-trees of a bouquet. This result provides a complete analogue of the Matrix Tree Theorem for topological graph theory, with applications to quasi-tree enumeration in both orientable and non-orientable embedded graphs.
Enumeration of Autocatalytic Subsystems in Large Chemical Reaction Networks
Autocatalysis is an important feature of metabolic networks, contributing crucially to the self-maintenance of organisms. Autocatalytic subsystems of chemical reaction networks (CRNs) are characterized in terms of algebraic conditions on submatrices of the stoichiometric matrix. Here, we derive sufficient conditions for subgraphs supporting irreducible autocatalytic systems in the bipartite König representation of the CRN. On this basis, we develop an efficient algorithm to enumerate autocatalytic subnetworks and, as a special case, autocatalytic cores, i.e., minimal autocatalytic subnetworks, in full-size metabolic networks. The same algorithmic approach can also be used to determine autocatalytic cores only. As a showcase application, we provide a complete analysis of autocatalysis in the core metabolism of E. coli and enumerate irreducible autocatalytic subsystems of limited size in full-fledged metabolic networks of E. coli, human erythrocytes, and Methanosarcina barkeri (Archea). The mathematical and algorithmic results are accompanied by software enabling the routine analysis of autocatalysis in large CRNs.
Symmetries of p-polygons
In addition to general considerations, the present work includes the enumeration of the equivalence-classes of p-polygons with p vertices for p bigger than 3 with certain symmetry properties: 1. We count the equivalence-classes of p-polygons with p symmetry axes, the so called regular polygons. 2. We count the equivalence-classes of p-polygons with exactly one axis of symmetry. 3. We count the equivalence-classes of p-polygons with no axis of symmetry, the so called asymmetrical p-polygons. For p = 5 and p = 7 we show in all three cases a set of representatifs of the equivalenceclasses.
Enumeration of paths in a hexagonal circle packing
We investigate paths in the hexagonal circle packing and enumerate them with respect to width, height, number of steps, area, and kissing number. Functional equations and the kernel method yield closed bivariate generating functions together with coefficient formulas and asymptotics. We establish bijections with skew Dyck paths, constrained Motzkin paths, and peakless Motzkin paths, and show that several of the associated counting arrays are Riordan arrays. Continued-fraction expansions for the area and kissing-number enumerators are also obtained.
Professor Preece's tredoku tilings
Shortly before he died in 2014, Donald Preece gave two talks about what he called tredoku tilings, inspired by the puzzle of the same name. In these talks he presented a conjecture about the existence of these tilings that has been proved recently by Simon Blackburn. This paper provides an overview of Donald's work in this area, including his work on a natural generalisation of a tredoku tiling that he called a quadridoku tiling. Additionally, the paper gives alternative proofs of some parts of the existence theorem for tredoku tilings, presents a computer enumeration of the isomorphism classes of tredoku tilings with up to 16 tiles and provides a brief introduction to tilings with holes.
Enumeration of Even Dimensional Partitions modulo 4
The number of standard Young tableaux possible of shape corresponding to a partition $λ$ is called the dimension of the partition and is denoted by $f^λ$. Partitions with odd dimensions were enumerated by McKay and were further characterized by Macdonald using the theory of 2-core towers. We use the same theory to extend the results to partitions of $n$ with dimensions congruent to 2 modulo 4 which are enumerated by $a_2(n)$. We provide explicit results for $a_2(n)$ when $n$ has no consecutive 1s in its binary expansion and give a recursive formula to compute $a_2(n)$ for all $n$.