v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
448 CHAPTER 6. CONE OF DISTANCE MATRICES dvec rel∂EDM 3 d 0 13 0.2 0.2 d 12 0.4 0.4 0.6 0.6 0.8 0.8 1 1 1 d 23 0.8 0.6 0.4 d 23 (a) 0.2 0 (d) d 12 d 13 0.8 0.8 √ d23 0.6 0.6 √ √ 0 0 d13 0.2 0.2 d12 0.2 0.2 0.4 0.4 0.4 0.4 0.6 0.6 0.6 0.6 0.8 0.8 0.8 0.8 1 1 1 1 1 1 0.4 0.4 0.2 0.2 (b) 0 0 (c) Figure 114: Relative boundary (tiled) of EDM cone EDM 3 drawn truncated in isometrically isomorphic subspace R 3 . (a) EDM cone drawn in usual distance-square coordinates d ij . View is from interior toward origin. Unlike positive semidefinite cone, EDM cone is not self-dual, neither is it proper in ambient symmetric subspace (dual EDM cone for this example belongs to isomorphic R 6 ). (b) Drawn in its natural coordinates √ d ij (absolute distance), cone remains convex (confer5.10); intersection of three halfspaces (967) whose partial boundaries each contain origin. Cone geometry becomes “complicated” (nonpolyhedral) in higher dimension. [159,3] (c) Two coordinate systems artificially superimposed. Coordinate transformation from d ij to √ d ij appears a topological contraction. (d) Sitting on its vertex 0, pointed EDM 3 is a circular cone having axis of revolution dvec(−E)= dvec(11 T − I) (1000) (66). Rounded vertex is plot artifact.
6.2. POLYHEDRAL BOUNDS 449 This cone is more easily visualized in the isomorphic vector subspace R N(N−1)/2 corresponding to S N h : In the case N = 1 point, the EDM cone is the origin in R 0 . In the case N = 2, the EDM cone is the nonnegative real line in R ; a halfline in a subspace of the realization in Figure 122. The EDM cone in the case N = 3 is a circular cone in R 3 illustrated in Figure 114(a)(d); rather, the set of all matrices ⎡ D = ⎣ 0 d 12 d 13 d 12 0 d 23 d 13 d 23 0 ⎤ ⎦ ∈ EDM 3 (1085) makes a circular cone in this dimension. In this case, the first four Euclidean metric properties are necessary and sufficient tests to certify realizability of triangles; (1061). Thus triangle inequality property 4 describes three halfspaces (967) whose intersection makes a polyhedral cone in R 3 of realizable √ d ij (absolute distance); an isomorphic subspace representation of the set of all EDMs D in the natural coordinates ⎡ √ √ ⎤ 0 d12 d13 ◦√ D = ∆ √d12 √ ⎣ 0 d23 ⎦ √d13 √ (1086) d23 0 illustrated in Figure 114(b). 6.2 Polyhedral bounds The convex cone of EDMs is nonpolyhedral in d ij for N > 2 ; e.g., Figure 114(a). Still we found necessary and sufficient bounding polyhedral relations consistent with EDM cones for cardinality N = 1, 2, 3, 4: N = 3. Transforming distance-square coordinates d ij by taking their positive square root provides polyhedral cone in Figure 114(b); polyhedral because an intersection of three halfspaces in natural coordinates √ dij is provided by triangle inequalities (967). This polyhedral cone implicitly encompasses necessary and sufficient metric properties: nonnegativity, self-distance, symmetry, and triangle inequality.
- Page 397 and 398: 5.7. EMBEDDING IN AFFINE HULL 397 5
- Page 399 and 400: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 401 and 402: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 403 and 404: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 405 and 406: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 407 and 408: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 409 and 410: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 411 and 412: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 413 and 414: 5.10. EDM-ENTRY COMPOSITION 413 of
- Page 415 and 416: 5.10. EDM-ENTRY COMPOSITION 415 The
- Page 417 and 418: 5.11. EDM INDEFINITENESS 417 5.11.1
- Page 419 and 420: 5.11. EDM INDEFINITENESS 419 we hav
- Page 421 and 422: 5.11. EDM INDEFINITENESS 421 So bec
- Page 423 and 424: 5.11. EDM INDEFINITENESS 423 where
- Page 425 and 426: 5.12. LIST RECONSTRUCTION 425 where
- Page 427 and 428: 5.12. LIST RECONSTRUCTION 427 (a) (
- Page 429 and 430: 5.13. RECONSTRUCTION EXAMPLES 429 D
- Page 431 and 432: 5.13. RECONSTRUCTION EXAMPLES 431 T
- Page 433 and 434: 5.13. RECONSTRUCTION EXAMPLES 433 w
- Page 435 and 436: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 437 and 438: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 439 and 440: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 441 and 442: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 443 and 444: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 445 and 446: Chapter 6 Cone of distance matrices
- Page 447: 6.1. DEFINING EDM CONE 447 6.1 Defi
- Page 451 and 452: 6.3. √ EDM CONE IS NOT CONVEX 451
- Page 453 and 454: 6.4. A GEOMETRY OF COMPLETION 453 (
- Page 455 and 456: 6.4. A GEOMETRY OF COMPLETION 455 (
- Page 457 and 458: 6.4. A GEOMETRY OF COMPLETION 457 F
- Page 459 and 460: 6.5. EDM DEFINITION IN 11 T 459 by
- Page 461 and 462: 6.5. EDM DEFINITION IN 11 T 461 6.5
- Page 463 and 464: 6.5. EDM DEFINITION IN 11 T 463 1 0
- Page 465 and 466: 6.5. EDM DEFINITION IN 11 T 465 6.5
- Page 467 and 468: 6.6. CORRESPONDENCE TO PSD CONE S N
- Page 469 and 470: 6.6. CORRESPONDENCE TO PSD CONE S N
- Page 471 and 472: 6.6. CORRESPONDENCE TO PSD CONE S N
- Page 473 and 474: 6.7. VECTORIZATION & PROJECTION INT
- Page 475 and 476: 6.7. VECTORIZATION & PROJECTION INT
- Page 477 and 478: 6.8. DUAL EDM CONE 477 When the Fin
- Page 479 and 480: 6.8. DUAL EDM CONE 479 Proof. First
- Page 481 and 482: 6.8. DUAL EDM CONE 481 EDM 2 = S 2
- Page 483 and 484: 6.8. DUAL EDM CONE 483 whose veraci
- Page 485 and 486: 6.8. DUAL EDM CONE 485 6.8.1.3.1 Ex
- Page 487 and 488: 6.8. DUAL EDM CONE 487 has dual aff
- Page 489 and 490: 6.8. DUAL EDM CONE 489 6.8.1.7 Scho
- Page 491 and 492: 6.9. THEOREM OF THE ALTERNATIVE 491
- Page 493 and 494: 6.10. POSTSCRIPT 493 When D is an E
- Page 495 and 496: Chapter 7 Proximity problems In sum
- Page 497 and 498: 497 project on the subspace, then p
448 CHAPTER 6. CONE OF DISTANCE MATRICES<br />
dvec rel∂EDM 3<br />
d 0 13 0.2<br />
0.2<br />
d 12<br />
0.4<br />
0.4<br />
0.6<br />
0.6<br />
0.8<br />
0.8<br />
1<br />
1<br />
1<br />
d 23<br />
0.8<br />
0.6<br />
0.4<br />
d 23<br />
(a)<br />
0.2<br />
0<br />
(d)<br />
d 12<br />
d 13<br />
0.8<br />
0.8<br />
√<br />
d23 0.6<br />
0.6<br />
√ √ 0 0 d13 0.2<br />
0.2 d12<br />
0.2<br />
0.2<br />
0.4<br />
0.4 0.4<br />
0.4<br />
0.6<br />
0.6 0.6<br />
0.6<br />
0.8<br />
0.8 0.8<br />
0.8<br />
1<br />
1 1<br />
1<br />
1<br />
1<br />
0.4<br />
0.4<br />
0.2<br />
0.2<br />
(b)<br />
0<br />
0<br />
(c)<br />
Figure 114: Relative boundary (tiled) of EDM cone EDM 3 drawn truncated<br />
in isometrically isomorphic subspace R 3 . (a) EDM cone drawn in usual<br />
distance-square coordinates d ij . View is from interior toward origin. Unlike<br />
positive semidefinite cone, EDM cone is not self-dual, neither is it proper<br />
in ambient symmetric subspace (dual EDM cone for this example belongs<br />
to isomorphic R 6 ). (b) Drawn in its natural coordinates √ d ij (absolute<br />
distance), cone remains convex (confer5.10); intersection of three halfspaces<br />
(967) whose partial boundaries each contain origin. Cone geometry becomes<br />
“complicated” (nonpolyhedral) in higher dimension. [159,3] (c) Two<br />
coordinate systems artificially superimposed. Coordinate transformation<br />
from d ij to √ d ij appears a topological contraction. (d) Sitting on<br />
its vertex 0, pointed EDM 3 is a circular cone having axis of revolution<br />
dvec(−E)= dvec(11 T − I) (1000) (66). Rounded vertex is plot artifact.