arXiv++ Combinatorics

We study the eigenvalues of the random Laplacian matrix $D - A$, where $A$ is a Wigner matrix with sub-Gaussian entries and the diagonal matrix $D$ contains the row sums of $A$. Our main results show that the extreme eigenvalues of this model exhibit Poisson statistics; in particular, after the appropriate centering and scaling, the largest eigenvalue converges to the Gumbel distribution as the dimension of the matrix tends to infinity. This confirms, for general sub-Gaussian entries, a phenomenon the authors previously established only in the Gaussian case [Electron. J. Probab. 30 (2025), Paper No. 104], resolving a conjecture raised there. As a corollary, for an Erdős--Rényi random graph, we show the asymptotic fluctuations of the algebraic connectivity (Fiedler value) can be described in terms of the Gumbel distribution.

Mandal and Mehatari (\emph{Comp.\ Appl.\ Math.}, 2025) introduced the class $\mathcal{C}$ of cographs generated by a finite creation sequence $(α_1,\dots,α_m)$ of natural numbers, and derived the inertia, an extended eigenvalue-free interval, and the exact characteristic polynomial for the \emph{adjacency} matrix of such graphs. In this note we develop the parallel theory for the \emph{distance Laplacian} matrix $D^L(G)$ and \emph{distance signless Laplacian} matrix $D^Q(G)$. It is shown that $(0,α_{\min}) \cup (n-α_{\min}, n)$, $(0,n) \ \cup\ (n,\,n+α_{\min}) \ \cup\ (2n-α_{\min},\,2n)$, $\big(2\Tr_{\min},\ μ_{\max}(D^Q(G))\big)$ are the eigenvalue-free intervals of the Laplacian, distance Laplacian, and distance signless Laplacian matrices respectively for the said class of graphs.

Let $U_X(t)$ be the transition matrix of a quantum walk on a graph $X$ relative to its adjacency matrix $A$ or the Laplacian matrix $L$. This paper investigates the behavior of quantum walks under Cartesian products, joins, and graph complements. We have two main goals. First, we characterize the conditions such that peak state transfer and pretty good state transfer are preserved under these operations, allowing us to construct new families of graphs admitting these properties. Our second goal is to analyze the relationship between the quantum walks on a graph and its complement. We provide bounds for $f_{u,v}(t)=\big|U_{X^c}(t)_{u,v}-e^{itδ}U_X(-t)_{u,v}\big|$ and $g_{u,v}(t)=\big||U_X(t)_{u,v}|-|U_{X^c}(t)_{u,v}|\big|$, where $δ=-1$ when dealing with $A$ and $δ=n$ otherwise. Note that $f_{u,v}(t)$ and $g_{u,v}(t)$ both measure the difference between the behavior of quantum state transfer between vertices $u$ and $v$ in a graph and its complement. If $X$ is regular or $M=L$, then $f_{u,v}(t)$ is bounded above by $\frac{2}{|V(X)|}$. If $X$ is non-regular and $M=A$, then we utilize the main eigenvalues of a graph to obtain an upper bound for $f_{u,v}(t)$ which depends only on $A$. We also use the bounding matrix of the graph to give bounds for the Nordhaus-Gaddum type relations $|U_X(t)_{u,v}|+|U_{X^c}(t)_{u,v}|$ and $|U_X(t)_{u,v}|\cdot |U_{X^c}(t)_{u,v}|$. Finally, we demonstrate that most of our bounds are sharp for certain families of graphs.

The algebraic connectivity of a graph, defined as the second smallest eigenvalue of its Laplacian matrix, admits a well-known variational characterization involving the $\ell_2$-norm. Motivated by the recent introduction of its $\ell_\infty$-analog by Andrade and Dahl, we investigate the graph parameter $γ(G)$, obtained by replacing the $\ell_2$-norm with the $\ell_\infty$-norm in the corresponding optimization problem. We establish a simple and explicit combinatorial formula expressing $γ(G)$ as the ratio of the order of the graph to its maximum transmission, thereby providing a direct graph-theoretic interpretation of the parameter. We prove that $γ(G)$ characterizes graph connectivity and completely characterize all $\ell_\infty$-Fiedler vectors as the vectors \[ \left\{\pm\left(1-γ(G)d(u,\cdot)\right):u\in \mathcal{M}(G) \right\}, \] where $\mathcal{M}(G)$ denotes the set of vertices of maximum transmission. We also establish a product formula for $γ(G)$ under Cartesian products, yielding explicit expressions for hypercubes, Hamming graphs, and torus grid graphs. Furthermore, we establish comparisons involving $γ(G)$, the distance spectral radius, the $\ell_1$-smoothing parameter, and the algebraic connectivity, and investigate equality in these bounds. For connected non-complete strongly regular graphs, equality in our algebraic-connectivity bound holds precisely when the least adjacency eigenvalue is $-2$. Finally, we extend the transmission formula and the characterization of optimal vectors to weighted graphs.

