arXiv++ Combinatorics

Let $G$ be a graph of order $n$ with eigenvalues $λ_1(G) \geq \dots \geq λ_n(G)$, and let $s_+(G)=\sum_{λ_i(G)>0}λ_i(G)^2.$ Recently Liu, Tang, and Zhang proved the positive square-energy strengthening of Turán's theorem \[\sqrt{s_+(G)}\leq \left(1-\frac1r\right)n.\] where $r=ω(G)$ is the clique number of $G$. We characterize the families of graphs for which the above inequality is sharp. Precisely, we prove that, for $r\geq 2$, equality holds if and only if $r\mid n$ and $G$ is the complete regular $r$-partite graph $K_{n/r,\ldots,n/r}$.

The algebraic connectivity of a graph $G$ is a well studied graph invariant that is related to other properties of the graph such as connectivity and expansion. Given $n$ and $m$, $α(n,m)$ is the maximum algebraic connectivity of a graph with $n$ vertices with $m$ edges. In 2015, Kolokolnikov conjectured that $α(n,2n-4)=2$ for $n\geq 3$, and verified this claim computationally for $n \le 12$. In this paper, we prove Kolokolnikov's conjecture.

A signed graph $Σ=(G,σ)$ is a graph $G$ with edges given signs $1$ or $-1$ defined by the function $σ$. The adjacency matrix of $Σ$ is defined as per these signs. The relation between the largest eigenvalue of $G$ and $G-v$ has been studied in recent years, where $G-v$ is the graph obtained from $G$ by deleting the vertex $v$. In 2020, Sun and Das proved that the difference of the squares of the largest eigenvalues of the graphs $G$ and $G-v$ is bounded above by $2d(v)-1$ where $d(v)$ is the degree of $v$. A similar result need not be true for the largest eigenvalues of signed graphs. In this paper, we prove that the result is valid for the spectral radius of signed graphs. On the other hand, the signed graph version of Hoffman's chromatic number bound and Cvetkovic's lower bound was proved by Wang et al. in 2021. They also discussed the difficulty in proving the extended version encompassing all eigenvalues of $Σ$ as was done for unsigned graphs by Wocjan et al. We give a lower bound for the chromatic number in terms of all the eigenvalues of $Σ$ and $Σ_-$, where $Σ_-$ is the spanning subgraph induced by the negative edges.

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.

The algebraic connectivity $a(G)$, defined as the second smallest eigenvalue of the Laplacian matrix $L(G)$, admits a well-known variational characterization involving the minimization of a quadratic form subject to an $\ell_{2}$-norm constraint. In a recent work, Andrade and Dahl (2024) proposed an analogous formulation based on the $\ell_{1}$-norm, leading to the introduction of a new graph parameter $b(G)$, referred to as the $l_1$-Fiedler value. In this article, we undertake a detailed investigation of the structural and extremal properties of $b(G)$. We first derive a Nordhaus--Gaddum type inequality for $b(G)$. For trees, we determine both global maximizer and minimizers of $b(G)$, and present extremal constructions for trees with prescribed diameter, maximum degree, and number of pendant vertices. We further establish a connection between $b(G)$ and Laplacian matrices, and obtain a bound for $b(G)$ in terms of the edge connectivity, along with a complete characterization of the graphs attaining equality. We derive an explicit formula that describes the behaviour of $b(G)$ under the addition of pendant vertices. We also investigate the connection between $b(G)$ and the isoperimetric number.

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.

This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected graphs for which their corresponding products are isomorphic. As a by-product, we identify a novel family of non-distance-regular graphs that possess fewer than d+1 distinct distance eigenvalues, where d represents the diameter of the graph. This result offers a new perspective on Problem 4.3 posed in [2], moving beyond the current approaches.

The algebraic connectivity $a(G)$ of a graph $G$ is defined as the second smallest eigenvalue of its Laplacian matrix $L(G)$. It also admits a variational characterization as the minimum of a quadratic form associated with $L(G)$, subject to $l_2$-norm constraints. In 2024, Andrade and Dahl investigated an analogous parameter $γ(G)$, defined using the $l_\infty$-norm instead of the $l_2$-norm. They demonstrated that $γ(G)$ can be computed in polynomial time using linear programming. In this article, we study the combinatorial significance of $γ(G)$, revealing that it can be efficiently computed using a breadth-first search (BFS) algorithm. We show that $γ(G)$ characterizes the connectedness of the graph $G$. We further establish new bounds on $γ(G)$, and analyze the graphs that attain extremal values. Finally, we derive an elegant formula for $γ(G)$ when $G$ is the Cartesian product of finitely many graphs. Applying this formula, we explicitly compute $γ(G)$ for various families of graphs, including hypercube graphs, Hamming graphs, and others.

