arXiv++ Combinatorics

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 a graph $G$, let $α(G)$ be the second smallest eigenvalue of the Laplacian matrix of $G$, also known as the algebraic connectivity. Algebraic connectivity plays an important role in characterizing the connectivity of graphs and convergence properties of networks. Kolokolnikov conjectured that among all graphs on $n$ vertices with exactly $2n-4$ edges, $α(G)\leq 2$ and one of the maximizers is the complete bipartite graph whose two parts have sizes two and $n-2$, respectively. In this paper, we completely resolve this conjecture.

In this paper, we study the effective resistance, the Kirchhoff index, and the number of spanning trees of the connected graph $K_n-F$, which is obtained from the complete graph by deleting a set $F$ of $p$ edges. Let $B$ be the incidence matrix of the deleted edges. We call the matrix $Q=B^TB$ the edge-defect matrix. This is a $p\times p$ matrix which records, with signs, the way in which the deleted edges share their end vertices. First, we derive a formula for the effective resistance between any two distinct vertices in terms of the resolvent of the edge-defect matrix. This reduces the usual computation using the $n\times n$ Laplacian matrix to a computation using a $p\times p$ matrix corresponding to the number of deleted edges. Moreover, by using the eigenvalues of the same matrix, we give unified formulas for the Kirchhoff index and the number of spanning trees. Next, we derive a stability identity which exactly describes the excess from the Xu, Das, and Zhang type lower bound. As a consequence, we show that, in the range where a matching deletion can be realized, the Kirchhoff index is minimized when the deleted edge set is a matching. Furthermore, by using majorization, we prove that, for $p\ge 2$ and $n\ge \max\{4,2p-1\}$, among all non-matching deleted edge sets, the minimum is attained only when the deletion graph is isomorphic to $P_3\cup(p-2)K_2$. Finally, we apply the obtained formulas to several deletion graphs, such as matchings, stars, cliques, paths, and cycles.

For a group $Ω$, the associated power graph $P(Ω)$ is defined as the graph whose vertices are the elements of $Ω$, with two distinct vertices $u,v\in Ω$ being adjacent if either $u=v^m$ or $v=u^n$ for some $m,n \in \mathbb{N}$. In this paper, we completely characterise the structure of the power graph associated with the class of metacyclic groups. Building on this structural description, we derive explicit expressions for the characteristic polynomials of the adjacency, Laplacian, and signless Laplacian matrices. Moreover, we obtain lower and upper bounds for the spectral radii of the adjacency and signless Laplacian matrices.

Inspired by the generalization of the formula of determinant of the distance matrix of trees to $k$-trees, we study the Smith normal form of Laplacian matrices associated with some simplicial complexes. We find relations between sandpile groups of adjacency graphs and the Smith normal form of Laplacian matrices of simplicial complexes. We use such relations to calculate the Smith normal form of the highest Laplacian matrix of simplicial annuli and $k$-trees. %The low dimensional cases seems to be more difficult to calculate. We also provide numerical experiments to visualize how good are these algebraic invariants to distinguish $k$-trees. Finally, we point out that the Graham-Lovász-Pollak matrix, used to compute the determinant of the distance matrix of trees, can be used in the context of Laplacian matrices of trees and block graphs.

We find necessary and sufficient conditions for the rank of the signless incidence matrix of a weakly connected oriented graph with non-zero complex edge weights. We use this to find the combinatorial formulas for the Moore-Penrose inverse of the complex signless incidence and complex signless Laplacian matrix of a weakly connected oriented graph with non-zero complex edge weights. This resolves the open problem posed in the concluding remarks of Barik et. al. (Discrete Mathematics 349 (9), 115117, 2026).

