arXiv++ Combinatorics

In 2003, van Dam and Haemers posed a fundamental question in spectral graph theory: does there exist a ``sensible'' matrix whose spectrum determines a random graph up to isomorphism? This paper introduces the class of {\em natural graph matrices}, which are matrices defined by applying a fixed sequence of elementary operations to the adjacency matrix. This class includes many standard matrices such as the adjacency matrix, the Seidel matrix, the Laplacian matrix, and the distance matrix. We give an affirmative answer to the question of van Dam and Haemers by proving the existence of a natural graph matrix whose spectrum determines random graphs up to isomorphism. The proof introduces a new algebraic framework called {\em double algebras}, which provides a simple sufficient condition for spectral determination. This sufficient condition is then shown to hold for random graphs.

Let $G=(V,E)$ be an $n$-vertex graph, $L(G)\in \mathbb{R}^{n\times n}$ its Laplacian matrix, and let $λ_1(L(G))\ge λ_2(L(G))\ge \cdots\ge λ_n(L(G))=0$ denote its eigenvalues. For $1\le k\le n$, let $\varepsilon_k(G)= \sum_{i=1}^k λ_i(L(G)) -|E|$. We show that for every $1\le k\le n$, \[ \varepsilon_k(G) \le \max_{U\subset V,\, |U|=k} |E_G(U)| + (4k-2)\sqrt{k}, \] where $E_G(U)$ is the set of edges of $G$ contained in $U$. As an immediate consequence, we obtain that $\varepsilon_k(G)\le \binom{k}{2}+(4k-2)\sqrt{k}$. This improves upon previously known bounds for large values of $k$, and may be seen as an approximate version of a conjecture of Brouwer, stating that $\varepsilon_k(G)\le \binom{k+1}{2}$ for every graph $G$. Moreover, for every $r\ge 2$, if $G$ is a $K_{r+1}$-free graph, we obtain that $\varepsilon_k(G)\le (1-1/r)k^2/2 + (4k-2)\sqrt{k}$, which is tight up to the sub-quadratic term. Our arguments rely on the study of the largest eigenvalue of a matrix obtained by performing a certain diagonal perturbation on the $k$-th additive compound matrix of $L(G)$. Using similar methods, we show that the largest Laplacian eigenvalue of the $k$-th token graph of a graph $G=(V,E)$ is bounded from above by $|E|+4k-2$, obtaining a weak version of a conjecture of Apte, Parekh, and Sud, which predicts that an upper bound of $|E|+k$ should hold. All our results also hold, with essentially the same proofs, when the Laplacian matrix is replaced by the signless Laplacian of the graph.

Recently, Macharete, Del-Vecchio, Teixeira and de Lima showed that a star and any threshold graph on the same number of vertices share the same eigenbasis relative to the Laplacian matrix. We use this fact to establish two main results in this paper. The first one is a characterization of threshold graphs that are \textit{simply structured}, i.e., their associated Laplacian matrices have eigenbases consisting of vectors with entries from the set $\{-1,0,1\}$. Then, we provide sufficient conditions such that a simply structured threshold graph is weakly Hadamard diagonalizable (WHD). This allows us to list all connected simply structured threshold graphs on at most 20 vertices, and identify those that are WHD. Second, we characterize Laplacian pair state transfer on threshold graphs. In particular, we show that the existence of Laplacian vertex state transfer and Laplacian pair state transfer on a threshold graph are equivalent if and only if it is not a join of a complete graph and an empty graph of certain sizes.

