v2009.01.01 - Convex Optimization

v2009.01.01 - Convex Optimization v2009.01.01 - Convex Optimization

convexoptimization.com
from convexoptimization.com More from this publisher
10.03.2015 Views

520 CHAPTER 7. PROXIMITY PROBLEMS 7.2.2.2 Applying trace rank-heuristic to Problem 2 Substituting rank envelope for rank function in Problem 2, for D ∈ EDM N (confer (947)) cenv rank(−V T NDV N ) = cenv rank(−V DV ) ∝ − tr(V DV ) (1271) and for desired affine dimension ρ ≤ N −1 and nonnegative H [sic] we get a convex optimization problem minimize ‖ ◦√ D − H‖ 2 F D subject to − tr(V DV ) ≤ κρ (1272) D ∈ EDM N where κ ∈ R + is a constant determined by cut-and-try. The equivalent semidefinite program makes κ variable: for nonnegative and symmetric H minimize D , Y , κ subject to κρ + 2 tr(V Y V ) [ ] dij y ij ≽ 0 , y ij h 2 ij N ≥ j > i = 1... N −1 (1273) − tr(V DV ) ≤ κρ Y ∈ S N h D ∈ EDM N which is the same as (1264), the problem with no explicit constraint on affine dimension. As the present problem is stated, the desired affine dimension ρ yields to the variable scale factor κ ; ρ is effectively ignored. Yet this result is an illuminant for problem (1264) and it equivalents (all the way back to (1257)): When the given measurement matrix H is nonnegative and symmetric, finding the closest EDM D as in problem (1257), (1260), or (1264) implicitly entails minimization of affine dimension (confer5.8.4,5.14.4). Those non−rank-constrained problems are each inherently equivalent to cenv(rank)-minimization problem (1273), in other words, and their optimal solutions are unique because of the strictly convex objective function in (1257). 7.2.2.3 Rank-heuristic insight Minimization of affine dimension by use of this trace rank-heuristic (1271) tends to find the list configuration of least energy; rather, it tends to optimize

7.2. SECOND PREVALENT PROBLEM: 521 compaction of the reconstruction by minimizing total distance. (823) It is best used where some physical equilibrium implies such an energy minimization; e.g., [305,5]. For this Problem 2, the trace rank-heuristic arose naturally in the objective in terms of V . We observe: V (in contrast to VN T ) spreads energy over all available distances (B.4.2 no.20, confer no.22) although the rank function itself is insensitive to choice of auxiliary matrix. 7.2.2.4 Rank minimization heuristic beyond convex envelope Fazel, Hindi, & Boyd [114] [338] [115] propose a rank heuristic more potent than trace (1269) for problems of rank minimization; rankY ← log det(Y +εI) (1274) the concave surrogate function log det in place of quasiconcave rankY (2.9.2.6.2) when Y ∈ S n + is variable and where ε is a small positive constant. They propose minimization of the surrogate by substituting a sequence comprising infima of a linearized surrogate about the current estimate Y i ; id est, from the first-order Taylor series expansion about Y i on some open interval of ‖Y ‖ 2 (D.1.7) log det(Y + εI) ≈ log det(Y i + εI) + tr ( (Y i + εI) −1 (Y − Y i ) ) (1275) we make the surrogate sequence of infima over bounded convex feasible set C where, for i = 0... arg inf rankY ← lim Y i+1 (1276) Y ∈ C i→∞ Y i+1 = arg inf Y ∈ C tr( (Y i + εI) −1 Y ) (1277) Choosing Y 0 =I , the first step becomes equivalent to finding the infimum of trY ; the trace rank-heuristic (1269). The intuition underlying (1277) is the new term in the argument of trace; specifically, (Y i + εI) −1 weights Y so that relatively small eigenvalues of Y found by the infimum are made even smaller.

7.2. SECOND PREVALENT PROBLEM: 521<br />

compaction of the reconstruction by minimizing total distance. (823) It is best<br />

used where some physical equilibrium implies such an energy minimization;<br />

e.g., [305,5].<br />

For this Problem 2, the trace rank-heuristic arose naturally in the<br />

objective in terms of V . We observe: V (in contrast to VN T ) spreads energy<br />

over all available distances (B.4.2 no.20, confer no.22) although the rank<br />

function itself is insensitive to choice of auxiliary matrix.<br />

7.2.2.4 Rank minimization heuristic beyond convex envelope<br />

Fazel, Hindi, & Boyd [114] [338] [115] propose a rank heuristic more potent<br />

than trace (1269) for problems of rank minimization;<br />

rankY ← log det(Y +εI) (1274)<br />

the concave surrogate function log det in place of quasiconcave rankY<br />

(2.9.2.6.2) when Y ∈ S n + is variable and where ε is a small positive constant.<br />

They propose minimization of the surrogate by substituting a sequence<br />

comprising infima of a linearized surrogate about the current estimate Y i ;<br />

id est, from the first-order Taylor series expansion about Y i on some open<br />

interval of ‖Y ‖ 2 (D.1.7)<br />

log det(Y + εI) ≈ log det(Y i + εI) + tr ( (Y i + εI) −1 (Y − Y i ) ) (1275)<br />

we make the surrogate sequence of infima over bounded convex feasible set C<br />

where, for i = 0...<br />

arg inf rankY ← lim Y i+1 (1276)<br />

Y ∈ C i→∞<br />

Y i+1 = arg inf<br />

Y ∈ C tr( (Y i + εI) −1 Y ) (1277)<br />

Choosing Y 0 =I , the first step becomes equivalent to finding the infimum of<br />

trY ; the trace rank-heuristic (1269). The intuition underlying (1277) is the<br />

new term in the argument of trace; specifically, (Y i + εI) −1 weights Y so that<br />

relatively small eigenvalues of Y found by the infimum are made even smaller.

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

Saved successfully!

Ooh no, something went wrong!