5
$\begingroup$

Let $P$ be a positive semi-definite Hermitian matrix (i.e. $P^\dagger=P$, $x^\dagger Px \geq 0$ for all $x \in \mathbb C^n$). Then the matrix can be decomposed as $P= R+iM$ where $R$ and $M$ are strictly real matrices. Clearly $R$ is symmetric and $M$ is skew-symmetric. I call $R$ the real part of $P$.

I am almost certain that the real part $R$ must be positive semi-definite as well as I cannot find a counter-example even through numerical simulation. Is this assumption correct? Is there a way to prove the positivity of $R$ over $\mathbb C^n$ or does somebody have a counter-example?

$\endgroup$
2
  • $\begingroup$ It is more common to use the Hermitian "real part" $(A+A^\dagger)/2$ $\endgroup$ Jun 20, 2017 at 20:56
  • 1
    $\begingroup$ @Omnomnomnom $P$ is already Hermitian so $(P + P^\dagger)/2 = (P + P)/2=P$ and $P$ may still have complex entries. My work requires matrices that have strictly real entries. $\endgroup$
    – gene
    Jun 20, 2017 at 21:11

1 Answer 1

11
$\begingroup$

The real part of $P$ is $(P + \overline{P})/2$. If $P$ is positive semidefinite, so is $\overline{P}$, because $$x^* \overline{P} x = \overline{ \overline{x}^* P \overline{x}} \ge 0$$ And a convex combination of positive semidefinite matrices is positive semidefine.

$\endgroup$
2
  • $\begingroup$ Great, thanks. Am I also able to conclude that $\overline{ \overline{x}^* P \overline{x}}=\overline{x}^* P \overline{x}$ is real since $P$ is positive semidefinite? $\endgroup$
    – gene
    Jun 20, 2017 at 21:20
  • $\begingroup$ Yes, $v^* P v$ is real whenever $P$ is hermitian. $\endgroup$ Jun 20, 2017 at 21:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .