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.

468 CHAPTER 6. CONE OF DISTANCE MATRICES<br />

6.6.0.0.1 Proof. Case r = 1 is easily proved: From the nonnegativity<br />

development in5.8.1, extreme direction (1117), and Schoenberg criterion<br />

(817), we need show only sufficiency; id est, prove<br />

rankV T N DV N =1<br />

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

+<br />

}<br />

⇒<br />

D ∈ EDM N<br />

D is an extreme direction<br />

Any symmetric matrix D satisfying the rank condition must have the form,<br />

for z,q ∈ R N and nonzero z ∈ N(1 T ) ,<br />

because (5.6.2.1, conferE.7.2.0.2)<br />

D = ±(1q T + q1 T − 2zz T ) (1124)<br />

N(V N (D)) = {1q T + q1 T | q ∈ R N } ⊆ S N (1125)<br />

Hollowness demands q = δ(zz T ) while nonnegativity demands choice of<br />

positive sign in (1124). Matrix D thus takes the form of an extreme<br />

direction (1117) of the EDM cone.<br />

<br />

The foregoing proof is not extensible in rank: An EDM<br />

with corresponding affine dimension r has the general form, for<br />

{z i ∈ N(1 T ), i=1... r} an independent set,<br />

( r<br />

)<br />

∑ T ( r<br />

)<br />

∑ ∑<br />

D = 1δ z i zi T + δ z i zi<br />

T 1 T − 2 r z i zi T ∈ EDM N (1126)<br />

i=1<br />

i=1<br />

i=1<br />

The EDM so defined relies principally on the sum ∑ z i zi<br />

T having positive<br />

summand coefficients (⇔ −VN TDV N ≽0) 6.9 . Then it is easy to find a<br />

sum incorporating negative coefficients while meeting rank, nonnegativity,<br />

and symmetric hollowness conditions but not positive semidefiniteness on<br />

subspace R(V N ) ; e.g., from page 418,<br />

⎡<br />

−V ⎣<br />

0 1 1<br />

1 0 5<br />

1 5 0<br />

6.9 (⇐) For a i ∈ R N−1 , let z i =V †T<br />

N a i .<br />

⎤<br />

⎦V 1 2 = z 1z T 1 − z 2 z T 2 (1127)

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

Saved successfully!

Ooh no, something went wrong!