arXiv++ Combinatorics

For a graph $G$ of order $n$, its positive, negative and non-positive inertia is the number of positive, negative and non-positive eigenvalues of its adjacency matrix $A(G)$, respectively. Mohar asked whether every graph with $k$ non-positive eigenvalues has order $O(k^2)$ as $k\to \infty$. Using NEPS, we construct a sequence of non-singular graphs with negative inertia $k$ and order $Ω(k^{\frac{7}{3}})$ as $k\to \infty$, thus resolving Mohar's problem. Our result also strongly refutes a recent conjecture of Akbari, Elphick, Kumar, Pragada, and Tang involving positive and negative inertia.

For positive integers $n\ge r$, let $λ(r,n)$ denote the \emph{maximal relative projection constant} of $r$-dimensional subspaces of $\ell_\infty^n$ and $λ(r)$ denote the \emph{maximal absolute projection constant}, respectively. It is known that for any fixed $r$, $λ(r,n)$ is a non-decreasing sequence with limit $λ(r)$ as $n\to \infty$. A natural question is whether $λ(r,n)$ stabilizes at $λ(r)$ for some $n>r$. We prove that for any fixed $r$, \[λ(r,n)=λ(r) \qquad \text{for every}\qquad n\ge 2^{r}\binom{r+1}{2}.\] This answers a question of Basso. The technique used is of independent interest.

We confirm a conjecture of Brause, Randerath, Rautenbach and Schiermeyer (2016) by proving a localized lower bound on the independence number of a graph that strengthens the classical bounds of Fajtlowicz (1978) and of Caro (1979) and Wei (1981), which in turn settles a conjecture by Bertram and Horák (1996). Our proof is based on a new Motzkin--Straus-type inequality involving local clique numbers and the independence number. We then apply the developed methods to study spectral and algebraic measures of graph bipartiteness. In particular, we extend a theorem of Brandt (1998) on spectral bipartiteness from regular $K_{r+1}$-free graphs to all $K_{r+1}$-free graphs, we improve a general upper bound for the least signless Laplacian eigenvalue of $K_{r+1}$-free graphs, and we disprove a conjecture of de Lima, Nikiforov and Oliveira (2016) in the case of $K_4$-free graphs.

The smallest positive eigenvalue $\partial_2$ of the normalized distance Laplacian matrix $\mathcal{D}^{\mathcal{L}}$ of a connected graph is called its \emph{spectral gap} and is intimately related to the Cheeger constant of $\mathcal{D}^{\mathcal{L}}$. Byrne, Johnston, Schildkraut and Tait (2025) conjectured that \[ \partial_2 \ge \frac{2}{3}\] for all connected graphs. We prove the following stronger result: for any connected graph $G$ of order at least 2, \[\partial_2 \ge \frac{2}{3} + \frac{4}{3\,t_{\max}},\] where $t_{\max}$ denotes the maximum transmission in $G$. Moreover, equality holds if and only if $G\cong K_{m,m}$ for some $m\ge 1$.

For $n>2$ and $k>1$, define the polynomial \[F_{n,k}(x) = Φ_n(1 + x + \cdots + x^k),\] where $Φ_n$ denotes the $n$-th cyclotomic polynomial. The \emph{cyclotomic conjecture} proposed by Gimbert (1999) exactly describes the irreducibility of $F_{n,k}(x)$ over $\mathbb{Q}$ in terms of $n$ and $k$. Conde, Gimbert, González, Miller and Miret (2014) established that the cyclotomic conjecture, if true, would imply the non-existence of almost Moore digraphs - a well-known open question concerning the directed degree-diameter problem. In this article, we prove the cyclotomic conjecture and, as a consequence, show that there are no almost Moore digraphs with maximum out-degree $d$ and diameter $k$ for any $d>1$ and $k>2$.

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

