arXiv++ Combinatorics

For a finite simple graph $G$, let $ν(G)$ be the maximum number of pairwise edge disjoint triangles and $τ(G)$ the minimum number of edges meeting every triangle. Tuza conjectured in 1981 that every such $G$ satisfies $τ(G) \le 2 ν(G).$ We prove the conjecture for the class of graphs with $Δ\le10.$

For fixed integers $k,\ell$ with $0\leq\ell<3k$, we study the problem of deciding whether a graph is $(k,\ell)$-sparse, a notion arising in combinatorial optimization and rigidity theory. Standard pebble-game algorithms take $O(n^2)$ time for $0\leq\ell<2k$ and $O(n^3)$ time for $2k\leq\ell<3k$, although faster algorithms were known for some parameter choices. We develop efficient recognition algorithms using bounded-indegree orientations, reductions to rooted arc-connectivity, augmenting paths, and centroid decomposition. For $0\leq\ell<2k$, they run in $O(n^{1+o(1)})$ time, yielding the first subquadratic bound valid throughout the entire range. Purely combinatorial implementations run in $O(n\sqrt n)$ time throughout this range. For graphs with $O(n)$ edges, we also improve the purely combinatorial running time for decomposing the edge set into a fixed number of forests, or certifying that no such decomposition exists, from $O(n\sqrt{n\log n})$ to $O(n\sqrt n)$. For simple graphs with $2k\leq\ell<3k$, the general recognition algorithm runs in $O(n^2)$ time when $\ell\leq2k+2$ and in $O(n^2\log n)$ time otherwise. When $\ell=2k$ and $k\leq3$, a specialized algorithm improves this to $O(n^{1+o(1)})$ and admits a purely combinatorial $O(n\sqrt n)$ implementation. Whenever the input graph is not $(k,\ell)$-sparse, our recognition algorithms return an explicit violating vertex set.

Let $G$ be a finite simple graph on the vertex set $[n]$, and let $Γ(G)$ be the Cayley graph of the symmetric group $S_n$ generated by the transpositions corresponding to the edges of $G$. We study the inverse spectral problem for the assignment $G\mapsto Γ(G)$ through the group-algebra operator $A_G=\sum_{\{i,j\}\in E(G)}(ij)$ and its regular spectral moments $M_k(G)=\operatorname{tr}(A_G^k)$. The moments admit two all-order forms: a universal support expansion in non-induced subgraph counts of $G$, and a representation-theoretic expansion over the irreducible representations of $S_n$. We compute the first nontrivial moments through order six. In particular, the fourth moment already contains the Coxeter triangle relation and determines the signed local invariant $6N_{K_3}(G)-N_{P_3}(G)$, rather than $N_{P_3}(G)$ alone. Consequently, for triangle-free graphs the spectrum determines the second moment of the degree sequence. We also give a simplified sixth-moment formula for triangle-free graphs, showing that in this class the spectrum determines $5N_{K_{1,3}}(G)+2N_{P_4}(G)+12N_{C_4}(G)$. Further structural consequences include bipartiteness and spectral symmetry of $Γ(G)$, a precise connectedness test, and the identification of the standard irreducible component with the shifted graph Laplacian $mI-L_G$.

We present a proof of the two-token graph reconstruction conjecture. Every finite simple graph $G,H$ of order at least three, $F_2(G) \cong F_2(H)$ if and only if $G \cong H$. We also classify the automorphism groups of two-token graphs whose connected roots have order at least five. Combining these results, we show that, for connected graphs $G,H$ of order at least five, every isomorphism $ϕ:F_2(G)\to F_2(H)$ admits a factorization $ϕ=η\circσ^{(2)}$, where $σ^{(2)}$ is induced by a graph isomorphism $σ:G\to H$, and $η\in \operatorname{Aut}(F_2(H))$ is a product of twin-cut switches or Cartesian exchanges.

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.

We classify freeness for finite central arrangements whose underlying matroids are regular. Let $\mathcal A$ be such an arrangement over an arbitrary field, and put $M=M(\mathcal A)$. Then $\mathcal A$ is free if and only if $M$ is supersolvable; equivalently, $M$ admits a nice partition; equivalently, $M$ is the cycle matroid of a chordal simple graph. Thus, for arrangements with regular underlying matroids, freeness has a complete combinatorial classification independent of the base field. We use Seymour's decomposition theorem for regular matroids to prove that freeness forces supersolvability. We also characterize nice partitions of finite simple binary matroids: a partition is nice if and only if it is independent and no line is contained in a single block. Consequently, a finite loopless binary matroid admits a nice partition if and only if it is simple and supersolvable.

We study separable discrete convex optimization over indegree vectors of orientations of an undirected graph, focusing on the effect of imposing acyclicity. Since the extreme points of the indegree polytope are precisely the indegree vectors of acyclic orientations, this amounts to comparing optimization over its integer points with optimization over its extreme points. Over all orientations, minimizing a vertex-separable discrete convex objective is strongly polynomial-time solvable by minimum-cost flow. Over acyclic orientations, for every fixed discrete convex function shared by all vertices, we obtain a dichotomy: if the function is linear on the positive integers, the problem is solvable in linear time; otherwise exact optimization is NP-hard on connected simple graphs, and APX-hard when the function is non-negative. We also give strongly polynomial-time constant-factor approximation algorithms for broad classes of convex and concave objectives. For the $p$-power sum of indegrees, this yields a $2^p$-approximation for every fixed integer $p\geq1$, while the problem is APX-complete for every fixed integer $p\geq2$; if $p$ is part of the input, no deterministic polynomial-time $2^{p^{1-\varepsilon}}$-approximation exists for any fixed $\varepsilon>0$ unless $\mathrm{P}=\mathrm{NP}$. We further give an exact $O(2^{|V|}|V|+\operatorname{poly}(|V|,|E|))$-time dynamic program for general separable objectives, with a matching lower bound in the exponent under the Exponential Time Hypothesis. Finally, decreasingly minimal and increasingly maximal acyclic orientations need not coincide and are both NP-hard, while minimizing the maximum weighted indegree over acyclic orientations remains strongly polynomial-time solvable.

The linear arrangement of a simple graph $G = (V,E)$ is a bijective labeling $π$ of the vertices of $G$ to the set $\{1, \ldots, n\}$. The maximum linear arrangement ($\texttt{maxLA}$) problem is to determine whether $G$ has a labeling such that the sum of labels across $G$'s edges, $\sum_{uv \in E} |π(u) - π(v)|$, is at least a given value $k$. Minimum linear arrangement ($\texttt{minLA}$) is defined analogously. Both $\texttt{maxLA}$ and $\texttt{minLA}$ are known to be NP complete for general graphs. $\texttt{minLA}$ has shown to be NP complete for bipartite graphs by Evans and Shiloah in 1975. It has been an open problem whether the same holds for $\texttt{maxLA}$. In this paper we prove that $\texttt{maxLA}$ is NP complete for bipartite graphs.

We prove that for every finite connected simple graph $G$ on $n$ vertices with minimum degree $k\geq 2$, there is a coupling of its uniform spanning tree and its random $1$-out subgraph under which the expected number of differing edges is $O(n\log (k)/\sqrt{k})$. More generally, we establish analogous couplings between a wide class of determinantal processes and their corresponding $1$-out processes, including Kalai's determinantal hypertrees, with expected symmetric difference negligible compared to the size of the determinantal set. While the graphical case admits a surprisingly short and elegant proof, the more general result requires establishing an asymptotic equipartition property for the determinantal measures in this class, from which we also derive exponential growth rates for the homology torsion of determinantal hyperforests in higher-dimensional regular high-degree complexes.

For a graph $F$ with at least one edge, a $k$-uniform hypergraph is Berge-$F$-saturated if it contains no Berge-$F$, but adding any missing hyperedge creates a Berge-$F$. The saturation number $\text{sat}_k(n,\text{Berge-}F)$ is the minimum number of edges in such a hypergraph on $n$ vertices. English, Gordon, Graber, Methuku and Sullivan conjectured a linear upper bound for every fixed finite family of forbidden graphs. We prove the single-graph case: $\text{sat}_k(n,\text{Berge-}F)=O_{F,k}(n)$ for every fixed integer $k\ge2$ and every fixed finite simple graph $F$ with at least one edge. The proof combines a sparse construction with degree and matching arguments.

Given a graph $H$, the Turán number ${\rm ex}(n,H)$ of $H$ is the maximum number of edges of an $n$-vertex simple graph containing no $H$ as a subgraph. Let $kK_p$ denote the disjoint union of $k$ copies of the complete graph $K_p$. In this paper, utilizing the idea of the proof of the Hajnal-Szemerédi Theorem and discharging, we determine the value ${\rm ex}(n,4K_p)$ for all $n$ and $p\ge 3$.

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 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.

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.