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.

4.6. CARDINALITY AND RANK CONSTRAINT EXAMPLES 313<br />

column-sum of X must also be unity. It is this combination of nonnegativity,<br />

sum, and sum square constraints that extracts the permutation matrices:<br />

(Figure 84) given nonzero vectors A, B<br />

minimize<br />

X∈R n×n , G i ∈ S n+1<br />

subject to<br />

∑<br />

‖A − XB‖ 1 + w n 〈G i , W i 〉<br />

i=1<br />

[ ] ⎫<br />

Gi (1:n, 1:n) X(:, i) ⎬<br />

G i =<br />

X(:, i) T ≽ 0<br />

1<br />

⎭ ,<br />

trG i = 2<br />

i=1... n<br />

(711)<br />

X T 1 = 1<br />

X1 = 1<br />

X ≥ 0<br />

where w ≈10 positively weights the rank regularization term. Optimal<br />

solutions G ⋆ i are key to finding direction matrices W i for the next iteration<br />

of semidefinite programs (711) (712):<br />

⎫<br />

minimize 〈G ⋆<br />

W i ∈ S n+1 i , W i 〉 ⎪⎬<br />

subject to 0 ≼ W i ≼ I , i=1... n (712)<br />

trW i = n<br />

⎪⎭<br />

Direction matrices thus found lead toward rank-1 matrices G ⋆ i on subsequent<br />

iterations. Constraint on trace of G ⋆ i normalizes the i th column of X ⋆ to unity<br />

because (confer p.367)<br />

[ ] X<br />

G ⋆ i =<br />

⋆ (:, i) [X ⋆ (:, i) T 1]<br />

1<br />

(713)<br />

at convergence. Binary-valued X ⋆ column entries result from the further<br />

sum constraint X1=1. Columnar orthogonality is a consequence of the<br />

further transpose-sum constraint X T 1=1 in conjunction with nonnegativity<br />

constraint X ≥ 0 ; but we leave proof of orthogonality an exercise. The<br />

optimal objective value is 0 for both semidefinite programs when vectors A<br />

and B are related by permutation. In any case, optimal solution X ⋆ becomes<br />

a permutation matrix Ξ .<br />

Because there are n direction matrices W i to find, it can be advantageous<br />

to invoke a known closed-form solution for each from page 599. What makes<br />

this combinatorial problem more tractable are relatively small semidefinite

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

Saved successfully!

Ooh no, something went wrong!