v2007.09.13 - Convex Optimization
v2007.09.13 - Convex Optimization v2007.09.13 - Convex Optimization
322 CHAPTER 5. EUCLIDEAN DISTANCE MATRIXThen we can express the molecular conformation problem: for 0 ≤ ϕ ≤ πand constant symmetric matrices BfindG ℵ ∈S M , G X ∈S N , Z∈R M×N G Xsubject to d i ≤ tr(G X Φ i ) ≤ d i , ∀i ∈ I 1cos ϕ j ≤ tr(G ℵ B j ) ≤ cos ϕ j , ∀j ∈ I 2〈Z , A k 〉 = 0 , ∀k ∈ I 3δ(G ℵ ) = 1[ ]Gℵ ZZ T ≽ 0G X[ ]Gℵ ZrankZ T = 3G X(764)Ignoring the rank constraint tends to force inner-product matrix Z to zero.What binds these three variables is the rank constraint; we show how tosatisfy it in4.4.5.4.3 Inner-product form EDM definition[p.20] We might, for example, realize a constellation given onlyinterstellar distance (or, equivalently, distance from Earth andrelative angular measurement; the Earth as vertex to two stars).Equivalent to (701) is [285,1-7] [247,3.2]d ij = d ik + d kj − 2 √ d ik d kj cos θ ikj= [√ d ik√dkj] [ 1 −e ıθ ikj−e −ıθ ikj1] [√ ]d ik√dkj(765)called the law of cosines, where ı ∆ = √ −1 , i,k,j are positive integers, andθ ikj is the angle at vertex x k formed by vectors x i − x k and x j − x k ;cos θ ikj =1(d 2 ik + d kj − d ij )√ = (x i − x k ) T (x j − x k )dik d kj ‖x i − x k ‖ ‖x j − x k ‖(766)
5.4. EDM DEFINITION 323where ([√the numerator ]) forms an inner product of vectors. Distance-squaredikd ij √dkj is a convex quadratic function 5.20 on R 2 + whereas d ij (θ ikj )is quasiconvex (3.3) minimized over domain −π ≤θ ikj ≤π by θ ⋆ ikj =0, weget the Pythagorean theorem when θ ikj = ±π/2, and d ij (θ ikj ) is maximizedwhen θ ⋆ ikj =±π ; d ij = (√ d ik + √ ) 2,d kj θikj = ±πsod ij = d ik + d kj , θ ikj = ± π 2d ij = (√ d ik − √ d kj) 2,θikj = 0(767)| √ d ik − √ d kj | ≤ √ d ij ≤ √ d ik + √ d kj (768)Hence the triangle inequality, Euclidean metric property 4, holds for anyEDM D .We may construct an inner-product form of the EDM definition formatrices by evaluating (765) for k=1: By defining⎡√ √ √ ⎤d 12 d12 d 13 cos θ 213 d12 d 14 cos θ 214 · · · d12 d 1N cos θ 21N√ √ √ d12 dΘ T Θ =∆ 13 cosθ 213 d 13 d13 d 14 cos θ 314 · · · d13 d 1N cos θ 31N√ √ √ d12 d 14 cosθ 214 d13 d 14 cos θ 314 d 14... d14 d 1N cos θ 41N∈ S N−1⎢⎥⎣ ........√ √. ⎦√d12 d 1N cosθ 21N d13 d 1N cos θ 31N d14 d 1N cos θ 41N · · · d 1Nthen any EDM may be expressed[ ]D(Θ) =∆ 0δ(Θ T 1Θ)T + 1 [ 0 δ(Θ T Θ) ] [ 0 0 T T− 20 Θ T Θ=[0 δ(Θ T Θ) Tδ(Θ T Θ) δ(Θ T Θ)1 T + 1δ(Θ T Θ) T − 2Θ T Θ]](769)∈ EDM N(770)EDM N = { D(Θ) | Θ ∈ R N−1×N−1} (771)for which all Euclidean metric properties hold. Entries of Θ T Θ result fromvector inner-products as in (766); id est,[]5.20 1 −e ıθ ikj−e −ıθ ≽ 0, having eigenvalues {0,2}. Minimum is attained forikj1[ √ ] {dik√dkjµ1, µ ≥ 0, θikj = 0=0, −π ≤ θ ikj ≤ π , θ ikj ≠ 0 . (D.2.1, [46, exmp.4.5])
- Page 271 and 272: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 273 and 274: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 275 and 276: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 277 and 278: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 279 and 280: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 281 and 282: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 283 and 284: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 285 and 286: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 287 and 288: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 289 and 290: Chapter 5Euclidean Distance MatrixT
- Page 291 and 292: 5.2. FIRST METRIC PROPERTIES 291cor
- Page 293 and 294: 5.3. ∃ FIFTH EUCLIDEAN METRIC PRO
- Page 295 and 296: 5.3. ∃ FIFTH EUCLIDEAN METRIC PRO
- Page 297 and 298: 5.4. EDM DEFINITION 297The collecti
- Page 299 and 300: 5.4. EDM DEFINITION 2995.4.2 Gram-f
- Page 301 and 302: 5.4. EDM DEFINITION 301D ∈ EDM N
- Page 303 and 304: 5.4. EDM DEFINITION 3035.4.2.2.1 Ex
- Page 305 and 306: 5.4. EDM DEFINITION 305ten affine e
- Page 307 and 308: 5.4. EDM DEFINITION 307spheres:Then
- Page 309 and 310: 5.4. EDM DEFINITION 309By eliminati
- Page 311 and 312: 5.4. EDM DEFINITION 311whereΦ ij =
- Page 313 and 314: 5.4. EDM DEFINITION 3135.4.2.2.5 De
- Page 315 and 316: 5.4. EDM DEFINITION 315105ˇx 4ˇx
- Page 317 and 318: 5.4. EDM DEFINITION 317corrected by
- Page 319 and 320: 5.4. EDM DEFINITION 319aptly be app
- Page 321: 5.4. EDM DEFINITION 321As before, a
- Page 325 and 326: 5.4. EDM DEFINITION 325because (A.3
- Page 327 and 328: 5.5. INVARIANCE 3275.5.1.0.1 Exampl
- Page 329 and 330: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 331 and 332: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 333 and 334: 5.6. INJECTIVITY OF D & UNIQUE RECO
- Page 335 and 336: 5.7. EMBEDDING IN AFFINE HULL 3355.
- Page 337 and 338: 5.7. EMBEDDING IN AFFINE HULL 337Fo
- Page 339 and 340: 5.7. EMBEDDING IN AFFINE HULL 3395.
- Page 341 and 342: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 343 and 344: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 345 and 346: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 347 and 348: 5.8. EUCLIDEAN METRIC VERSUS MATRIX
- Page 349 and 350: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 351 and 352: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 353 and 354: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 355 and 356: 5.9. BRIDGE: CONVEX POLYHEDRA TO ED
- Page 357 and 358: 5.10. EDM-ENTRY COMPOSITION 357(ii)
- Page 359 and 360: 5.11. EDM INDEFINITENESS 3595.11.1
- Page 361 and 362: 5.11. EDM INDEFINITENESS 361(confer
- Page 363 and 364: 5.11. EDM INDEFINITENESS 363we have
- Page 365 and 366: 5.11. EDM INDEFINITENESS 365For pre
- Page 367 and 368: 5.12. LIST RECONSTRUCTION 367where
- Page 369 and 370: 5.12. LIST RECONSTRUCTION 369(a)(c)
- Page 371 and 372: 5.13. RECONSTRUCTION EXAMPLES 371D
5.4. EDM DEFINITION 323where ([√the numerator ]) forms an inner product of vectors. Distance-squaredikd ij √dkj is a convex quadratic function 5.20 on R 2 + whereas d ij (θ ikj )is quasiconvex (3.3) minimized over domain −π ≤θ ikj ≤π by θ ⋆ ikj =0, weget the Pythagorean theorem when θ ikj = ±π/2, and d ij (θ ikj ) is maximizedwhen θ ⋆ ikj =±π ; d ij = (√ d ik + √ ) 2,d kj θikj = ±πsod ij = d ik + d kj , θ ikj = ± π 2d ij = (√ d ik − √ d kj) 2,θikj = 0(767)| √ d ik − √ d kj | ≤ √ d ij ≤ √ d ik + √ d kj (768)Hence the triangle inequality, Euclidean metric property 4, holds for anyEDM D .We may construct an inner-product form of the EDM definition formatrices by evaluating (765) for k=1: By defining⎡√ √ √ ⎤d 12 d12 d 13 cos θ 213 d12 d 14 cos θ 214 · · · d12 d 1N cos θ 21N√ √ √ d12 dΘ T Θ =∆ 13 cosθ 213 d 13 d13 d 14 cos θ 314 · · · d13 d 1N cos θ 31N√ √ √ d12 d 14 cosθ 214 d13 d 14 cos θ 314 d 14... d14 d 1N cos θ 41N∈ S N−1⎢⎥⎣ ........√ √. ⎦√d12 d 1N cosθ 21N d13 d 1N cos θ 31N d14 d 1N cos θ 41N · · · d 1Nthen any EDM may be expressed[ ]D(Θ) =∆ 0δ(Θ T 1Θ)T + 1 [ 0 δ(Θ T Θ) ] [ 0 0 T T− 20 Θ T Θ=[0 δ(Θ T Θ) Tδ(Θ T Θ) δ(Θ T Θ)1 T + 1δ(Θ T Θ) T − 2Θ T Θ]](769)∈ EDM N(770)EDM N = { D(Θ) | Θ ∈ R N−1×N−1} (771)for which all Euclidean metric properties hold. Entries of Θ T Θ result fromvector inner-products as in (766); id est,[]5.20 1 −e ıθ ikj−e −ıθ ≽ 0, having eigenvalues {0,2}. Minimum is attained forikj1[ √ ] {dik√dkjµ1, µ ≥ 0, θikj = 0=0, −π ≤ θ ikj ≤ π , θ ikj ≠ 0 . (D.2.1, [46, exmp.4.5])