3
$\begingroup$

Let $S$ denote the set of all complex non-negative definite matrices with all diagonal elements being less that or equal to one. Can we show that any matrix which belongs to the set of all non-zero extreme points of $S$ has all its diagonal elements equal to zero or one?

$\endgroup$
10
  • 2
    $\begingroup$ Non-negative definite = hermitian with some eigenvalues positive? Or do you mean something else? $\endgroup$
    – Igor Rivin
    Apr 13, 2018 at 0:02
  • $\begingroup$ @Igor. Hermitian + all eigenvalues non-negative. $\endgroup$
    – Mathbuff
    Apr 13, 2018 at 0:06
  • $\begingroup$ This cannot be true because the set is the closed convex hull of its extreme points. Or in more elementary style, $0$ is certainly an extreme point. $\endgroup$ Apr 13, 2018 at 0:25
  • $\begingroup$ What could perhaps be true is that the extreme points have diag entries zero or one. $\endgroup$ Apr 13, 2018 at 0:26
  • 2
    $\begingroup$ Standard terminology is "positive semidefinite" (PSD). $\endgroup$
    – Igor Rivin
    Apr 13, 2018 at 18:13

2 Answers 2

1
$\begingroup$

Rank one matrices $xx^\top$ are extreme, now take $x=(1,1/2)$. This gives $\begin{pmatrix} 1&1/2\\1/2&1/4\end{pmatrix}$, a counterexample to your conjecture.

$\endgroup$
3
  • $\begingroup$ @ Dima and Igor. I am talking about extreme points of the set of all non-negative definite matrices. I am considering a special convex set of non-negative matrices with diagonal entries all less than or equal to one. So your argument is not correct. $\endgroup$
    – Mathbuff
    Apr 14, 2018 at 12:26
  • 2
    $\begingroup$ the matrix I give is in your set, and we claim it is extreme $\endgroup$ Apr 14, 2018 at 12:36
  • $\begingroup$ @ Dima and Igor. I am really sorry. you are absolutely right. $\endgroup$
    – Mathbuff
    Apr 14, 2018 at 14:03
1
$\begingroup$

The extremal rays of the PSD cone are the rank one matrices (also known as projections),so those of the form $x x^t.$ - see, for example, https://math.stackexchange.com/questions/678693/positive-semidefinite-cone-is-generated-by-all-rank-one-matrices

The answer to your question follows immediately.

$\endgroup$
1
  • 1
    $\begingroup$ no, the question is whether on the boundary one always get matrices with only 0 or 1 on the diagonal. E.g. for x=(1,1/2) one gets an extreme matrix which is not like this. $\endgroup$ Apr 13, 2018 at 19:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.