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.

124 CHAPTER 2. CONVEX GEOMETRY<br />

The composite sequence, the cone interior in union with each successive<br />

constituent, remains convex at each step; id est, for 0≤k ≤M<br />

M⋃<br />

{Y ∈ S M + | rankY = ρ} (241)<br />

ρ=k<br />

is convex for each k by Theorem 2.9.2.6.3.<br />

2.9.2.9 Peeling constituents<br />

Proceeding the other way: To peel constituents off the complete positive<br />

semidefinite cone boundary, one starts by removing the origin; the only<br />

rank-0 positive semidefinite matrix. What remains is convex. Next, the<br />

extreme directions are removed because they constitute all the rank-1 positive<br />

semidefinite matrices. What remains is again convex, and so on. Proceeding<br />

in this manner eventually removes the entire boundary leaving, at last, the<br />

convex interior of the PSD cone; all the positive definite matrices.<br />

2.9.2.9.1 Exercise. Difference A − B .<br />

What about the difference of matrices A,B belonging to the positive<br />

semidefinite cone? Show:<br />

The difference of any two points on the boundary belongs to the<br />

boundary or exterior.<br />

The difference A−B , where A belongs to the boundary while B is<br />

interior, belongs to the exterior.<br />

<br />

2.9.3 Barvinok’s proposition<br />

Barvinok posits existence and quantifies an upper bound on rank of a positive<br />

semidefinite matrix belonging to the intersection of the PSD cone with an<br />

affine subset:<br />

2.9.3.0.1 Proposition. (Barvinok) Affine intersection with PSD cone.<br />

[25,II.13] [23,2.2] Consider finding a matrix X ∈ S N satisfying<br />

X ≽ 0 , 〈A j , X〉 = b j , j =1... m (242)

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

Saved successfully!

Ooh no, something went wrong!