arXiv++ Combinatorics

A classical result of Petersen states that every regular graph of even degree has a $2$-factor. We prove that every $n$-vertex $2r$-regular simple graph contains at least $\left((1 + o_r(1))\frac{2r}{e}\right)^n$ distinct $2$-factors. This improves the previously known lower bound $\left((1 + o_r(1))\frac{r}{e}\right)^n$ by a factor of $2^{(1 + o(1))n}$ and is asymptotically tight for large $r$. As a direct consequence, we determine asymptotically tight bounds on the number of $2$-factorizations of a given $2r$-regular simple graph for every sufficiently large $r$.

Let $\mathcal{G}$ be a finite connected simple graph with at least two vertices. We construct a finite regular hypertope $Γ$ whose diagram is the graph $\mathcal{G}$ with every edge labelled by $4$, and for which $Cor(Γ)/Aut(Γ) \cong Aut(\mathcal{G})$. This shows that any possible group of diagram symmetries can be realized by the correlations of a hypertope. The construction uses a group generated by involutions, with nilpotency class two, exponent four and commutator relations dictated by the defining graph.

Let $w(G)$ denote the number of distinct vertex degrees of a finite simple graph $G$. Melnikov asked for a lower bound on the chromatic number $χ(G)$ in terms of $|V(G)|$ and $w(G)$, and conjectured a strict bound of this type. We resolve Melnikov's valency-variety problem by proving that every graph $G$ with at least two vertices satisfies \begin{equation*} χ(G)\ge\left\lceil1+\frac{2w(G)(w(G)-1)}{4w(G)(|V(G)|-w(G))+(|V(G)|-w(G)-1)^2}\right\rceil, \end{equation*} and consequently \begin{equation*} χ(G)\ge\left\lceil\frac{\lfloor w(G)/2\rfloor}{|V(G)|-w(G)}\right\rceil. \end{equation*} Finally, we also construct an explicit infinite family of graphs attaining equality in both bounds. In particular, these examples show that Melnikov's proposed strict inequality is false and that the bounds above are best possible.

Let $f(d)$ be the smallest integer such that every finite connected bridgeless simple graph of diameter $d$ admits a strong orientation of diameter at most $f(d)$. Chvátal and Thomassen (1978) proved $\lceil d^2/2\rceil+d\le f(d)\le2d^2+2d$. In this paper, we prove that $\lceil d^2/2\rceil+d\le f(d)\le\lceil d^2/2\rceil+d+18$ for every $d\ge2$, which shows that $f(d)=\lceil d^2/2\rceil+d+O(1)$ and determines both the quadratic and linear terms up to a bounded additive error. The key method of our proof is to construct a central subgraph $H$ that admits a strong orientation of diameter $O(d)$ and is within distance $\lfloor d/2\rfloor$ of every vertex outside it. We obtain the sharp linear coefficient by jointly estimating outside paths and their connecting paths in $H$ at the actual attachment vertices, rebuilding $H$ when necessary.

Let $G$ be a finite and simple graph without isolated vertices. We investigate the projective dimension of the closed neighborhood hypergraph $\mathcal{N}[G]$ and its relationship with the Castelnuovo-Mumford regularity of the extended bipartite double cover $\mathfrak{B}_e(G)$ of $G$. We establish the general upper bound $\operatorname{prod-dim} (\mathcal{N}[G]) \leq \operatorname{reg}(\mathfrak{B}_e(G))$ for all graphs. Furthermore, we prove that the exact equalities $\operatorname{prod-dim} (\mathcal{N}[G]) = \operatorname{reg}(\mathfrak{B}_e(G)) =α(G)$ hold when $G$ belongs to several prominent graph classes, including König-Egerváry (contains all bipartite graphs), cographs, co-chordal, chordal and comparability graphs, where $α(G)$ denotes the independence number. Our method of proofs relies on connecting algebraic invariants to the underlying combinatorial structure of graphs through covering, domination and matching parameters, together with the use of homology tools.

Let $G$ be a simple graph on $n$ vertices, and let $F(G)$ denote the number of its spanning forests. Bencs and Csikvári [Upper bound for the number of spanning forests of regular graphs, European J. Combin. 110 (2023) 103677] proved that every $r$-regular graph $G$ with $r\geq 2$ satisfies $F(G) \leq r^{n}$. They further conjectured that for $r \geq 3$, \[ F(G)^{1/n} \leq \frac{(r - 1)^{r-1}}{(r^2 - 2r - 1)^{r/2-1}}. \] In this paper, we resolve this conjecture in the affirmative.

