enumeration
2243 papers tagged with this keyword
Enumerating submonoids of finite commutative monoids
Given a finite commutative monoid $M$, we show that submonoids of $M\times [n]$ - where $[n] = \{0,1,\ldots,n\}$ is equipped with the max operation $\vee$ - may be enumerated via the transfer matrix method. When $M$ is also idempotent, we show that there are finitely many integers $λ$ and rational numbers $b_λ$ (only depending on $M$) such that the number of submonoids of $M\times [n]$ is $\sum_λb_λλ^n$. This answers a question of Knuth regarding ternary (and higher order) max-closed relations, and has applications to the enumeration of saturated transfer systems in equivariant infinite loop space theory.
Word Chain Generators for Prefix Normal Words
In 2011, Fici and Lipták introduced prefix normal words. A binary word is prefix normal if it has no factor (substring) that contains more occurrences of the letter 1 than the prefix of the same length. Among the open problems regarding this topic are the enumeration of prefix normal words and efficient testing methods. We show a range of characteristics of prefix normal words. These include properties of factors that are responsible for a word not being prefix normal. With word chains and generators, we introduce new ways of relating words of the same length to each other.
Hyperbinary partitions and q-deformed rationals
A hyperbinary partition of the nonnegative integer n is a partition where every part is a power of 2 and every part appears at most twice. We give three applications of the length generating function for such partitions, denoted by h_q(n). Morier-Genoud and Ovsienko defined the q-analogue of a rational number [r/s]_q in various ways, most of which depend directly or indirectly on the continued fraction expansion of r/s. As our first application we show that [r/s]_q = q h_q(n-1)/h_q(n) where r/s occurs as the nth entry in the Calkin-Wilf enumeration of the non-negative rationals. Next we consider fence posets which are those which can be obtained from a sequence of chains by alternately pasting together maxima and minima. For every n we show there is a fence poset F(n) whose lattice of order ideals is isomorphic to the poset of hyperbinary partitions of n ordered by refinement. For our last application, Morier-Genoud and Ovsienko also showed that [r/s]_q can be computed by taking products of certain matrices which are q-analogues of the standard generators for the special linear group SL(2,R). We express the entries of these products in terms of the polynomials h_q(n).
Asymptotic enumeration of graph factors by cumulant expansion
Let $G$ be a dense graph with good expansion properties and not too close to being bipartite. Let $\boldsymbol d$ be a graphical degree sequence. Under very weak conditions, we find the number of subgraphs of $G$ with degree sequence $\boldsymbol d$ to arbitrary precision. The average degree can be any power of $n$ and the variation in degrees can be very large. The method uses an explicit bound on the tail of the cumulant generating function found by the first author. As a first application, we prove that there is an asymptotic expansion for the number of regular graphs and find several terms explicitly. We believe that this is the first combinatorial application of the Fourier inversion method for which the integral outside the dominant regions cannot be bounded by the integral of the absolute value, and we give a general method for dealing with that situation.
Local Statistics of the $M_n$-Dimer Model
The classical dimer model is concerned with the (weighted) enumeration of perfect matchings of a graph. An $n$-dimer cover is a multiset of edges that can be realized as the disjoint union of $n$ individual matchings. For a probability measure recently defined by Douglas, Kenyon, and Shi, which we call the $M_n$-dimer model, we study random $n$-dimer covers on bipartite graphs with matrix edge weights and produce formulas for local edge statistics and correlations. We also classify local moves that can be used to simplify the analysis of such graphs.
A tail bound for cumulant series for complex functions of independent random variables
We obtain explicit bounds on the truncation error of the cumulant series of a bounded complex function of a random vector with independent components. The bounds are based on multidimensional differences. This extends the theory of the author with Brendan McKay and Rui-Ray Zhang (J. Combin. Th., Ser. B, 2025) from real functions to complex functions. We demonstrate some initial applications including a Berry--Esseen bound, an Edgeworth expansion for triangles in random graphs, and enumeration of regular graphs.
Enumeration of Cayley graphs over a nonabelian group of order $8p$
Let $T_{8p} = \left\langle a,b\mid a^{2p}=b^8=e,a^p=b^4,b^{-1}ab=a^{-1} \right\rangle$ be a nonabelian group of order $8p$, where $p$ is an odd prime number. In this paper, we give the formula to calculate the number of Cayley graphs over $T_{8p}$ up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the formula to calculate the number of connected Cayley graphs over $T_{8p}$ by deleting the disconnected graphs. By applying the results, we list the exact number of (connected) Cayley graphs for $3\leq p \leq 13$.
Random-projector quantum diagnostics of Ramsey numbers and a prime-factor heuristic for $R(5,5)=45$
We introduce a statistical framework for estimating Ramsey numbers by embedding two-color Ramsey instances into a $Z_2 \times Z_2$-graded Majorana algebra. This approach replaces brute-force enumeration with two randomized spectral diagnostics applied to operators of a given dimension d associated with Ramsey numbers: a linear projector $P_{lin}$ and an exponential map $P_{exp}(α)$, suitable for both classical and quantum computation. In the diagonal case, both diagnostics identify R(5,5) at n=45. The quantum realizations act on a reduced module and therefore require only five data qubits plus a few ancillas via block-encoding/qubitization for R(5,5)=45, in stark contrast to the $\binom{n}{2} \approx 10^3$ logical qubits demanded by direct edge encodings. We also provide few-qubit estimates for R(6,6) and R(7,7), and propose a simple "prime-sequence" consistency heuristic that connects R(5,5)=45 to constrained diagonal growth. Our method echoes Erdős's probabilistic paradigm, emphasizing randomized arguments rather than explicit colorings, and parallels the classical coin-flip approach to Ramsey bounds. Finally, we discuss potential applications of this framework to machine learning with a limited number of qubits.
A reflection principle for nonintersecting paths and lozenge tilings with free boundaries
Okada and Stembridge's Pfaffian formula for the enumeration of families of nonintersecting paths with fixed starting points and unfixed ending points has been widely used to resolve many challenging problems in enumerative combinatorics. In this paper, we present a new formula that complements Okada and Stembridge's Pfaffian formula. The proof is based on a formula for the square of the sum of maximum minors of matrices obtained from Okada's formula. The combinatorial interpretation of the new formula gives a reflection principle for nonintersecting paths. It implies that the enumeration of families of nonintersecting paths with unfixed ending points can be resolved by enumerating families of nonintersecting paths with fixed ending points instead. Using this formula, we also show that the enumeration of lozenge tilings of a large family of regions with free boundaries can be deduced from those without free boundaries. We then provide several applications of this result, including 1) a new family of regions whose tiling generating function is given by a simple product formula, 2) a simpler proof of a factorization theorem for lozenge tilings of hexagons with holes, and 3) new determinant formulas for the volume generating functions of shifted plane partitions of a shifted shape and symmetric plane partitions of a symmetric shape.
Congruences modulo powers of $7$ for $k$-elongated plane partitions
The enumeration $d_k(n)$ of $k$-elongated plane partition diamonds has emerged as a generalization of the classical integer partition function $p(n)$. Congruences for $d_k(n)$ modulo certain powers of primes have been proven via elementary means and modular forms by many authors. Recently, Banerjee and Smoot established an infinite family of congruences for $d_5(n)$ modulo powers of 5. In this paper we have discovered an infinite congruence family for $d_3(n)$ and $d_5(n)$ modulo powers of 7.
Formulas and asymptotics of hypergraph Catalan numbers
Tree walks are a class of closed walks on a complete graph constrained to span trees. In this work, we focus on a special subclass called $k$-tours, which were recently introduced by Gunnells and are enumerated by the hypergraph Catalan numbers $ c_n^{(k)}$. Gunnells conjectured an asymptotic formula for $c_n^{(k)}$ which we confirm through an alternative approach to their enumeration. As it turns out, the asymptotic growth is governed by the number of $k$-tours on star-like trees.
On simultaneous $(s, s+t, s+2t, \dots)$-core partitions
We consider simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions in the large-$p$ limit, or (when $s<t$), partitions in which no hook may be of length $s \pmod{t}$. We study generating functions, containment properties, and congruences when $s$ is not coprime to $t$. As a boundary case of the general study made by Cho, Huh and Sohn, we provide enumerations when $s$ is coprime to $t$, and answer positively a conjecture of Fayers on the polynomial behavior of the size of the set of simultaneous $(s,s+t,s+2t,\dots,s+pt)$-core partitions when $p$ grows arbitrarily large. Of particular interest throughout is the comparison to the behavior of simultaneous $(s,t)$-cores.
Enumerating Cayley digraphs on dihedral groups
This paper investigates the enumeration of Cayley digraphs, focusing on counting Cayley digraphs on dihedral groups up to CI-isomorphism. By leveraging the Cauchy-Frobenius Lemma and properties of automorphisms, we derive an explicit formula for the number of non-isomorphic Cayley digraphs on dihedral groups with DCI-property, particularly for the group $\mathrm{D}_{6p}$ with $p>3$ a prime. The enumeration involves detailed analysis of cycle numbers of automorphisms and their actions on the group elements, culminating in a precise count of non-isomorphic digraphs.
Distribution of new statistics of parking functions and their generalizations
In this paper we present new results on the enumeration of parking functions and labeled forests. We introduce new statistics on parking functions, which are then extended to labeled forests via bijective correspondences. We determine the joint distribution of two statistics on parking functions and their counterparts on labeled forests. Our results on labeled forests also serve to explain the mysterious equidistribution between two seemingly unrelated statistics in parking functions recently identified by Stanley and Yin and give an explicit bijection between the two statistics. Extensions of our techniques are discussed, including joint distribution on further refinement of these new statistics.
Non-Hamiltonian 2-regular Digraphs
In earlier papers, we showed a decomposition of 2-diregular digraphs (2-dds) and used it to provide some sufficient conditions for these graphs to be non-Hamiltonian; we also showed a close connection between the permanent and determinant of the adjacency matrices of these digraphs and gave some enumeration and generation results. In the present paper we extend the discussion to a larger class of digraphs, introduce the notions of routes and quotients and use them to provide additional criteria for 2-dds to be non-Hamiltonian. Though individual non-Hamiltonian regular connected graphs of low degree are known (e.g. Tutte and Meredith graphs), families of such graphs are not common in the literature; even scarcer are families of such digraphs. Our results identify a few such families.
One-dimensional Discrete Models of Maximum Likelihood Degree One
We settle a conjecture by Bik and Marigliano stating that the degree of a one-dimensional discrete model with rational maximum likelihood estimator is bounded above by a linear function in the size of its support, therefore showing that there are only finitely many fundamental such models for any given number of states. We study these models from a combinatorial perspective with regard to their existence and enumeration. In particular, sharp models, those whose degree attains the maximal bound, enjoy special properties and have been studied as monomial maps between unit spheres. In this way, we present a novel link between Cauchy-Riemann geometry and algebraic statistics.
On ascent sequences avoiding 021 and a pattern of length four
Ascent sequences of length $n$ avoiding the pattern $021$ are enumerated by the $n$-th Catalan number $C_n=\frac{1}{n+1}\binom{2n}{n}$. In this paper, we extend this result and enumerate ascent sequences avoiding $\{021,τ\}$, where $τ$ is a pattern of length four. We in turn identify all of the corresponding Wilf-equivalence classes and find generating function formulas corresponding to each class. In a couple of cases, we make use of an auxiliary statistic and the kernel method to ascertain the generating function. In several cases, our work of enumeration is shortened by establishing the equivalence of $\{021,τ\}$- and $\{021,τ'\}$-avoiders of a given length through an explicit bijection. As a consequence of our results, one obtains new combinatorial interpretations in terms of ascent sequences for several of the entries in the OEIS.
To see the forest for the trees: On the infinite divisibility of unlabeled forests
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
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.