arXiv++ Combinatorics

We investigate fractional revival in graphs with respect to the adjacency, Laplacian, and signless Laplacian matrices. We observe that, under certain conditions, fractional revival is preserved under graph complementation. Then we establish a connection between fractional revival in a graph and in its double cover, and obtain a complete characterization of pretty good plus state transfer in cycles and their complements. This leads to characterizations of pretty good vertex state transfer in weighted paths with potential.

The Laplacian energy of a digraph $G$ is defined as $\sum_{i=1}^n λ_i^2$, where $λ_i$ are the eigenvalues of the Laplacian matrix of $G$. A (di)graph $G$ is said to be $H$-free if it does not contain a copy of the fixed (di)graph $H$ as a sub(di)graph. In this paper, we extend the Turán problems to spectral Turán problems in digraphs: what is the maximal Laplacian energy of an $H$-free digraph of given order? In particular, we determine the maximum Laplacian energy and characterize the extremal digraphs of $\overrightarrow{C_{k+1}}$-free digraphs.

Let $G$ be a connected graph on $n$ vertices and let $D(G)$ and $D^{L}(G)$ be the distance and the distance Laplacian matrices associated with $G$. A graph $G$ is said to be $D$-integral (resp. $D^L$-integral) if all eigenvalues of $D(G)$ (resp. $D^L(G)$) are integers. In this paper, we obtain various conditions under which the graphs $a\overline{K_m}\nabla C_n$ and $K_{p,p}\nabla C_n$ are distance integral. We also obtain conditions on $m$, $n$ under which the dumbbell graph $\boldsymbol{DB}(W_{m,n})$ is $D^L$-integral.

Let $G^{w}=(V,E,w)$ be a positive-weighted graph with the weight $w(e)>0$ for all $e\in E$. The weighted graph $G^{\widetilde{w}}=(V,E,\widetilde{w})$ is called a hyper-dual number weighted graph, where the weight $\widetilde{w}(e)=w(e)+Δw(e)(\varepsilon+\varepsilon^{*})$ is a hyper dual number, $Δw(e)$ is a real number, $\varepsilon$ and $\varepsilon^{*}$ are two dual units, $e\in E$. In this paper, we give a representation for the Moore-Penrose inverse of the Laplacian matrix, and calculation formulas for the resistance distance and Kirchhoff index of $G^{\widetilde{w}}$, respectively. We establish quadratic forms of the Hessian matrices for the resistance distance and Kirchhoff index of $G^{w}$ via generalized matrix inverses. We further derive explicit bounds on the eigenvalues of the Hessian matrices for the resistance distance and the Kirchhoff index of $G^{w}$ in terms of graph parameters. We also prove that the Kirchhoff index of a positive-weighted graph with bounded edge weights is strongly convex on its edge weight vector.

Strong matrix properties, roughly speaking, refer to generic conditions on a matrix such that its spectral perturbation and pattern perturbation interact nicely to cover a neighborhood in the ambient space. With a rich history, these strong properties originate from various fields, including the inverse eigenvalue problem, the sign pattern problem, and structural graph theory. In this paper, we introduce a new strong property, the strong spectral property for weighted Laplacian matrices (SSPWL), and establish the corresponding Supergraph and Bifurcation lemmas. Instead of the space of symmetric matrices, the SSPWL considers the ambient space spanned by all weighted Laplacian matrices. Moreover, we provide a detailed study comparing the Jacobian Method and some strong properties, leading to a full understanding between these two techniques used in different problems. Using these tools, we identify the potential boundaries of the spectral regions of weighted Laplacian matrices associated with connected graphs on $4$ vertices, extending the analysis from the previous work [S. M. Fallat, H. Gupta, and J. C.-H. Lin. Inverse eigenvalue problem for Laplacian matrices of a graph. SIAM J. Matrix Anal. Appl., 46:1866--1886, 2025]. In addition, this analysis can be used to identify the absolute algebraic connectivity of such small ordered graphs, and we establish the existence of strong weighted Laplacian matrices for several graph families.

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.