Let $λ_1(n,Δ)$ be the maximum adjacency spectral radius among connected nonregular simple graphs of order $n$ and maximum degree $Δ$. Using effective resistance bounds, explicit comparison graphs and a one-dimensional Wirtinger inequality, we prove that, for every fixed integer $Δ\ge3$, $λ_1(n,Δ)=Δ-\frac{c_Δπ^2}{4n^2}+O_Δ(n^{-5/2})$, where $c_Δ=Δ-1$ for odd $Δ$ and $c_Δ=2(Δ-2)$ for even $Δ$. This proves the asymptotic conjecture posed by Liu [J. Combin. Theory Ser. B 169 (2024), Conjecture 7.1].

We study bootstrap percolation with independent vertex thresholds taking values one and two, with threshold-one probability $(1-c/d)/d$ for fixed $c>0$. The seed set is chosen uniformly among sets of a prescribed deterministic size, independently of the graph and thresholds. We prove threshold statements at fixed relative margins. For uniform simple graphs with prescribed nonnegative integer degrees of even sum and exact mean $d$, assume $\max_i|d_i-d|\le C\sqrt d$ and $c+1-v_n\geκ>0$, where $v_n=\operatorname{Var}(D)/d$ and $C,κ$ are fixed. When $d\to\infty$ and $d=o(n^{1/7})$, the leading seed scale is $n(c+1-v_n)^2/(2d^4)$, without requiring a limit of $v_n$. At fixed relative margins below and above this scale, the final active set has size $O(n/d^3)$ and $n-o(n)$, respectively, with high probability. A separate result for $G(n,d/n)$ holds when $d\to\infty$ and $d^5/n\to0$, and gives scale $nc^2/(2d^4)$. Thus regular and independent-edge graphs have different coefficients at the same asymptotic mean degree. Local exploration estimates yield explicit inactive remainders and survive conditioning on simplicity in the prescribed model. We also quantify the precision obstruction to static inclusion transfer and compute deterministic response-barrier corrections, without identifying a shrinking random critical window.

The main aim of this article is to obtain explicit formulas for the root multiplicities of a class of finite-rank symmetrizable Borcherds-Kac-Moody algebras g(A) whose real part is of type A. The Dynkin diagram of each such algebra is obtained from the disjoint union of a Dynkin diagram of type A and a finite simple graph G_im, whose vertices correspond to imaginary simple roots, by choosing one vertex in each and joining the chosen vertices by a single edge of multiplicity c>0. More generally, we consider the same construction with the type A diagram replaced by the Dynkin diagram of an arbitrary finite-rank symmetrizable Kac-Moody algebra g_re. The resulting symmetrizable Borcherds-Kac-Moody algebra g(A) has real part g_re and imaginary part represented by G_im. Our starting point is a graph-theoretic description of the quotient of the denominator products of g(A) and g_re. This quotient is a multivariate independence polynomial of G_im, with the variable corresponding to the attachment vertex weighted by normalized highest-weight characters of g_re. We prove that the coefficients of powers of this quotient factor into a generalized chromatic polynomial and a tensor-power weight multiplicity. Using this, we obtain explicit formulas for all root multiplicities with nonzero imaginary component in terms of generalized chromatic polynomials of G_im and weight multiplicities in tensor products of highest-weight modules of g_re. When G_im is chordal, these formulas specialize to finite divisor sums involving products of binomial coefficients; paths and complete graphs provide particular examples. In particular, we obtain explicit formulas for the root multiplicities of g(A) when its real part g_re is of type A.

The $k$-th power of a simple graph $G$, denoted $G^k$, is the graph with vertex set $V(G)$ where two vertices are adjacent if they are within distance $k$ in $G$. We investigate the zero forcing number of graph powers. Powers of graphs are much denser and generally not encompassed by existing results on zero forcing of graphs, hence their study requires a different approach. In contrast with the usual zero forcing behavior under edge deletion, we show that the zero forcing parameter (and variations of it) is monotone with respect to taking powers. We also determine the zero forcing number of powers of paths and cycles, together with upper bounds for powers of spiders and of grids. We then present spectral lower bounds on the zero forcing number of graph powers which uniquely use the spectrum of the base graph, as well as linear programming methods to compute these bounds. Finally, we study the sharpness of the derived bounds. To derive our results we use techniques ranging from graph theory, linear algebra and polynomial optimization.

