Lecture 19

[[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.

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.

(see singular value decomposition)