Chapter 3 Geometry of convex functions - Meboo Publishing ...
Chapter 3 Geometry of convex functions - Meboo Publishing ...
Chapter 3 Geometry of convex functions - Meboo Publishing ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
222 CHAPTER 3. GEOMETRY OF CONVEX FUNCTIONS<br />
Then (498) is equivalent to<br />
minimize c<br />
c∈R , x∈R n , a∈R 2n<br />
subject to x = [I −I ]a<br />
a T 1 = c<br />
a ≽ 0<br />
Ax = b<br />
≡<br />
minimize<br />
a∈R 2n ‖a‖ 1<br />
subject to [A −A ]a = b<br />
a ≽ 0<br />
(500)<br />
where x ⋆ = [I −I ]a ⋆ . (confer (495)) Significance <strong>of</strong> this result:<br />
(confer p.375) Any vector 1-norm minimization problem may have its<br />
variable replaced with a nonnegative variable <strong>of</strong> twice the length.<br />
All other things being equal, nonnegative variables are easier to solve for<br />
sparse solutions. (Figure 69, Figure 70, Figure 97) The compressed sensing<br />
problem becomes easier to interpret; e.g., for A∈ R m×n<br />
minimize ‖x‖ 1<br />
x<br />
subject to Ax = b<br />
x ≽ 0<br />
≡<br />
minimize 1 T x<br />
x<br />
subject to Ax = b<br />
x ≽ 0<br />
(501)<br />
movement <strong>of</strong> a hyperplane (Figure 26, Figure 30) over a bounded polyhedron<br />
always has a vertex solution [92, p.22]. Or vector b might lie on the relative<br />
boundary <strong>of</strong> a pointed polyhedral cone K = {Ax | x ≽ 0}. In the latter<br />
case, we find practical application <strong>of</strong> the smallest face F containing b from<br />
2.13.4.3 to remove all columns <strong>of</strong> matrix A not belonging to F ; because<br />
those columns correspond to 0-entries in vector x .<br />
<br />
3.3.0.0.2 Exercise. Combinatorial optimization.<br />
A device commonly employed to relax combinatorial problems is to arrange<br />
desirable solutions at vertices <strong>of</strong> bounded polyhedra; e.g., the permutation<br />
matrices <strong>of</strong> dimension n , which are factorial in number, are the extreme<br />
points <strong>of</strong> a polyhedron in the nonnegative orthant described by an<br />
intersection <strong>of</strong> 2n hyperplanes (2.3.2.0.4). Minimizing a linear objective<br />
function over a bounded polyhedron is a <strong>convex</strong> problem (a linear program)<br />
that always has an optimal solution residing at a vertex.<br />
What about minimizing other <strong>functions</strong>? Given some nonsingular<br />
matrix A , geometrically describe three circumstances under which there are