For a graph $G$ of order $n$, with adjacency eigenvalues $λ_1(G) \geq \cdots \geq λ_n(G)$, the \emph{energy} of $G$ is defined to be \[\mathcal{E}(G)=\sum_{i=1}^{n} |λ_i(G)|.\] A well-known conjecture from the 1980s by Fajtlowicz states that for any graph $G$, \[\mathcal{E}(G) \ge 2\left(n-α(G)\right),\] where $α(G)$ denotes the independence number. We prove this conjecture.

For a connected graph \(G\), let $q(G)$ denote the $Q$-index of $G$, i.e., the largest eigenvalue of its signless Laplacian matrix. Abreu and Nikiforov (2013) showed that \[ q(G) \leq 2n\left(1-\frac{1}{ω(G)}\right), \] where $ω(G)$ denotes the clique number of $G$. We first give a short algebraic proof of this result. For a vertex $v\in V(G)$, let \(c(v)\) denote the order of the largest clique of \(G\) containing \(v\). Our main result is the following vertex localized bound that refines the result of Abreu and Nikiforov: \[ q(G) \leq 2\sum_{v\in V(G)}\left(1-\frac{1}{c(v)}\right). \] Equality holds precisely for complete bipartite graphs when \(ω(G)=2\), and for regular complete \(ω(G)\)-partite graphs when \(ω(G)\geq 3\). As a consequence, we also obtain an analogous localized inequality for the $A_α$-matrix of $G$. Finally, we generalize the above localized inequality to vertex-weighted signed graphs. This contributes to the localization program for spectral Turán-type results.

For a graph $G$ of order $n$, the spectral sum of $G$ is defined to be the sum $λ_1(G) + λ_2(G)$, where $λ_1(G)$ (resp. $λ_2(G)$) is the largest (resp. second largest) adjacency eigenvalue of $G$. Ebrahimi, Mohar, Nikiforov and Ahmady (2008) conjectured that the spectral sum \[ λ_1(G) + λ_2(G)\le \frac{8}{7}n \] for any graph $G$. We prove this conjecture by combining tools from the theory of graph limits, convex geometry, exterior algebra and convex optimization. The techniques developed are of independent interest.

For a graph $G$, let $λ_1(G)$ and $λ_2(G)$ denote the largest and the second largest adjacency eigenvalue of $G$. The sum $λ_1(G) + λ_2(G)$ is called the \emph{spectral sum} of $G$. We investigate the spectral sum of trees of order $n$ and determine the extremal trees that achieve maximum/minimum. Moreover, for any $α\in [0,1]$, we determine the extremal trees which maximize the convex combination $αλ_1 + (1-α)λ_2$ in the class of $n$-vertex trees.

Let $G$ be a graph, and let $v$ and $e$ be a vertex and an edge of $G$, respectively. Define $c(v)$ (resp. $c(e)$) to be the order of the largest clique in $G$ containing $v$ (resp. $e$). Denote the adjacency eigenvalues of $G$ by $λ_1 \ge \cdots \ge λ_n$. We study localized refinements of spectral Turán-type theorems by replacing global parameters such as the clique number $ω(G)$, size $m$ and order $n$ of $G$ with local quantities $c(v)$ and $c(e)$. Motivated by a conjecture of Elphick, Linz and Wocjan (2024), we first propose a vertex-localized strengthening of Wilf's inequality: \[ \sqrt{s^{+}(G)} \le \sum_{v\in V(G)}\left(1-\frac{1}{c(v)}\right), \] where $s^+(G) = \sum_{λ_i > 0}λ_i^2$. Inspired by the Bollobás-Nikiforov conjecture (2007) on the first two eigenvalues, we then introduce an edge-localized analogue: \[λ_1^2(G) + λ_2^2(G) \le \sum_{e\in E(G)} 2\left(1-\frac{1}{c(e)}\right).\] As evidence of their validity, we verify the above conjectures for diamond-free graphs and random graphs. We also propose strengthening of the spectral versions of the Erdős, Stone and Simonovits Theorem by replacing the spectral radius with $\sqrt{s^{+}(G)}$ and establish it for all $F$-free graphs with $χ(F)=3$. A key ingredient in our proofs is a general upper bound relating $\sqrt{s^{+}(G)}$ to the triangle count $t(G)$. Finally, we prove a localized version of Nikiforov's walk inequality and conjecture a stronger localized version. These results contribute to the broader program of localizing spectral extremal inequalities.

