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.

520 CHAPTER 7. PROXIMITY PROBLEMS<br />

7.2.2.2 Applying trace rank-heuristic to Problem 2<br />

Substituting rank envelope for rank function in Problem 2, for D ∈ EDM N<br />

(confer (947))<br />

cenv rank(−V T NDV N ) = cenv rank(−V DV ) ∝ − tr(V DV ) (1271)<br />

and for desired affine dimension ρ ≤ N −1 and nonnegative H [sic] we get<br />

a convex optimization problem<br />

minimize ‖ ◦√ D − H‖ 2 F<br />

D<br />

subject to − tr(V DV ) ≤ κρ<br />

(1272)<br />

D ∈ EDM N<br />

where κ ∈ R + is a constant determined by cut-and-try. The equivalent<br />

semidefinite program makes κ variable: for nonnegative and symmetric H<br />

minimize<br />

D , Y , κ<br />

subject to<br />

κρ + 2 tr(V Y V )<br />

[ ]<br />

dij y ij<br />

≽ 0 ,<br />

y ij<br />

h 2 ij<br />

N ≥ j > i = 1... N −1<br />

(1273)<br />

− tr(V DV ) ≤ κρ<br />

Y ∈ S N h<br />

D ∈ EDM N<br />

which is the same as (1264), the problem with no explicit constraint on affine<br />

dimension. As the present problem is stated, the desired affine dimension ρ<br />

yields to the variable scale factor κ ; ρ is effectively ignored.<br />

Yet this result is an illuminant for problem (1264) and it equivalents<br />

(all the way back to (1257)): When the given measurement matrix H<br />

is nonnegative and symmetric, finding the closest EDM D as in problem<br />

(1257), (1260), or (1264) implicitly entails minimization of affine dimension<br />

(confer5.8.4,5.14.4). Those non−rank-constrained problems are each<br />

inherently equivalent to cenv(rank)-minimization problem (1273), in other<br />

words, and their optimal solutions are unique because of the strictly convex<br />

objective function in (1257).<br />

7.2.2.3 Rank-heuristic insight<br />

Minimization of affine dimension by use of this trace rank-heuristic (1271)<br />

tends to find the list configuration of least energy; rather, it tends to optimize

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

Saved successfully!

Ooh no, something went wrong!