Lecture 18
[[lecture-data]]
2024-10-09
Readings
- a
4. Chapter 4
Suppose
Say
- Note that the
are the standard basis vectors with the in the index of each - The
s are the s without the components (since they are orthogonal to those standard basis vectors) - We can then "perform surgery" on the
s also to get rid of those coordinates to get
(see inclusion principle)
For any
This follows immediately from the inclusion principle, since each diagonal entry is a
(see the diagonal entries of a hermitian matrix are bounded by the eigenvalues)
Let
- For all
and - equality holds when
(see majorization)
Let
Any case where
Let
For all
Thus the theorem holds
(see diagonal elements of a hermitian matrix majorize its eigenvalues)
Let
and also
And claim that this implies the previous result ( just take take
Given any
So by interlacing 2, we get that
So sum over
So we have the desired lower bound, and need to show we can achieve equality.
Let
(the sum of the first
(see the sum of the first least eigenvalues is the minimum of the trace of orthonormal multiplications)