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.

266 CHAPTER 4. SEMIDEFINITE PROGRAMMING<br />

4.2.3.1.2 Example. <strong>Optimization</strong> on elliptope versus 1-norm polyhedron<br />

for minimum cardinality Boolean Example 4.2.3.1.1.<br />

A minimum cardinality problem is typically formulated via, what is by now,<br />

the standard practice [101] [59,3.2,3.4] of column normalization applied to<br />

a 1-norm problem surrogate like (460). Suppose we define a diagonal matrix<br />

⎡<br />

Λ =<br />

∆ ⎢<br />

⎣<br />

⎤<br />

‖A(:,1)‖ 2 0<br />

‖A(:, 2)‖ 2 ⎥<br />

...<br />

0 ‖A(:, 6)‖ 2<br />

⎦ ∈ S6 (630)<br />

used to normalize the columns (assumed nonzero) of given noiseless data<br />

matrix A . Then approximate the minimum cardinality Boolean problem<br />

as<br />

where optimal solution<br />

minimize ‖x‖ 0<br />

x<br />

subject to Ax = b<br />

x i ∈ {0, 1} ,<br />

i=1... n<br />

minimize ‖ỹ‖ 1<br />

ỹ<br />

subject to AΛ −1 ỹ = b<br />

1 ≽ Λ −1 ỹ ≽ 0<br />

(614)<br />

(631)<br />

y ⋆ = round(Λ −1 ỹ ⋆ ) (632)<br />

The inequality in (631) relaxes Boolean constraint y i ∈ {0, 1} from (614);<br />

bounding any solution y ⋆ to a nonnegative unit hypercube whose vertices are<br />

binary numbers. <strong>Convex</strong> problem (631) is justified by the convex envelope<br />

cenv ‖x‖ 0 on {x∈ R n | ‖x‖ ∞ ≤κ} = 1 κ ‖x‖ 1 (1270)<br />

Donoho concurs with this particular formulation, equivalently expressible as<br />

a linear program via (456).<br />

Approximation (631) is therefore equivalent to minimization of an affine<br />

function on a bounded polyhedron, whereas semidefinite program<br />

minimize 1 Tˆx<br />

X∈ S n , ˆx∈R n<br />

subject to A(ˆx + 1) 1<br />

[ = b 2<br />

] X ˆx<br />

G =<br />

ˆx T 1<br />

δ(X) = 1<br />

≽ 0<br />

(626)

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

Saved successfully!

Ooh no, something went wrong!