Motivated by Brouwer's conjecture, Ashraf, Omidi and Tayfeh-Rezaie proposed the following Brouwer-type conjecture that for every graph $G$ on $n$ vertices with $m$ edges, the sum $S_k^+(G)$ of its $k$ largest signless Laplacian eigenvalues satisfies $S_k^+(G)\le m+\binom{k+1}{2}$ for $k=1, \ldots, n$. In this paper, we prove that the above conjecture holds. Moreover, the equality holds if and only if $k=1$ and $G$ is either star $K_{1,a}$ or triangle $K_3$ with adding some isolated vertices. For split graphs, properties of block signless Laplacian matrices based on clique and independent set are adapted. While for non-split graphs, some spectral graph substructure are used to control the sum of signless Laplacian eigenvalues.

In this paper, we resolve a 30-year-old conjecture of Spielman and Teng concerning the performance of the spectral partitioning method on graphs embeddable on an orientable surface of genus $g\ge 1$. In particular, for such a graph $G$ with $n$ vertices and maximum degree $Δ$, we show that the second-smallest eigenvalue of its Laplacian matrix satisfies $λ_2(L_G)\lesssimΔ\frac g n$. We also obtain an improved eigenvalue bound for $K_h$-minor-free graphs of $λ_2(L_G)\lesssimΔ\frac{h^2(\log h)^2}n$. In fact, our results directly prove much stronger results for reweighted eigenvalues, including higher reweighted eigenvalues. As a consequence, we obtain bounds not just on Laplacian eigenvalues, but also on normalized Laplacian eigenvalues and Steklov eigenvalues. Our results for genus-$g$ graphs are optimal for all of these kinds of eigenvalues, while our results for $K_h$-minor-free graphs are optimal up to $\log(h)$ factors. Our techniques for genus-$g$ graphs bootstrap bounded-degree bounds of normalized eigenvalues for entire classes to bounds for reweighted eigenvalues for the same classes without the bounded-degree limitation, while our techniques for $K_h$-minor-free graphs generalize an argument of Korhonen and Lokshtanov, making use of the Lovász local lemma.

An induced matching is a matching that forms an induced subgraph. A graph is $t$-color-critical if removing some induced matching of size $t$ lowers its chromatic number, but removing any $t-1$ vertices does not. Let $F$ be a $t$-color-critical graph with $χ(F)=r+1$. For sufficiently large $n$, Simonovits determined the unique edge-extremal $F$-free graph on $n$ vertices. Recently, Zheng, Li and Li [Linear Algebra Appl.\ 730 (2026) 546--565] conjectured that, for $t\ge 2$ and $r\ge 3$, the join $K_{t-1}\vee T_{n-t+1,r}$ uniquely maximizes the signless Laplacian spectral radius among all $n$-vertex $F$-free graphs when $n$ is sufficiently large. In this paper, we prove this conjecture. In contrast to the usual spectral arguments, our proof of this conjecture relies on two techniques of a rather different flavour. Our first technique is an analogue of Zykov symmetrization for the signless Laplacian matrix. Our second technique is an induction on $n$, from which we obtain the lower bound on the smallest entry of the Perron vector of a signless Laplacian spectral extremal graph rather than a structural statement.

The complementary prism $G\overline{G}$ of a graph $G$ is obtained from the disjoint union of $G$ and its complement $\overline{G}$ by adding an edge between each vertex $a$ in $G$ and its copy $a'$ in $\overline{G}.$ This paper explores a general framework for studying fractional revival with respect to real symmetric matrices with a block structure. The framework is then used to show that, for a fixed state $\mathbf{u}$ in $G$ orthogonal to the all-one vector, the complementary prism $G\overline{G}$ exhibits fractional revival from the state $[\mathbf{u},\mathbf{0}]^T$ with respect to the adjacency, Laplacian, and signless Laplacian matrices. We further characterize perfect pair state transfer in the complementary prism of a complete graph and establish the existence of perfect pair and plus state transfer in the complementary prism of a complete bipartite graph.