This thesis investigates two central directions in algebraic graph theory, with an emphasis on spectral methods: spectral determination of graphs and transitivity properties of generalized-Hamming graphs and their complements. The first part focuses on graphs that are determined by the spectra of associated matrices. We study spectral determination with respect to the adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, with particular emphasis on the adjacency spectrum. We survey existing results on graphs determined by their spectrum and develop new proof techniques for establishing spectral uniqueness. In particular, we present new proofs for the spectral characterization of complete bipartite graphs and Turán graphs, as well as some new results related to the spectral characterization of the important family of strongly regular graphs. In addition, we introduce a new family of graphs, called \emph{the graphs of pyramids}, and prove that they are determined by their adjacency spectrum using tools from matrix analysis, such as Cauchy's interlacing theorem and Schur complements. The second part of the thesis studies generalized-Hamming graphs, a family of Cayley graphs that generalize the sub-family of Hamming graphs, and their complements. We classify the parameters for which these graphs are edge-transitive or even distance-transitive. Our analysis combines spectral methods, group-theoretic arguments, and techniques from the theory of association schemes. As an application, we derive closed-form expressions for the Lovász $\vartheta$-function of generalized-Hamming graphs and their complements whenever either the graph or its complement is edge-transitive. Overall, the results demonstrate how spectral methods provide powerful tools for understanding the structure and symmetry of graphs, and they suggest several directions for further research.

Inspired by recent advances in notions of spectral approximation of digraphs [Ahm+20], we study spectral algorithms for finding periodic structures in digraphs via the spectrum of a class of rotated Laplacian matrices. This class of Laplacian matrices was previously studied by Lange, Liu, Peyerimhoff, and Post [Lan+15]. We consider a notion of periodicity ratio that generalizes the bipartiteness ratio of Trevisan [Tre09], and show that it is closely related to the spectrum of rotated Laplacian matrices. In particular, if the digraph is strongly connected and represents a Markov chain, this periodicity ratio for a given $p \in \mathbb{N}$ is a quantitative measure of how close this Markov chain is to having periodicity $p$. We propose and analyze a periodicity-ratio variant of the spectral algorithm by Louis, Raghavendra, Tetali and Vempala [Lou+12]. We show that the algorithm runs in randomized polynomial time and can find many nearly periodic components (i.e, components with small periodicity ratio). This also implies a new higher-order Cheeger-type inequality for periodicity in the spirit of that in [Lou+12; LOT14]. As part of our analysis, we prove a new theorem that upper bounds the probability that the largest magnitudes of two sequences of coordinate-wise correlated complex Gaussian random variables occur at different indices, which may be of independent interest. Previously, an analogous result was known only for real Gaussian random variables.

Let $G$ be a simple graph of maximum degree $d$, and let $μ(G)$ denote the largest eigenvalue of its Laplacian matrix. For a fixed integer $k\geq 2$, Aharoni, Alon, and Berger (2016) asked whether every graph containing no induced copy of $K_{1,k}$ satisfies $μ(G)\leq (2 - \frac{2}{k} + o(1)) d$. We answer this question by proving the stronger sharp bound \[ μ(G)\leq \left(2-\frac{2}{k}\right)(d+1). \] The proof combines a sign decomposition of a Laplacian Rayleigh vector with a weighted local Caro-Wei type inequality for independent sets.

Let $G=(V,E)$ be a simple graph of order $n$ and let $λ_1(G)\ge \cdots \ge λ_n(G)$ be the eigenvalues of its Laplacian matrix. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^kλ_i(G)\le |E|+\binom{k+1}{2}$. Lew (JCTB, 2026) established a weaker form of Brouwer's Laplacian eigenvalue inequality. The full Brouwer conjecture was recently proved by Kothari and Tudose. Lew also proposed two conjectures for upper bounds on the sum of the largest Laplacian eigenvalues, one in terms of the matching number and one in terms of the vertex-cover number. Using Brouwer's Laplacian inequality, we prove both conjectures.

