arXiv++ Combinatorics

Let $λ_1\geqλ_2\geq\cdots\geqλ_n$ be the eigenvalues of a simple graph $G$ of order $n$. The HL-index of $G$ is defined by $R(G)=\max\|λ_h|,|λ_\ell|\}$ with $h=\lfloor(n+1)/2\rfloor$ and $\ell=\lceil(n+1)/2\rceil$.In this paper, we prove that if $G$ is $ K_4$-minor-free or $ K _ {2,3} $-minor-free, then $R(G)\leq\sqrt{5}-1$ with equality attained by an infinite family of outerplanar graphs.Moreover, we show that $R(G)\leq\sqrt{d-2}$ for triangle-free graphs with maximum degree at most $d$ and average degree at most $(d-2)(d^2-2d+2)/(d^2-3d+5)$.

A graphic arrangement $\A_G$ associated with a simple graph $G$ is a classical and well-studied object in the theory of hyperplane arrangements. In this note, we show that, for a connected graph $G$, a slight modification of the logarithmic vector field $D(\A_G)$ of $\A_G$ is isomorphic to the face ring of a certain simplicial poset. This allows us to give formulas for several algebraic invariants of $D(\A_G)$, such as its Hilbert series, local cohomology, projective dimension, and Castelnuovo--Mumford regularity, in terms of combinatorial and topological information about the corresponding simplicial poset. As a by-product, we also give an explicit vector space basis of $D(\A_G)$.

Let $G$ be a finite connected multigraph whose edges receive independent weights from one atomless law, and let $\operatorname{MST}(G)$ be the resulting random minimum spanning tree. Its law is not pairwise negatively correlated: Lyons, Peres and Schramm exhibited two positively correlated edges, and we give such an example on a simple graph. We prove that positive correlation is nevertheless uniformly controlled: $\mathbf{P}(e,f\in T)\leq 8\mathbf{P}(e\in T)\mathbf{P}(f\in T)$, answering a question of R. Lyons recorded by Tang and Zhang. After conditioning on all other weights, Harris's inequality gives conditional negative correlation; two bottleneck distances and a sharp second-moment estimate control the remaining environmental covariance. For $K_n$ we prove pairwise negative correlation for every $n\geq 3$. The key finite identity is $\mathbf{E}[\mathrm{deg}(x)^2]=10(n-1)/n-4\mathbf{E}[L_n]$, where $L_n$ is the total weight of the minimum spanning tree under rate-one exponential weights. Known expansions for $\mathbf{E}[L_n]$ then give the rate of convergence to $10-4ζ(3)$ and the limits of both pair-correlation ratios. Finally, an explicit $K_4$ family shows that no universal constant survives when the independent edge laws need not be identical.

We introduce and study a finite simple graph of algebraic origin: the Vieta graph on the solution set over $\mathbb{F}_p$ to a symmetric, multivariate equation which is quadratic in each variable. This construction is a broad generalization of the Markoff graph over $\mathbb{F}_p$, extensively studied in the recent literature. We give a systematic approach, partly based on quadratic character sums, to the following basic counting questions: how many vertices does a Vieta graph have, and what is the degree distribution? We focus on explicit counts, addressing the low-dimensional cases in three and four variables.

For a simple graph $G$ of order $n$, let $λ_1(G)\ge \cdots \ge λ_n(G)$ denote its adjacency eigenvalues. Hong's problem asks for the optimal upper bound for $λ_k(G)$. A recent theorem of Sivashankar gives, for every $k\ge3$, \[ λ_k(G)\le \frac{(k-2)\sqrt{k+1}+2}{2k(k-1)}\,n-1, \] with sharp examples arising from maximal real equiangular tight frames. In this paper, we characterize the equality case. We also obtain an explicit combinatorial description of the extremal graphs for $λ_3$ and $λ_4$.