In 2010, Butler introduced the unfolding operation on a bipartite graph to produce two bipartite graphs, which are cospectral for the adjacency and the normalized Laplacian matrices. In this article, we describe how the idea of unfolding a bipartite graph with respect to another bipartite graph can be extended to nonbipartite graphs. In particular, we describe how unfoldings involving reflexive bipartite, semi-reflexive bipartite, and multipartite graphs are used to obtain cospectral nonisomorphic graphs for the adjacency matrix.

A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the gain function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $ and its inverse is assigned to the opposite orientation. The associated adjacency matrix $ A(Φ) $ is defined canonically. The energy $ \mathcal{E}(Φ) $ of a $ \mathbb{T} $-gain graph $ Φ$ is the sum of the absolute values of all eigenvalues of $ A(Φ) $. For any connected triangle-free $ \mathbb{T} $-gain graph $ Φ$ with the minimum vertex degree $ δ$, we establish a lower bound $ \mathcal{E}(Φ)\geq 2δ$ and characterize the equality. Then, we present a relationship between the characteristic and the matching polynomial of $ Φ$. Using this, we obtain an upper bound for the energy $ \mathcal{E}(Φ)\leq 2μ\sqrt{2Δ_e+1} $ and characterize the classes of graphs for which the bound sharp, where $ μ$ and $ Δ_e$ are the matching number and the maximum edge degree of $ Φ$, respectively. Further, for any unicyclic graph $ G $, we study the gains for which the gain energy $ \mathcal{E}(Φ) $ attains the maximum/minimum among all $ \mathbb{T} $-gain graphs defined on $G$.

In this article, we show that the generalized tree shift operation increases the distance spectral radius, distance signless Laplacian spectral radius, and the $D_α$-spectral radius of complements of trees. As a consequence of this result, we correct an ambiguity in the proofs of some of the known results.

The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column, and leaving zeros in the remaining ones. The $\mathcal{E}$-eigenvalues of $G$ are the eigenvalues of $\mathcal{E}(G)$, in which the largest one is the $\mathcal{E}$-spectral radius of $G$. The $\mathcal{E}$-energy of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we study some of the extremal problems for eccentricity matrices of complements of trees and characterize the extremal graphs. First, we determine the unique tree whose complement has minimum (respectively, maximum) $\mathcal{E}$-spectral radius among the complements of trees. Then, we prove that the $\mathcal{E}$-eigenvalues of the complement of a tree are symmetric about the origin. As a consequence of these results, we characterize the trees whose complement has minimum (respectively, maximum) least $\mathcal{E}$-eigenvalues among the complements of trees. Finally, we discuss the extremal problems for the second largest $\mathcal{E}$-eigenvalue and the $\mathcal{E}$-energy of complements of trees and characterize the extremal graphs. As an application, we obtain a Nordhaus-Gaddum type lower bounds for the second largest $\mathcal{E}$-eigenvalue and $\mathcal{E}$-energy of a tree and its complement.

The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the $\mathcal{E}$-eigenvalues of $G$. The eccentricity energy (or the $\mathcal{E}$-energy) of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we determine the unique tree with the minimum second largest $\mathcal{E}$-eigenvalue among all trees on $n$ vertices other than the star. Also, we characterize the trees with minimum $\mathcal{E}$-energy among all trees on $n$ vertices.

Let $T$ be a tree on $n$ vertices whose edge weights are positive definite matrices of order $s$. The squared distance matrix of $T$, denoted by $Δ$, is the $ns \times ns$ block matrix with $Δ_{ij}=d(i,j)^2$, where $d(i,j)$ is the sum of the weights of the edges in the unique $(i,j)$-path. In this article, we obtain a formula for the determinant of $Δ$ and find $Δ^{-1}$ under some conditions.

A signed graph $Σ= (G, σ)$ is a graph where the function $σ$ assigns either $1$ or $-1$ to each edge of the simple graph $G$. The adjacency matrix of $Σ$, denoted by $A(Σ)$, is defined canonically. In a recent paper, Wang et al. extended the eigenvalue bounds of Hoffman and Cvetković for the signed graphs. They proposed an open problem related to the balanced clique number and the largest eigenvalue of a signed graph. We solve a strengthened version of this open problem. As a byproduct, we give alternate proofs for some of the known classical bounds for the least eigenvalues of the unsigned graphs. We extend the Turán's inequality for the signed graphs. Besides, we study the Bollobás and Nikiforov conjecture for the signed graphs and show that the conjecture need not be true for the signed graphs. Nevertheless, the conjecture holds for signed graphs under some assumptions. Finally, we study some of the relationships between the number of signed walks and the largest eigenvalue of a signed graph.

