Square-free Discriminants of Matrices and the Generalized Spectral Characterizations of Graphs

Wei Wang,Tao Yu
2016-01-01
Abstract:Let $S_n(mathbb{Z})$ and $O_n(mathbb{Q})$ denote the set of all $ntimes n$ symmetric matrices over the ring of integers $mathbb{Z}$ and the set of all $ntimes n$ orthogonal matrices over the field of rational numbers $mathbb{Q}$, respectively. The paper is mainly concerned with the following problem: Given a matrix $Ain {S_n(mathbb{Z})}$. How can one find all rational orthogonal matrices $Qin{O_n(mathbb{Q})}$ such that $Q^TAQin {S_n(mathbb{Z})}$, and in particular, when does $Q^TAQin {S_n(mathbb{Z})}$ with $Qin{O_n(mathbb{Q})}$ imply that $Q$ is emph{a signed permutation matrix} (i.e., the matrix obtained from a permutation matrix $P$ by replacing each 1 in $P$ with 1 or $-1$)? A surprisingly simple answer was given in terms of whether the discriminant of the characteristic polynomial of $A$ is odd and square-free, which partially answers the above questions. More precisely, let $Delta_A=pm res(phi,phiu0027)$ be emph{the discriminant of matrix $A$}, where $res(phi,phiu0027)$ is emph{the resultant} of the characteristic polynomial $phi$ of $A$ and its derivative $phiu0027$. We show that if $Delta_A$ is odd and square-free, then $Q^TAQin {S_n(mathbb{Z})}$ with $Qin{O_n(mathbb{Q})}$ implies that $Q$ is a signed permutation matrix. As an application, we present a simple and efficient method for testing whether a graph is determined by the generalized spectrum, which significantly extends our previous work.
What problem does this paper attempt to address?