enumeration
2301 papers tagged with this keyword
To see the forest for the trees: On the infinite divisibility of unlabeled forests
Published
• View Publication
• BIB
Inspired by Stufler's recent probabilistic proof of Otter's asymptotic number of unlabeled trees, we revisit work of Palmer and Schwenk, and study unlabeled forests from a probabilistic point of view. We show that the number of trees in a random forest converges, with all of its moments, to a shifted compound Poisson. We also find the asymptotic proportion of forests that are trees. The key fact is that the number of trees $t_n$ and forests $f_n$ are related by a Lévy process. As such, the results by Palmer and Schwenk follow by an earlier and far-reaching limit theory by Hawkes and Jenkins. We also show how this limit theory implies results by Schwenk and by Meir and Moon, related to degrees in large random trees. Our arguments apply, more generally, to the enumeration of sub-exponentially weighted integer partitions, or, in fact, any setting where the underlying Lévy process follows the one big jump principle.
Almost all cographs have a cospectral mate
Published
• View Publication
• BIB
Complement-reducible graphs (or cographs) are the graphs formed from the single-vertex graph by the operations of complement and disjoint union. By combining the Johnson-Newman theorem on generalized cospectrality with the standard tools in the asymptotic enumeration of trees, we show that almost all cographs have a cospectral mate. This result can be viewed as an analogue to a well-known result by Schwenk, who proved that almost all trees have a cospectral mate.
Elliptic Curves, Riordan arrays and Lattice Paths
In this note, we show that to each elliptic curve of the form $$y^2-axy-y=x^3-bx^2-cx,$$ we can associate a family of lattice paths whose step set is determined by the parameters of the elliptic curve. The enumeration of these lattice paths is by means of an associated Riordan array. The curves and the paths have associated Somos $4$ sequences which are essentially the same. For the curves the link to Somos $4$ sequences is a classical result, via the elliptic divisibility sequence. For the paths the link is via a Hankel transform.
Domino tilings, nonintersecting lattice paths and subclasses of Koutschan-Krattenthaler-Schlosser determinants
Published
• View Publication
• BIB
Koutschan, Krattenthaler and Schlosser recently considered a family of binomial determinants. In this work, we give combinatorial interpretations of two subclasses of these determinants in terms of domino tilings and nonintersecting lattice paths, thereby partially answering a question of theirs. Furthermore, the determinant evaluations established by Koutschan, Krattenthaler and Schlosser produce many product formulas for our weighted enumerations of domino tilings and nonintersecting lattice paths. However, there are still two enumerations left corresponding to conjectural formulas made by the three. We hereby prove the two conjectures using the principle of holonomic Ansatz plus the approach of modular reduction for creative telescoping, and hence fill the gap.
Evasive sets, twisted varieties, and container-clique trees
Published
• View Publication
• BIB
In the affine space $\mathbb{F}_q^n$ over the finite field of order $q$, a point set $S$ is said to be $(d,k,r)$-evasive if the intersection between $S$ and any variety, of dimension $k$ and degree at most $d$, has cardinality less than $r$. As $q$ tends to infinity, the size of a $(d,k,r)$-evasive set in $\mathbb{F}_q^n$ is at most $O\left(q^{n-k}\right)$ by a simple averaging argument. We exhibit the existence of such evasive sets of sizes at least $Ω\left(q^{n-k}\right)$ for much smaller values of $r$ than previously known constructions, and establish an enumerative upper bound $2^{O(q^{n-k})}$ for the total number of such evasive sets. The existence result is based on our study of twisted varieties. In the projective space $\mathbb{P}^n$ over an algebraically closed field, a variety $V$ is said to be $d$-twisted if the intersection between $V$ and any variety, of dimension $n - \dim(V)$ and degree at most $d$, has dimension zero. We prove an upper bound on the smallest possible degree of twisted varieties which is best possible in a mild sense. The enumeration result includes a new technique for the container method which we believe is of independent interest. To illustrate the potential of this technique, we give a simpler proof of a result by Chen--Liu--Nie--Zeng that characterizes the maximum size of a collinear-triple-free subset in a random sampling of $ \mathbb{F}_q^2$ up to polylogarithmic factors.
Automated Counting of Spanning Trees for Several Infinite Families of Graphs
Published
• View Publication
• BIB
Using the theoretical basis developed by Yao and Zeilberger, we consider certain graph families whose structure results in a rational generating function for sequences related to spanning tree enumeration. Said families are Powers of Cycles and Powers of Path; later, we briefly discuss Torus graphs and Grid graphs. In each case we know, a priori, that the set of spanning trees of the family of graphs can be described in terms of a finite-state-machine, and hence there is a finite transfer-matrix that guarantees the generating function is rational. Finding this ``grammar'', and hence the transfer-matrix is very tedious, so a much more efficient approach is to use experimental mathematics. Since computing numerical determinants is so fast, one can use the matrix tree theorem to generate sufficiently many terms, then fit the data to a rational function. The whole procedure can be done rigorously a posteriori.
Independent Set Enumeration and Estimation of Related Constants of Grid Graphs and Their Variants
We applied tensor network contraction algorithms to compute the hard-core lattice gas model, i.e., the enumeration of independent sets on grid graphs. We observed the influence of surface effect and parity effect on the enumeration (and entropy), and derived upper and lower bounds for both the combinatorics entropy and the coefficients of surface effect by numerical analysis.
Additionally, we conducted corresponding calculations and analyses for triangular grid graphs, king graph, and cylindrical grid graph. We computed and analyzed their associated constants and compared how different adjacency and boundary conditions affect these constants.
Our computational results have contributed substantial new terms to the OEIS sequence A089980, A027740, A219741, A226444, A245013 and A286513. In addition, we have provided fairly accurate estimates of the relevant constants through numerical analysis of the obtained results. Among them, our valuation of the hard square entropy constant is more accurate than existing results. And we conject that the surface effect of the periodic boundary of the cylindrical grid graph is $0$--its estimated value of coefficients is very close to $0$.
Translating between the representations of an acyclic convex geometry of bounded degree
We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph dualization problem, even in the context of acyclic convex geometries, i.e., closure systems admitting an acyclic implicational base. This paper studies this later class with a focus on the degree, which corresponds to the maximal number of implications in which an element occurs. We show that the problem is tractable for bounded values of this parameter, even when relaxed to the notions of premise- and conclusion-degree. Our algorithms rely on structural properties of acyclic convex geometries and involve various techniques from algorithmic enumeration such as solution graph traversal, saturation techniques, and a sequential approach leveraging from acyclicity. They are shown to perform in incremental-polynomial time. Finally, we complete these results by showing that our running times cannot be improved to polynomial delay using the standard framework of flashlight search.
Enumeration of geometric Weierstrass points of metric graphs
A classical result states that on a smooth algebraic curve of genus $g$ the number of Weierstrass points, counted with multiplicity, is $g^3-g$. In this paper, we introduce the notion of geometric Weierstrass points of metric graphs and show that a generic metric graph of genus $g$ has $g^3-g$ geometric Weierstrass points counted with multiplicity. Our methods also provide a new proof of the existence of Weierstrass points on metric graphs of genus bigger than or equal to $2$.
Statistics of maximal independent sets in grid-like graphs
An independent set $I$ in a graph $G$ is maximal if $I$ is not properly contained in any other independent set of $G$. The study of maximal independent sets (MIS's) in various graphs is well-established, often focusing upon enumeration of the set of MIS's. For an arbitrary graph $G$, it is typically quite difficult to understand the number and structure of MIS's in $G$; however, when $G$ has regular structure, the problem may be more tractable. One class of graphs for which enumeration of MIS's is fairly well-understood is the rectangular grid graphs $G_{m\times n}$.
We say a graph is grid-like if it is locally isomorphic to a square grid, though the global structure of such a graph might resemble a surface such as a torus or Möbius strip. We study the properties of MIS's in various types of grid-like graphs, in particular determining parity of the set of MIS's, average size of MIS's, and number of pairwise non-isomorphic MIS's in various grid-like graphs.
An Explicit Formula for Vertex Enumeration in the CUT(n) Polytope via Probabilistic Methods
We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work.
Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula.
The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.
Enumeration of subsets with closedness in finite fields of characteristic 2
The additive closedness in the subset of an additive group is termed as r-value. The nature of closedness in different subsets of fixed size is observed as a spectrum of r-values. We enumerate r-values of subsets in finite fields of characteristic 2 and represent them as the spectrum of values. Based on these values the subsets can be further studied as partial Steiner triple systems, sum-free sets, Sidon sets, and Schure triples.
Richardson tableaux and components of Springer fibers equal to Richardson varieties
Motivated by the study of Springer fibers and their totally nonnegative counterparts, we define a new subset of standard tableaux called Richardson tableaux. We characterize Richardson tableaux combinatorially using evacuation as well as in terms of a pair of associated reading words. We also characterize Richardson tableaux geometrically, proving that a tableau is Richardson if and only if the corresponding component of a Springer fiber is a Richardson variety, which in turn holds if and only if its positive part is a top-dimensional cell of the totally nonnegative Springer fiber studied by Lusztig (2021). We prove that each such component is smooth by leveraging a combinatorial description of the corresponding pair of reading words, generalizing a result of Graham-Zierau (2011). Another application is that the cohomology classes of these components can be computed in the Schubert basis using Schubert calculus. Finally, we show that the enumeration of Richardson tableaux is surprisingly elegant: the number of Richardson tableaux of fixed partition shape is a product of binomial coefficients, and the number of Richardson tableaux of size $n$ is the $n$th Motzkin number. As a result, we obtain a novel refinement for the Motzkin numbers, as well as a formula for the number of top-dimensional cells in the totally nonnegative Springer fiber.
Odd-indexed Fibonacci numbers via pattern-avoiding permutations
In this paper, we consider several combinatorial problems whose enumeration leads to the odd-indexed Fibonacci numbers, including certain types of Dyck paths, block fountains, directed column-convex polyominoes, and set partitions with no crossings and no nestings. Our goal is to provide bijective maps to pattern-avoiding permutations and derive generating functions that track certain positional statistics at the permutation level.
Counting Small Cycle Double Covers
A theorem due to Seyffarth states that every planar $4$-connected $n$-vertex graph has a cycle double cover (CDC) containing at most $n-1$ cycles (a "small" CDC). We extend this theorem by proving that, in fact, such a graph must contain linearly many small CDCs (in terms of $n$), and provide stronger results in the case of planar $4$-connected triangulations. We complement this result with constructions of planar $4$-connected graphs which contain at most polynomially many small CDCs. Thereafter we treat cubic graphs, strengthening a lemma of Hušek and Šámal on the enumeration of CDCs, and, motivated by a conjecture of Bondy, give an alternative proof of the result that every planar 2-connected cubic graph on $n > 4$ vertices has a CDC of size at most $n/2$. Our proof is much shorter and obtained by combining a decomposition based argument, which might be of independent interest, with further combinatorial insights. Some of our results are accompanied by a version thereof for CDCs containing no cycle twice.
The space of multifurcating ranked tree shapes: enumeration, lattice structure, and Markov chains
Coalescent models of bifurcating genealogies are used to infer evolutionary parameters from molecular data. However, there are many situations where bifurcating genealogies do not accurately reflect the true underlying ancestral history of samples, and a multifurcating genealogy is required. The space of multifurcating genealogical trees, where nodes can have more than two descendants, is largely underexplored in the setting of coalescent inference. In this paper, we examine the space of rooted, ranked, and unlabeled multifurcating trees. We recursively enumerate the space and then construct a partial ordering which induces a lattice on the space of multifurcating ranked tree shapes. The lattice structure lends itself naturally to defining Markov chains that permit exploration on the space of multifurcating ranked tree shapes. Finally, we prove theoretical bounds for the mixing time of two Markov chains defined on the lattice, and we present simulation results comparing the distribution of trees and tree statistics under various coalescent models to the uniform distribution on this tree space.
Introducing a vertex polynomial invariant for embedded graphs
Published
• View Publication
• BIB
The ribbon group action extends geometric duality and Petrie duality by defining two embedded graphs as twisted duals precisely when they lie within the same orbit under this group action. Twisted duality yields numerous novel properties of fundamental graph polynomials. In this paper, we resolve a problem raised by Ellis-Monaghan and Moffatt [Trans. Amer. Math. Soc. 364 (2012), 1529--1569] for vertex counts by introducing the vertex polynomial: a generating function quantifying vertex distribution across orbits under the ribbon group action. We establish its equivalence via transformations of boundary component enumeration and derive recursive relations through edge deletion, contraction, and twisted contraction. For bouquets, we prove the polynomial depends only on signed intersection graphs. Finally, we provide topological interpretations for the vertex polynomial by connecting this polynomial to the interlace polynomial and the topological transition polynomial.
On the enumeration of double cosets and self-inverse double cosets
Published
• View Publication
• BIB
Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this paper we present various formulas enumerating double cosets, and in particular self-inverse double cosets. We study double cosets in classical groups, especially the symmetric groups and the general linear groups, explaining how to obtain the informations on their conjugacy classes required to apply our formulas. We also consider double cosets of parabolic subgroups of Coxeter groups of type B.
Perfect $1$-factorisations of $K_{11,11}$
A perfect $1$-factorisation of a graph is a decomposition of that graph into $1$-factors such that the union of any two $1$-factors is a Hamiltonian cycle. A Latin square of order $n$ is row-Hamiltonian if for every pair $(r,s)$ of distinct rows, the permutation mapping $r$ to $s$ has a single cycle of length $n$. We report the results of a computer enumeration of the perfect $1$-factorisations of the complete bipartite graph $K_{11,11}$. This also allows us to find all row-Hamiltonian Latin squares of order $11$. Finally, we plug a gap in the literature regarding how many row-Hamiltonian Latin squares are associated with the classical families of perfect $1$-factorisations of complete graphs.
On 102-avoiding inversion sequences
Published
• View Publication
• BIB
In this article, we provide a bijection between the set of inversion sequences avoiding the pattern 102 and the set of 2-Schröder paths having neither peaks nor valleys and ending with a diagonal step. To achieve this, we introduce two intermediate objects, called UVD paths and labeled $F$-paths, and establish bijections among all four families. For each of these combinatorial objects, we define a natural statistic and enumerate the corresponding structures with respect to this statistic. In addition, we study inversion sequences avoiding 102 and another pattern of length 3, providing refined enumerations according to the same statistic.