Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In my previous problem, I made a typo. Now I restate it as a new problem.

Let $ \begin{bmatrix} A& B \\ B^* &C \end{bmatrix}$ be positive semidefinite, $A,C$ are of size $n\times n$. Is it true that $$\quad \sum\limits_{i=1}^k\lambda_i\begin{bmatrix} A& B \\ B^* &C \end{bmatrix}\le \sum\limits_{i=1}^k\left(\lambda_i(A)+\lambda_i(C)\right)\quad, $$ where $1\le k\le n$? Here, $\lambda_i(\cdot)$ means the $i$th largest eigenvalue of $\cdot\quad$

share|cite|improve this question
I guess that $A$ and $C$ are Hermitian matrices. If this is the case, the minmax theorem might help to prove the statement. – Fabian Jul 12 '11 at 19:28
Yes, $A,C$ are Hermitian, but using minmax theorem I can proof the case $k=1$, and no more... – Sunni Jul 13 '11 at 20:34

It holds for $n = 1$. Solving the quadratic equation (with trace and determinant) for the largest eigenvalue of the lhs matrix, the desired inequality reads $$ \frac{a+c+\sqrt{(a-c)^2 + 4|b|^2}}{2} \leq a + c.$$ Some algebra shows that (since $a+c \geq 0$) this is equivalent to $$ |b|^2 \leq ac. $$ This follows (more or less) from Jacobi's criterion.

share|cite|improve this answer
up vote 0 down vote accepted

This question is answered by T. Ito at

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.