4
$\begingroup$

If $A \in \mathbb{C}^{n \times n}$ is a non-zero Hermitian matrix, I need to show that $$\text{rank}(A) \geq \frac{(\text{tr}(A))^2}{\text{tr}(A^2)}$$ and reason out when the equality is attained?

Can anyone help me in showing this result?

1 Answers 1

3

Your matrix is diagonalizable to a diagonal matriz with real entries, when you diagonalize it, $\mathrm{rank}A$, $\mathrm{tr} A$ and $\mathrm{tr} A^2$ do not change. This means that you can suppose that $A$ is real and diagonal to begin with.

So suppose $A=\operatorname{diag}(\lambda_1,\dots,\lambda_n)$ with the $\lambda_i\in\mathbb R$. Then $\operatorname{rank}A$ is the number of non-zero $\lambda_i$s, $\operatorname{tr}A=\sum_i\lambda_i$ and $\operatorname{tr}A^2=\sum_i\lambda_i^2$. It follows that we are reduced to showing that

if $\lambda_1$, $\dots$, $\lambda_n$ are real numbers, then $\big(\sum_{i=1}^n\lambda_i\big)^2\leq n\sum_{i=1}^n\lambda_i^2$.

One way to do prove this is to fix $r\geq0$, compute the maximum $M$ of the function $f(\lambda_1,\dots,\lambda_n)=(\lambda_1+\cdots+\lambda_n)^2$ in the sphere $\lambda_1^2+\cdots+\lambda_n^2=r$, and finally check that $M$ is equal to $nr$. This can be done easily using the method of Lagrange multipliers---it will, moreover, tell you where the maximum is achieved, and show when your inequality becomes an equality.

  • 0
    Rank of a matrix is linked to number of independent rows/ columns in the matrix, whereas trace is linked with sum of eigen values of the matrix. How do we link them? Also number of non-zero eigen value not necessary equals rank of a matrix!2011-10-14
  • 0
    @Learner But number of zero eigs equal to the rank drop no?2011-10-14
  • 0
    Mariano: (1) The blockquoted inequality is a case of Cauchy-Schwarz inequality. (2) Both the inequality itself and the equality case are direct once you note that RHS$-$LHS is $\sum_{i,j}(x_i-x_j)^2$.2011-10-14
  • 0
    @Didier: my favourite proof of C-S uses Lagrange multipliers, so there is no loss :)2011-10-14
  • 2
    Seems to me like a typical case of cracking nuts with a sledgehammer since, for example, no differential structure is involved, but as they say, *gustibus non est disputandum*...2011-10-14
  • 0
    Heh. Well, I can prove pretty much *all* classical inequalities (C-S, the arithmetic-geometric inequality, Young's, Minkowski's, and many many others) using the *exact* same idea. I very much prefer to have at hand a general method to avoid thinking!2011-10-14
  • 0
    IOW: there are lots and lots of nuts!2011-10-14