The ultimate independence ratio of a graph $G$ is defined as $\mathscr{I}(G) = \lim_{k\rightarrow\infty } \frac{α(G^{\Box k})}{|V(G)|^k},$ where $α(G^{\Box k})$ is the independence number of the Cartesian product of $k$ copies of $G$. For all graphs $G$, Hahn, Hell, and Poljak (1995) proved that $\frac{1}{χ(G)} \leq \mathscr{I}(G) \leq \frac{1}{ω(G)}$ where $χ(G)$ is the chromatic number, and $ω(G)$ is the clique number of $G$. So all graphs $G$ with $χ(G) = ω(G)$ satisfy $\mathscr{I}(G) = \frac{1}{χ(G)} = \frac{1}{ω(G)}$. A construction of Zhu demonstrates that there exists a graph $G$ with $\frac{1}{χ(G)} < \mathscr{I}(G) < \frac{1}{ω(G)}$, so neither equality holds in general. In response, Hahn, Hell, and Poljak conjectured that all wheel graphs $W_n$ satisfy $\mathscr{I}(W_n) = \frac{1}{χ(W_n)}$. For even wheels $W_{2t}$ this follows from the fact $χ(W_{2t}) = ω(W_{2t}) = 3$. Odd wheels of length at least $5$ present a more challenging case, since $χ(W_{2t+1}) = 4$ and $ω(W_{2t+1}) = 3$. First, we prove that odd wheels of length at least $7$ satisfy $\mathscr{I}(W_{2t+1})\leq \frac{4t^2+6t}{3(2t+2)^2}<\frac{1}{3}$, which provides the best upper bound for large odd wheels. Next, we prove that $\mathscr{I}(W_5) \leq \frac{1019}{3888}$, improving an upper bound of Hahn, Hell, and Poljak that $\mathscr{I}(W_5) \leq \frac{11}{41}$. Our proofs combine counting arguments, recursive bounds on $α(W^{\Box k}_{2t+1})$, and computer-assisted calculation in the $W_5$ case.

Let $G$ be a graph with adjacency matrix $A(G)$. We conjecture that \[2n^+(G) \le n^-(G)(n^-(G) + 1),\] where $n^+(G)$ and $n^-(G)$ denote the number of positive and negative eigenvalues of $A(G)$, respectively. This conjecture generalizes to all graphs the well-known absolute bound for strongly regular graphs. The conjecture also relates to a question posed by Torgašev. We prove the conjecture for special graph families, including line graphs and planar graphs, and provide examples where the conjecture is exact. We also conjecture that for any connected graph $G$, its line graph $L(G)$ satisfies $n^+(L(G)) \le n^-(L(G)) + 1$, and obtain partial results.

Let $G$ be a simple graph of order $n$ with eigenvalues $λ_1(G)\geq \cdots \geq λ_n(G)$. Define \[s^+(G)=\sum_{λ_i >0} λ_i^2(G), \quad s^-(G)=\sum_{λ_i<0} λ_i^2(G).\] It was conjectured by Elphick, Farber, Goldberg and Wocjan that for every connected graph $G$ of order $n$, $s^+(G) \ge n-1.$ We verify this conjecture for graphs with domination number at most 2. We then strengthen the conjecture as follows: if $G$ is a connected graph of order $n$ and size $m \geq n+1$, then $s^+(G) \geq n$. We prove this conjecture for claw-free graphs and graphs with diameter 2.

