v2007.09.13 - Convex Optimization
v2007.09.13 - Convex Optimization v2007.09.13 - Convex Optimization
158 CHAPTER 2. CONVEX GEOMETRY2.13.6.0.1 Definition. Pointed polyhedral cone, vertex-description.(encore) (confer (252) (157)) Given pointed polyhedral cone K in a subspaceof R n , denoting its i th extreme direction by Γ i ∈ R n arranged in a matrix Xas in (240), then that cone may be described: (75) (confer (253))K = { [0 X ] aζ | a T 1 = 1, a ≽ 0, ζ ≥ 0 }{= Xaζ | a T 1 ≤ 1, a ≽ 0, ζ ≥ 0 }{ } (333)= Xb | b ≽ 0 ⊆ Rnthat is simply a conic hull (like (83)) of a finite number N of directions.△Whenever cone K is pointed closed and convex (not only polyhedral), thendual cone K ∗ has a halfspace-description in terms of the extreme directionsΓ i of K :K ∗ = { y | γ T y ≥ 0 for all γ ∈ {Γ i , i=1... N} ⊆ rel ∂K } (334)because when {Γ i } constitutes any set of generators for K , the discretizationresult in2.13.4.1 allows relaxation of the requirement ∀x∈ K in (258) to∀γ∈{Γ i } directly. 2.50 That dual cone so defined is unique, identical to (258),polyhedral whenever the number of generators N is finiteK ∗ = { y | X T y ≽ 0 } ⊆ R n (315)and has nonempty interior because K is assumed pointed (but K ∗ is notnecessarily pointed unless K has nonempty interior (2.13.1.1)).2.13.6.1 Facet normal & extreme directionWe see from (315) that the conically independent generators of cone K(namely, the extreme directions of pointed closed convex cone K constitutingthe columns of X) each define an inward-normal to a hyperplane supportingK ∗ (2.4.2.6.1) and exposing a dual facet when N is finite. Were K ∗pointed and finitely generated, then by conjugation the dual statementwould also hold; id est, the extreme directions of pointed K ∗ each definean inward-normal to a hyperplane supporting K and exposing a facet whenN is finite. Examine Figure 43 or Figure 48, for example.2.50 The extreme directions of K constitute a minimal set of generators.
2.13. DUAL CONE & GENERALIZED INEQUALITY 159We may conclude the extreme directions of polyhedral proper K arerespectively orthogonal to the facets of K ∗ ; likewise, the extreme directionsof polyhedral proper K ∗ are respectively orthogonal to the facets of K .2.13.7 Biorthogonal expansion by example2.13.7.0.1 Example. Relationship to dual polyhedral cone.Simplicial cone K illustrated in Figure 49 induces a partial order on R 2 . Allpoints greater than x with respect to K , for example, are contained in thetranslated cone x + K . The extreme directions Γ 1 and Γ 2 of K do notmake an orthogonal set; neither do extreme directions Γ 3 and Γ 4 of dualcone K ∗ ; rather, we have the biorthogonality condition, [273]Γ T 4 Γ 1 = Γ T 3 Γ 2 = 0Γ T 3 Γ 1 ≠ 0, Γ T 4 Γ 2 ≠ 0(335)Biorthogonal expansion of x ∈ K is thenx = Γ 1Γ T 3 xΓ T 3 Γ 1+ Γ 2Γ T 4 xΓ T 4 Γ 2(336)where Γ T 3 x/(Γ T 3 Γ 1 ) is the nonnegative coefficient of nonorthogonal projection(E.6.1) of x on Γ 1 in the direction orthogonal to Γ 3 , and whereΓ T 4 x/(Γ T 4 Γ 2 ) is the nonnegative coefficient of nonorthogonal projection ofx on Γ 2 in the direction orthogonal to Γ 4 ; they are coordinates in thisnonorthogonal system. Those coefficients must be nonnegative x ≽ K0because x ∈ K (281) and K is simplicial.If we ascribe the extreme directions of K to the columns of a matrixX ∆ = [ Γ 1 Γ 2 ] (337)then we find that the pseudoinverse transpose matrix[]X †T 1 1= Γ 3 ΓΓ T 43 Γ 1 Γ T 4 Γ 2(338)holds the extreme directions of the dual cone. Therefore,x = XX † x (344)
- Page 108 and 109: 108 CHAPTER 2. CONVEX GEOMETRY2.9.2
- Page 110: 110 CHAPTER 2. CONVEX GEOMETRYA con
- Page 115 and 116: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 117 and 118: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 119 and 120: 2.9. POSITIVE SEMIDEFINITE (PSD) CO
- Page 121 and 122: 2.10. CONIC INDEPENDENCE (C.I.) 121
- Page 123 and 124: 2.10. CONIC INDEPENDENCE (C.I.) 123
- Page 125 and 126: 2.10. CONIC INDEPENDENCE (C.I.) 125
- Page 127 and 128: 2.12. CONVEX POLYHEDRA 127It follow
- Page 129 and 130: 2.12. CONVEX POLYHEDRA 129Coefficie
- Page 131 and 132: 2.12. CONVEX POLYHEDRA 1312.12.3 Un
- Page 133 and 134: 2.12. CONVEX POLYHEDRA 133
- Page 135 and 136: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 137 and 138: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 139 and 140: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 141 and 142: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 143 and 144: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 145 and 146: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 147 and 148: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 149 and 150: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 151 and 152: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 153 and 154: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 155 and 156: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 157: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 161 and 162: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 163 and 164: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 165 and 166: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 167 and 168: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 169 and 170: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 171 and 172: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 173 and 174: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 175 and 176: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 177 and 178: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 179 and 180: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 181 and 182: 2.13. DUAL CONE & GENERALIZED INEQU
- Page 183 and 184: Chapter 3Geometry of convex functio
- Page 185 and 186: 3.1. CONVEX FUNCTION 185f 1 (x)f 2
- Page 187 and 188: 3.1. CONVEX FUNCTION 1873.1.3 norm
- Page 189 and 190: 3.1. CONVEX FUNCTION 189where the n
- Page 191 and 192: 3.1. CONVEX FUNCTION 191where k ∈
- Page 193 and 194: 3.1. CONVEX FUNCTION 193f(z)Az 2z 1
- Page 195 and 196: 3.1. CONVEX FUNCTION 195{a T z 1 +
- Page 197 and 198: 3.1. CONVEX FUNCTION 197When an epi
- Page 199 and 200: 3.1. CONVEX FUNCTION 199orthonormal
- Page 201 and 202: 3.1. CONVEX FUNCTION 201[30,1.1] Ex
- Page 203 and 204: 3.1. CONVEX FUNCTION 20321.510.5Y 2
- Page 205 and 206: 3.1. CONVEX FUNCTION 2053.1.8.0.1 E
- Page 207 and 208: 3.1. CONVEX FUNCTION 207This equiva
158 CHAPTER 2. CONVEX GEOMETRY2.13.6.0.1 Definition. Pointed polyhedral cone, vertex-description.(encore) (confer (252) (157)) Given pointed polyhedral cone K in a subspaceof R n , denoting its i th extreme direction by Γ i ∈ R n arranged in a matrix Xas in (240), then that cone may be described: (75) (confer (253))K = { [0 X ] aζ | a T 1 = 1, a ≽ 0, ζ ≥ 0 }{= Xaζ | a T 1 ≤ 1, a ≽ 0, ζ ≥ 0 }{ } (333)= Xb | b ≽ 0 ⊆ Rnthat is simply a conic hull (like (83)) of a finite number N of directions.△Whenever cone K is pointed closed and convex (not only polyhedral), thendual cone K ∗ has a halfspace-description in terms of the extreme directionsΓ i of K :K ∗ = { y | γ T y ≥ 0 for all γ ∈ {Γ i , i=1... N} ⊆ rel ∂K } (334)because when {Γ i } constitutes any set of generators for K , the discretizationresult in2.13.4.1 allows relaxation of the requirement ∀x∈ K in (258) to∀γ∈{Γ i } directly. 2.50 That dual cone so defined is unique, identical to (258),polyhedral whenever the number of generators N is finiteK ∗ = { y | X T y ≽ 0 } ⊆ R n (315)and has nonempty interior because K is assumed pointed (but K ∗ is notnecessarily pointed unless K has nonempty interior (2.13.1.1)).2.13.6.1 Facet normal & extreme directionWe see from (315) that the conically independent generators of cone K(namely, the extreme directions of pointed closed convex cone K constitutingthe columns of X) each define an inward-normal to a hyperplane supportingK ∗ (2.4.2.6.1) and exposing a dual facet when N is finite. Were K ∗pointed and finitely generated, then by conjugation the dual statementwould also hold; id est, the extreme directions of pointed K ∗ each definean inward-normal to a hyperplane supporting K and exposing a facet whenN is finite. Examine Figure 43 or Figure 48, for example.2.50 The extreme directions of K constitute a minimal set of generators.