Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ and $B$ are both $n\times n$ complex Hermitian positive semidefinite matrices, then whether $\mathrm{trace}(AB)=0$ implies $AB=0$? When $A$ and $B$ are real Hermitian positive semidefinite matrices, this is indeed true, is it true for the complex case?

share|improve this question
    
I suppose the question is for a positive definite diagonal matrix, could you have say $\pm i$ in two different entries? –  muzzlator Feb 26 '13 at 13:30

2 Answers 2

up vote 3 down vote accepted

By assumption, there exist two matrices $C,D$ sucht that $$ A=C^*C\quad\mbox{and}\quad B=DD^*. $$ Now, using the commutativity of the trace, $$ \mbox{Tr}(AB)=\mbox{Tr}(C^*CDD^*)=\mbox{Tr}(D^*C^*CD)=\mbox{Tr}((CD)^*CD) $$ appears to be the sum of of all $|(CD)_{i,j}|^2$.

So $$ \mbox{Tr}(AB)=0\quad\Rightarrow \quad CD=0\quad \Rightarrow\quad AB=C^*CDD^*=0. $$

Note: this proof works in the complex case, like in the real case.

share|improve this answer
    
Is there any standard text that can be referenced for this? –  nuse_li Feb 27 '13 at 8:25

Yes, it's true in the complex case. Since every Hermitian matrix is unitarily diagonalizable, WLOG we may assume that $A=D\oplus 0$, where $D$ is a positive diagonal matrix. Let $B=\begin{pmatrix}U&W^\ast \\W&V\end{pmatrix}$. Since $B$ is positive semidefinite, so are $U,V$ and hence the diagonal of $U$ is nonnegative. Thus $\operatorname{trace}(AB)=0$ implies that $U$ has a zero diagonal, $\operatorname{trace}(U)=0$ and in turn all eigenvalues of $U$ are zero. Thus $U=0$. But then $W$ must be zero, otherwise $B$ cannot be positive semidefinite. Hence $B=0\oplus V$ and $AB=0$.

share|improve this answer

Your Answer

 
discard

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.