enumeration
2243 papers tagged with this keyword
On enumeration of spanning trees of complete multipartite graphs containing a fixed spanning forest
We present a determinantal formula for the number of spanning trees of a complete multipartite graph containing a given spanning forest $F$. Our approach relies on the Generalized Matrix Determinant Lemma and Jacobi's formula for the derivative of a determinant. This work generalizes known results for complete bipartite graphs and offers an algebraic perspective on the problem.
Asymptotic Enumeration of Subclasses of Level-$2$ Phylogenetic Networks
Published in Proceedings of the 13th European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'25), 2025
• Search Publication
This paper studies the enumeration of seven subclasses of level-$2$ phylogenetic networks under various planarity and structural constraints, including terminal planar, tree-child, and galled networks. We derive their exponential generating functions, recurrence relations, and asymptotic formulas. Specifically, we show that the number of networks of size $n$ in each class follows: \[ N_n \sim c \cdot n^{n-1} \cdot γ^n, \] where $c$ is a class-specific constant and $γ$ is the corresponding growth rate. Our results reveal that being terminal planar can significantly reduce the growth rate of general level-2 networks, but has only a minor effect on the growth rates of tree-child and galled level-2 networks. Notably, the growth rate of 3.83 for level-$2$ terminal planar galled tree-child networks is remarkably close to the rate of 2.94 for level-$1$ networks.
Quaternionic Perfect Sequences and Hadamard Matrices
A finite sequence of numbers is perfect if it has zero periodic autocorrelation after a nontrivial cyclic shift. In this work, we study quaternionic perfect sequences having a one-to-one correspondence with the binary sequences arising in Williamson's construction of quaternion-type Hadamard matrices. Using this correspondence, we devise an enumeration algorithm that is significantly faster than previously used algorithms and does not require the sequences to be symmetric. We implement our algorithm and use it to enumerate all circulant and possibly non-symmetric Williamson-type matrices of orders up to 21; previously, the largest order exhaustively enumerated was 13. We prove that when the blocks of a quaternion-type Hadamard matrix are circulant, the blocks are necessarily pairwise amicable. This dramatically improves the filtering power of our algorithm: in order 20, the number of block pairs needing consideration is reduced by a factor of over 25,000. We use our results to construct quaternionic Hadamard matrices of interest in quantum communication and prove they are not equivalent to those constructed by other means. We also study the properties of quaternionic Hadamard matrices analytically, and demonstrate the feasibility of characterizing quaternionic Hadamard matrices with a fixed pattern of entries. These results indicate a richer set of properties and suggest an abundance of quaternionic Hadamard matrices for sufficiently large orders.
Almost all standard double covers of abelian Cayley graphs have smallest possible automorphism groups
The standard double cover of a graph $Γ$ is the direct product $Γ\times K_2$. A graph $Γ$ is said to be stable if all the automorphisms of $Γ\times K_2$ come from its factors. Although the study of stability has attracted significant attention, particularly regarding Cayley graphs of abelian groups, a complete classification remains elusive even for Cayley graphs of cyclic groups. In this paper, we study the asymptotic enumeration of both labeled and unlabeled Cayley graphs of abelian groups whose standard double cover has the smallest possible automorphism group. As a corollary, in both the labeled and unlabeled settings, we conclude that the proportion of stable Cayley graphs of an abelian group of order $r$ approaches $1$ as $r\rightarrow\infty$, proving that almost all Cayley graphs of finite abelian groups are stable.
On the Distance Distribution of Reed-Muller Codes
In this paper, we give error bounds for the distance distribution of Reed-Muller codes, extending prior work on the distance distribution of Reed-Solomon codes. This is equivalent to the problem of counting multivariate polynomials over a finite field with prescribed degree, coefficients, and number of zeroes. We provide a solution to this problem using the character sum method, which offers a new unified framework applicable to a broad class of polynomial enumeration problems over finite fields that involve prescribed evaluation vectors.
This work effectively makes the first systematic attempt to study the coset weight distribution problem for Reed-Muller codes of fixed degree over large finite fields, which was proposed in MacWilliams and Sloane's 1977 textbook \emph{The Theory of Error Correcting Codes}.
A Characterization of Geodetic Graphs in Terms of their Embedded Even Graphs
The problem of finding the general classification of geodetic graphs is still open. We believe that one of the obstacles to attain this goal is that geodetic graphs lack a structural description. In other words, their fundamental properties have not yet been established in terms of the description of the complete graphs, paths and cycles contained within them. The absence of this information makes their generation and enumeration (as inherent parts of their general classification) a difficult task. This paper examines the structural qualities of geodetic graphs using their so-called embedded even graphs. To this effect, the necessary and sufficient conditions for eliminating the nongeodecity of each pair of C-opposite vertices in an even cycle C have been formulated, while the bigeodecity of the embedded even graphs of a geodetic graph has been established. In a sense, this allows us to arrive at the conclusion that the basic building blocks of geodetic graphs are precisely this class of bigeodetic ones.
Maps on Surfaces as a Structural Framework for Genus-One Virtual Knot Classification
We develop a purely combinatorial framework for the systematic enumeration of knot and link diagrams supported on the thickened torus $T^2\times I$. Using the theory of maps on surfaces, cellular $4$--regular torus projections are encoded by permutation pairs $(α,σ)$, and unsensed projection classes are enumerated completely and without duplication via canonical representatives. For a fixed projection, crossing assignments are encoded by bit data, and an immediate Reidemeister~II reduction supported by a bigon face is characterized directly in terms of these bits. The genus-one generalized Kauffman-type bracket is then evaluated as a state sum entirely within the permutation model, without drawing diagrams in a fundamental polygon.
The implementation is validated against published genus-one classifications for $N\le 5$ under explicit comparison conventions, with remaining discrepancies explained at the level of global conventions. Beyond the published range, we compute projection and diagram data for crossing numbers up to $N=8$ and provide a public reference implementation together with machine-readable datasets. Via the standard correspondence between virtual knots and knots in thickened surfaces, this yields a canonical and fully reproducible genus-one framework for virtual knot tabulation.
Perfect codes in weakly metric association schemes
The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes.
A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.
Yet another doubly refined enumeration of Alternating Sign Matrices
Since the alternating sign matrix conjecture, proposed by Mills, Robbins, and Rumsey in 1982, was proved by Zeilberger and Kuperberg, several refined enumerations have been considered. In particular, Behrend et al. obtained a quadruply refined enumeration by adding certain parameters. In this paper, we revisit the doubly refined enumeration of alternating sign matrices by adding three parameters: the number of $-1$'s, the position of the $1$ in the first row, and the position of the $1$ in the last row. Using Lascoux's formula on symmetry functions, we derive a new determinantal formula for this doubly refined enumeration.
Besides the enumeration conjecture, Mills et al. also proposed a decomposition conjecture, which was subsequently proven by Kuperberg. We present a refinement of that decomposition conjecture.
The height of skew Dyck paths with two variants of downsteps
Recently, in the context of walks of hexagonal circle packings, interest has emerged in the family of skew Dyck paths with two variants
of down-steps. These paths have steps $U, D_g, D_b, L=D_r$. Using generating functions, the kernel method and (in)finite linear systems, contributions to the (average) height and other enumerations are made. As in many similar instances, the average height is of order $\sqrt n$.
Proof of a Conjecture on Young Tableaux with Walls
Banderier, Marchal, and Wallner considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. In this work, we prove a conjecture of Fuchs and Yu concerning the enumeration of two classes of three-row Young tableaux with walls. Combining with the work by Chang, Fuchs, Liu, Wallner, and Yu leads to the verification of a conjecture on tree-child networks proposed by Pons and Batle. This conjecture was regarded as a specific and challenging problem in the Phylogenetics community until it was finally resolved by the present work.
Enumeration of weighted plane trees by a permutation model
This work addresses an enumeration problem on weighted bi-colored plane trees with prescribed vertex data, with all vertices labeled distinctly. We give a bijection proof of the enumeration formula originally due to Kochetkov, hence affirmatively answer a question of Adrianov-Pakovich-Zvonkin. The argument is purely combinatorial and totally constructive, remaining valid for real-valued edge weights. A central process is a geometric construction that directly encodes each tree as a permutation. We also exhibit algebraic relationships between the enumeration problem, the partial order on partitions of vertices and the Stirling numbers of the second kind. Some computation examples are presented as appendices.
Asymptotic enumeration of constrained bipartite, directed and oriented graphs by degree sequence
In the sufficiently sparse case, we find the probability that a uniformly random bipartite graph with given degree sequence contains no edge from a specified set of edges. This enables us to enumerate loop-free digraphs and oriented graphs with given in-degree and out-degree sequences, and obtain subgraph probabilities. Our theorems are not restricted to the near-regular case. As an application, we determine the expected permanent of sparse or very dense random matrices with given row and column sums; in the regular case, our formula holds over all densities. We also draw conclusions about the degrees of a random orientation of a random undirected graph with given degrees, including its number of Eulerian orientations.
Structural properties of nested set complexes
We study structural and topological properties of nested set complexes of matroids with arbitrary building sets, proving that these complexes are vertex decomposable and admit convex ear decompositions. These results unify and generalize several recent and classical theorems on Bergman complexes and augmented Bergman complexes of matroids. As a first application, we show that the $h$-vector of a nested set complex is strongly flawless and, in particular, top-heavy. We then specialize to the boundary complex of the Deligne--Mumford--Knudsen moduli space $\overline{\mathcal{M}}_{0, n}$ of rational stable marked curves, which coincides with the complex of trees, establishing new structural decomposition theorems and deriving combinatorial formulas for its face enumeration polynomials.
Four Dominion Growth Regimes in Trees: Forcing, Fibonacci Enumeration, Periodicity, and Stability
We study the dominion zeta(G), defined as the number of minimum dominating sets of a graph G, and analyze how local forcing and boundary effects control the flexibility of optimal domination in trees. For path-based pendant constructions, we identify a sharp forcing threshold: attaching a single pendant vertex to each path vertex yields complete independence with zeta = 2^gamma, whereas attaching two or more pendant vertices forces a unique minimum dominating set. Between these extremes, sparse pendant patterns produce intermediate behavior: removing endpoint pendants gives zeta = 2^(gamma - 2), while alternating pendant attachments induce Fibonacci growth zeta asymptotic to phi^gamma, where phi is the golden ratio. For complete binary trees T_h, we establish a rigid period-3 law zeta(T_h) in {1, 3} despite exponential growth in |V(T_h)|. We further prove a sharp stability bound under leaf deletions, zeta(T_h - X) <= 2^{m_1(X)} zeta(T_h), where m_1(X) counts parents that lose exactly one child; in particular, deleting a single leaf preserves the domination number and exactly doubles the dominion.
Exact Dominion of the Prism Graph: Enumeration by Congruence Class via Cyclic Words
Let G_n = C_n square P_2 denote the prism (circular ladder) graph on 2n vertices. By encoding column configurations as cyclic words, domination is reduced to local Boolean constraints on adjacent factors. This framework yields explicit formulas for the dominion zeta(G_n), stratified by n mod 4, with the exceptional cases n in {3, 6} confirmed computationally. Together with the known domination numbers gamma(G_n), these results expose distinct arithmetic regimes governing optimal domination, ranging from rigid forcing to substantial enumerative flexibility, and motivate quantitative parameters for assessing structural robustness in parametric graph families.
A proof of Xin-Zhang's tridiagonal determinant conjecture
We confirm a recent conjecture by Xin and Zhang, which establishes a simple product formula for the characteristic polynomial of an $(n-1) \times (n-1)$ tridiagonal matrix $C$. This characteristic polynomial arises from a recurrence relation that enumerates $n \times n$ nonnegative integer matrices with all row and column sums equal to $t$, also called the Ehrhart polynomial of the $n$th Birkhoff polytope. The proof relies on an unexpected observation: shifting $C$ by a scalar multiple of the identity matrix yields a matrix similar to a lower triangular matrix. In triangular form, the characteristic polynomial reduces to the product of the diagonal entries, leading to the desired closed-form expression. Moreover, we extend this method to broader families of tridiagonal matrices. This provides a new approach for deriving exact enumeration formulas.
Enumeration of $n$-plexes
Palmer provides a method of enumerating $n$-plexes, however it has some typographical errors in the formula for the cycle index $Z(S_p^{(r)})$ and the values of $s_p^n$, the number of $n$-plexes on $p$ points. This article is intended to provide the correct formulas.
Lee-Yang phenomena in edge-coloured graph counting
We study the accumulation of zeros of a polynomial arising from the enumeration of edge-coloured graphs along certain limit curves. The polynomial is a variant of an edge-chromatic polynomial, which specialises to the partition function of the ferromagnetic Ising model on a random regular graph. We call this accumulation behaviour a Lee-Yang phenomenon in analogy with the Lee-Yang theorem. The limiting loci are semialgebraic and arise from anti-Stokes curves of an exponential integral.
Efficient Enumeration of Cliques in Graphs with Bounded Maximum Degree
In recent years, there has been a surge of interest in extremal problems concerning the enumeration of independent sets or cliques in graphs with specific constraints. For instance, the Kahn-Zhao theorem establishes an upper bound on the number of independent sets in a $d$-regular graph. Building on this, Cutler and Radcliffe extended the result by identifying the graph that maximizes the number of cliques among graphs with bounded order and maximum degree.
In this paper, we introduce an innovative approach for counting cliques in graphs with a bounded maximum degree. To demonstrate the effectiveness of the method, we provide a new proof for the above Cutler-Radcliffe theorem and the Kahn-Zhao theorem.