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.

6.6. CORRESPONDENCE TO PSD CONE S N−1<br />

+ 467<br />

the EDM cone can only be S N−1<br />

+ . [7,18.2.1] To clearly demonstrate this<br />

correspondence, we invoke inner-product form EDM definition<br />

D(Φ) ∆ =<br />

[<br />

0<br />

δ(Φ)<br />

]<br />

1 T + 1 [ 0 δ(Φ) ] [ 0 0 T T<br />

− 2<br />

0 Φ<br />

⇔<br />

Φ ≽ 0<br />

]<br />

∈ EDM N<br />

(922)<br />

Then the EDM cone may be expressed<br />

EDM N = { }<br />

D(Φ) | Φ ∈ S N−1<br />

+<br />

(1122)<br />

Hayden & Wells’ assertion can therefore be equivalently stated in terms of<br />

an inner-product form EDM operator<br />

D(S N−1<br />

+ ) = EDM N (924)<br />

V N (EDM N ) = S N−1<br />

+ (925)<br />

identity (925) holding because R(V N )= N(1 T ) (805), linear functions D(Φ)<br />

and V N (D)= −VN TDV N (5.6.2.1) being mutually inverse.<br />

In terms of affine dimension r , Hayden & Wells claim particular<br />

correspondence between PSD and EDM cones:<br />

r = N −1: Symmetric hollow matrices −D positive definite on N(1 T ) correspond<br />

to points relatively interior to the EDM cone.<br />

r < N −1: Symmetric hollow matrices −D positive semidefinite on N(1 T ) , where<br />

−VN TDV N has at least one 0 eigenvalue, correspond to points on the<br />

relative boundary of the EDM cone.<br />

r = 1: Symmetric hollow nonnegative matrices rank-one on N(1 T ) correspond<br />

to extreme directions (1117) of the EDM cone; id est, for some nonzero<br />

vector u (A.3.1.0.7)<br />

rankV T N DV N =1<br />

D ∈ S N h ∩ R N×N<br />

+<br />

}<br />

⇔<br />

{<br />

D ∈ EDM N<br />

−V<br />

T<br />

D is an extreme direction ⇔ N DV N ≡ uu T<br />

D ∈ S N h<br />

(1123)

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

Saved successfully!

Ooh no, something went wrong!