10.03.2015 Views

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

3.1. CONVEX FUNCTION 217<br />

We learned from Example 3.1.7.0.4 that f(W , x)= ǫx T (W +ǫI) −1 x is<br />

convex simultaneously in both variables over all x ∈ R n when W ∈ S n + is<br />

confined to the entire positive semidefinite cone (including its boundary). It<br />

is now our goal to incorporate f into an optimization problem such that<br />

an optimal solution returned always comprises a projection matrix W . The<br />

set of orthogonal projection matrices is a nonconvex subset of the positive<br />

semidefinite cone. So f cannot be convex on the projection matrices, and<br />

its equivalent (for idempotent W )<br />

f(W , x) = x T( I − (1 + ǫ) −1 W ) x (509)<br />

cannot be convex simultaneously in both variables on either the positive<br />

semidefinite or symmetric projection matrices.<br />

Suppose we allow domf to constitute the entire positive semidefinite<br />

cone but constrain W to a Fantope (82); e.g., for convex set C and 0 < k < n<br />

as in<br />

minimize ǫx T (W + ǫI) −1 x<br />

x∈R n , W ∈S n<br />

subject to 0 ≼ W ≼ I<br />

(510)<br />

trW = k<br />

x ∈ C<br />

Although this is a convex problem, there is no guarantee that optimal W is<br />

a projection matrix because only extreme points of a Fantope are orthogonal<br />

projection matrices UU T .<br />

Let’s try partitioning the problem into two convex parts (one for x and<br />

one for W), substitute equivalence (507), and then iterate solution of convex<br />

problem<br />

minimize x T (I − (1 + ǫ) −1 W)x<br />

x∈R n<br />

(511)<br />

subject to x ∈ C<br />

with convex problem<br />

(a)<br />

minimize x ⋆T (I − (1 + ǫ) −1 W)x ⋆<br />

W ∈S n<br />

subject to 0 ≼ W ≼ I<br />

trW = k<br />

≡<br />

maximize x ⋆T Wx ⋆<br />

W ∈S n<br />

subject to 0 ≼ W ≼ I<br />

trW = k<br />

(512)<br />

until convergence, where x ⋆ represents an optimal solution of (511) from<br />

any particular iteration. The idea is to optimally solve for the partitioned

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

Saved successfully!

Ooh no, something went wrong!