v2010.10.26 - Convex Optimization
v2010.10.26 - Convex Optimization v2010.10.26 - Convex Optimization
458 CHAPTER 5. EUCLIDEAN DISTANCE MATRIX5.9 Bridge: Convex polyhedra to EDMsThe criteria for the existence of an EDM include, by definition (891) (958),the properties imposed upon its entries d ij by the Euclidean metric. From5.8.1 and5.8.2, we know there is a relationship of matrix criteria to thoseproperties. Here is a snapshot of what we are sure: for i , j , k ∈{1... N}(confer5.2)√dij ≥ 0, i ≠ j√dij = 0, i = j√dij = √ d ji √dij≤ √ d ik + √ d kj , i≠j ≠k⇐−V T N DV N ≽ 0δ(D) = 0D T = D(1074)all implied by D ∈ EDM N . In words, these four Euclidean metric propertiesare necessary conditions for D to be a distance matrix. At the moment,we have no converse. As of concern in5.3, we have yet to establishmetric requirements beyond the four Euclidean metric properties that wouldallow D to be certified an EDM or might facilitate polyhedron or listreconstruction from an incomplete EDM. We deal with this problem in5.14.Our present goal is to establish ab initio the necessary and sufficient matrixcriteria that will subsume all the Euclidean metric properties and any furtherrequirements 5.44 for all N >1 (5.8.3); id est,−V T N DV N ≽ 0D ∈ S N h}⇔ D ∈ EDM N (910)or for EDM definition (967),}Ω ≽ 0√δ(d) ≽ 0⇔ D = D(Ω,d) ∈ EDM N (1075)5.44 In 1935, Schoenberg [312, (1)] first extolled matrix product −VN TDV N (1053)(predicated on symmetry and self-distance) specifically incorporating V N , albeitalgebraically. He showed: nonnegativity −y T VN TDV N y ≥ 0, for all y ∈ R N−1 , is necessaryand sufficient for D to be an EDM. Gower [162,3] remarks how surprising it is that sucha fundamental property of Euclidean geometry was obtained so late.
5.9. BRIDGE: CONVEX POLYHEDRA TO EDMS 459Figure 130: Elliptope E 3 in isometrically isomorphic R 6 (projected on R 3 )is a convex body that appears to possess some kind of symmetry in thisdimension; it resembles a malformed pillow in the shape of a bulgingtetrahedron. Elliptope relative boundary is not smooth and comprises all setmembers (1076) having at least one 0 eigenvalue. [238,2.1] This elliptopehas an infinity of vertices, but there are only four vertices corresponding toa rank-1 matrix. Those yy T , evident in the illustration, have binary vectory ∈ R 3 with entries in {±1}.
- Page 407 and 408: 5.4. EDM DEFINITION 407We provide a
- Page 409 and 410: 5.4. EDM DEFINITION 4095.4.2.3.1 Ex
- Page 411 and 412: 5.4. EDM DEFINITION 411is the fact:
- Page 413 and 414: 5.4. EDM DEFINITION 413Figure 120:
- Page 415 and 416: 5.4. EDM DEFINITION 415is found fro
- Page 417 and 418: 5.4. EDM DEFINITION 417one less dim
- Page 419 and 420: 5.4. EDM DEFINITION 419equality con
- Page 421 and 422: 5.4. EDM DEFINITION 421How much dis
- Page 423 and 424: 5.4. EDM DEFINITION 423105ˇx 4ˇx
- Page 425 and 426: 5.4. EDM DEFINITION 425now implicit
- Page 427 and 428: 5.4. EDM DEFINITION 427by translate
- Page 429 and 430: 5.4. EDM DEFINITION 429Crippen & Ha
- Page 431 and 432: 5.4. EDM DEFINITION 431where ([√t
- Page 433 and 434: 5.4. EDM DEFINITION 433because (A.3
- Page 435 and 436: 5.5. INVARIANCE 4355.5.1.0.1 Exampl
- Page 437 and 438: 5.5. INVARIANCE 437x 2 x 2x 3 x 1 x
- Page 439 and 440: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 441 and 442: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 443 and 444: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 445 and 446: 5.7. EMBEDDING IN AFFINE HULL 4455.
- Page 447 and 448: 5.7. EMBEDDING IN AFFINE HULL 447Fo
- Page 449 and 450: 5.7. EMBEDDING IN AFFINE HULL 4495.
- Page 451 and 452: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 453 and 454: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 455 and 456: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 457: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 461 and 462: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 463 and 464: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 465 and 466: 5.10. EDM-ENTRY COMPOSITION 465of a
- Page 467 and 468: 5.10. EDM-ENTRY COMPOSITION 467Then
- Page 469 and 470: 5.11. EDM INDEFINITENESS 4695.11.1
- Page 471 and 472: 5.11. EDM INDEFINITENESS 471we have
- Page 473 and 474: 5.11. EDM INDEFINITENESS 473So beca
- Page 475 and 476: 5.11. EDM INDEFINITENESS 475holds o
- Page 477 and 478: 5.12. LIST RECONSTRUCTION 477where
- Page 479 and 480: 5.12. LIST RECONSTRUCTION 479(a)(c)
- Page 481 and 482: 5.13. RECONSTRUCTION EXAMPLES 481Wi
- Page 483 and 484: 5.13. RECONSTRUCTION EXAMPLES 483d
- Page 485 and 486: 5.13. RECONSTRUCTION EXAMPLES 485Th
- Page 487 and 488: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 489 and 490: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 491 and 492: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 493 and 494: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 495 and 496: 5.14. FIFTH PROPERTY OF EUCLIDEAN M
- Page 497 and 498: Chapter 6Cone of distance matricesF
- Page 499 and 500: 6.1. DEFINING EDM CONE 4996.1 Defin
- Page 501 and 502: 6.2. POLYHEDRAL BOUNDS 501This cone
- Page 503 and 504: 6.4. EDM DEFINITION IN 11 T 503That
- Page 505 and 506: 6.4. EDM DEFINITION IN 11 T 505N(1
- Page 507 and 508: 6.4. EDM DEFINITION IN 11 T 507Then
5.9. BRIDGE: CONVEX POLYHEDRA TO EDMS 459Figure 130: Elliptope E 3 in isometrically isomorphic R 6 (projected on R 3 )is a convex body that appears to possess some kind of symmetry in thisdimension; it resembles a malformed pillow in the shape of a bulgingtetrahedron. Elliptope relative boundary is not smooth and comprises all setmembers (1076) having at least one 0 eigenvalue. [238,2.1] This elliptopehas an infinity of vertices, but there are only four vertices corresponding toa rank-1 matrix. Those yy T , evident in the illustration, have binary vectory ∈ R 3 with entries in {±1}.