For a Hermitian matrix $A$ of order $n$ with eigenvalues $λ_1(A)\ge \cdots\ge λ_n(A)$, define \[ \mathcal{E}_p^+(A)=\sum_{λ_i > 0} λ_i^p(A), \quad \mathcal{E}_p^-(A)=\sum_{λ_i<0} |λ_i(A)|^p,\] to be the positive and the negative $p$-energy of $A$, respectively. In this note, first we show that if $A=[A_{ij}]_{i,j=1}^k$, where $A_{ii}$ are square matrices, then \[ \mathcal{E}_p^+(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^+(A_{ii}), \quad \mathcal{E}_p^-(A)\geq \sum_{i=1}^{k} \mathcal{E}_p^-(A_{ii}),\] for any real number $p\geq 1$. We then apply the previous inequality to establish lower bounds for $p$-energy of the adjacency matrix of graphs.

Let $G$ be a graph of order $n$ with eigenvalues $λ_1 \geq \cdots \geqλ_n$. Let \[s^+(G)=\sum_{λ_i>0} λ_i^2, \qquad s^-(G)=\sum_{λ_i<0} λ_i^2.\] The smaller value, $s(G)=\min\{s^+(G), s^-(G)\}$ is called the \emph{square energy} of $G$. In 2016, Elphick, Farber, Goldberg and Wocjan conjectured that for every connected graph $G$ of order $n$, $s(G)\geq n-1.$ No linear bound for $s(G)$ in terms of $n$ is known. Let $H_1, \ldots, H_k$ be disjoint vertex-induced subgraphs of $G$. In this note, we prove that \[s^+(G)\geq\sum_{i=1}^{k} s^+(H_i) \quad \text{ and } \quad s^-(G)\geq\sum_{i=1}^{k} s^-(H_i),\] which implies that $s(G)\geq \frac{3n}{4}$ for every connected graph $G$ of order $n\ge 4$.

For a graph $G$, let $λ_2(G)$ denote the second largest eigenvalue of the adjacency matrix of $G$. We determine the extremal trees with maximum/minimum adjacency eigenvalue $λ_2$ in the class $\mathcal{T}(n,d)$ of $n$-vertex trees with diameter $d$. This contributes to the literature on $λ_2$-extremization over different graph families. We also revisit the notion of the spectral center of a tree and the proof of $λ_2$ maximization over trees.

Bollobás and Nikiforov conjectured that for any graph $G \neq K_n$ with $m$ edges \[ λ_1^2+λ_2^2\le \bigg( 1-\frac{1}{ω(G)}\bigg)2m\] where $λ_1$ and $λ_2$ denote the two largest eigenvalues of the adjacency matrix $A(G)$, and $ω$ denotes the clique number of $G$. This conjecture was recently verified for triangle-free graphs by Lin, Ning and Wu and for regular graphs by Zhang. Elphick, Wocjan and Linz proposed a generalization of this conjecture. In this note, we verify this generalized conjecture for the family of graphs on $m$ edges, which contain at most $O(m^{1.5-\varepsilon})$ triangles for some $\varepsilon > 0$. In particular, we show that the conjecture is true for planar graphs, book-free graphs and cycle-free graphs.

This paper investigates the asymptotic nature of graph spectra when some edges of a graph are subdivided sufficiently many times. In the special case where all edges of a graph are subdivided, we find the exact limits of the $k$-th largest and $k$-th smallest eigenvalues for any fixed $k$. It is expected that after subdivision, most eigenvalues of the new graph will lie in the interval $[-2,2]$. We examine the eigenvalues of the new graph outside this interval, and we prove several results that might be of independent interest.

The proper divisor graph $Υ_n$ of a positive integer $n$ is the simple graph whose vertices are the proper divisors of $n$, and in which two distinct vertices $u, v$ are adjacent if and only if $n$ divides $uv$. The graph $Υ_n$ plays an important role in the study of the zero divisor graph of the ring $\mathbb{Z}_n$. In this paper, we study some graph theoretic properties of $Υ_n$ and determine the graph parameters such as clique number, chromatic number, chromatic index, independence number, matching number, domination number, vertex and edge covering numbers of $Υ_n$. We also determine the automorphism group of $Υ_n$.