Denote by $q_n(G)$ the smallest eigenvalue of the signless Laplacian matrix of an $n$-vertex graph $G$. Brandt conjectured in 1997 that for regular triangle-free graphs $q_n(G) \leq \frac{4n}{25}$. We prove a stronger result: If $G$ is a triangle-free graph then $q_n(G) \leq \frac{15n}{94}< \frac{4n}{25}$. Brandt's conjecture is a subproblem of two famous conjectures of Erdős: (1) Sparse-Half-Conjecture: Every $n$-vertex triangle-free graph has a subset of vertices of size $\left\lfloor\frac{n}{2}\right\rfloor$ spanning at most $n^2/50$ edges. (2) Every $n$-vertex triangle-free graph can be made bipartite by removing at most $n^2/25$ edges. In our proof we use linear algebraic methods to upper bound $q_n(G)$ by the ratio between the number of induced paths with 3 and 4 vertices. We give an upper bound on this ratio via the method of flag algebras.

We characterize the uniform theta graph $Θ(t,2)$ by the spectrum of its normalized adjacency matrix, or equivalently, by the spectrum of its normalized Laplacian matrix. We also investigate the periodicity of Grover walks on nonregular graphs, which is closely related to the eigenvalues of the normalized adjacency matrix and those of the time evolution matrix of the Grover walk. We show that the Dutch windmill graph $D_n^{(t)}$ is $2n$-periodic and that the uniform theta graph $Θ(t,n)$ is $(2n+2)$-periodic. Furthermore, we completely determine the connected $6$-periodic graphs and prove that they are precisely $D_3^{(t)}$ with $t \geq 2$ and $Θ(t,2)$ with $t \geq 1$.

The generating graph $Γ(G)$ of a group $G$ is the graph whose vertex set is $G$, where two distinct vertices are adjacent if and only if they generate $G$. In this paper, we systematically study the structure of generating graphs of finite abelian groups (non-cyclic) and determine the set of all generating pairs. Moreover, we give some structural characterizations, in particular, we determine conditions under which $Γ(G)$ is regular, characterize when the isolated vertices form a subgroup, and establish necessary and sufficient conditions for two non-isomorphic finite abelian groups $G$ and $H$ to satisfy $Γ(G)\cong Γ(H)$. Furthermore, we compute the spectra of the adjacency and Laplacian matrices of these graphs.

A classical result of Andrásfai, Erdős, and Sós states that every $n$-vertex graph with odd girth at least $2k+1$ and minimum degree larger than $\frac{2n}{2k+1}$ is bipartite. Rather than imposing a minimum-degree condition, in this paper we investigate conditions on algebraic connectivity that force graphs of given odd girth to have a simple structure. The algebraic connectivity of a graph $G$, denoted by $μ_2(G)$, is the second smallest eigenvalue of its Laplacian matrix. Our main results are as follows. 1. Every $n$-vertex triangle-free graph $G$ with $μ_2(G)\geq \frac{n}{3}$ is bipartite. Moreover, the constant $\frac{1}{3}$ is asymptotically best possible. 2. For $k\geq 3$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{4n}{6k-1}$ is bipartite. 3. For $k\geq 22$, every $n$-vertex graph $G$ of odd girth at least $2k+1$ with $μ_2(G)>\frac{3456n}{k^3}$ is bipartite. Moreover, the term $k^{-3}$ is asymptotically best possible.

A \(\mathbb{T}\)-gain digraph is a directed graph with complex unit gains on its arcs, allowing for no restrictions on oppositely directed arcs. This framework unifies various graph types, such as signed graphs, mixed graphs, complex unit gain graphs, digraphs, and signed digraphs. The gain adjacency, Laplacian, and signless Laplacian matrices are generally non-Hermitian with complex spectra. We develop the spectral theory of these matrices, extending classical results from signed digraphs and complex unit-gain graphs. For the gain adjacency matrix, we establish determinant and characteristic polynomial formulas, characterize cycle balance through switching equivalence and cospectrality with the underlying digraph. We further bound the spectral radius in terms of the underlying digraph and its maximum out-degree, with equality characterized by $μ$-balance. As a consequence, we determine the spectra of $\mathbb{T}$-gain unicyclic digraphs. Moreover, we characterize cycle balance and antibalance for the Laplacian and signless Laplacian matrices, respectively, through the presence of a zero eigenvalue.

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.