No abstract

No abstract

Extremal eigenvalues and eigenvectors of the Laplace matrix of a graph form the core of many bounds on graph parameters and graph optimization problems. For example, the value of a uniform sparsest cut is bounded from below and above by the second smallest and the largest eigenvalue of the weighted Laplacian divided by the number of nodes of the graph. Minimizing the difference between maximum and second smallest eigenvalue over edge weighted Laplacians of a graph reduces the size of this interval. We study this problem of minimizing the spectral width for its own sake with the goal of advancing the understanding of connections between structural properties of the graph and the corresponding eigenvectors and eigenvalues. Building on previous work where these eigenvalues were investigated separately, we show that a corresponding dual problem allows us to view eigenvectors to optimized eigenvalues as graph realizations in Euclidean space, whose structure is tightly linked to the separator structure of the graph. In particular, optimal realizations corresponding to the maximum eigenvalue fold toward the barycenter along separators, while for the second smallest eigenvalue they fold outward along separators. Furthermore, optimal realizations exist in dimension at most the tree-width of the graph plus one.