For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra. We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.

We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.

A forest in an edge-colored graph is rainbow if its edges have pairwise distinct colors. We prove that for every $\varepsilon>0$ and all sufficiently large integers $m$, every properly edge-colored simple graph with $km$ edges, where $1\leq k\leq 2m$ and every color class has size at most $m$, contains at least $(1-\varepsilon)m$ pairwise edge-disjoint rainbow forests, each with exactly $k$ edges. The range $k\leq 2m$ is best possible: for every $k>2m$ there are such graphs containing no $k$-edge forest. Thus the conjecture of Montgomery, Pokrovskiy, and Sudakov fails beyond this range, while our theorem establishes its predicted conclusion throughout the largest possible range of $k$. The number of forests is asymptotically optimal. The proof uses an orientation dichotomy, hypergraph matching, matroid intersection, and martingale concentration.

We describe one explicit simple graph G on 32 vertices whose adaptive, normal, linear, entropic, and submodular widths are pairwise distinct. We compute all these widths exactly, except for the entropic width, where we only give a lower and upper bound. We use Ingleton's inequality and the Zhang-Yeung inequality for upper bounds, and give explicit constructions of modular, normal, linear, entropic, and non-entropic polymatroids for lower bounds.

We study affine deformations $\mathcal{A}(G_{\mathcal{S}})$ of graphic arrangements and their cones. Here $G=([n],E(G))$ is a simple graph, $\mathcal{S}=(S_{ij})$ is a family of finite gain sets, and $\mathcal{A}(G_{\mathcal{S}})$ consists of the hyperplanes $x_i-x_j=a$ with $a\in S_{ij}$. We call $G_{\mathcal{S}}$ blockwise admissible if every block has a vertex ordering $v_1,\ldots,v_m$ satisfying $S_{v_kv_j}-S_{v_kv_i}\subseteq S_{v_iv_j}$ for every $k$ and all distinct $i,j>k$. Every such ordering is a perfect elimination ordering. We prove, for arbitrary $G$, that the following are equivalent: (i) $G_{\mathcal{S}}$ is blockwise admissible; (ii) the cone $c\mathcal{A}(G_{\mathcal{S}})$ is supersolvable; and (iii) $\mathcal{A}(G_{\mathcal{S}})$ admits a nice partition. We give a direct arrangement-theoretic proof of these equivalences. For a block, the equivalence between admissibility and supersolvability is already contained in Zaslavsky's characterization of supersolvable graphic-lift lattices. We further show that every nice partition on a block is induced by an admissible ordering and that its induced edge classes are stars with distinct centers. Under these equivalent conditions, we construct a maximal modular chain through the hyperplane at infinity. We also prove that if $c\mathcal{A}(G_{\mathcal{S}})$ is free, then $G$ is chordal.

We prove an annealed central limit theorem for the weight of the maximum weight matching on uniformly random simple graphs with prescribed, uniformly bounded degrees and i.i.d. exponential edge weights. In particular, the result applies to random $d$-regular graphs for every fixed $d \ge 2$. The proof separates the fluctuations arising from the edge weights from those arising from the graph. The correlation decay estimate of Lam and Sen (arXiv:2511.18861) yields Gaussian fluctuations for the former. The main difficulty is to analyze the fluctuations of the conditional mean of the optimal weight given the graph. To address this, we prove a stronger perturbative correlation decay estimate that, together with a variance bound, reduces the problem to the central limit theorem of Barbour and Röllin [Ann. Appl. Probab. 29(2) (2019)] for local statistics of the configuration model.

