arXiv++ Combinatorics

In this paper, we use the spectral surplus $λ(G) - \sqrt{m}$ to measure how far $G$ lies above the Nosal threshold, and prove the following edge-spectral supersaturation results for triangles and books. (a) Every graph $G$ with $m\ge 3$ edges and $λ(G) \ge 1 + \sqrt{m-2}$ contains at least $m-2$ triangles, with equality if and only if $G = K_3 \vee \tfrac{m-3}{3} K_1$. This can be viewed as the third-layer supersaturation in the jump phenomenon, after the first layer $t(G) \ge \lfloor \tfrac{1}{2}(\sqrt{m}-1) \rfloor$ proved by Ning and Zhai, and the second layer $t(G) \ge \tfrac{m-1}{2}$ by Zhang and Zhai. (b) Every $m$-edge graph $G$ satisfies $t(G) \ge m\bigl(λ- \sqrt{m}\,\bigr)$, with equality if and only if $G$ is complete bipartite. Consequently, $λ(G) \ge \sqrt{m} + q$ forces $t(G) > q m$ for every real $q > 0$. This is an edge-spectral counterpart of the Lovász--Simonovits theorem, and it improves the Bollobás--Nikiforov bound $t(G) \ge \tfrac13 λ(λ^2 - m)$ in the range $\sqrt m \le λ(G) \le 1.3\sqrt m $. (c) Every $m$-edge Nosal graph $G$ contains a book of size greater than $\tfrac14 \sqrt{m}$. This improves two recent results on the booksize constant: $\tfrac{1}{24}$ proved by Li, Liu and Zhang, and $\tfrac19$ by Zhai, Li and Lou. This narrows the gap toward the conjectured optimal constant $\tfrac13$. (d) Every $m$-edge Nosal graph $G$ contains at least $\bigl(\tfrac{1}{8} - o(1)\bigr) m$ copies of the kite $C_4^+=B_2$, and the constant $\tfrac18$ is best possible. This determines the sharp asymptotic constant for counting $C_4^+$ and strengthens the $Ω(m)$ bound of Li, Liu and Zhang.

We study the supersaturation problem in its edge-spectral form. Let $λ(G)$ be the adjacency spectral radius of $G$. Nikiforov proved that every $K_{r+1}$-free graph $G$ with $m$ edges satisfies $λ(G)\le \sqrt{(1\!-\!1/r )2m}$. Recently, Li, Liu and Zhang proved the same bound for every $F$-free graph $G$, where $F$ is any color-critical graph with $χ(F)=r+1\ge4$, with equality only for regular complete $r$-partite graphs. It is then natural to ask how many copies of $F$ are forced once $λ(G)$ exceeds this threshold. Fang, Lin and Zhai answered this at the threshold itself, and conjectured that for any fixed $C>0$, the condition $λ(G)\ge \sqrt{(1\!-\!{1}/{r})2m} +C$ forces $Ω\!\left(m^{(f-1)/2}\right)$ copies. In this paper, we answer this question with the best possible constant, proving that for every color-critical graph $F$ with $χ(F)=r+1\ge4$, there exists $δ_F>0$ such that if $m$ is sufficiently large, $0<q\leδ_F\sqrt m$, and $G$ is an $m$-edge graph with $λ^2(G)\ge 2\left(1-\tfrac1r\right)m+q$, then \[ N_F(G)\ge\bigl(B_F-o(1)\bigr)\,q\, m^{{(f-2)}/{2}}, \quad \text{where}~~ B_F:=\tfrac{α_F}{4} (\tfrac{2r}{r-1} )^{{f}/{2}}, \] and the constant $B_F$ is best possible. Our result can be viewed as an edge-spectral counterpart of Mubayi's theorem, since it converts the spectral surplus $q$ into a linear number of copies with a sharp constant, and it solves the conjecture of Fang, Lin and Zhai in a stronger form.

An even factor of a graph $G$ is a spanning subgraph in which every vertex has positive even degree. It is known that the minimum degree $δ(G)\ge 2$ is a trivial necessary condition for $G$ to have an even factor. Recent spectral results for the existence of even factors used the certain complete-join graphs as exceptional extremal graphs. However, these graphs already contain $2$-factors and therefore are not genuine obstructions. This observation leads to the natural problem of determining the true sharp spectral threshold when the minimum degree is given. In this paper, we provide tight adjacency spectral radius conditions for a connected graph to contain an even factor, and characterize all extremal graphs, respectively. We also study the stronger requirement of a connected even factor, equivalently a spanning connected Eulerian subgraph. For this property, we also establish the corresponding sharp adjacency spectral radius condition and determine the unique extremal graph.

Chudnovsky, Cook, Davies, and Oum introduced the notion of Pollyanna graph classes: a class $\mathcal{C}$ is Pollyanna if for every $χ$-bounded class $\mathcal{F}$, the intersection $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded. They further defined $\mathcal{C}$ to be strongly Pollyanna if it is $k$-strongly Pollyanna for some integer $k$, meaning that $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded for every $k$-good class $\mathcal{F}$. They asked whether there are Pollyanna graph classes that are not strongly Pollyanna. In this note we answer this question affirmatively, under the literal interpretation that graph classes are not required to be hereditary. We construct a class $\mathcal{C}$ that is Pollyanna but, for every $k \ge 1$, is not $k$-strongly Pollyanna; in particular $\mathcal{C}$ is not strongly Pollyanna.

A graph $G$ is said to be perfectly divisible if for every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into two sets $A, B$ such that $H[A]$ is perfect and $ω(B) < ω(H)$. It is easy to see that the chromatic number of a perfectly divisible graph is at most $\binom{ω(G)+1}{2}$. Hoàng conjectured that every graph $G$ with $α(G) \le 3$ is perfectly divisible. We disprove this conjecture. In the same vein, a graph $G$ with at least one edge is $k$-divisible if for every induced subgraph $H$ of $G$ with at least one edge, the vertex set $V(H)$ can be partitioned into $k$ sets, none of which contains a largest clique of $H$. It is easy to see that the chromatic number of a $k$-divisible graph is at most $k^{ω-1}$. Hoàng conjectured that every even-hole-free graph is 3-divisible. We confirm this conjecture.

The inertia of a graph $G$ is $\operatorname{In}(G)=(n^+(G),n^0(G),n^-(G))$, where $n^+(G),\, n^0(G),\, n^-(G)$ are the numbers of positive, zero and negative eigenvalues of the adjacency matrix of $G$, respectively, counted with multiplicities. Akbari, Elphick, Kumar, Pragada and Tang [Discrete Math. 349 (2026) 114953] conjectured that every graph $G$ satisfies \[ 2n^+(G)\le n^-(G)(n^-(G)+1). \] In this note, we construct a family of reduced graphs $\{W_{k}:\,k\ge5\}$ with \[ \operatorname{In}(W_k) = \left(\binom{k}{2}+1,\ 0,\ k-1\right), \] each of which violates the conjectured inequality. We also observe that deleting the vertex $a_1$ from $W_5$ gives a reduced graph with inertia $(10,0,4)$, answering a question raised in the same paper. The family also refutes a weaker inequality proposed there.

Brualdi and Hoffman proposed a well-known problem of determining the graph with maximum adjacency spectral radius among all graphs with given size $m$. Early work by Friedland and Stanley addressed some specific cases. This problem was later completely solved by Rowlinson and recently revisited by Cheng and Weng. Pioneering work on the distance matrix was carried out by Graham and Pollak, as well as by Graham and Lovász. The distance spectral radius $ρ(G)$ of a connected graph $G$ is the largest eigenvalue of its distance matrix. In this paper, we completely solve the problem of characterizing the connected graph with minimum distance spectral radius among all graphs with size $m$. Let $\mathcal{G}(m)$ be the class of connected graphs with $m$ edges. For every $m \ge 3$, let $n$ be the unique integer satisfying $\binom{n-1}{2} < m \le \binom{n}{2}$, and we write $m = \binom{n-1}{2} + s$ with $1 \le s \le n-1$. Recently, Lin and Zhou [Adv. in Appl. Math. 173 (2026)] investigated the graph in $\mathcal{G}(m)$ that minimizes $ρ(G)$ in the range $s \ge \max\{ \frac{n-6}{2}, 1\}$. However, the problem is much more difficult in the remaining range $1 \le s \le \frac{n-7}{2}$, and they conjectured that the unique minimizer is $\overline{P_{n,s+1}}$, the complement of a balanced disjoint union of paths. Using novel matrix analysis, we solve this conjecture in the affirmative. Moreover, we provide a new unified proof for the entire range $1 \le s \le n-1$. The key ingredients in our proof argument include an innovative comparison principle for the distance spectral radius, an increment analysis of $Φ$-functions on paths and cycles, an argument for balancing path lengths, and a walk enumeration technique via the Neumann series.

A classical result of Cioabă states that if $G$ is a connected graph with the unit Perron vector $\mathbf{x}$, then any independent set $S$ of $G$ satisfies $\sum_{v\in S} x_v^2 \le \frac{1}{2}$, with equality if and only if $G$ is a bipartite graph and $S$ is one of the partite sets. Let $χ(G)= k $ be the chromatic number of $G$. A well-known conjecture of Gregory asserts that any independent set $S$ of $G$ satisfies $\frac{1}{2} - \sum_{v\in S}x_v^2 = Ω((k/n)^{1/2})$. Recently, Liu and Ning [J. Combin. Theory Ser. B 176 (2026)] disproved Gregory's conjecture by constructing a graph $G$ and an independent set $S$ such that $\frac{1}{2}- \sum_{v\in S}x_v^2 = O(k^5/n^3)$. Furthermore, they conjectured that this bound is tight up to a constant factor. In this paper, we first show that any cycle $C_n$ with odd integer $n\ge 7$ provides a simple counterexample to Gregory's conjecture. Second, we establish that for any independent set $S$, we have $\frac{1}{2} - \sum_{v\in S}x_v^2 = \frac{q}{4λ-2q}$, where $λ$ is the spectral radius of $G$, and $q$ is the Rayleigh quotient of $\mathbf{x}$ restricted to $\bar{S} :=V(G)\setminus S$. Third, we construct a graph with arbitrarily large chromatic number and find an independent set $S$ such that $\sum_{v\in S}x_v^2$ can be arbitrarily close to $\frac{1}{2}$, with an exponentially small gap. Our construction shows that there is no universal lower bound of the form $Ω(k^α/n^β)$ for any $α, β>0$. This settles both Gregory's original conjecture and the modified conjecture of Liu and Ning in the negative. Finally, we show the tightness of our construction and provide some local weighted lower bounds.