A graph with Laplacian matrix $L$ is called Laplacian integral if the eigenvalues of $L$ are all integers, and it is called $\{-1,0,1\}$-diagonalizable if $L$ has a full set of eigenvectors with entries from $\{-1,0,1\}$. We herein develop a structure theorem for both Laplacian integral graphs and $\{-1,0,1\}$-diagonalizable graphs of prime order, and combine it with some novel computational techniques to characterize all such graphs for orders larger than was previously possible. For example, we enumerate all Laplacian integral and $\{-1,0,1\}$-diagonalizable graphs of order $13$ or less, all $\{-1,0,1\}$-diagonalizable graphs of prime order $23$ or less, all regular integral graphs of order $15$ or less, and all regular $\{-1,0,1\}$-diagonalizable graphs of prime order $53$ or less. As an immediate byproduct of our work, we show that the $S_{n,n}$ conjecture for Laplacian integral graphs is true when $n = 12$, thus making $n = 16$ the smallest open case; additionally, we disprove two related conjectures regarding Laplacian spectra. We also establish an exponential lower bound on the number of connected $\{-1,0,1\}$-diagonalizable graphs of order $n$, thus beating the previously best-known (subexponential) lower bound. Finally, we show that every bipartite $\{-1,0,1\}$-diagonalizable graph is regular (a fact that fails to generalize to Laplacian integral graphs).

In this paper, we investigate the effective resistance on the graph $G_N^{(r)}$, which is obtained by deleting all edges corresponding to circular distances $\{\pm1, \pm2, \dots, \pm r\}$ from the complete graph $K_N$. We utilize the cyclic symmetry of the graph to diagonalize the Laplacian matrix via the discrete Fourier basis and derive a finite trigonometric sum representation for the effective resistance between two vertices at distance $\ell$. Specifically, we treat the cases $r=1$ and $r=2$ in detail and provide explicit formulas. For the case of $r=1$, we use Fourier analysis to rederive the closed form in terms of Bejaia and Pisa numbers given by Chair. For the case of $r=2$, we show that the denominator reduces to a quadratic polynomial with complex roots and introduce a generalized Bejaia-Pisa-type complex sequence. Using this sequence, we provide some closed forms for the effective resistance and various related formulas.

The signless Laplacian matrix of a graph $G$ is $Q(G)=D(G)+A(G)$, where $D(G)$ and $A(G)$ are the diagonal degree matrix and the adjacency matrix of $G$, respectively. The signless Laplacian spectral radius of $G$ is the largest eigenvalue of $Q(G)$. For a positive integer $t$, a graph is called $tK_3$-free if it contains no $t$ vertex-disjoint triangles. In this paper, for every fixed $t\geq 2$ and all $n\geq 28t-17$, we determine the unique graph achieving the maximum signless Laplacian spectral radius among all $tK_3$-free graphs of order $n$.

Let $G$ and $H$ be connected graphs that are 2-isomorphic. It is known that their Laplacian matrices are congruent by a unimodular matrix $U$. In this paper we show (Thm. \ref{thm:main2}) that $U$ is a bijection between certain spaces of harmonic vectors on the vertices of $G$ and $H$. In particular (Cor. \ref{cor:main1}) if $u$ is a harmonic vector with respect to vertices $c, d$ in $H$ and the 2-isomorphism maps edge $(a,b)$ in $G$ to edge $(c,d)$ in $H$, then $uU$ is a harmonic vector with respect to vertices $a, b$ in $G$.

The Laplacian spectral radius of a graph is the largest eigenvalue of its Laplacian matrix. Previously, upper bounds for the Laplacian spectral radius were proposed using a backward-reconstruction procedure starting from expressions equal to $2x$ and substituting local degree data. A numbered list of 68 such candidate bounds was subsequently investigated, resulting in the refutation of 30 of these bounds; two additional bounds were later refuted in a separate study. This paper updates the status of the remaining 36 candidate bounds. Of these remaining bounds, we confirm 22 and refute 12, leaving only two upper bounds open. The valid bounds follow primarily from classical Laplacian spectral radius bounds and the Collatz--Wielandt comparison; the refutations are carried out through explicit counterexamples relying on equitable partitions.

