v2010.10.26 - Convex Optimization
v2010.10.26 - Convex Optimization v2010.10.26 - Convex Optimization
444 CHAPTER 5. EUCLIDEAN DISTANCE MATRIXinjective on domain S N h because S N⊥c ∩ S N h = 0. Revising the argument ofthis inner-product form (1009), we get another flavorD ( [−VN TDV )N =0δ ( −VN TDV )N] [1 T + 1 0 δ ( −VN TDV ) ] TNand we obtain mutual inversion of operators V N and D , for D ∈ S N h[ 0 0T− 20 −VN TDV N(1012)]orD = D ( V N (D) ) (1013)−V T NDV N = V N(D(−VTN DV N ) ) (1014)S N h = D ( V N (S N h ) ) (1015)−V T N S N h V N = V N(D(−VTN S N h V N ) ) (1016)Substituting Θ T Θ ← Φ into inner-product form EDM definition (958),any EDM may be expressed by the new flavor[ ]0D(Φ) 1δ(Φ)T + 1 [ 0 δ(Φ) ] [ ] 0 0 T T− 2∈ EDM N0 Φ⇔(1017)Φ ≽ 0where this D is a linear surjective operator onto EDM N by definition,injective because it has no nullspace on domain S N−1+ . More broadly,aff D(S N−1+ )= D(aff S N−1+ ) (127),S N h = D(S N−1 )S N−1 = V N (S N h )(1018)demonstrably isomorphisms, and by bijectivity of this inner-product form:such thatEDM N = D(S N−1+ ) (1019)S N−1+ = V N (EDM N ) (1020)N(T(V N )) = N(V) ⊇ N(V N ) ⊇ S N⊥c= N(V)where the equality S N⊥c = N(V) is known (E.7.2.0.2).
5.7. EMBEDDING IN AFFINE HULL 4455.7 Embedding in affine hullThe affine hull A (78) of a point list {x l } (arranged columnar in X ∈ R n×N(76)) is identical to the affine hull of that polyhedron P (86) formed from allconvex combinations of the x l ; [61,2] [307,17]A = aff X = aff P (1021)Comparing hull definitions (78) and (86), it becomes obvious that the x land their convex hull P are embedded in their unique affine hull A ;A ⊇ P ⊇ {x l } (1022)Recall: affine dimension r is a lower bound on embedding, equal todimension of the subspace parallel to that nonempty affine set A in whichthe points are embedded. (2.3.1) We define dimension of the convex hull Pto be the same as dimension r of the affine hull A [307,2], but r is notnecessarily equal to rank of X (1041).For the particular example illustrated in Figure 115, P is the triangle inunion with its relative interior while its three vertices constitute the entirelist X . Affine hull A is the unique plane that contains the triangle, so affinedimension r = 2 in that example while rank of X is 3. Were there only twopoints in Figure 115, then the affine hull would instead be the unique linepassing through them; r would become 1 while rank would then be 2.5.7.1 Determining affine dimensionKnowledge of affine dimension r becomes important because we lose anyabsolute offset common to all the generating x l in R n when reconstructingconvex polyhedra given only distance information. (5.5.1) To calculate r , wefirst remove any offset that serves to increase dimensionality of the subspacerequired to contain polyhedron P ; subtracting any α ∈ A in the affine hullfrom every list member will work,translating A to the origin: 5.33X − α1 T (1023)A − α = aff(X − α1 T ) = aff(X) − α (1024)P − α = conv(X − α1 T ) = conv(X) − α (1025)5.33 The manipulation of hull functions aff and conv follows from their definitions.
- Page 393 and 394: 4.8. CONVEX ITERATION RANK-1 393the
- Page 395 and 396: Chapter 5Euclidean Distance MatrixT
- Page 397 and 398: 5.2. FIRST METRIC PROPERTIES 397to
- Page 399 and 400: 5.3. ∃ FIFTH EUCLIDEAN METRIC PRO
- Page 401 and 402: 5.3. ∃ FIFTH EUCLIDEAN METRIC PRO
- Page 403 and 404: 5.4. EDM DEFINITION 403The collecti
- Page 405 and 406: 5.4. EDM DEFINITION 4055.4.2 Gram-f
- 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: 5.6. INJECTIVITY OF D & UNIQUE RECO
- 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 and 458: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 459 and 460: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- 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
5.7. EMBEDDING IN AFFINE HULL 4455.7 Embedding in affine hullThe affine hull A (78) of a point list {x l } (arranged columnar in X ∈ R n×N(76)) is identical to the affine hull of that polyhedron P (86) formed from allconvex combinations of the x l ; [61,2] [307,17]A = aff X = aff P (1021)Comparing hull definitions (78) and (86), it becomes obvious that the x land their convex hull P are embedded in their unique affine hull A ;A ⊇ P ⊇ {x l } (1022)Recall: affine dimension r is a lower bound on embedding, equal todimension of the subspace parallel to that nonempty affine set A in whichthe points are embedded. (2.3.1) We define dimension of the convex hull Pto be the same as dimension r of the affine hull A [307,2], but r is notnecessarily equal to rank of X (1041).For the particular example illustrated in Figure 115, P is the triangle inunion with its relative interior while its three vertices constitute the entirelist X . Affine hull A is the unique plane that contains the triangle, so affinedimension r = 2 in that example while rank of X is 3. Were there only twopoints in Figure 115, then the affine hull would instead be the unique linepassing through them; r would become 1 while rank would then be 2.5.7.1 Determining affine dimensionKnowledge of affine dimension r becomes important because we lose anyabsolute offset common to all the generating x l in R n when reconstructingconvex polyhedra given only distance information. (5.5.1) To calculate r , wefirst remove any offset that serves to increase dimensionality of the subspacerequired to contain polyhedron P ; subtracting any α ∈ A in the affine hullfrom every list member will work,translating A to the origin: 5.33X − α1 T (1023)A − α = aff(X − α1 T ) = aff(X) − α (1024)P − α = conv(X − α1 T ) = conv(X) − α (1025)5.33 The manipulation of hull functions aff and conv follows from their definitions.