graph
35150 papers tagged with this keyword
On a distance Laplacian analog of Brouwer's conjecture for several classes of graphs
Zhou et al. (2025) proposed a distance Laplacian analog of Brouwer's conjecture on partial sums of Laplacian eigenvalues, asserting that for any connected graph $G$, $\sum_{i=1}^r \partial_i^L(G)\le W(G)+\binom{r+2}{3},$ where $\partial_i^L(G)$ are the eigenvalues of the distance Laplacian matrix and $W(G)$ is the Wiener index. We prove this inequality for three broad classes of graphs, thereby improving and extending existing results. First, we prove that all connected graphs of diameter at most $D$ satisfy the inequality once the order $n$ satisfies $n\ge\lceil\frac49(D+1)^3\rceil$. Second, we show that the inequality holds for every diameter-$2$ graph with the only exceptions being $K_{1,3}$ at $r=2$ and $K_{1,4}$ at $r=3$. Third, we prove that if the maximum degree is $Δ(G)=n-k$, then the inequality holds for all $n\ge N(k)$, where $N(2)=10$ and $N(k)=\lceil 5(k-1)^{3/2}\rceil$ for $k\ge 3$. Our proofs rely on decomposing the distance Laplacian matrix into Laplacian matrices of auxiliary graphs whose edges are vertex pairs at distance at least a prescribed value, together with classical eigenvalue inequalities.
Tight Bound for Nikiforov's Spectral Even-Cycle Conjecture
Nikiforov conjectured that, for every fixed $k\ge2$ and all sufficiently large $n$, the unique $n$-vertex $C_{2k+2}$-free graph with maximum adjacency spectral radius is $S^+_{n,k}$, where $S_{n,k}=K_k\vee\overline K_{n-k}$ and $S^+_{n,k}$ is obtained from $S_{n,k}$ by adding one edge inside the independent part. Cioabă, Desai and Tait proved this conjecture for $n\ge k^{O(k)}$. Later, Li and Ning raised the problem of determining the optimal exponent $γ=γ(k)$ such that the same conclusion holds for $n\ge Ω(k^{γ(k)})$.
We prove a stronger uniform theorem for Nikiforov's matrices $A_α(G)=αD(G)+(1-α)A(G)$. More precisely, for every $ε>0$ there are constants $C_ε$ and $k_ε$ such that for all $0\leα\le1-ε$, $k\ge k_ε$ and $n\ge C_εk$, every $n$-vertex $C_{2k+2}$-free graph $G$ satisfies $ρ_α(G)\leρ_α(S^+_{n,k})$, with equality if and only if $G\cong S^+_{n,k}$. In particular, the case when $α=0$ answers the problem of Li and Ning in the linear range, and the $A_α$-spectral even-cycle threshold is linear in $k$, uniformly for all $α$ bounded away from $1$.
Our proof introduces a weighted rooted Erdős--Gallai type path lemma, which may be of independent interest in Perron-vector methods for spectral extremal graph problems. The same method also yields asymptotically tight $A_α$-spectral bounds for two local forbidden-subgraph families, namely $(K_1\vee P_\ell)$-free graphs and $F_s$-free graphs, where $F_s$ denotes the friendship graph.
Chamber Decompositions of Moment Polytopes for Torus Actions of Positive Complexity
The present work develops the results of the series of papers by Buchstaber and Terzić on the standard actions of the compact torus $T^n = (S^1)^n$ on the complex Grassmann manifolds $G_{n,2}$. In those works, a hyperplane arrangement in $\mathbb{R}^n$ was introduced that determines the chamber decomposition of the hypersimplex $Δ_{n,2}$ for the $T^n$-action on $G_{n,2}$.
We introduce a notion of admissible graph for the standard action of the torus $T^n$ on the complex Grassmannian $G_{n,2}$. In terms of admissible graphs, we give a complete inductive description (with respect to $n \ge 4$) of the admissible polytopes in $Δ_{n,2}$, as well as of the toric varieties arising as closures of $(\mathbb{C}^*)^n$-orbits on $G_{n,2}$ under the standard $(\mathbb{C}^*)^n$-action.
We consider the $T^n$-equivariant Plücker embedding $G_{n,2} \hookrightarrow \mathbb{C}P^{N_2}$, where $N_2 = \binom{n}{2}-1$. Using admissible graphs, for the considered $T^n$-actions, we describe hyperplane arrangements in $\mathbb{R}^n$ that determine the chambers in $Δ_{n,2}$ for the $T^n$-actions on $G_{n,2}$ and $\mathbb{C}P^{N_2}$. Gel'fand, Kapranov, and Zelevinsky introduced the notions of secondary polytopes and secondary fans in connection with the problem of describing triangulations of a given convex polytope, which is closely related to the Newton polytopes of discriminants and resultants. For the $T^n$-action on $\mathbb{C}P^{N_2}$, we show that the cones in $\mathbb{R}^n$ with vertex at the origin spanned by the chambers form the secondary fan of the cone spanned by the vertices of $Δ_{n,2}$.
Book Ramsey numbers via algebraic constructions
Let $B_n$ denote the book graph consisting of $n$ triangles sharing a common edge. Few exact values of $R(B_n,B_n)$ have been obtained since Rousseau and Sheehan (1978) proved, using Paley graphs, $R(B_n, B_n) = 4n + 2$ whenever $4n+1$ is a prime power.
In this paper, we obtain $R(B_n,B_n)=4n+1$ for infinitely many $n$ by constructing new families of strongly regular graphs. Moreover, we prove that $R(B_{n-2},B_n)\le 4n-3$ for every $n\ge 3$ with $n\ne 6$, removing the original condition $n\equiv 2\pmod 3$ due to Rousseau and Sheehan. In particular, if there exists a symmetric Hadamard matrix of order $2n-2$ with all diagonal entries equal to $1$, then $R(B_{n-2},B_n)=4n-3$. As an application, we show that this equality holds for every $n=2^{2\ell-1}+1$ with $\ell\ge 1$.
Minimum degree stability for graphs without odd-cycle blow-up
For fixed integers $g\ge 2$ and $t\ge 1$, and every $\varepsilon>0$, we prove that there exists a constant $ρ>0$ such that every $n$-vertex graph $G$ with $δ(G)\ge (2/(2g+1)+\varepsilon)n$ either contains $C_{2g-1}[t]$, or can be made bipartite by deleting $O(n^{2-ρ})$ edges. This gives an affirmative answer to a question of Illingworth in [Minimum degree stability of $H$-free graphs, Combinatorica, 43(1):129-147, 2023.]
Adjacency Spectral Radius Under Laplacian Sparsification: Deterministic and Probabilistic Bounds
Spielman-Srivastava spectral sparsification preserves Laplacian quadratic forms to within (1 +/- epsilon), but does not directly control the adjacency spectral radius lambda_1, which governs the NIMFA epidemic threshold and arises in spectral clustering. We prove |lambda_1(A_H) - lambda_1(A_G)| <= epsilon(2 Delta - lambda_1) deterministically, with a sharp epsilon*lambda_1 bound for reweighting sparsifiers via Perron-Frobenius monotonicity. Under effective-resistance sampling, Matrix Bernstein gives O(epsilon Delta / sqrt(c)) with high probability. Combining eigenvector delocalization with resolvent perturbation theory, we establish that for graphs with delocalized Perron eigenvectors and spectral gap = Omega(Delta), the distortion is O(epsilon Delta sqrt(log n) / sqrt(n)) + O(epsilon^2 Delta^2 / delta_gap), with corollaries for Erdos-Renyi graphs, regular expanders, and stochastic block models. Lower bounds establish tightness for regular graphs.
Improved bounds on the b-chromatic number using the independence and chromatic numbers
A b-coloring of a graph $G$ is a proper vertex coloring where each color class contains at least one vertex (a b-vertex) adjacent to a vertex in every other color class. The maximum number of colors in such a coloring is the b-chromatic number, ${\rm b}(G)$. A ${\rm b}^{\ast}$-coloring is a variation in which a b-vertex is adjacent to a b-vertex in every other color class. We employ the ${\rm b}^{\ast}$-coloring to prove that any $n$-vertex graph $G$ with independence number at most $t$ satisfies ${\rm b}(G) \leq ((t-1)n+tχ(G))/(2t-1)$. This bound extends the bounds of Kouider and Zaker (2006) and Alkhateeb and Kohl (2011). We show that this bound is sharp for all $t\geq 2$ and $χ(G)\geq 3$. Furthermore, we provide a refined bound based on the maximum number of vertex-disjoint independent sets of size $t$. Finally, we present an upper bound on the ${\rm b}^{\ast}$-chromatic number of $K_{1,s}$-free graphs.
An automated proof that R(B_8,B_10)=37
We present a short proof that the book Ramsey number $R(B_8,B_{10})$ equals 37. The lower bound $R(B_8,B_{10}) \ge 37$ is already available in the literature, so it is enough to rule out a 37-vertex graph containing neither a copy of $B_8$ nor a copy of $B_{10}$ in its complement. The problem as well as the proof were found with AutoMath, an AI-assisted mathematical discovery workflow developed by the first author. A Lean formalization of the upper-bound argument is available in the accompanying repository.
Torsoids in Path-Like Graphs without nontrivial even 2-separation
Bowler et al. introduced the concept of torsoids that describes the 1-separations of a directed graph in a canonical way building on previous progress by Lov{á}sz. To fully understand the structure of directed graphs with respect to their 1-separations it remains to find a global structure along which the torsoids are arranged. In this paper, we start the investigation of this global structure for a specific class of directed graphs.
Planar higher-rank trees have rank at most four
We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.
On graphs whose cycle space is spanned by their Hamilton cycles
The cycle space of a graph $G$, denoted $\mathcal{C}(G)$, is a vector space over ${\mathbb F}_2$, spanned by all incidence vectors of edge-sets of cycles of $G$. If $G$ has $n$ vertices, then $\mathcal{C}_n(G)$ denotes the subspace of $\mathcal{C}(G)$, spanned by the incidence vectors of Hamilton cycles of $G$. We consider several known sufficient conditions for Hamiltonicity and show that an appropriate and fairly mild strengthening of each such condition in fact ensures the stronger property $\mathcal{C}_n(G) = \mathcal{C}(G)$. In particular, we consider the classical Chvátal-Erdős criterion and prove that (under various additional restrictions) if $n$ is odd and $κ(G) \geq c α(G)$, where $c$ is a sufficiently large absolute constant, then $\mathcal{C}_n(G) = \mathcal{C}(G)$. Moreover, considering the McDiarmid-Yolov criterion we prove that if $n$ is odd and $δ(G) \geq \max \left\{2 \tildeα(G) + 9, \tildeα(G) + 18 \right\}$, where $\tildeα(G)$ is the so-called bipartite independence number of $G$, then $\mathcal{C}_n(G) = \mathcal{C}(G)$. We also prove that if $n$ is odd and $G$ admits $16 α(G) + 12$ pairwise disjoint connected dominating sets, $\mathcal{C}_n(G) = \mathcal{C}(G)$. Finally, we consider an effective Chvátal-Erdős type criterion for bipartite graphs and prove that if $G$ is a balanced bipartite graph on $2n$ vertices, satisfying $α_{\emph{BIP}}(G) \leq 2 δ(G) - 24$, then $\mathcal{C}_{2n}(G) = \mathcal{C}(G)$.
A Two-Graph Refinement of Paulsen's Lollipop Bounds
Let $a_L(n)$ be the maximum number of regions into which $n$ lollipops divide the plane. Paulsen introduced a second obstruction for this problem, based on pairs of circles meeting at obtuse angle, in addition to the stem-direction obstruction of Cutler-Karlsson-Sloane. We recast Paulsen's argument as a weighted problem for two graphs: a $K_4$-free graph $D$ of non-close stem pairs and a $K_5$-free graph $E$ of non-intriguing circle pairs. For the total number $C$ of pairwise crossings, $$ C\le 4\binom n2+|D|+|E|+|D\cap E|. $$ Paulsen bounds the final term by $|D|$. We keep the overlap term and analyze near-extremal configurations of $D$ and $E$. This closes all of Paulsen's remaining gaps up to $n=17$, and also closes $n=19$: $$ \begin{array}{c} a_L(0),a_L(1),\ldots,a_L(17)\\ =1,2,10,25,45,71,104,142,186,237,294,356,425,500,580,667,761,859, \end{array} $$ and $$ a_L(19)=1076. $$ The same method gives the one-region gaps $$ 964\le a_L(18)\le965,\qquad 1193\le a_L(20)\le1194. $$
Spectral radius and maximum matching covered graphs with bounded matching number
Let $G$ be a graph. The {\em spectral radius} of $G$ is the largest eigenvalue of its {\em adjacency matrix}. A {\em matching} of $G$ is a set of disjoint edges of $G$. The {\em matching number} of $G$ is the size of a maximum matching (i.e., a matching with maximum edges). The graph $G$ is called {\em maximum matching covered} if each edge of $G$ is contained in a maximum matching. In this paper, we give a sharp spectral radius condition for graphs with bounded matching number to be maximum matching covered.
A unified abstract regularity lemma
The goal of this short note is to prove a unified abstract regularity lemma which recovers Szemerédi's graph regularity lemma, Green's arithmetic regularity lemma, and a regularity lemma for Boolean functions as direct corollaries.
Exact extremal constructions for the inducibility of blowup graphs
For a finite graph $H$ and a positive integer $h$, the $h$-blowup $H^{(h)}$ of $H$ is the graph obtained by replacing each vertex of $H$ by a set of size $h$ and each edge by a complete bipartite graph between the corresponding sets. We prove that, for every $H$, there exists a constant $h_*(H)$ such that whenever $h\ge h_*(H)$ and $n$ is sufficiently large, every $n$-vertex graph maximizing the number of induced copies of $H^{(h)}$ is a blowup of $H$. This refines the asymptotic result of Hatami, Hirst and Norine and settles the question posed by Bollobás, Egawa, Harris and Jin in 1995.
Tighter Bounds on the Degree-Truncated Choice Number of Planar Graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. The degree-truncated choice number of $G$ is $\operatorname{ch}^{\text{\st{d}}}(G) = \min\{k: G \text{ is degree-truncated $k$-choosable}\}$. For a family $\mathcal{G}$ of graphs, $\operatorname{ch}^{\text{\st{d}}}(\mathcal{G}) = \max\{\operatorname{ch}^{\text{\st{d}}}(G):G \in \mathcal{G}\}$. Let $\mathcal{P}$ denote the family of 3-connected non-complete planar graphs. Richter asked in 2008 whether $ch^{\text{\st{d}}}(\mathcal{P}) \le 6$. In 2025, Zhou, Zhu and Zhu answered this question in negative and proved that $8 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 16$. This result was improved by
Jiang, Xu, Xu, and Zhu, who proved that
$9 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 12$. In this paper,
we further improve the result and prove that
$10 \le \operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) \le 11$. We conjecture that $\operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) =10$, and we confirm this conjecture for those planar graphs $G \in \mathcal{P}$ for which the subgraph induced by vertices of degree at least 11 is 4-choosable.
No three algebraic conjugates of degree sixteen sum to zero
Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.
Erdős-Hajnal beyond the five-vertex path
The well-known Erdős-Hajnal conjecture states that for any graph $H$, there is a constant $c=c(H)>0$ such that every $n$-vertex graph $G$ with no induced copies of $H$ contains a clique or an independent set of size at least $n^{c}$.
In a recent breakthrough, Nguyen, Scott and Seymour proved that Erdős-Hajnal conjecture holds for the five-vertex path (Proceedings of London Mathematical Society 2026), which implies that Erdős-Hajnal conjecture holds for every five-vertex graph. In this paper, we prove that Erdős-Hajnal conjecture holds for graphs with no induced copies of $E$-graph, where $E$-graph is the graph obtained from the five-vertex path $P_5$ by adding a pendent edge to the middle vertex of the $P_5$. Our result generalizes the result of Nguyen, Scott and Seymour on five-vertex path.
The proof uses the iterative sparsification framework proposed by Nguyen, Scott and Seymour in their series work on Erdős-Hajnal conjecture with our generalization. We first reduce Erdős-Hajnal conjecture to a property called generlaized nice, which is a generalization of the ``nice'' property used in [T.~Nguyen, A.~Scott, and P.~Seymour. Induced subgraph density. VII. The five-vertex path. {\em Proceedings of the London Mathematical Society}, 132(3):e70133, 2026]. We then reduce the generalized nice property to a new property related to a structure called comb, where comb was first used in [M.~Chudnovsky, A.~Scott, P.~Seymour, and S.~Spirkl. Erdős-Hajnal for graphs with no 5-hole. {\em Proceedings of the London Mathematical Society}, 126(3): 997-1014, 2023]. Finally, we show that $E$-graph satisfies the desired property via a careful structural analysis imposed by the forbidden induced subgraph. One key step in the proof is to prove, via defining appropriate equivalence relations, that certain auxiliary graph satisfies the Erdős-Hajnal conjecture.
Periodic discrete graphs with prescribed spectrum
We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.
Temporal matching in trees
We study maximum matching problems in temporal graphs whose underlying graph is a tree. We consider two temporal models. In a $Δ$-matching, selected time edges sharing an endpoint must have time ticks differing by at least $Δ$. In a $γ$-matching, the selected objects are blocks of $γ$ consecutive appearances of the same underlying edge. We also consider the related ordered static problem of $d$-distance matchings.
We show that maximum $Δ$-matching remains NP-hard on temporal trees for every $Δ\geq 2$, even in the sparse case where each edge appears at most twice. Using a reduction between the temporal models, we obtain the analogous result for maximum $γ$-matching on temporal trees, even when each edge admits at most two $γ$-edges. We also show, via a reduction from $d$-distance matching, that maximum $γ$-matching is APX-hard even when the underlying graph is bipartite.
Complementing these hardness results, we identify several tractable cases. We prove that maximum $Δ$-matching is polynomial-time solvable on temporal trees in which every edge appears exactly once, and that maximum $γ$-matching is polynomial-time solvable when each edge admits at most one $γ$-edge. We also give dynamic-programming algorithms under bounded local-use and local-sparsity assumptions, and derive polynomial-time solvability of maximum $d$-distance matching when the input bipartite graph is a tree. Finally, we prove that both maximum $Δ$-matching and maximum $γ$-matching admit polynomial-time approximation schemes on temporal trees.