[[lecture-data]]2024-10-11
Readings
- a
4. Chapter 4
Finishing up today
Corollary
Suppose are hermitian. Then the vector of eigenvalues for , call this , majorizes the vector (the vector of eigenvalues of plus the vector of eigenvalues of ).
, we have
For all
\sum_{i=1}^k \lambda_{i}(A+B) &= \min_{U \in M_{n,k} \text{ orthonormal}} \mathrm{Tr}U^*(A+B)U \\ &= \min_{U \in M_{n,k} \text{ orthonormal}} [\mathrm{Tr}(U^*AU) + \mathrm{Tr}(U^*BU)] \\ & \geq \min_{U \in M_{n,k}} \mathrm{Tr}(U^*AU) + \min_{U \in M_{n,k}} \mathrm{Tr}U^*BU \\ &= \sum_{i=1}^k \lambda_{i}(A) + \sum_{i=1}^k \lambda_{i}(B) \\ &= \sum_{i=1}^k \lambda_{i}(A) + \lambda_{i}(B) \\ \end{aligned}$$ When $n=k$, we get precisely that $$\sum_{i=1}^n \lambda_{i}(A+B) = \mathrm{Tr}(A+B) = \mathrm{Tr}(A) + \mathrm{Tr}(B) = \sum_{i=1}^n \lambda_{i}(A) + \lambda_{i}(B)$$(see the eigenvalues of the sum of hermitian matrices majorize the sum of their individual eigenvalues)
Theorem (Hadamard's Inequality)
Let be positive semidefinite (aka hermitian). Then
, we have since is positive semidefinite and by interlacing 2. Thus we know . If is singular ie then the result is immediate.
For all
If is not singular, then is positive definite and thus for all . Let be an (invertible) diagonal matrix with diagonal entries .
Note that is hermitian and positive definite. For all , we have since is positive definite.
\frac{\det A}{\prod_{i=1}^n a_{ii}} &= \det(D^2) \det A \\ &= \det D \det D\det A\\ &= \det DAD \\ &= \prod_{i=1}^n \lambda_{i}(DAD) \\ & \leq \left[ \frac{1}{n} \sum_{i=1}^n \lambda_{i}(DAD) \right]^n \;\;\;\;(*) \\ &= \left[ \frac{1}{n} \mathrm{Tr}DAD \right]^n \;\;\;\;(**) \\ &= \left( \frac{n}{n} \right)^n \\ &= 1 \end{aligned}$$ $(*)$ is due to the [[Concept Wiki/arithmetic-geometric mean inquality]] and $(**)$ is because the eigenvalues of $DAD$ will be all 1s. This is because when we multiply $A$ by $D$ on each side, we get that the diagonals are equal to $1$, and then(see Hadamard’s Inequality)
Arithmetic-Geometric Mean Inquality
Let be some collection of numbers. The arithmetic mean is The geometric mean is
And we have . (see arithmetic-geometric mean inquality)
Drawing up a concept map. When preparing for an exam, it is important to see all of the important ideas and try and see how they fit together.
In this chapter, Courant-Fisher is the main central theorem.
- a special case is Rayleigh-Ritz, which we proved by using that the field of values for a normal matrix is the convex hull of the spectrum
- this also gave us Weyl’s Theorem, a continuity result about adding a perturbing matrix and how this changes the eigenvalues of the original matrix.
- We also used this to get interlacing theorem 1 which gives us bounds on the eigenvalues of sums of hermitian matrices
- and interlacing 2, which gives us bounds on the eigenvalues of principal submatrices.
- this gave us that the diagonal elements of a hermitian matrix majorize its eigenvalues
- and also the sum of the first least eigenvalues is the minimum of the trace of orthonormal multiplications
- this also gave us Hadamard’s Inequality, which is the same as the above diagonal elements of a hermitian matrix majorize its eigenvalues
7. Chapter 7
Singular Value Decomposition
Let such that . Then there exists unitary, diagonal, and with orthonormal rows such that
WLOG, we assume the diagonal elements of are nonnegative and ordered in a non-increasing.
is hermitian and therefore positive semidefinite. So there exists unitary and diagonal such that by the spectral theorem for hermitian matrices. Call the columns of
Note that
Say each of the elements in are called (we can do this because each eigenvector of is real).
Say is rank . Then let and define to be the matrix containing the ordered s.
For , define the th row of to be . These are orthonormal since for all we have and this is if and otherwise.
For , define the rows of any way you like, so long as they are orthonormal and orthogonal to the first rows of . And thus we are done! We have
For rows equality holds by construction. For rows , we have since each is an eigenvector with eigenvalues for . Thus we have the th row of . So LHS = RHS = 0.
Note that if is real, we can take real.