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.

274 CHAPTER 4. SEMIDEFINITE PROGRAMMING<br />

4.3.3.0.1 Example. Aδ(X) = b .<br />

This academic example demonstrates that a solution found by rank reduction<br />

can certainly have rank less than Barvinok’s upper bound (245): Assume a<br />

given vector b∈ R m belongs to the conic hull of columns of a given matrix<br />

A∈ R m×n ;<br />

⎡<br />

⎤ ⎡ ⎤<br />

A =<br />

⎢<br />

⎣<br />

−1 1 8 1 1<br />

−3 2 8<br />

1<br />

2<br />

−9 4 8<br />

1<br />

4<br />

1<br />

3<br />

1<br />

9<br />

Consider the convex optimization problem<br />

⎥<br />

⎦ , b =<br />

⎢<br />

⎣<br />

1<br />

1<br />

2<br />

1<br />

4<br />

⎥<br />

⎦ (658)<br />

minimize trX<br />

X∈ S 5<br />

subject to X ≽ 0<br />

Aδ(X) = b<br />

(659)<br />

that minimizes the 1-norm of the main diagonal; id est, problem (659) is the<br />

same as<br />

minimize<br />

X∈ S 5 ‖δ(X)‖ 1<br />

subject to X ≽ 0<br />

Aδ(X) = b<br />

(660)<br />

that finds a solution to Aδ(X)=b. Rank-3 solution X ⋆ = δ(x M<br />

) is optimal,<br />

where (confer (618))<br />

⎡ 2 ⎤<br />

128<br />

0<br />

x M<br />

=<br />

5<br />

⎢ 128 ⎥<br />

(661)<br />

⎣ 0 ⎦<br />

90<br />

128<br />

Yet upper bound (245) predicts existence of at most a<br />

(⌊√ ⌋ )<br />

8m + 1 − 1<br />

rank-<br />

= 2<br />

2<br />

(662)<br />

feasible solution from m = 3 equality constraints. To find a lower<br />

rank ρ optimal solution to (659) (barring combinatorics), we invoke<br />

Procedure 4.3.1.0.1:

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

Saved successfully!

Ooh no, something went wrong!