arXiv++ Combinatorics

Two emerging topics in graph theory are the study of cospectral vertices of a graph, and the study of isospectral reductions of graphs. In this paper, we prove a fundamental relationship between these two areas, which is that two vertices of a graph are cospectral if and only if the isospectral reduction over these vertices has a nontrivial automorphism. It is well known that if two vertices of a graph are symmetric, i.e. if there exists a graph automorphism permuting these two vertices, then they are cospectral. This paper extends this result showing that any two cospectral vertices are symmetric in some reduced version of the graph. We also prove that two vertices are strongly cospectral if and only if they are cospectral and the isospectral reduction over these two vertices has simple eigenvalues. We further describe how these results can be used to construct new families of graphs with cospectral vertices.

Using the theory of equitable decompositions it is possible to decompose a matrix $M$ appropriately associated with a given graph. The result is a collection of smaller matrices whose collective eigenvalues are the same as the eigenvalues of the original matrix $M$. This is done by decomposing the matrix over a graph symmetry. Previously it was shown that a matrix can be equitably decomposed over any uniform, basic, or separable automorphism. Here we extend this theory to show that it is possible to equitably decompose a matrix over any automorphism of a graph, without restriction. Moreover, we give a step-by-step procedure which can be used to generate such a decomposition. We also prove under mild conditions that if a matrix $M$ is equitably decomposed the resulting divisor matrix, which is the divisor matrix of the associated equitable partition, will have the same spectral radius as the original matrix $M$.

We extend the theory of equitable decompositions, in which, if a graph has a particular type of symmetry, i.e. a uniform or basic automorphism $φ$, it is possible to use $φ$ to decompose a matrix $M$ appropriately associated with the graph. The result is a number of strictly smaller matrices whose collective eigenvalues are the same as the eigenvalues of the original matrix $M$. We show here that a large class of automorphisms, which we refer to as \emph{separable}, can be realized as a sequence of basic automorphisms, allowing us to equitably decompose $M$ over any such automorphism. We also show that not only can a matrix $M$ be decomposed but that the eigenvectors of $M$ can also be equitably decomposed. Additionally, we prove under mild conditions that if a matrix $M$ is equitably decomposed the resulting divisor matrix, which is the divisor matrix of the associated equitable partition, will have the same spectral radius as the original matrix $M$. Last, we describe how an equitable decomposition effects the Gershgorin region $Γ(M)$ of a matrix $M$, which can be used to localize the eigenvalues of $M$. We show that the Gershgorin region of an equitable decomposition of $M$ is contained in the Gershgorin region $Γ(M)$ of the original matrix. We demonstrate on a real-world network that by a sequence of equitable decompositions it is possible to significantly reduce the size of a matrix' Gershgorin region.