Eigenvalue interlacing (source code)

= Eigenvalue interlacing
{wiki}

Eigenvalue interlacing bounds the ordered eigenvalues of a compressed or rank-modified operator between those of the original operator.