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.

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

6.8.1.3 Dual Euclidean distance matrix criterion<br />

Conditions necessary for membership of a matrix D ∗ ∈ S N to the dual<br />

EDM cone EDM N∗ may be derived from (1153): D ∗ ∈ EDM N∗ ⇒<br />

D ∗ = δ(y) − V N AVN<br />

T for some vector y and positive semidefinite matrix<br />

A∈ S N−1<br />

+ . This in turn implies δ(D ∗ 1)=δ(y) . Then, for D ∗ ∈ S N<br />

where, for any symmetric matrix D ∗<br />

D ∗ ∈ EDM N∗ ⇔ δ(D ∗ 1) − D ∗ ≽ 0 (1179)<br />

δ(D ∗ 1) − D ∗ ∈ S N c (1180)<br />

To show sufficiency of the matrix criterion in (1179), recall Gram-form<br />

EDM operator<br />

D(G) = δ(G)1 T + 1δ(G) T − 2G (810)<br />

where Gram matrix G is positive semidefinite by definition, and recall the<br />

self-adjointness property of the main-diagonal linear operator δ (A.1):<br />

〈D , D ∗ 〉 = 〈 δ(G)1 T + 1δ(G) T − 2G , D ∗〉 = 〈G , δ(D ∗ 1) − D ∗ 〉 2 (829)<br />

Assuming 〈G , δ(D ∗ 1) − D ∗ 〉≥ 0 (1386), then we have known membership<br />

relation (2.13.2.0.1)<br />

D ∗ ∈ EDM N∗ ⇔ 〈D , D ∗ 〉 ≥ 0 ∀D ∈ EDM N (1181)<br />

<br />

Elegance of this matrix criterion (1179) for membership to the dual<br />

EDM cone is the lack of any other assumptions except D ∗ be symmetric.<br />

(Recall: Schoenberg criterion (817) for membership to the EDM cone requires<br />

membership to the symmetric hollow subspace.)<br />

Linear Gram-form EDM operator (810) has adjoint, for Y ∈ S N<br />

Then we have: [78, p.111]<br />

D T (Y ) ∆ = (δ(Y 1) − Y ) 2 (1182)<br />

EDM N∗ = {Y ∈ S N | δ(Y 1) − Y ≽ 0} (1183)<br />

the dual EDM cone expressed in terms of the adjoint operator. A dual EDM<br />

cone determined this way is illustrated in Figure 127.

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

Saved successfully!

Ooh no, something went wrong!