10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

k∑<br />

i=1<br />

3.1. CONVEX FUNCTION 205<br />

Sum of the k largest entries of x∈ R n is the optimal objective value from:<br />

[53, exer.5.19]<br />

π(x) i = maximize x T y<br />

y∈R n<br />

subject to 0 ≼ y ≼ 1<br />

1 T y = k<br />

or<br />

k∑<br />

π(x) i =<br />

i=1<br />

minimize k t + 1 T z<br />

z∈R n , t∈R<br />

subject to x ≼ t1 + z<br />

z ≽ 0<br />

(468)<br />

which are dual linear programs. Finding k largest entries of an n-length<br />

vector x is expressible as a supremum of n!/(k!(n − k)!) linear functions<br />

of x . The summation is therefore a convex function (and monotonic in this<br />

instance,3.1.8.1.1).<br />

Let Πx be a permutation of entries x i such that their absolute value<br />

becomes arranged in nonincreasing order: |Πx| 1 ≥ |Πx| 2 ≥ · · · ≥ |Πx| n .<br />

Sum of the k largest entries of |x|∈ R n is a norm, by properties of vector<br />

norm [197, p.59] [134, p.52], and is the optimal objective value of a linear<br />

program:<br />

‖x‖n<br />

k ∆ = k ∑<br />

i=1<br />

|Πx| i = minimize k t + 1 T z<br />

z∈R n , t∈R<br />

subject to −t1 − z ≼ x ≼ t1 + z<br />

z ≽ 0<br />

where the norm subscript derives from a binomial coefficient<br />

( n<br />

k)<br />

, and<br />

(469)<br />

‖x‖n n ∆ = ‖x‖ 1<br />

‖x‖n<br />

1 ∆ = ‖x‖ ∞<br />

(470)<br />

Finding k largest absolute entries of an n-length vector x is expressible as<br />

a supremum of 2 k n!/(k!(n − k)!) linear functions of x ; hence, this norm is<br />

convex (nonmonotonic) in x . [53, exer.6.3(e)]<br />

minimize ‖x‖n<br />

x∈R n k<br />

subject to x ∈ C<br />

≡<br />

minimize<br />

z∈R n , t∈R , x∈R n<br />

subject to<br />

k t + 1 T z<br />

−t1 − z ≼ x ≼ t1 + z<br />

z ≽ 0<br />

x ∈ C<br />

(471)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!