The partial Petrial polynomial of a bouquet can be computed from the coranks over GF(2) of matrices obtained by varying the diagonal entries of the adjacency matrix of its intersection graph. Motivated by this matrix formulation, we study the corresponding polynomial for simple graphs and determine when it has exactly two or three nonzero terms. A key tool is the interpolating property: the exponents of the nonzero terms are consecutive. Using this property together with local complementation minors of grafts, we extend the known characterization of the binomial case from connected circle graphs to all connected simple graphs, showing that such a graph has a binomial partial Petrial polynomial if and only if it is a path. Our main result characterizes the trinomial case for trees: a tree has a trinomial partial Petrial polynomial if and only if it is a T-shape tree or an H-shape tree. Here, a T-shape tree has maximum degree 3 and exactly one vertex of degree 3, whereas an H-shape tree has maximum degree 3 and exactly two vertices of degree 3, which are adjacent. We also derive explicit formulas for both families in terms of Jacobsthal numbers.

Let $k\geq2$ be an integer. A $1\bmod k$ edge-coloring of a graph $G$ is an edge-coloring in which every nonzero degree in each color class is congruent to $1$ modulo $k$. Let $χ'_k(G)$ denote the minimum number of colors required, and let $χ'_k$ be the supremum of $χ'_k(G)$ over all finite simple graphs $G$. Botler, Colucci, and Kohayakawa conjectured that there exists an absolute constant $C$ such that $χ'_k(G)\leq k+C$ for every $k$ and every $G$. We disprove this conjecture, even within the class of bipartite graphs. More precisely, for all integers $c\geq0$ and $k\geq3c+2$, we construct a finite simple bipartite graph $G_{k,c}$ satisfying $χ'_k(G_{k,c})=k+c+1$. Consequently, $χ'_k\geq k+\lfloor(k+1)/3\rfloor$ for every $k\geq2$. For $k_m=2\cdot3^{m-1}$, we give an affine-hyperplane construction of a finite simple bipartite graph $G_m$ satisfying $Δ(G_m)=χ'_{k_m}(G_m)=3^m=3k_m/2$. More generally, for every sufficiently large $k$, we construct a finite simple bipartite graph $G_k$ such that $Δ(G_k)=χ'_k(G_k)\geq3k/2-10(k\log k)^{1/3}$. Our proofs combine a codegree obstruction with explicit cyclic and affine-geometric constructions and a structured random perturbation.

In this paper, we study the Minkowski decomposability of symmetric edge polytopes $P_G^\pm$ of a finite simple graph $G$ on vertex set $[n]$. More precisely, we give a complete characterization of graphs whose symmetric edge polytopes are Minkowski decomposable. We prove that $P_G^\pm$ is Minkowski decomposable if and only if $G$ is one of the three complete multipartite graphs: $K_n$, $K_{2,n-2}$, or $K_{1,1,n-2}$. In other words, if $G$ does not belong to these three families, then $P_G^\pm$ is Minkowski indecomposable.

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.

For a finite simple graph $G$, let $t(G)$ be the largest order of an induced tree and let $g(G)$ be the girth. We prove three consecutive conjectures of DeLaViña's Graffiti.pc program. First, writing $\ell(v)$ for the independence number of the subgraph induced by the neighbourhood of $v$, we prove $t(G) \ge \lfloor g(G)/2 \rfloor - 1 + \max_{v \in V(G)} \ell(v)$. Second, if $\mathrm{Per}(G)$ is the periphery and $f(G) = \max_x d(x, \mathrm{Per}(G))$, we prove $t(G) \ge \frac{2}{3} g(G) + f(G)$, and establish the stronger integral bound $t(G) \ge f(G) + \lceil 2g(G)/3 \rceil$ when $G$ contains a cycle. Third, if $δ'(G)$ is the second-smallest degree, counted with multiplicity, then every connected non-tree graph satisfies $t(G) δ'(G) \ge g(G) + 1$. These are Conjectures 141, 142, and 143 of Written on the Wall II. Complete, machine-checked Lean 4 proofs of all three formal statements accompany the manuscript.

The independence polynomial of a simple graph $G$ is given by \( I_G(z) = i_0 + i_1 z + i_2 z^2 + \cdots + i_αz^α\), where \( i_α\) denotes the size of a maximum independent set, also called the independence number of the graph. The independence polynomial has the notable feature of being essentially closed under graph composition (lexicographic product). In this paper, we determine the independence polynomials of size five. For a disconnected graph $G$, we exploit the fact that $I_G(z)$ factors as the product of the independence polynomials of the connected components of $G$. Furthermore, we classify all independence polynomials that can occur for such a disconnected graph $G$ and, by examining their component structures, we characterize the disconnected configurations that may arise.

