10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

252 CHAPTER 4. SEMIDEFINITE PROGRAMMING<br />

Now visualize intersection of the polyhedral cone with two (m = 2)<br />

hyperplanes having linearly independent normals. The hyperplane<br />

intersection A makes a line. Every intersecting line contains at least one<br />

matrix having rank less than or equal to 2, providing an upper bound.<br />

In other words, there exists a positive semidefinite matrix X belonging<br />

to any line intersecting the polyhedral cone such that rankX ≤ 2.<br />

In the case of three independent intersecting hyperplanes (m = 3), the<br />

hyperplane intersection A makes a point that can reside anywhere in<br />

the polyhedral cone. The upper bound on a point in S+ 3 is also the<br />

greatest upper bound: rankX ≤ 3.<br />

<br />

4.1.1.3.1 Example. <strong>Optimization</strong> on A ∩ S 3 + .<br />

Consider minimization of the real linear function 〈C , X〉 on<br />

a polyhedral feasible set;<br />

P ∆ = A ∩ S 3 + (589)<br />

f ⋆ 0<br />

∆<br />

= minimize 〈C , X〉<br />

X<br />

subject to X ∈ A ∩ S+<br />

3<br />

(590)<br />

As illustrated for particular vector C and hyperplane A = ∂H in Figure 70,<br />

this linear function is minimized on any X belonging to the face of P<br />

containing extreme points {Γ 1 , Γ 2 } and all the rank-2 matrices in between;<br />

id est, on any X belonging to the face of P<br />

F(P) = {X | 〈C , X〉 = f ⋆ 0 } ∩ A ∩ S 3 + (591)<br />

exposed by the hyperplane {X | 〈C , X〉=f ⋆ 0 }. In other words, the set of all<br />

optimal points X ⋆ is a face of P<br />

{X ⋆ } = F(P) = Γ 1 Γ 2 (592)<br />

comprising rank-1 and rank-2 positive semidefinite matrices. Rank 1 is<br />

the upper bound on existence in the feasible set P for this case m = 1<br />

hyperplane constituting A . The rank-1 matrices Γ 1 and Γ 2 in face F(P)<br />

are extreme points of that face and (by transitivity (2.6.1.2)) extreme<br />

points of the intersection P as well. As predicted by analogy to Barvinok’s

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

Saved successfully!

Ooh no, something went wrong!