Let $k$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(|V(G)| - 1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the degree diagonal matrix of $G$. We denote $λ_i$ and $μ_i$ as the $i$th largest eigenvalue of the adjacency matrix $A(G)$ of $G$ and the Laplacian matrix $L(G) = D(G) - A(G)$ of $G$ for $i = 1, 2, \ldots, n$, respectively. In this paper, we investigate the relationship between Laplacian eigenvalues and property $P(k, δ)$. Let $t$ be a positive integer, and define $\mathcal{G}_t$ as the set of simple graphs such that each $G \in \mathcal{G}_t$ contains at least $t+1$ non-empty disjoint proper subsets $V_1, V_2, \ldots, V_{t+1}$ satisfying $V(G) \setminus \bigcup_{i=1}^{t+1} V_i \neq \emptyset$ and edge connectivity $κ'(G) = e(V_i, V(G) \setminus V_i)$ for any $i = 1, 2, \ldots, t+1$. For the class of graphs $\mathcal{G}_1$ with minimum degree $δ$, we provide a sufficient condition involving the third smallest Laplacian eigenvalue $μ_{n-2}(G)$ for a graph $G\in \mathcal{G}_1$ to have property $P(k, δ)$. Similarly, for the class of graphs $\mathcal{G}_2$ with minimum degree $δ$, we establish a corresponding sufficient condition involving the fourth smallest Laplacian eigenvalue $μ_{n-3}(G)$ for a graph $G\in \mathcal{G}_2$ to have property $P(k, δ)$. Furthermore, we extend the spectral conditions for all the results about $μ_{n-2}(G)$, $μ_{n-3}(G)$ and $λ_2(G)$ to the general graph matrices $aD(G) + A(G)$ and $aD(G) + bA(G)$.

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.

In this article we propose a generalization of two known invariants of real networks: degree and ksi-centrality. More precisely, we found a series of centralities based on Laplacian matrix, that have exponential distributions (power-law for the case $j = 0$) for real networks and different distributions for artificial ones.

This paper investigates limit points of the deformed Laplacian matrix, which merges the Laplacian and signless Laplacian matrices of a graph through a quadractic one-parameter family of matrices. First, we show that any value greater or equal to 1 is a deformed Laplacian limit point (for different values of the parameter $s$) using a simple family of trees. Second, we define $(T_k)_{k \in \mathbb{N}}$ the Shearer's sequence of caterpillars for $λ>1$ and we present a convergence criterion based on Shearer's approach. Our main result is that for any fixed value $λ_0>1$ there exists a unique value $0<s^* <\sqrt{λ_0} -1$ such that, and for any $s \in (0,s^*)$ the interval $[λ_0, \; +\infty)$ is entirely formed by $s$-deformed Laplacian limit points (for the same value of $s$). Finally, we provide some numerical data exploring the limit properties.

This paper investigates spectral properties of the deformed Laplacian matrix, which merges the Laplacian and signless Laplacian matrices of a graph through a one-parameter family of matrices. We present general results on the eigenvalues of these matrices for simple undirected graphs. Additionally, we analyze the spectrum of the deformed Laplacian in the specific cases of trees and H-join graphs. For trees, we derive strong results on the localization of eigenvalues, while for H-join graphs, we explicitly compute the spectrum of the deformed Laplacian.

Let $G$ be a connected graph with vertex set $\{v_1, v_2, \ldots, v_\mathbf{n}\}$. As a variant of the classical distance matrix, the \emph{exponential distance matrix} was introduced independently by Yan and Yeh, and by Bapat et al. For a nonzero indeterminate $q$, the exponential distance matrix $\mathscr{F} = (\mathscr{F}_{ij})_{\mathbf{n} \times \mathbf{n}}$ of $G$ is defined by $\mathscr{F}_{ij} = q^{d_{ij}},$ where $d_{ij}$ denotes the distance between vertices $v_i$ and $v_j$ in $G$. A connected graph is said to be a \emph{bi-block graph} if each of its blocks is a complete bipartite graph, possibly of varying bipartition sizes. In this paper, we obtain explicit expressions for the determinant, inverse, and cofactor sum of the exponential distance matrix of bi-block graphs. As a consequence, some known results concerning the exponential distance matrix and the $q$-Laplacian matrix are generalized.

This work presents conjectures about eigenvalues of matrices associated with $k$-path graphs, the algebraic connectivity, defined as the second smallest eigenvalue of the Laplacian matrix, and the $α$-index, as the largest eigenvalue of the $A_α$-matrix. For this purpose, a process based in Pereira et al., is presented to generate lists of $k$-path graphs containing all non-isomorphic 2-paths, 3-paths, and 4-paths of order $n$, for $6 \leq n \leq 26, 8 \leq n \leq 19$, and $10 \leq n \leq 18$, respectively. Using these lists, exhaustive searches for extremal graphs of fixed order for the mentioned eigenvalues were performed. Based on the empirical results, conjectures are suggested about the structure of extremal $k$-path graphs for these eigenvalues.

Lattice structures play a central role in spectral graph theory, offering analytical insight into diffusion, synchronization, and transport processes on regular discrete spaces. While their spectral properties are completely characterized in the classical graph setting, an extension to hypergraphs, where interactions involve more than two nodes, remains largely unexplored in the matrix-based formulation. In this work, we generalize the notion of a lattice to the hypergraph framework and study its Laplacian spectra under two alternative definitions: the clique Laplacian, obtained through pairwise projection, and the hyperedge-based Laplacian, defined via normalized hyperedge incidences. For both definitions, we derive the corresponding Laplacian matrices, analyze their eigenvalue spectra, and discuss how they reflect the underlying topological and dynamical structure of the hyperlattice. Our main result is a theorem giving a full spectral characterization in the periodic case, together with a Toeplitz-type open analogue whose spectrum retains a separable trigonometric structure. The obtained eigenvalues are expressed explicitly in terms of the hyperedge size, the number of directional families, and the lattice side length, thereby capturing how the geometry of higher-order interactions shapes the spectral structure.

In this work, we develop a spectral theory for hypergraph limits. We prove the convergence of the spectra of adjacency and Laplacian matrices for hypergraph sequences converging in the 1-cut metric. On the other hand, we give examples of matrix operators associated with hypergraphs whose spectra are not continuous with respect to the 1-cut metric. Furthermore, we show that these operators are continuous with respect to other cut norms.

For a finite simple undirected graph $G$, let $γ(G)$ denote the size of a smallest dominating set of $G$ and $μ(G)$ denote the number of eigenvalues of the Laplacian matrix of $G$ in the interval $[0,1)$, counting multiplicities. Hedetniemi, Jacobs and Trevisan [Eur. J. Comb. 2016] showed that for any graph $G$, $μ(G) \leqslant γ(G)$. Cardoso, Jacobs and Trevisan [Graphs Combin. 2017] asks whether the ratio $γ(T)/μ(T)$ is bounded by a constant for all trees $T$. We answer this question by showing that this ratio is less than $4/3$ for every tree. We establish the optimality of this bound by constructing an infinite family of trees where this ratio approaches $4/3$. We also improve this upper bound for trees in which all the vertices other than leaves and their parents have degree at least $k$, for every $k \geqslant 3$. We show that, for such trees $T$, $γ(T)/μ(T) < 1 + 1/((k-2)(k+1))$.

We study the existence of state transfer with respect to the $q$-Laplacian matrix of a graph equipped with a non-trivial involution. We show that the occurrence of perfect state transfer between certain pair (or plus) states in such a graph is equivalent to the existence of vertex state transfer in a subgraph induced by the involution with potentials. This yields infinite families of trees with potentials and unicyclic graphs of maximum degree three that exhibit perfect pair state transfer. In particular, we investigate vertex and pair state transfer in edge-perturbed complete bipartite graphs, cycles, and paths with potentials only at the end vertices.

We consider modified Laplacian matrices of graphs, obtained by adding the identity matrix to the Laplacian matrix $L_G$ of a graph $G$. This results in a positive definite matrix $\tilde{L}_G$. The inverse of $\tilde{L}_G$ is a doubly stochastic matrix. The goal of this paper is to investigate this inverse matrix and how it depends on properties of the underlying graph $G$. In particular, we introduce a general monotonicity property for the entries of the inverse, and derive a sharper version for the case of path graphs. Finally, we show that, in the case of a path graph, the entries of the inverse can be expressed in terms of Fibonacci numbers via an $LU$ factorization. We also establish a lower bound for the diagonal entries of this inverse for a tree as a function of the distances between vertices. Furthermore, we present a simple and efficient algorithm for computing the inverse when the graph is a tree. Moreover, for a general graph, we show that the diagonal entries of this inverse is strictly largest in each row and column. Finally, we discuss a connection to partial differential equations, such as the heat equation.

Our work applies reinforcement learning to construct counterexamples concerning conjectured bounds on the spectral radius of the Laplacian matrix of a graph. We expand upon the re-implementation of Wagner's approach by Stevanovic et al. with the ability to train numerous unique models simultaneously and a novel redefining of the action space to adjust the influence of the current local optimum on the learning process.

For a given graph $G$, let $A(G)$, $Q(G)$, and $D(G)$ denote the adjacency matrix, signless Laplacian matrix, and diagonal degree matrix of $G$, respectively. The $A_σ(G)$ matrix, proposed by Nikiforov, is defined as $A_σ(G)=σD(G)+(1 - σ)A(G)$, where $σ\in[0,1]$. This matrix captures the gradual transition from $A(G)$ to $Q(G)$. Let $\mathcal{G}_{n,α}$ denote the family of all connected graphs with $n$ vertices and independence number $α$. A graph in $\mathcal{G}_{n,α}$ is referred to as an $A_σ$-minimizer graph if it achieves the minimum $A_σ$ spectral radius. In this paper, we first demonstrate that the $A_σ$-minimizer graph in $\mathcal{G}_{n,α}$ must be a tree when $α\geq\left\lceil\frac{n}{2}\right\rceil$, and we provide several characterizations of such $A_σ$-minimizer graphs. We then specifically characterize the $A_σ$-minimizer graphs for the case $α= \left\lceil\frac{n}{2}\right\rceil + 1$. Furthermore, we obtain a structural characterization for the $A_σ$-minimizer graph when $α=n - c$, where $c\geq4$ is an integer. Finally, we identify 17 potential $A_σ$-minimizer graphs within $\mathcal{G}_{n,n - 4}$, thereby extending the results of Liu and Wang [9].

Let $X$ be a simplicial complex. For $1\le i\le\dim(X)$, let $X(i)$ be the set of $i$-dimensional faces of $X$, and let $f_i(X)=|X(i)|$. For $0\le i\le \dim(X)-1$, let $L_i^+(X)$ be the $i$-th upper Laplacian operator of $X$. For $σ\in X$ and $1\le r\le \dim(X)$, we denote by $\text{deg}_X^{(r)}(σ)$ the number of $r$-dimensional faces of $X$ containing $σ$. For a symmetric matrix $M\in \mathbb{R}^{n\times n}$ and $1\le i\le n$, let $λ_i(M)$ be the $i$-th largest eigenvalue of $M$. We prove that for every complex $X$, $1\le r\le\dim(X)$, and $1\le k\le f_{r-1}(X)/(r+1)$, \[ \sum_{i=1}^k λ_i(L_{r-1}^+(X)) \le \max \left\{ \sum_{σ\in A} \text{deg}_X^{(r)}(σ) :\, A\subset X(r-1),\, |A|=(r+1)k \right\}. \] This bound is sharp, and it extends a classical result of Anderson and Morley, corresponding to the special case $k=1,\, r=1$. As a consequence, we show that for all $1\le r\le \dim(X)$ and $1\le k\le f_{r-1}(X)$, \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le f_r(X) + \binom{(r+1)k}{2}. \] In the case $r=1$, we obtain the following improved bound: for every $k\ge 1$ and every graph $G=(V,E)$ with $|V|\ge k$, \[ \sum_{i=1}^k λ_i(L(G)) \leq |E|+k^2, \] where $L(G)=L_0^{+}(G)$ is the Laplacian matrix of $G$. This improves upon previously known bounds for all $k\ge 3$, and may be seen as a further step towards Brouwer's conjecture, which states that $\sum_{i=1}^k λ_i(L(G)) \leq |E|+\binom{k+1}{2}.$ As an additional application, we show that if $X$ is an $(r+1)$-partite $r$-dimensional simplicial complex on vertex set $V$, and $1\le k\le f_{r-1}(X)$, then \[ \sum_{i=1}^{k} λ_i(L_{r-1}^+(X)) \le \sum_{i=1}^k \left|\{v\in V:\, \text{deg}^{(r)}_X(v)\ge i\}\right|. \] This resolves a special case of a conjecture of Duval and Reiner, which states that the above inequality holds for all simplicial complexes.

