v2010.10.26 - Convex Optimization
v2010.10.26 - Convex Optimization v2010.10.26 - Convex Optimization
308 CHAPTER 4. SEMIDEFINITE PROGRAMMINGequality constraints. In other words, we take the union of active inequalityconstraints (as equalities) with equality constraints A svec X = b to forma composite affine subset  substituting for (652). Then we proceed withrank reduction of X ⋆ as though the semidefinite program were in prototypicalform (649P).4.4 Rank-constrained semidefinite programWe generalize the trace heuristic (7.2.2.1), for finding low-rank optimalsolutions to SDPs of a more general form:4.4.1 rank constraint by convex iterationConsider a semidefinite feasibility problem of the formfindG∈S NGsubject to G ∈ CG ≽ 0rankG ≤ n(735)where C is a convex set presumed to contain positive semidefinite matricesof rank n or less; id est, C intersects the positive semidefinite cone boundary.We propose that this rank-constrained feasibility problem can be equivalentlyexpressed as the convex problem sequence (736) (1700a):minimizeG∈S N 〈G , W 〉subject to G ∈ CG ≽ 0(736)where direction vector 4.23 W is an optimal solution to semidefinite program,for 0≤n≤N −1N∑λ(G ⋆ ) i = minimize 〈G ⋆ , W 〉 (1700a)i=n+1W ∈ S Nsubject to 0 ≼ W ≼ ItrW = N − n4.23 Search direction W is a hyperplane-normal pointing opposite to direction of movementdescribing minimization of a real linear function 〈G, W 〉 (p.75).
4.4. RANK-CONSTRAINED SEMIDEFINITE PROGRAM 309whose feasible set is a Fantope (2.3.2.0.1), and where G ⋆ is an optimalsolution to problem (736) given some iterate W . The idea is to iteratesolution of (736) and (1700a) until convergence as defined in4.4.1.2: 4.24N∑λ(G ⋆ ) i = 〈G ⋆ , W ⋆ 〉 = λ(G ⋆ ) T λ(W ⋆ ) 0 (737)i=n+1defines global convergence of the iteration; a vanishing objective that is acertificate of global optimality but cannot be guaranteed. Optimal directionvector W ⋆ is defined as any positive semidefinite matrix yielding optimalsolution G ⋆ of rank n or less to then convex equivalent (736) of feasibilityproblem (735):(735)findG∈S NGsubject to G ∈ CG ≽ 0rankG ≤ n≡minimizeG∈S N 〈G , W ⋆ 〉subject to G ∈ CG ≽ 0id est, any direction vector for which the last N − n nonincreasingly orderedeigenvalues λ of G ⋆ are zero. In any semidefinite feasibility problem, asolution of lowest rank must be an extreme point of the feasible set. Thenthere must exist a linear objective function such that this lowest-rank feasiblesolution optimizes the resultant SDP. [239,2.4] [240]We emphasize that convex problem (736) is not a relaxation ofrank-constrained feasibility problem (735); at global convergence, convexiteration (736) (1700a) makes it instead an equivalent problem.4.4.1.1 direction matrix interpretation(confer4.5.1.2) The feasible set of direction matrices in (1700a) is the convexhull of outer product of all rank-(N − n) orthonormal matrices; videlicet,(736)conv { UU T | U ∈ R N×N−n , U T U = I } = { A∈ S N | I ≽ A ≽ 0, 〈I , A 〉= N − n } (90)This set (92), argument to conv{ } , comprises the extreme points of thisFantope (90). An optimal solution W to (1700a), that is an extreme point,4.24 Proposed iteration is neither dual projection (Figure 164) or alternating projection(Figure 167). Sum of eigenvalues follows from results of Ky Fan (page 658). Innerproduct of eigenvalues follows from (1590) and properties of commutative matrix products(page 605).
- Page 257 and 258: 3.6. GRADIENT 257f(Y )[ ∇f(X)−1
- Page 259 and 260: 3.6. GRADIENT 259αβα ≥ β ≥
- Page 261 and 262: 3.6. GRADIENT 2613.6.4 second-order
- Page 263 and 264: 3.7. CONVEX MATRIX-VALUED FUNCTION
- Page 265 and 266: 3.7. CONVEX MATRIX-VALUED FUNCTION
- Page 267 and 268: 3.7. CONVEX MATRIX-VALUED FUNCTION
- Page 269 and 270: 3.8. QUASICONVEX 269exponential alw
- Page 271 and 272: 3.9. SALIENT PROPERTIES 2713.8.0.0.
- Page 273 and 274: Chapter 4Semidefinite programmingPr
- Page 275 and 276: 4.1. CONIC PROBLEM 275(confer p.162
- Page 277 and 278: 4.1. CONIC PROBLEM 277PCsemidefinit
- Page 279 and 280: 4.1. CONIC PROBLEM 279is the affine
- Page 281 and 282: 4.1. CONIC PROBLEM 281faces of S 3
- Page 283 and 284: 4.1. CONIC PROBLEM 2834.1.2.3 Previ
- Page 285 and 286: 4.2. FRAMEWORK 285Semidefinite Fark
- Page 287 and 288: 4.2. FRAMEWORK 287On the other hand
- Page 289 and 290: 4.2. FRAMEWORK 2894.2.2.1 Dual prob
- Page 291 and 292: 4.2. FRAMEWORK 291For symmetric pos
- Page 293 and 294: 4.2. FRAMEWORK 293has norm ‖x ⋆
- Page 295 and 296: 4.2. FRAMEWORK 295minimize 1 TˆxX
- Page 297 and 298: 4.2. FRAMEWORK 297asminimize ‖ỹ
- Page 299 and 300: 4.3. RANK REDUCTION 2994.3 Rank red
- Page 301 and 302: 4.3. RANK REDUCTION 301A rank-reduc
- Page 303 and 304: 4.3. RANK REDUCTION 303(t ⋆ i)
- Page 305 and 306: 4.3. RANK REDUCTION 3054.3.3.0.1 Ex
- Page 307: 4.3. RANK REDUCTION 3074.3.3.0.2 Ex
- Page 311 and 312: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 313 and 314: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 315 and 316: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 317 and 318: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 319 and 320: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 321 and 322: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 323 and 324: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 325 and 326: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 327 and 328: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 329 and 330: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 331 and 332: 4.4. RANK-CONSTRAINED SEMIDEFINITE
- Page 333 and 334: 4.5. CONSTRAINING CARDINALITY 333mi
- Page 335 and 336: 4.5. CONSTRAINING CARDINALITY 3350R
- Page 337 and 338: 4.5. CONSTRAINING CARDINALITY 337it
- Page 339 and 340: 4.5. CONSTRAINING CARDINALITY 339m/
- Page 341 and 342: 4.5. CONSTRAINING CARDINALITY 341we
- Page 343 and 344: 4.5. CONSTRAINING CARDINALITY 343fl
- Page 345 and 346: 4.5. CONSTRAINING CARDINALITY 345We
- Page 347 and 348: 4.5. CONSTRAINING CARDINALITY 3474.
- Page 349 and 350: 4.5. CONSTRAINING CARDINALITY 349R
- Page 351 and 352: 4.5. CONSTRAINING CARDINALITY 351pe
- Page 353 and 354: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 355 and 356: 4.6. CARDINALITY AND RANK CONSTRAIN
- Page 357 and 358: 4.6. CARDINALITY AND RANK CONSTRAIN
4.4. RANK-CONSTRAINED SEMIDEFINITE PROGRAM 309whose feasible set is a Fantope (2.3.2.0.1), and where G ⋆ is an optimalsolution to problem (736) given some iterate W . The idea is to iteratesolution of (736) and (1700a) until convergence as defined in4.4.1.2: 4.24N∑λ(G ⋆ ) i = 〈G ⋆ , W ⋆ 〉 = λ(G ⋆ ) T λ(W ⋆ ) 0 (737)i=n+1defines global convergence of the iteration; a vanishing objective that is acertificate of global optimality but cannot be guaranteed. Optimal directionvector W ⋆ is defined as any positive semidefinite matrix yielding optimalsolution G ⋆ of rank n or less to then convex equivalent (736) of feasibilityproblem (735):(735)findG∈S NGsubject to G ∈ CG ≽ 0rankG ≤ n≡minimizeG∈S N 〈G , W ⋆ 〉subject to G ∈ CG ≽ 0id est, any direction vector for which the last N − n nonincreasingly orderedeigenvalues λ of G ⋆ are zero. In any semidefinite feasibility problem, asolution of lowest rank must be an extreme point of the feasible set. Thenthere must exist a linear objective function such that this lowest-rank feasiblesolution optimizes the resultant SDP. [239,2.4] [240]We emphasize that convex problem (736) is not a relaxation ofrank-constrained feasibility problem (735); at global convergence, convexiteration (736) (1700a) makes it instead an equivalent problem.4.4.1.1 direction matrix interpretation(confer4.5.1.2) The feasible set of direction matrices in (1700a) is the convexhull of outer product of all rank-(N − n) orthonormal matrices; videlicet,(736)conv { UU T | U ∈ R N×N−n , U T U = I } = { A∈ S N | I ≽ A ≽ 0, 〈I , A 〉= N − n } (90)This set (92), argument to conv{ } , comprises the extreme points of thisFantope (90). An optimal solution W to (1700a), that is an extreme point,4.24 Proposed iteration is neither dual projection (Figure 164) or alternating projection(Figure 167). Sum of eigenvalues follows from results of Ky Fan (page 658). Innerproduct of eigenvalues follows from (1590) and properties of commutative matrix products(page 605).