10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

112 CHAPTER 2. CONVEX GEOMETRY<br />

2.9.2.3 Faces of PSD cone, their dimension versus rank<br />

Each and every face of the positive semidefinite cone, having dimension less<br />

than that of the cone, is exposed. [212,6] [186,2.3.4] Because each and<br />

every face of the positive semidefinite cone contains the origin (2.8.0.0.1),<br />

each face belongs to a subspace of the same dimension.<br />

Given positive semidefinite matrix A∈ S M + , define F ( S M + ∋A ) (151) as<br />

the smallest face that contains A of the positive semidefinite cone S M + .<br />

Then matrix A , having ordered diagonalization QΛQ T (A.5.2), is relatively<br />

interior to [25,II.12] [96,31.5.3] [206,2.4] [207]<br />

F ( S M + ∋A ) = {X ∈ S M + | N(X) ⊇ N(A)}<br />

= {X ∈ S M + | 〈Q(I − ΛΛ † )Q T , X〉 = 0}<br />

≃ S rank A<br />

+<br />

(203)<br />

which is isomorphic with the convex cone S rank A<br />

+ . Thus dimension of the<br />

smallest face containing given matrix A is<br />

dim F ( S M + ∋A ) = rank(A)(rank(A) + 1)/2 (204)<br />

in isomorphic R M(M+1)/2 , and each and every face of S M + is isomorphic with<br />

a positive semidefinite cone having dimension the same as the face. Observe:<br />

not all dimensions are represented, and the only zero-dimensional face is the<br />

origin. The positive semidefinite cone has no facets, for example.<br />

2.9.2.3.1 Table: Rank k versus dimension of S 3 + faces<br />

k dim F(S 3 + ∋ rank-k matrix)<br />

0 0<br />

boundary 1 1<br />

2 3<br />

interior 3 6<br />

For the positive semidefinite cone S 2 + in isometrically isomorphic R 3<br />

depicted in Figure 37, for example, rank-2 matrices belong to the interior<br />

of that face having dimension 3 (the entire closed cone), rank-1 matrices

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!