3

$\newcommand{\psym}{\operatorname{P}_{\ge 0}}$ Let $\psym$ be the set of symmetric positive semidefinite (real) matrices.

Let $A \in \psym$ be on the boundary of $\psym$, i.e $\det A=0$ and let $B$ be a symmetric matrix such that $A+tB \in \psym$ for $t >0$ small enough.

Is it true that $A+B \in \psym$?

Why I think this might be true:

The intution is that if we are on the boundary of $\psym$, and we have some small perturbation which keeps us inside the space, than this perturbation must be in the "inward" direction from the boundary into the interior of the space. Thus, taking a larger step $(t >>0)$ in this direction will also keep us in the space.

Proof for the case when $A,B$ commute:

If $A,B$ commute, then they are simultaneously diagonalisable by an orthogonal matrix, i.e there exists $V \in O_n$ such that:

$$V^TAV=\Sigma_A,V^TBV=\Sigma_B , $$ so (remember $t>0$)

$$A+tB \ge 0 \Rightarrow V^T(A+tB) V=\Sigma_A+t\Sigma_B \ge 0\Rightarrow \Sigma_A+\Sigma_B \ge 0 \Rightarrow $$

$$ V (\Sigma_A+\Sigma_B) V^T=A+B \ge 0 $$

as required.

Asaf Shachar
  • 25,111

2 Answers2

5

No. Consider $$ A = \begin{pmatrix} 1 & 0\\ 0 & 0\\ \end{pmatrix} $$ and $$ B = \begin{pmatrix} -2 & 0\\ 0 & 1\\ \end{pmatrix} $$ then $$ A + t B = \begin{pmatrix} 1 - 2t & 0\\ 0 & t\\ \end{pmatrix} $$ which is positive semidefinite for $t<\frac12$ (it' s even definite positive) but $$ A + B = \begin{pmatrix} -1 & 0\\ 0 & 1\\ \end{pmatrix} $$ is not positive semidefinite.

themaker
  • 2,451
  • Thanks, I now see the problem was that the notion of "inward-pointing" is a local notion, and problems can occur globally. – Asaf Shachar Aug 09 '16 at 20:15
2

(This is merely a visualization for themaker's great answer)

Since A picture is worth a thousand words:

Think on the subset of the plane $\{(x,y) \in \mathbb{R}^2|\text{diag}(x,y) \ge 0\}=\{(x,y) \in \mathbb{R}^2|x \ge 0,y \ge 0 \}$ which is the upper-right quarter.

Take $(x(t),y(t))=(t,1-2t)$ and you wil get a straight line which starts at the boundary, then crosses it at $t=0.5$...

enter image description here

Asaf Shachar
  • 25,111