We introduce an approximate version of matrix product factorization for graphs. A simple graph $G$ on $n$ vertices is said to admit an $\varepsilon$-matrix product factorization if there exist simple graphs $H$ and $K$ on the same vertex set such that $A(H)A(K)$ and $A(G)$ disagree in at most $\varepsilon n^{2}$ entries. This Hamming-type relaxation preserves, outside the error set, the exact interpretation of each edge as having a unique $H$-then-$K$ two-step witness. We establish equivalent matrix, and witness formulations, showing that the sets $N_H(w)\times N_K(w)$ form an approximate disjoint decomposition of the ordered adjacency relation of $G$, and we derive quantitative constraints involving walk counts and the degrees of the factor graphs. We then construct approximate factorizations for several graph families. Every complete graph $K_n$ has matrix-product-factorization distance $O(1/n)$, despite the exact congruence obstruction that permits exact factorization only when $n\equiv 1\pmod 4$. More generally, a blow-up of a fixed graph on $r$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le r/n$, and the construction is exact whenever every non-isolated part has even order. For bipartite graphs, we give one-sided factorizations that realize one orientation of almost all edges. In particular, every tree on $n\ge2$ vertices admits an $\varepsilon$-factorization with $\varepsilon\le 1/n$, although no nontrivial tree is exactly factorizable. These results show that rigid exact obstructions may disappear under a vanishing proportion of entrywise errors.

Let G be a nonempty finite simple graph of order n, and let m(G) be the upper median of its degree sequence. We prove that the 2-domination number satisfies gamma_2(G) <= n - m(G) + 1. This proves Graffiti.pc Conjecture 387. In fact, the argument establishes the inequality for every nonempty finite simple graph, so the connectedness hypothesis in the original formulation is unnecessary. The proof uses the complement graph and a minimally linearly dependent family of polynomials encoding selected nonneighborhoods.

Razborov's flag algebra method is a powerful tool for proving asymptotic inequalities in extremal graph theory, often reducing the task to finding a finite certificate by semidefinite programming. We present a machine-checked formalization of the method for finite simple graphs, together with a certificate-to-proof compiler that turns externally generated certificate data into algebraic proofs checked by Lean. The formalization covers the foundations of the method: partially labeled graphs, their densities in large graphs, the quotient algebra of density expressions, graph-limit semantics through positive homomorphisms, and the downward operators used to average out labels. The compiler treats the external semidefinite programming output as candidate data rather than trusted input: Lean independently computes the required density and multiplication facts, verifies positive semidefiniteness exactly over $\mathbb{Q}$, and carries out the algebraic normalization steps of flag-algebra proofs. Our case studies yield formal proofs of seven Turán-type upper bounds, including Mantel's theorem and the Erdős pentagon theorem, a $C_4$-density bound for triangle-free graphs, and edge-density bounds for $K_4$-free, $K_5$-free, and $C_5$-free graphs. Independently of the compiler, we formalize the matching constructions that complete the exact Turán densities of Mantel's theorem and the Erdős pentagon theorem, and prove two inequalities of Goodman. Our constrained semantics also prompted a meta-theoretic comparison of two ways of imposing graph constraints: building a hereditary constraint into the flag algebra from the start, or testing inequalities afterward on constrained graph limits with labels chosen at random. We state the resulting root-plantability criterion characterizing when the two approaches agree; a forthcoming paper will present the complete account.

Right-angled Artin groups (RAAGs) and right-angled Coxeter groups (RACGs) associated with finite simple graphs are fundamental objects in geometric group theory. Their one-variable growth series with respect to the standard generating sets was classically expressed by Chiswell in terms of the one-variable independence polynomial of the defining graph [2] with suitable substitutions of the variable. In this paper, we investigate the multivariate growth series of graph products of groups and derive explicit formulas in terms of the multivariate independence polynomial of the underlying graph through suitable substitutions of variables. As special cases, we obtain multivariate growth series formulas for RAAGs and RACGs, thereby extending the classical one-variable identities. We further show that the coefficients of the multivariate growth series of RAAGs and RACGs admit explicit descriptions in terms of the double-marked and marked chromatic polynomials of graphs. This connection reveals a rich interplay between growth series and graph coloring invariants. In particular, we obtain completely explicit formulas for all the coefficients in the case of chordal graphs, which include, for example, trees and complete graphs.