In this paper, we investigate the componentwise linear property of support-two monomial ideals. Our first main result shows that if $I$ is a support-two monomial ideal, then its underlying simple graph $G_I$ is co-chordal; equivalently, by Fröberg's theorem, $\sqrt{I}$ admits a linear resolution. This phenomenon is quite rare for general monomial ideals. In fact, there exist monomial ideals with linear resolutions whose radicals fail to have linear resolutions, even when the radical is the edge ideal of a graph. For any monomial ideal $I$, one always has $μ(I)\geq μ(\sqrt{I})$. In the literature, support-two monomial ideals satisfying $μ(I)=μ(\sqrt{I})$ are of special interest, as they include edge ideals of simple graphs, weighted oriented graphs, edge-weighted graphs, and vertex-weighted graphs. We refer to such ideals as minimal support-two monomial ideals. We explicitly characterize all minimal support-two monomial ideals, as well as their powers, that admit linear resolutions. Next, we classify the linearity of non-minimal ones. Consequently, we obtain a complete classification of linear support-two monomial ideals, which shows that the property of being linear does not depend on the characteristics of the base field for support-two monomial ideals.

Let $G$ be a finite simple graph and let $A_c(G)$ be the Artinian algebra associated with its cover ideal. We prove that $A_c(G)$ has the WLP when $τ(G)>|V(G)|/2$, where $τ(G)$ denotes the size of a minimum vertex cover of $G$. As a consequence, $A_c(G)$ has the WLP with high probability when the Erdős-Rényi random graph model is considered. Moreover, we study the borderline case $τ(G)=|V(G)|/2$ and as a result, classify the WLP for paths, cycles, Ferrers graphs, and well-covered trees.

The $\triangle$-convexity space on a finite, simple graph $G = (V,E)$ is the collection $\mathcal{C}$ of subsets $S \subseteq V(G)$ such that whenever $x \in V(G)$ forms a triangle with two vertices in $S$, we have $x \in S$. The members of $\mathcal{C}$ are called convex sets, and the convex hull of a set $S \subseteq V(G)$, denoted $\operatorname{Hull}(S)$, is the smallest member of $\mathcal{C}$ that contains $S$. The Carathéodory (resp., exchange) number, $c_{\triangle}(G)$ (resp., $e_{\triangle}(G)$), is the size of a largest Carathéodory (resp., exchange) independent subset of $V(G)$. It was shown by Anand et al. (JCMCC 126, 2025, 11--27) that $c_{\triangle}(G) \leq t(G)+1$ and $e_{\triangle}(G) \leq t(G) + 2$, where $t(G)$ is the number of triangles in $G$, and that these bounds are tight. They also computed $c_{\triangle}(G)$ and $e_{\triangle}(G)$ for a block graph $G$ in terms of the number and arrangement of non-$K_2$ blocks in $G$. In this paper, we point out a gap in the proof in Anand et al. of the first inequality, $c_{\triangle}(G) \leq t(G)+1$, which has consequences for the proof of the second inequality, $e_{\triangle}(G) \leq t(G) + 2$, as well. Moreover, the tightness results are inadvertently applied as characterizations of the extremal graphs, leading to incorrect computations of the Carathéodory and exchange numbers of block graphs in certain cases. We fix these gaps by giving a full proof of the first inequality via a different route from that in Anand et al. Together with the argument in Anand et al., this also completes the proof of the second inequality. Our proof also leads to a characterization of the extremal graphs for each bound, which we use to compute the Carathéodory and exchange numbers of block graphs and to identify the extremal block graphs. We also determine $e_{\triangle}(G)$ exactly for $k$-trees for every $k \geq 2$.

For a connected graph \(G\), let \[ Q(G)=\frac{T(G;2,0)T(G;0,2)}{T(G;1,1)^2}. \] We obtain quantitative lower bounds for \(Q\) under the graph join operation. If \(A\) and \(B\) are arbitrary simple graphs of orders \(3\le a\le b\), then \(Q(A\vee B)\) admits an explicit lower bound depending only on \(a\) and \(b\), and this bound is strictly greater than \(1\). We further quantify the improvement produced by edges inside the two factors. For every simple graph \(F\), with \(n=|V(F)|+2\ge4\), we prove \[ Q(K_2\vee F)\ge \frac{27}{n^2}\left(\frac32\right)^{n-4}. \] Consequently, every join of at least three nonempty factors, and every complete multipartite graph with at least one edge and no cut edges, satisfies the strict multiplicative Merino--Welsh inequality. The proofs combine orientation estimates with spanning-tree comparisons based on effective resistance and block elimination.