arXiv++ Combinatorics

The adjacency matrices of graphs form a special subset of the set of all integer symmetric matrices. The description of which graphs have all their eigenvalues in the interval [-2,2] (i.e., those having spectral radius at most 2) has been known for several decades. In 2007 we extended this classification to arbitrary integer symmetric matrices. In this paper we turn our attention to symmetrizable matrices. We classify the connected nonsymmetric but symmetrizable matrices which have entries in $\Z$ that are maximal with respect to having all their eigenvalues in [-2,2]. This includes a spectral characterisation of the affine and finite Dynkin diagrams that are not simply laced (much as the graph result gives a spectral characterisation of the simply laced ones).

In a previous paper we completely described cyclotomic matrices--integer symmetric matrices of spectral radius at most 2. In this paper we find all minimal noncyclotomic matrices. As a consequence, we are able to determine all integer symmetric matrices of spectral radius at most 2.019, and to determine all integer symmetric matrices whose Mahler measure is at most 1.3. In particular we solve the strong version of Lehmer's problem for integer symmetric matrices: all noncyclotomic matrices have Mahler measure at least "Lehmer's number" 1.17628... .

We completely describe all integer symmetric matrices that have all their eigenvalues in the interval [-2,2]. Along the way we classify all signed graphs, and then all charged signed graphs, having all their eigenvalues in this same interval. We then classify subsets of the above for which the integer symmetric matrices, signed graphs and charged signed graphs have all their eigenvalues in the open interval (-2,2).