Majorization
Let x , y ∈ R n x, y \in \mathbb{R}^n x , y ∈ R n and order their entries increasingly, x ℓ 1 ≤ x ℓ 2 ≤ ⋯ ≤ x ℓ n x_{\ell_1} \le x_{\ell_2} \le \cdots \le x_{\ell_n} x ℓ 1 ≤ x ℓ 2 ≤ ⋯ ≤ x ℓ n and y m 1 ≤ y m 2 ≤ ⋯ ≤ y m n y_{m_1} \le y_{m_2} \le \cdots \le y_{m_n} y m 1 ≤ y m 2 ≤ ⋯ ≤ y m n . x x x majorizes y y y when for all k = 1 , … , n k = 1, \ldots, n k = 1 , … , n
∑ i = 1 k x ℓ i ≥ ∑ i = 1 k y m i \sum_{i=1}^{k} x_{\ell_i} \ge \sum_{i=1}^{k} y_{m_i} i = 1 ∑ k x ℓ i ≥ i = 1 ∑ k y m i
with equality at k = n k = n k = n .
Note this is stated with increasing order. Many references order decreasingly instead, which reverses the direction of every statement below (e.g. they say λ ( A ) \lambda(A) λ ( A ) majorizes d i a g ( A ) \mathrm{diag}(A) diag ( A ) ).
Diagonal and Eigenvalues
For A ∈ M n A \in M_n A ∈ M n Hermitian, d i a g ( A ) = ( a 11 , … , a n n ) \mathrm{diag}(A) = (a_{11}, \ldots, a_{nn}) diag ( A ) = ( a 11 , … , a nn ) majorizes λ ( A ) = ( λ 1 ( A ) , … , λ n ( A ) ) \lambda(A) = (\lambda_1(A), \ldots, \lambda_n(A)) λ ( A ) = ( λ 1 ( A ) , … , λ n ( A )) .
Proof By induction, n = 1 n = 1 n = 1 is trivial. Assume it holds for n − 1 n - 1 n − 1 . Order the diagonal a ℓ 1 ℓ 1 ≤ ⋯ ≤ a ℓ n ℓ n a_{\ell_1 \ell_1} \le \cdots \le a_{\ell_n \ell_n} a ℓ 1 ℓ 1 ≤ ⋯ ≤ a ℓ n ℓ n and let B B B be the submatrix from deleting row and column ℓ n \ell_n ℓ n . Then d i a g ( B ) \mathrm{diag}(B) diag ( B ) is the n − 1 n - 1 n − 1 smallest diagonal entries of A A A , and for all k = 1 , … , n − 1 k = 1, \ldots, n - 1 k = 1 , … , n − 1 , by interlacing and then induction,
∑ i = 1 k λ i ( A ) ≤ ∑ i = 1 k λ i ( B ) ≤ ∑ i = 1 k a ℓ i ℓ i \sum_{i=1}^{k} \lambda_i(A) \le \sum_{i=1}^{k} \lambda_i(B) \le \sum_{i=1}^{k} a_{\ell_i \ell_i} i = 1 ∑ k λ i ( A ) ≤ i = 1 ∑ k λ i ( B ) ≤ i = 1 ∑ k a ℓ i ℓ i
For k = n k = n k = n , ∑ i = 1 n λ i ( A ) = t r ( A ) = ∑ i = 1 n a ℓ i ℓ i \sum_{i=1}^{n} \lambda_i(A) = \mathrm{tr}(A) = \sum_{i=1}^{n} a_{\ell_i \ell_i} ∑ i = 1 n λ i ( A ) = tr ( A ) = ∑ i = 1 n a ℓ i ℓ i .
Eigenvalue Sums as Traces
For A ∈ M n A \in M_n A ∈ M n Hermitian and all r = 1 , … , n r = 1, \ldots, n r = 1 , … , n ,
∑ k = 1 r λ k ( A ) = min U ∈ M n , r orthonormal cols t r ( U ∗ A U ) , ∑ k = 0 r − 1 λ n − k ( A ) = max U ∈ M n , r orthonormal cols t r ( U ∗ A U ) \sum_{k=1}^{r} \lambda_k(A) = \min_{\substack{U \in M_{n,r} \\ \text{orthonormal cols}}} \mathrm{tr}(U^*AU), \qquad \sum_{k=0}^{r-1} \lambda_{n-k}(A) = \max_{\substack{U \in M_{n,r} \\ \text{orthonormal cols}}} \mathrm{tr}(U^*AU) k = 1 ∑ r λ k ( A ) = U ∈ M n , r orthonormal cols min tr ( U ∗ A U ) , k = 0 ∑ r − 1 λ n − k ( A ) = U ∈ M n , r orthonormal cols max tr ( U ∗ A U )
Proof
For any U ∈ M n , r U \in M_{n,r} U ∈ M n , r with orthonormal columns, there is a unitary V = [ U ∣ ∗ ] ∈ M n V = [\, U \mid * \,] \in M_n V = [ U ∣ ∗ ] ∈ M n by Gram-Schmidt.
U ∗ A U U^*AU U ∗ A U is the leading r × r r \times r r × r principal submatrix of V ∗ A V V^*AV V ∗ A V .
So λ k ( A ) = λ k ( V ∗ A V ) ≤ λ k ( U ∗ A U ) \lambda_k(A) = \lambda_k(V^*AV) \le \lambda_k(U^*AU) λ k ( A ) = λ k ( V ∗ A V ) ≤ λ k ( U ∗ A U ) by interlacing.
Summing over k k k , ∑ k = 1 r λ k ( A ) ≤ ∑ k = 1 r λ k ( U ∗ A U ) = t r ( U ∗ A U ) \sum_{k=1}^{r} \lambda_k(A) \le \sum_{k=1}^{r} \lambda_k(U^*AU) = \mathrm{tr}(U^*AU) ∑ k = 1 r λ k ( A ) ≤ ∑ k = 1 r λ k ( U ∗ A U ) = tr ( U ∗ A U ) , so we just need a U U U attaining the min.
Let W = [ w 1 ∣ ⋯ ∣ w r ] W = [w_1 | \cdots | w_r] W = [ w 1 ∣ ⋯ ∣ w r ] with w i w_i w i orthonormal eigenvectors of λ 1 , … , λ r \lambda_1, \ldots, \lambda_r λ 1 , … , λ r . Then W ∗ A W = d i a g ( λ 1 , … , λ r ) W^*AW = \mathrm{diag}(\lambda_1, \ldots, \lambda_r) W ∗ A W = diag ( λ 1 , … , λ r ) and t r ( W ∗ A W ) = ∑ k = 1 r λ k ( A ) \mathrm{tr}(W^*AW) = \sum_{k=1}^{r} \lambda_k(A) tr ( W ∗ A W ) = ∑ k = 1 r λ k ( A ) .
Eigenvalues of a Sum
For A , B A, B A , B Hermitian, λ ( A + B ) \lambda(A + B) λ ( A + B ) majorizes λ ( A ) + λ ( B ) \lambda(A) + \lambda(B) λ ( A ) + λ ( B ) .
Proof For all k = 1 , … , n k = 1, \ldots, n k = 1 , … , n ,
∑ i = 1 k λ i ( A + B ) = min U ∈ M n , k orthonormal cols t r ( U ∗ ( A + B ) U ) = min ( t r ( U ∗ A U ) + t r ( U ∗ B U ) ) ≥ min t r ( U ∗ A U ) + min t r ( U ∗ B U ) = ∑ i = 1 k λ i ( A ) + ∑ i = 1 k λ i ( B ) \begin{aligned}
\sum_{i=1}^{k} \lambda_i(A + B) &= \min_{\substack{U \in M_{n,k} \\ \text{orthonormal cols}}} \mathrm{tr}(U^*(A + B)U) = \min \big(\mathrm{tr}(U^*AU) + \mathrm{tr}(U^*BU)\big) \\
&\ge \min \mathrm{tr}(U^*AU) + \min \mathrm{tr}(U^*BU) = \sum_{i=1}^{k} \lambda_i(A) + \sum_{i=1}^{k} \lambda_i(B)
\end{aligned} i = 1 ∑ k λ i ( A + B ) = U ∈ M n , k orthonormal cols min tr ( U ∗ ( A + B ) U ) = min ( tr ( U ∗ A U ) + tr ( U ∗ B U ) ) ≥ min tr ( U ∗ A U ) + min tr ( U ∗ B U ) = i = 1 ∑ k λ i ( A ) + i = 1 ∑ k λ i ( B )
with equality at k = n k = n k = n since both sides are t r ( A + B ) \mathrm{tr}(A + B) tr ( A + B ) .
Hadamard's Inequality
Let A ∈ M n A \in M_n A ∈ M n be PSD. Then
det A ≤ ∏ i = 1 n a i i \det A \le \prod_{i=1}^{n} a_{ii} det A ≤ i = 1 ∏ n a ii
Proof For all i i i , 0 ≤ λ 1 ( A ) ≤ a i i 0 \le \lambda_1(A) \le a_{ii} 0 ≤ λ 1 ( A ) ≤ a ii by PSD and interlacing, so ∏ i a i i ≥ 0 \prod_i a_{ii} \ge 0 ∏ i a ii ≥ 0 . If A A A is singular, det A = 0 \det A = 0 det A = 0 and we are done.
Else A A A is PD, so 0 < λ 1 ( A ) ≤ a i i 0 < \lambda_1(A) \le a_{ii} 0 < λ 1 ( A ) ≤ a ii . Let D = d i a g ( 1 / a 11 , … , 1 / a n n ) D = \mathrm{diag}(1/\sqrt{a_{11}}, \ldots, 1/\sqrt{a_{nn}}) D = diag ( 1/ a 11 , … , 1/ a nn ) . D A D DAD D A D is Hermitian PD with ones on the diagonal, so by AM-GM
det A ∏ i = 1 n a i i = det D 2 det A = det ( D A D ) = ∏ i = 1 n λ i ( D A D ) ≤ ( 1 n ∑ i = 1 n λ i ( D A D ) ) n = ( 1 n t r ( D A D ) ) n = ( n n ) n = 1 \frac{\det A}{\prod_{i=1}^{n} a_{ii}} = \det D^2 \det A = \det(DAD) = \prod_{i=1}^{n} \lambda_i(DAD) \le \Big(\frac{1}{n} \sum_{i=1}^{n} \lambda_i(DAD)\Big)^n = \Big(\frac{1}{n} \mathrm{tr}(DAD)\Big)^n = \Big(\frac{n}{n}\Big)^n = 1 ∏ i = 1 n a ii det A = det D 2 det A = det ( D A D ) = i = 1 ∏ n λ i ( D A D ) ≤ ( n 1 i = 1 ∑ n λ i ( D A D ) ) n = ( n 1 tr ( D A D ) ) n = ( n n ) n = 1