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.

698 APPENDIX E. PROJECTION<br />

Barvinok (2.9.3.0.1) shows that if a point feasible with (1948) exists,<br />

then there exists an X ∈ A ∩ S n + such that<br />

⌊√ ⌋ 8m + 1 − 1<br />

rankX ≤<br />

(245)<br />

2<br />

<br />

E.10.2.1.2 Example. Semidefinite matrix completion.<br />

Continuing Example E.10.2.1.1: When m≤n(n + 1)/2 and the A j matrices<br />

are distinct members of the standard orthonormal basis {E lq ∈ S n } (52)<br />

{ }<br />

el e T<br />

{A j ∈ S n l , l = q = 1... n<br />

, j =1... m} ⊆ {E lq } =<br />

√1<br />

2<br />

(e l e T q + e q e T l ), 1 ≤ l < q ≤ n<br />

and when the constants b j<br />

X = ∆ [X lq ]∈ S n<br />

{b j , j =1... m} ⊆<br />

(1954)<br />

are set to constrained entries of variable<br />

{ }<br />

Xlq<br />

√<br />

, l = q = 1... n<br />

X lq 2 , 1 ≤ l < q ≤ n<br />

= {〈X,E lq 〉} (1955)<br />

then the equality constraints in (1948) fix individual entries of X ∈ S n . Thus<br />

the feasibility problem becomes a positive semidefinite matrix completion<br />

problem. Projection of iterate X i ∈ S n on A simplifies to (confer (1950))<br />

P 2 svec X i = svec X i − A T (A svec X i − b) (1956)<br />

From this we can see that orthogonal projection is achieved simply by<br />

setting corresponding entries of P 2 X i to the known entries of X , while<br />

the remaining entries of P 2 X i are set to corresponding entries of the current<br />

iterate X i .<br />

Using this technique, we find a positive semidefinite completion for<br />

⎡ ⎤<br />

4 3 ? 2<br />

⎢ 3 4 3 ?<br />

⎥<br />

⎣ ? 3 4 3 ⎦ (1957)<br />

2 ? 3 4<br />

Initializing the unknown entries to 0, they all converge geometrically to<br />

1.5858 (rounded) after about 42 iterations.

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

Saved successfully!

Ooh no, something went wrong!