This paper presents `chipfiring`, a comprehensive Python package for the mathematical analysis of chip-firing games on finite graphs. The package provides a robust toolkit for defining graphs and chip configurations (divisors), performing chip-firing operations, and analyzing fundamental properties such as winnability, linear equivalence, and divisor rank. We detail the core components of the library, including its object-oriented graph and divisor implementations, integrated Laplacian matrix computations, and an efficient implementation of Dhar's algorithm for determining the solvability of the dollar game. The `chipfiring` package is designed for researchers and students in graph theory, combinatorics, and algebraic geometry, providing essential algorithms and data structures for exploring these rich mathematical models. We describe the library's architecture, illustrate its usage with comprehensive examples, and highlight its specialized contributions compared to general-purpose graph libraries.

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. In this article, we study several spectral properties of distance Laplacian matrices of $\mathbb{T}$-gain graphs. In particular, we establish a characterization for the balanced $ \mathbb{T}$-gain graph in terms of the nullity of gain distance Laplacian matrices. As an example, it is shown that two switching equivalent $ \mathbb{T} $-gain graphs need not imply that their distance Laplacian spectra are the same. However, we provide a necessary condition for which two switching equivalent $ \mathbb{T} $-gain graphs have the same distance Laplacian spectra. Furthermore, we present a lower bound for spectral radii of gain distance Laplacian matrices in terms of the winner index. In addition, we establish some upper bounds for spectral radii of gain distance Laplacian matrices and characterize the equalities.