The \textit{eccentricity matrix} $\mathcal{E}(G)$ of a connected graph $G$ is obtained from the distance matrix of $G$ by keeping the largest non-zero entries in each row and each column, and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the \textit{$\mathcal{E}$-eigenvalues} of $G$. In this article, we find the inertia of the eccentricity matrices of trees. Interestingly, any tree on more than $4$ vertices with odd diameter has two positive and two negative $\mathcal{E}$-eigenvalues (irrespective of the structure of the tree). A tree with even diameter has the same number of positive and negative $\mathcal{E}$-eigenvalues, which is equal to the number of 'diametrically distinguished' vertices (see Definition 3.1). Besides we prove that the spectrum of the eccentricity matrix of a tree is symmetric with respect to the origin if and only if the tree has odd diameter. As an application, we characterize the trees with three distinct $\mathcal{E}$-eigenvalues.

In this article, we construct bipartite graphs which are cospectral for both the adjacency and normalized Laplacian matrices using partitioned tensor product. This extends the construction of Ji, Gong, and Wang \cite{ji-gong-wang}. Our proof of the cospectrality of adjacency matrices simplifies the proof of the bipartite case of Godsil and McKay's construction \cite{godsil-mckay-1976}, and shows that the corresponding normalized Laplacian matrices are also cospectral. We partially characterize the isomorphism in Godsil and McKay's construction, and generalize Ji et al.'s characterization of the isomorphism to biregular bipartite graphs. The essential idea in characterizing the isomorphism uses Hammack's cancellation law as opposed to Hall's marriage theorem used by Ji et al.

The eccentricity matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix of $G$ by retaining the largest distances in each row and each column, and leaving zeros in the remaining ones. The eccentricity energy of $G$ is sum of the absolute values of the eigenvalues of $\varepsilon(G)$. Although the eccentricity matrices of graphs are closely related to the distance matrices of graphs, a number of properties of eccentricity matrices are substantially different from those of the distance matrices. The change in eccentricity energy of a graph due to an edge deletion is one such property. In this article, we give examples of graphs for which the eccentricity energy increase (resp., decrease) but the distance energy decrease (resp., increase) due to an edge deletion. Also, we prove that the eccentricity energy of the complete $k$-partite graph $K_{n_1,\hdots,n_k}$ with $k\geq 2$ and $ n_i\geq 2$, increases due to an edge deletion.

A complex unit gain graph ($\mathbb{T}$-gain graph), $Φ= (G, \varphi)$ is a graph where the function $\varphi$ assigns a unit complex number to each orientation of an edge of $G$, and its inverse is assigned to the opposite orientation. A $ \mathbb{T} $-gain graph $Φ$ is balanced if the product of the edge gains of each cycle (with a fixed orientation) is $1$. Signed graphs are special cases of $\mathbb{T}$-gain graphs. The adjacency matrix of $Φ$, denoted by $ \mathbf{A}(Φ)$ is defined canonically. The gain Laplacian for $Φ$ is defined as $\mathbf{L}(Φ) = \mathbf{D}(Φ) - \mathbf{A}(Φ)$, where $\mathbf{D}(Φ)$ is the diagonal matrix with diagonal entries are the degrees of the vertices of $G$. The minimum number of vertices (resp., edges) to be deleted from $Φ$ in order to get a balanced gain graph the frustration number (resp, frustration index). We show that frustration number and frustration index are bounded below by the smallest eigenvalue of $\mathbf{L}(Φ)$. We provide several lower and upper bounds for extremal eigenvalues of $\mathbf{L}(Φ)$ in terms of different graph parameters such as the number of edges, vertex degrees, and average $2$-degrees. The signed graphs are particular cases of the $\mathbb{T}$-gain graphs, all the bounds established in paper hold for signed graphs. Most of the bounds established here are new for signed graphs. Finally, we perform comparative analysis for all the obtained bounds in the paper with the state-of-the-art bounds available in the literature for randomly generated Erdős-Reýni graphs. Some of the major highlights of our paper are the gain-dependent bounds, limit convergence of the bounds to the extremal eigenvalues, and optimal extremal bounds obtained by posing optimization problems to achieve the best possible bounds.

A complex unit gain graph ($ \mathbb{T} $-gain graph), $ Φ=(G, \varphi) $ is a graph where the function $ \varphi $ assigns a unit complex number to each orientation of an edge of $ G $, and its inverse is assigned to the opposite orientation. %A complex unit gain graph($ \mathbb{T} $-gain graph) is a simple graph where each orientation of an edge is given a complex unit, and its inverse is assigned to the opposite orientation of the edge. In this article, we propose gain distance matrices for $ \mathbb{T} $-gain graphs. These notions generalize the corresponding known concepts of distance matrices and signed distance matrices. Shahul K. Hameed et al. introduced signed distance matrices and developed their properties. Motivated by their work, we establish several spectral properties, including some equivalences between balanced $ \mathbb{T} $-gain graphs and gain distance matrices. Furthermore, we introduce the notion of positively weighted $ \mathbb{T} $-gain graphs and study some of their properties. Using these properties, Acharya's and Stanić's spectral criteria for balance are deduced. Moreover, the notions of order independence and distance compatibility are studied. Besides, we obtain some characterizations for distance compatibility.