Cospectral graphs (graphs that share the same eigenvalues) expose the limitations of using the graph spectrum to uniquely identify graphs, and they also help to understand what structural properties a graph spectrum cannot capture. Switching methods, which are standard tools for constructing cospectral graphs, require specific structural and algebraic conditions to hold for the operation to preserve the graph's spectrum. However, there is no guarantee that the obtained cospectral switched graph is non-isomorphic. In this paper we study this isomorphism problem for a recent and prolific switching method to produce cospectral graphs with respect to the adjacency spectra: Wang-Qiu-Hu (WQH) switching. We do so by using common-neighbour multisets associated with a WQH partition, which allows us to derive an external common-neighbour criterion for certifying non-isomorphism after WQH-switching. Then, we apply the new criterion to clique extensions and to weak tensor products, with coclique extensions as a special case. As an application we obtain infinite families of cospectral non-isomorphic graphs, including some known constructions. Finally we extend the conditions of WQH-switching to generalized adjacency matrices and, under an additional degree condition, to Laplacian and signless Laplacian matrices.

We examine upper bounds on Nordhaus-Gaddum type problems for parameters related to graph connectivity. Our main result is that for a graph $G$ on $n$ vertices where both $G$ and its complement $G^c$ are connected, then the sum of the algebraic connectivity of $G$ and the algebraic connectivity of $G^c$ cannot exceed $n-3$ (with finitely many exceptions with a small number of vertices). We obtain similar results for the isoperimetric number of a graph, and explore similar Nordhaus-Gaddum type questions for the Cheeger constant and the second eigenvalue of the normalized Laplacian matrix.

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.

Let $G$ be a simple graph with degree diagonal matrix $D(G)$ and adjacency matrix $A(G)$. The signless Laplacian matrix of $G$ is defined as $Q(G)=D(G)+A(G)$. For a real number $α\in [0, 1]$, Nikiforov (2017) proposed the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The $A_α$-spectral radius of $G$, denoted by $ρ_α(G)$, is the largest eigenvalue of $A_α(G)$, where $ρ_0(G)=ρ(G)$ is the spectral radius of $A(G)$ and $2ρ_{\frac{1}{2}}(G)=q(G)$ is the spectral radius of $Q(G)$. Sun and Das (2020) proved that for any non-isolated vertex $v$ of degree $d_v$, $ρ^2(G)-ρ^2(G-v) \leq 2 d_v-1$, which confirmed the conjecture originally posed by Guo, Wang, and Li (2019). Recently, Liu and Ning (2026) provided a short and self-contained proof of this inequality. In this paper, we establish the corresponding result for $ρ_α(G)$. As a corollary, for every $k\in [0,d_v+1]$, we have $$ ρ^2(G)- ρ^2(G-v) \leq 2d_v-1 +(k-2)\left(\frac{d_v}{ρ(G)}-1\right). $$ This inequality coincides with that of Sun and Das when $k=2$, and is strictly sharper than theirs whenever $k\neq 2$ and $d_v\neq ρ(G)$. We also give a short proof of the inequality $ρ_α(G)-ρ_α(G-v)\leq α+\frac{(1-α)^2d_v}{ρ_α(G)-αd_v}$, which is obtained by Wang and She (2022). Moreover, we obtain a unified generalization of Hong, Shu and Fang's inequality for $ρ(G)$ and Nikiforov's inequality for $q(G)$ in terms of $ρ_α(G)$.

This paper establishes new upper bounds for the sum of the $k$ largest eigenvalues of symmetric matrices. When applied to the adjacency matrix of a graph, our results improve upon a related bound due to Mohar {\bf [On the sum of k largest eigenvalues of graphs and symmetric matrices, J. Combin. Theory Ser. B 99 (2009) 306--313]}. Furthermore, in the case of the Laplacian matrix, we prove that the well-known Brouwer's conjecture {\bf [Spectra of Graphs, Springer, New York, 2012]} holds for small values of $k$ for almost all graphs, thereby taking a significant step toward its complete resolution.