v2009.01.01 - Convex Optimization
v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization
260 CHAPTER 4. SEMIDEFINITE PROGRAMMING 4.2.3.0.1 Corollary. Optimality and strong duality. [312,3.1] [342,1.3.8] For semidefinite programs (584P) and (584D), assume primal and dual feasible sets A ∩ S n + ⊂ S n and C ∗ ⊂ S n × R m (596) are nonempty. ThenX ⋆ is optimal for (P) S ⋆ , y ⋆ are optimal for (D) the duality gap 〈C,X ⋆ 〉−〈b, y ⋆ 〉 is 0 if and only if i) ∃X ∈ A ∩ int S n + or ∃S , y ∈ rel int C ∗ ii) 〈S ⋆ , X ⋆ 〉 = 0 and ⋄ For symmetric positive semidefinite matrices, requirement ii is equivalent to the complementarity (A.7.4) 〈S ⋆ , X ⋆ 〉 = 0 ⇔ S ⋆ X ⋆ = X ⋆ S ⋆ = 0 (609) Commutativity of diagonalizable matrices is a necessary and sufficient condition [176,1.3.12] for these two optimal symmetric matrices to be simultaneously diagonalizable. Therefore rankX ⋆ + rankS ⋆ ≤ n (610) Proof. To see that, the product of symmetric optimal matrices X ⋆ , S ⋆ ∈ S n must itself be symmetric because of commutativity. (1378) The symmetric product has diagonalization [10, cor.2.11] S ⋆ X ⋆ = X ⋆ S ⋆ = QΛ S ⋆Λ X ⋆Q T = 0 ⇔ Λ X ⋆Λ S ⋆ = 0 (611) where Q is an orthogonal matrix. The product of the nonnegative diagonal Λ matrices can be 0 if their main diagonal zeros are complementary or coincide. Due only to symmetry, rankX ⋆ = rank Λ X ⋆ and rankS ⋆ = rank Λ S ⋆ for these optimal primal and dual solutions. (1363) So, because of the complementarity, the total number of nonzero diagonal entries from both Λ cannot exceed n .
4.2. FRAMEWORK 261 When equality is attained in (610) rankX ⋆ + rankS ⋆ = n (612) there are no coinciding main diagonal zeros in Λ X ⋆Λ S ⋆ , and so we have what is called strict complementarity. 4.11 Logically it follows that a necessary and sufficient condition for strict complementarity of an optimal primal and dual solution is X ⋆ + S ⋆ ≻ 0 (613) 4.2.3.1 solving primal problem via dual The beauty of Corollary 4.2.3.0.1 is its conjugacy; id est, one can solve either the primal or dual problem in (584) and then find a solution to the other via the optimality conditions. When a dual optimal solution is known, for example, a primal optimal solution belongs to the hyperplane {X | 〈S ⋆ , X〉=0}. 4.2.3.1.1 Example. Minimum cardinality Boolean. [81] [31,4.3.4] [300] (confer Example 4.5.1.2.1) Consider finding a minimum cardinality Boolean solution x to the classic linear algebra problem Ax = b given noiseless data A∈ R m×n and b∈ R m ; minimize ‖x‖ 0 x subject to Ax = b x i ∈ {0, 1} , i=1... n (614) where ‖x‖ 0 denotes cardinality of vector x (a.k.a, 0-norm; not a convex function). A minimum cardinality solution answers the question: “Which fewest linear combination of columns in A constructs vector b ?” Cardinality problems have extraordinarily wide appeal, arising in many fields of science and across many disciplines. [276] [185] [144] [145] Yet designing an efficient algorithm to optimize cardinality has proved difficult. In this example, we also constrain the variable to be Boolean. The Boolean constraint forces 4.11 distinct from maximal complementarity (4.1.1.1).
- Page 209 and 210: 3.1. CONVEX FUNCTION 209 rather ] x
- Page 211 and 212: 3.1. CONVEX FUNCTION 211 3.1.6.0.2
- Page 213 and 214: 3.1. CONVEX FUNCTION 213 q(x) f(x)
- Page 215 and 216: 3.1. CONVEX FUNCTION 215 3.1.7.0.2
- Page 217 and 218: 3.1. CONVEX FUNCTION 217 We learned
- Page 219 and 220: 3.1. CONVEX FUNCTION 219 Since opti
- Page 221 and 222: 3.1. CONVEX FUNCTION 221 2 1.5 1 0.
- Page 223 and 224: 3.1. CONVEX FUNCTION 223 Setting th
- Page 225 and 226: 3.1. CONVEX FUNCTION 225 Similarly,
- Page 227 and 228: 3.1. CONVEX FUNCTION 227 For vector
- Page 229 and 230: 3.1. CONVEX FUNCTION 229 This means
- Page 231 and 232: 3.1. CONVEX FUNCTION 231 f(Y ) −
- Page 233 and 234: 3.2. MATRIX-VALUED CONVEX FUNCTION
- Page 235 and 236: 3.2. MATRIX-VALUED CONVEX FUNCTION
- Page 237 and 238: 3.2. MATRIX-VALUED CONVEX FUNCTION
- Page 239 and 240: 3.3. QUASICONVEX 239 exponential al
- Page 241 and 242: 3.3. QUASICONVEX 241 Unlike convex
- Page 243 and 244: 3.4. SALIENT PROPERTIES 243 6. (af
- Page 245 and 246: Chapter 4 Semidefinite programming
- Page 247 and 248: 4.1. CONIC PROBLEM 247 where K is a
- Page 249 and 250: 4.1. CONIC PROBLEM 249 4.1.1.2 Redu
- Page 251 and 252: 4.1. CONIC PROBLEM 251 In any SDP f
- Page 253 and 254: 4.1. CONIC PROBLEM 253 Proposition
- Page 255 and 256: 4.2. FRAMEWORK 255 sets are closed
- Page 257 and 258: 4.2. FRAMEWORK 257 4.2.1.1.3 Exampl
- Page 259: 4.2. FRAMEWORK 259 4.2.2 Duals The
- Page 263 and 264: 4.2. FRAMEWORK 263 The pseudoinvers
- Page 265 and 266: 4.2. FRAMEWORK 265 For the data giv
- Page 267 and 268: 4.2. FRAMEWORK 267 minimizes an aff
- Page 269 and 270: 4.3. RANK REDUCTION 269 whose rank
- Page 271 and 272: 4.3. RANK REDUCTION 271 and where m
- Page 273 and 274: 4.3. RANK REDUCTION 273 4.3.3 Optim
- Page 275 and 276: 4.3. RANK REDUCTION 275 Initialize:
- 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: 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
260 CHAPTER 4. SEMIDEFINITE PROGRAMMING<br />
4.2.3.0.1 Corollary. Optimality and strong duality. [312,3.1]<br />
[342,1.3.8] For semidefinite programs (584P) and (584D), assume primal<br />
and dual feasible sets A ∩ S n + ⊂ S n and C ∗ ⊂ S n × R m (596) are nonempty.<br />
ThenX ⋆ is optimal for (P)<br />
S ⋆ , y ⋆ are optimal for (D)<br />
the duality gap 〈C,X ⋆ 〉−〈b, y ⋆ 〉 is 0<br />
if and only if<br />
i) ∃X ∈ A ∩ int S n + or ∃S , y ∈ rel int C ∗<br />
ii) 〈S ⋆ , X ⋆ 〉 = 0<br />
and<br />
⋄<br />
For symmetric positive semidefinite matrices, requirement ii is equivalent<br />
to the complementarity (A.7.4)<br />
〈S ⋆ , X ⋆ 〉 = 0 ⇔ S ⋆ X ⋆ = X ⋆ S ⋆ = 0 (609)<br />
Commutativity of diagonalizable matrices is a necessary and sufficient<br />
condition [176,1.3.12] for these two optimal symmetric matrices to be<br />
simultaneously diagonalizable. Therefore<br />
rankX ⋆ + rankS ⋆ ≤ n (610)<br />
Proof. To see that, the product of symmetric optimal matrices<br />
X ⋆ , S ⋆ ∈ S n must itself be symmetric because of commutativity. (1378) The<br />
symmetric product has diagonalization [10, cor.2.11]<br />
S ⋆ X ⋆ = X ⋆ S ⋆ = QΛ S ⋆Λ X ⋆Q T = 0 ⇔ Λ X ⋆Λ S ⋆ = 0 (611)<br />
where Q is an orthogonal matrix. The product of the nonnegative diagonal Λ<br />
matrices can be 0 if their main diagonal zeros are complementary or coincide.<br />
Due only to symmetry, rankX ⋆ = rank Λ X ⋆ and rankS ⋆ = rank Λ S ⋆ for<br />
these optimal primal and dual solutions. (1363) So, because of the<br />
complementarity, the total number of nonzero diagonal entries from both Λ<br />
cannot exceed n .