For a simple graph $G$ of order $n$, let $S_2(G)=λ_1(G)+λ_2(G)$ denote its spectral sum. We determine, for every $n\geq5$, the exact maximum of $S_2(G)$ and all equality cases. The unique maximizer, up to isomorphism, is the complement of the disjoint union of a suitably balanced complete bipartite graph and isolated vertices, with the sizes of its three parts determined by $n$ modulo $7$. Denoting this graph by $K_n^\star$, we further show that $ S_2(K_n^\star)\leq\frac{8n}{7}-2,$ with equality exactly when $7\mid n$. This proves a conjecture of Kumar, Liu, Monterde, Pragada and Tait, which strengthens the Aouchiche--Hansen 2010 conjecture by extending it from connected graphs to all graphs and by asserting uniqueness of the extremal graph. The result also subsumes the 2008 conjecture of Ebrahimi B., Mohar, Nikiforov, and Ahmady. The proof combines Ky Fan's variational principle with a spectral inequality for weighted Ferrers quotients to reduce the problem to an explicit family whose complements have incidence rank one. Exact integer optimization and a separate equality analysis then yield the maximum and uniqueness.

Let $G=(V,E)$ be a simple graph, and let $k\geq 2$ be an integer. For an edge labeling $h:E(G)\to \mathbb{Z}_{k} \backslash \{0\}$, define the induced vertex label by \[ h^+(v)=\sum_{e \ni v} h(e) \pmod{k}. \] For $t\in \mathbb Z_k$, we say that $G$ is \emph{$t$-sum $\mathbb Z_k$-magic} if there exists such a labeling $h$ satisfying \[ h^+(v)=t \qquad\text{for all }v\in V. \] We say that $G$ is \emph{$\mathbb Z_k$-magic} if $G$ is $t$-sum $\mathbb Z_k$-magic for some $t\in \mathbb Z_k$. Similarly, if there exists an edge labeling $h: E(G) \to \mathbb{Z}_{k} \backslash \{0\}$ such that the induced vertex labeling $h^+(v)=\sum_{e\ni v} h(e)$ (mod $k$) is injective, then $G$ is called \emph{$\mathbb{Z}_{k}$-antimagic}. In this paper, we use the Combinatorial Nullstellensatz to analyze these two types of magic graph labelings.

We show that there exist graphons that interpolate between Riemannian manifolds and weighted geometric graphs. Specifically, the graph-to-manifold approximation used in manifold learning can be regarded as the composition of a graph-to-graphon convergence and a graphon-to-manifold convergence in a certain sense. Furthermore, we establish a monotonicity inequality which reveals an implicit relationship between numerous combinatorial parameters and geometric quantities on graphons. Using this inequality, we find relations among conductance, maxcut problem, capacity, and packing radius, as well as their limiting behaviours under graph-to-graphon and graphon-to-manifold convergences; some of these relations are novel even for simple graphs and closed manifolds.

We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--Émery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincaré inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by Münch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $Γ_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincaré inequality.

Bilu and Linial conjectured that if $d\ge 2$, then every $d$-regular graph $G$ has an edge signing $σ:E(G)\to\{-1,1\}$ such that its signed adjacency matrix $A_σ$ satisfies the Ramanujan bound \begin{equation*} ρ(A_σ)\le 2\sqrt{d-1} \end{equation*} and they proved that \begin{equation*} ρ(A_σ)=O\!\left(\sqrt{d\log^3 d}\right). \end{equation*} Using a method of interlacing polynomials, Marcus, Spielman, and Srivastava confirmed one side of this conjecture that there is a signing $σ$ for which \[ λ_{\max}(A_σ)\le 2\sqrt{d-1}. \] By constructing an auxiliary bipartite graph from a balanced orientation of $G$ and applying a bipartite signing argument, we prove that every finite simple graph $G$ of maximum degree $d\ge 3$ admits an edge signing $σ$ such that \[ ρ(A_σ) \le 4\sqrt{\left\lceil \frac d2\right\rceil-1} \le 2\sqrt{2(d-1)}. \] Thus we obtain a bound within a factor at most $\sqrt2$ of the conjectured Ramanujan bound.