v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
436 CHAPTER 5. EUCLIDEAN DISTANCE MATRIX theorem (A.3.1.0.4) it is sufficient to prove all d ij are nonnegative, all triangle inequalities are satisfied, and det(−VN TDV N) is nonnegative. When N = 4, in other words, that nonnegative determinant becomes the fifth and last Euclidean metric requirement for D ∈ EDM N . We now endeavor to ascribe geometric meaning to it. 5.14.2.1 Nonnegative determinant By (867) when D ∈EDM 4 , −VN TDV N is equal to inner product (862), ⎡ √ √ ⎤ d 12 d12 d 13 cos θ 213 d12 √d12 √ d 14 cos θ 214 Θ T Θ = ⎣ d 13 cos θ 213 d 13 d13 √d12 d 14 cos θ 314 ⎦ √ (1062) d 14 cos θ 214 d13 d 14 cos θ 314 d 14 Because Euclidean space is an inner-product space, the more concise inner-product form of the determinant is admitted; det(Θ T Θ) = −d 12 d 13 d 14 ( cos(θ213 ) 2 +cos(θ 214 ) 2 +cos(θ 314 ) 2 − 2 cos θ 213 cosθ 214 cosθ 314 − 1 ) The determinant is nonnegative if and only if (1063) cos θ 214 cos θ 314 − √ sin(θ 214 ) 2 sin(θ 314 ) 2 ≤ cos θ 213 ≤ cos θ 214 cos θ 314 + √ sin(θ 214 ) 2 sin(θ 314 ) 2 ⇔ cos θ 213 cos θ 314 − √ sin(θ 213 ) 2 sin(θ 314 ) 2 ≤ cos θ 214 ≤ cos θ 213 cos θ 314 + √ sin(θ 213 ) 2 sin(θ 314 ) 2 ⇔ cos θ 213 cos θ 214 − √ sin(θ 213 ) 2 sin(θ 214 ) 2 ≤ cos θ 314 ≤ cos θ 213 cos θ 214 + √ sin(θ 213 ) 2 sin(θ 214 ) 2 which simplifies, for 0 ≤ θ i1l ,θ l1j ,θ i1j ≤ π and all i≠j ≠l ∈{2, 3, 4} , to (1064) cos(θ i1l + θ l1j ) ≤ cos θ i1j ≤ cos(θ i1l − θ l1j ) (1065) Analogously to triangle inequality (978), the determinant is 0 upon equality on either side of (1065) which is tight. Inequality (1065) can be equivalently written linearly as a triangle inequality between relative angles [344,1.4]; |θ i1l − θ l1j | ≤ θ i1j ≤ θ i1l + θ l1j θ i1l + θ l1j + θ i1j ≤ 2π 0 ≤ θ i1l ,θ l1j ,θ i1j ≤ π (1066)
5.14. FIFTH PROPERTY OF EUCLIDEAN METRIC 437 θ 213 -θ 214 -θ 314 π Figure 112: The relative-angle inequality tetrahedron (1067) bounding EDM 4 is regular; drawn in entirety. Each angle θ (859) must belong to this solid to be realizable. Generalizing this: 5.14.2.1.1 Fifth property of Euclidean metric - restatement. Relative-angle inequality. (confer5.3.1.0.1) [43] [44, p.17, p.107] [202,3.1] Augmenting the four fundamental Euclidean metric properties in R n , for all i,j,l ≠ k ∈{1... N }, i
- Page 385 and 386: 5.5. INVARIANCE 385 x 2 x 2 x 3 x 1
- Page 387 and 388: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 389 and 390: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 391 and 392: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 393 and 394: 5.7. EMBEDDING IN AFFINE HULL 393 5
- Page 395 and 396: 5.7. EMBEDDING IN AFFINE HULL 395 F
- 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: 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 and 448: 6.1. DEFINING EDM CONE 447 6.1 Defi
- Page 449 and 450: 6.2. POLYHEDRAL BOUNDS 449 This con
- 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
5.14. FIFTH PROPERTY OF EUCLIDEAN METRIC 437<br />
θ 213<br />
-θ 214<br />
-θ 314<br />
π<br />
Figure 112: The relative-angle inequality tetrahedron (1067) bounding EDM 4<br />
is regular; drawn in entirety. Each angle θ (859) must belong to this solid<br />
to be realizable.<br />
Generalizing this:<br />
5.14.2.1.1 Fifth property of Euclidean metric - restatement.<br />
Relative-angle inequality. (confer5.3.1.0.1) [43] [44, p.17, p.107] [202,3.1]<br />
Augmenting the four fundamental Euclidean metric properties in R n , for all<br />
i,j,l ≠ k ∈{1... N }, i