Interlacing of Eigenvalues
by potatio, Feb 10, 2020, 10:05 AM
Cauchy's Interlacing Theorem says that the eigenvalues of submatrix are interlaced between the eigenvalues of the original real symmetric matrix.
This is a pretty famous result.
Another interesting interlacing result that we did in class a few weeks was:
The proof (which we rushed through in class, and hence this post) consists of two distinct parts:
, we have:
Now, note the Rayleigh quotient characterization of eigenvalues:
![\[
\lambda_i = \max_{\substack{U \leq \mathbb{R}^n \\ \dim U = i}} \min_{\substack{y \in U \\ |y| = 1}} (y^TAy)
\]](//latex.artofproblemsolving.com/4/2/0/420a8b221e57e8bf34e80527156baccc7c195ad7.png)
There is also a minimax formulation:
![\[
\lambda_i = \min_{\substack{U \leq \mathbb{R}^n \\ \dim U = n - i + 1}} \max_{\substack{y \in U \\ |y| = 1}} (y^TAy)
\]](//latex.artofproblemsolving.com/7/c/6/7c63f8fa9e5442df6e262ce257f6c7664c45db89.png)
We can use either, but we will only use the first here.
We are now done by noting that if
everywhere on a common domain
, then both
and
, applying this twice.
Let us define the subspace
of dimension
:
Consider a subspace
of
with dimension
. From this, create the subspace
.
Note that
can be only
or
. How? Use the general fact that:
and
.
Now, for every
![\[ y^TAy = y^TBy + y^Txx^Ty = y^TBy + (x^Ty)^2 = y^TBy. \]](//latex.artofproblemsolving.com/b/1/f/b1f6d8e3f09b5d5afa743e2e7be180d2551bd54b.png)
Then, as the minimum over a subset cannot be smaller than the minimum over a superset,
But we also have:
for all
.
(Replacing
in the original formulation above by
does not change anything!)
Thus,
and we're done!
This is a pretty famous result.
Another interesting interlacing result that we did in class a few weeks was:
Quote:
Let
be a real symmetric matrix, and define:
If the
eigenvalues of
are
, and the
eigenvalues of
are
, then these are interlaced as:
![\[
\lambda_1 \geq \mu_1 \geq \ldots \lambda_i \geq \mu_i \geq \lambda_{i + 1} \ldots \lambda_n \geq \mu_n.
\]](//latex.artofproblemsolving.com/9/2/7/9271f4b61e77d444fcac7e20b344b59ef5c80ae2.png)

![\[
A = B + xx^T
\]](http://latex.artofproblemsolving.com/1/a/7/1a76b88f37f68980a5c3dbec97342f836c4b24ae.png)






![\[
\lambda_1 \geq \mu_1 \geq \ldots \lambda_i \geq \mu_i \geq \lambda_{i + 1} \ldots \lambda_n \geq \mu_n.
\]](http://latex.artofproblemsolving.com/9/2/7/9271f4b61e77d444fcac7e20b344b59ef5c80ae2.png)
The proof (which we rushed through in class, and hence this post) consists of two distinct parts:

![\[ y^TAy = y^TBy + y^Txx^Ty = y^TBy + (x^Ty)^2 \geq y^TBy. \]](http://latex.artofproblemsolving.com/3/c/e/3ce8d3d18c3b5153c7d862822e5e318ed7ec3555.png)
![\[
\lambda_i = \max_{\substack{U \leq \mathbb{R}^n \\ \dim U = i}} \min_{\substack{y \in U \\ |y| = 1}} (y^TAy)
\]](http://latex.artofproblemsolving.com/4/2/0/420a8b221e57e8bf34e80527156baccc7c195ad7.png)
![\[
\mu_i = \max_{\substack{U \leq \mathbb{R}^n \\ \dim U = i}} \min_{\substack{y \in U \\ |y| = 1}} (y^TBy)
\]](http://latex.artofproblemsolving.com/a/6/d/a6d75b6c8e74d259059f21220c6c1e653ea41b1a.png)
![\[
\lambda_i = \min_{\substack{U \leq \mathbb{R}^n \\ \dim U = n - i + 1}} \max_{\substack{y \in U \\ |y| = 1}} (y^TAy)
\]](http://latex.artofproblemsolving.com/7/c/6/7c63f8fa9e5442df6e262ce257f6c7664c45db89.png)
![\[
\mu_i = \min_{\substack{U \leq \mathbb{R}^n \\ \dim U = n - i + 1}} \max_{\substack{y \in U \\ |y| = 1}} (y^TBy)
\]](http://latex.artofproblemsolving.com/a/5/5/a555d876ed311d7c8c0666e5642d19b93c62bbba.png)
We are now done by noting that if




Let us define the subspace


![\[ V = \{ y \in \mathbb{R}^n \mid x^Ty = 0 \} \]](http://latex.artofproblemsolving.com/3/7/b/37bae48ffb7f8936b1b7303e164397a69ac68af0.png)




Note that



![\[ n \geq \dim(U + V) = \dim(U) + \dim(V) - \dim(U \cap V) \]](http://latex.artofproblemsolving.com/e/9/6/e960bdbdd54cf97376b64e2b3f476ca110d0274a.png)

Now, for every

![\[ y^TAy = y^TBy + y^Txx^Ty = y^TBy + (x^Ty)^2 = y^TBy. \]](http://latex.artofproblemsolving.com/b/1/f/b1f6d8e3f09b5d5afa743e2e7be180d2551bd54b.png)
Then, as the minimum over a subset cannot be smaller than the minimum over a superset,
![\[ \min_{y \in U'} y^TBy = \min_{y \in U'} y^TAy \geq \min_{y \in U} y^TAy. \]](http://latex.artofproblemsolving.com/6/c/4/6c427052933cdfc47736cdec56adbdfffb6c3056.png)
![\[ \mu_i = \max_{\substack{S \leq \mathbb{R}^n \\ \dim S \geq i}} \min_{\substack{y \in S \\ |y| = 1}} y^TBy \geq \min_{y \in U'} y^TBy \geq \min_{y \in U} y^TAy. \]](http://latex.artofproblemsolving.com/d/3/4/d34e3d0f8918de0fbf33d676b47f00a318641054.png)

(Replacing


Thus,
![\[ \mu_i \geq \max_{\substack{U \leq \mathbb{R}^n \\ \dim U = i + 1}}\min_{y \in U} y^TAy = \lambda_{i + 1}. \]](http://latex.artofproblemsolving.com/a/8/b/a8b8d72dbe68642bceb7dc12d25549113838b071.png)
This post has been edited 1 time. Last edited by potatio, Feb 10, 2020, 10:06 AM