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.

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

6.5.3 Faces of EDM cone<br />

Like the positive semidefinite cone, EDM cone faces are EDM cones.<br />

6.5.3.0.1 Exercise. Isomorphic faces.<br />

Prove that in high cardinality N , any set of EDMs made via (1110) or (1111)<br />

with particular affine dimension r is isomorphic with any set admitting the<br />

same affine dimension but made in lower cardinality.<br />

<br />

6.5.3.1 Smallest face<br />

Now suppose we are given a particular EDM D(V Xp )∈ EDM N corresponding<br />

to affine dimension r and parametrized by V Xp in (1093). The EDM cone’s<br />

smallest face that contains D(V Xp ) is<br />

F ( EDM N ∋ D(V Xp ) )<br />

= { D(V X ) | V X ∈ R N×r , rankV X =r , V T X V X = δ2 (V T X V X ), R(V X)⊆ R(V Xp ) }<br />

≃ EDM r+1 (1114)<br />

which is isomorphic 6.7 with the convex cone EDM r+1 , hence of dimension<br />

dim F ( EDM N ∋ D(V Xp ) ) = (r + 1)r/2 (1115)<br />

in isomorphic R N(N−1)/2 . Not all dimensions are represented; e.g., the EDM<br />

cone has no two-dimensional faces.<br />

When cardinality N = 4 and affine dimension r=2 so that R(V Xp ) is any<br />

two-dimensional subspace of three-dimensional N(1 T ) in R 4 , for example,<br />

then the corresponding face of EDM 4 is isometrically isomorphic with: (1111)<br />

EDM 3 = {D ∈ EDM 3 | rank(V DV )≤ 2} ≃ F(EDM 4 ∋ D(V Xp )) (1116)<br />

Each two-dimensional subspace of N(1 T ) corresponds to another<br />

three-dimensional face.<br />

Because each and every principal submatrix of an EDM in EDM N<br />

(5.14.3) is another EDM [202,4.1], for example, then each principal<br />

submatrix belongs to a particular face of EDM N .<br />

6.7 The fact that the smallest face is isomorphic with another EDM cone (perhaps smaller<br />

than EDM N ) is implicit in [159,2].

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

Saved successfully!

Ooh no, something went wrong!