A very short proof of Cauchy's interlace theorem for eigenvalues of Hermitian matrices

Abstract

Cauchy's interlace theorem states that the characteristic polynomial of a symmetric matrix is interlaced by the characteristic polynomial of any principle submatrix. We prove this in two sentences using only the linearity of the determinant, and the fact that all eigenvalues of a symmetric matrix are real.

1 page

Cited by in corpus (7)

• Survey article: Seventy years of Salem numbers
• Counting substructures and eigenvalues I: triangles
• Cyclotomic Matrices and Graphs over the ring of integers of some imaginary quadratic fields
• Integer symmetric matrices of small spectral radius and small Mahler measure
• Real equiangular lines in dimension 18 and the Jacobi identity for complementary subgraphs
• Ex Post Conditions for the Exactness of Optimal Power Flow Conic Relaxations
• Energy-conserving intermittent-contact motion in complex models