Is the product of symmetric positive semidefinite matrices positive definite?

I see on Wikipedia that the product of two commuting symmetric positive definite matrices is also positive definite. Does the same result hold for the product of two positive semidefinite matrices?

My proof of the positive definite case falls apart for the semidefinite case because of the possibility of division by zero...


Solution 1:

You have to be careful about what you mean by "positive (semi-)definite" in the case of non-Hermitian matrices. In this case I think what you mean is that all eigenvalues are positive (or nonnegative). Your statement isn't true if "$A$ is positive definite" means $x^T A x > 0$ for all nonzero real vectors $x$ (or equivalently $A + A^T$ is positive definite). For example, consider $$ A = \pmatrix{ 1 & 2\cr 2 & 5\cr},\ B = \pmatrix{1 & -1\cr -1 & 2\cr},\ AB = \pmatrix{-1 & 3\cr -3 & 8\cr},\ (1\ 0) A B \pmatrix{1\cr 0\cr} = -1$$

Let $A$ and $B$ be positive semidefinite real symmetric matrices. Then $A$ has a positive semidefinite square root, which I'll write as $A^{1/2}$. Now $A^{1/2} B A^{1/2}$ is symmetric and positive semidefinite, and $AB = A^{1/2} (A^{1/2} B)$ and $A^{1/2} B A^{1/2}$ have the same nonzero eigenvalues.

Solution 2:

The product of two symmetric PSD matrices is PSD, iff the product is also symmetric. More generally, if $A$ and $B$ are PSD, $AB$ is PSD iff $AB$ is normal, ie, $(AB)^T AB = AB(AB)^T$.

Reference: On a product of positive semidefinite matrices, A.R. Meenakshi, C. Rajian, Linear Algebra and its Applications, Volume 295, Issues 1–3, 1 July 1999, Pages 3–6.

Solution 3:

Actually, one has to be vary careful in the way one interprets the results of Meenakshi and Rajian (referenced in one of the posts above). Symmetry is inherent in their definition of positive definiteness. Thus, their result can be stated very simply as follows: If $A$ and $B$ are symmetric and PSD, then $AB$ is PSD iff $AB$ is symmetric. A direct proof for this result can be given as follows. If $AB$ is PSD, it is symmetric (by Meenakshi and Rajian's definition of PSD). If it is symmetric, it is PSD since the eigenvalues of $AB$ are non-negative. To summarize, all the stuff about normality in their paper is not required (since normality of $AB$ is equivalent to the far simpler condition of symmetry of $AB$ when $A$ and $B$ are symmetric PSD). The most important point here is that if one adopts a more general definition for PSD ($x^TAx\ge 0$) and if one now considers cases where the product $AB$ is unsymmetric, then their results do not go through.