v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
340 CHAPTER 4. SEMIDEFINITE PROGRAMMING problem in Chapter 5.4.2.2.3, for example, requires a problem sequence in a progressively larger number of balls to find a good initial value for the direction matrix, whereas many of the examples in the present chapter require an initial value of 0. Finding a feasible Boolean vector in Example 4.6.0.0.6 requires a procedure to detect stalls, when other problems have no such requirement. The combinatorial Procrustes problem in Example 4.6.0.0.3 allows use of a known closed-form solution for direction vector when solved via rank constraint, but not when solved via cardinality constraint. Some problems require a careful weighting of the regularization term, whereas other problems do not, and so on. It would be nice if there were a universally applicable method for constraining rank; one that is less susceptible to quirks of a particular problem type. Poor initialization of the direction matrix from the regularization can lead to an erroneous result. We speculate one reason to be a simple dearth of optimal solutions of desired rank or cardinality; 4.55 an unfortunate choice of initial search direction leading astray. Ease of solution by convex iteration occurs when optimal solutions abound. With this speculation in mind, we now propose a further generalization of convex iteration for constraining rank that attempts to ameliorate quirks and unify problem types: 4.7 Convex Iteration rank-1 We now develop a general method for constraining rank that first decomposes a given problem via standard diagonalization of matrices (A.5). This method is motivated by observation (4.4.1.1) that an optimal direction matrix can be diagonalizable simultaneously with an optimal variable matrix. This suggests minimization of an objective function directly in terms of eigenvalues. A second motivating observation is that variable orthogonal matrices seem easily found by convex iteration; e.g., Procrustes Example 4.6.0.0.2. It turns out that this general method always requires solution to a rank-1 constrained problem regardless of desired rank from the original problem. To demonstrate, we pose a semidefinite feasibility problem 4.55 Recall that, in Convex Optimization, an optimal solution generally comes from a convex set of optimal solutions that can be large.
4.7. CONVEX ITERATION RANK-1 341 find X ∈ S n subject to A svec X = b X ≽ 0 rankX ≤ ρ (776) given an upper bound 0 < ρ < n on rank, vector b ∈ R m , and typically fat full-rank ⎡ A = ∆ ⎣ ⎤ svec(A 1 ) T . ⎦∈ R m×n(n+1)/2 (585) svec(A m ) T where A i ∈ S n , i=1... m are also given. Symmetric matrix vectorization svec is defined in (49). Thus ⎡ A svec X = ⎣ tr(A 1 X) . tr(A m X) ⎤ ⎦ (586) This program (776) states the classical problem of finding a matrix of specified rank in the intersection of the positive semidefinite cone with a number m of hyperplanes in the subspace of symmetric matrices S n . [25,II.13] [23,2.2] Express the nonincreasingly ordered diagonalization of variable matrix X ∆ = QΛQ T = n∑ λ i Q ii ∈ S n (777) i=1 which is a sum of rank-1 orthogonal projection matrices Q ii weighted by eigenvalues λ i where Q ij ∆ = q i q T j ∈ R n×n , Q = [q 1 · · · q n ]∈ R n×n , Q T = Q −1 , Λ ii = λ i ∈ R , and ⎡ Λ = ⎢ ⎣ ⎤ λ 1 0 λ 2 ⎥ ... ⎦ ∈ Sn (778) 0 T λ n
- Page 289 and 290: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 291 and 292: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 293 and 294: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 295 and 296: 4.5. CONSTRAINING CARDINALITY 295 m
- Page 297 and 298: 4.5. CONSTRAINING CARDINALITY 297 m
- Page 299 and 300: 4.5. CONSTRAINING CARDINALITY 299 a
- Page 301 and 302: 4.5. CONSTRAINING CARDINALITY 301 f
- Page 303 and 304: 4.5. CONSTRAINING CARDINALITY 303 n
- Page 305 and 306: 4.5. CONSTRAINING CARDINALITY 305 W
- Page 307 and 308: 4.5. CONSTRAINING CARDINALITY 307 t
- Page 309 and 310: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 311 and 312: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 313 and 314: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 315 and 316: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 317 and 318: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 319 and 320: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 321 and 322: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 323 and 324: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 325 and 326: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 327 and 328: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 329 and 330: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 331 and 332: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 333 and 334: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 335 and 336: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 337 and 338: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 339: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 343 and 344: 4.7. CONVEX ITERATION RANK-1 343 Gi
- Page 345 and 346: Chapter 5 Euclidean Distance Matrix
- Page 347 and 348: 5.2. FIRST METRIC PROPERTIES 347 co
- Page 349 and 350: 5.3. ∃ FIFTH EUCLIDEAN METRIC PRO
- Page 351 and 352: 5.3. ∃ FIFTH EUCLIDEAN METRIC PRO
- Page 353 and 354: 5.4. EDM DEFINITION 353 The collect
- Page 355 and 356: 5.4. EDM DEFINITION 355 5.4.2 Gram-
- Page 357 and 358: 5.4. EDM DEFINITION 357 D ∈ EDM N
- Page 359 and 360: 5.4. EDM DEFINITION 359 5.4.2.2.1 E
- Page 361 and 362: 5.4. EDM DEFINITION 361 ten affine
- Page 363 and 364: 5.4. EDM DEFINITION 363 spheres: Th
- Page 365 and 366: 5.4. EDM DEFINITION 365 By eliminat
- Page 367 and 368: 5.4. EDM DEFINITION 367 where Φ ij
- Page 369 and 370: 5.4. EDM DEFINITION 369 5.4.2.2.6 D
- Page 371 and 372: 5.4. EDM DEFINITION 371 10 5 ˇx 4
- Page 373 and 374: 5.4. EDM DEFINITION 373 corrected b
- Page 375 and 376: 5.4. EDM DEFINITION 375 by translat
- Page 377 and 378: 5.4. EDM DEFINITION 377 Crippen & H
- Page 379 and 380: 5.4. EDM DEFINITION 379 where ([√
- Page 381 and 382: 5.4. EDM DEFINITION 381 because (A.
- Page 383 and 384: 5.5. INVARIANCE 383 5.5.1.0.1 Examp
- 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
4.7. CONVEX ITERATION RANK-1 341<br />
find X ∈ S n<br />
subject to A svec X = b<br />
X ≽ 0<br />
rankX ≤ ρ<br />
(776)<br />
given an upper bound 0 < ρ < n on rank, vector b ∈ R m , and typically fat<br />
full-rank<br />
⎡<br />
A =<br />
∆ ⎣<br />
⎤<br />
svec(A 1 ) T<br />
. ⎦∈ R m×n(n+1)/2 (585)<br />
svec(A m ) T<br />
where A i ∈ S n , i=1... m are also given. Symmetric matrix vectorization<br />
svec is defined in (49). Thus<br />
⎡<br />
A svec X = ⎣<br />
tr(A 1 X)<br />
.<br />
tr(A m X)<br />
⎤<br />
⎦ (586)<br />
This program (776) states the classical problem of finding a matrix of<br />
specified rank in the intersection of the positive semidefinite cone with<br />
a number m of hyperplanes in the subspace of symmetric matrices S n .<br />
[25,II.13] [23,2.2]<br />
Express the nonincreasingly ordered diagonalization of variable matrix<br />
X ∆ = QΛQ T =<br />
n∑<br />
λ i Q ii ∈ S n (777)<br />
i=1<br />
which is a sum of rank-1 orthogonal projection matrices Q ii weighted by<br />
eigenvalues λ i where Q ij ∆ = q i q T j ∈ R n×n , Q = [q 1 · · · q n ]∈ R n×n , Q T = Q −1 ,<br />
Λ ii = λ i ∈ R , and<br />
⎡<br />
Λ = ⎢<br />
⎣<br />
⎤<br />
λ 1 0<br />
λ 2 ⎥ ... ⎦ ∈ Sn (778)<br />
0 T λ n