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.

5.8. EUCLIDEAN METRIC VERSUS MATRIX CRITERIA 405<br />

5.8.3.1.1 Example. Small completion problem, II.<br />

Applying the inequality for λ 1 in (977) to the small completion problem on<br />

page 348 Figure 93, the lower bound on √ d 14 (1.236 in (791)) is tightened<br />

to 1.289 . The correct value of √ d 14 to three significant figures is 1.414 .<br />

<br />

5.8.4 Affine dimension reduction in two dimensions<br />

(confer5.14.4) The leading principal 2×2 submatrix T of −VN TDV N has<br />

largest eigenvalue λ 1 (965) which is a convex function of D . 5.40 λ 1 can never<br />

be 0 unless d 12 = d 13 = d 23 = 0. Eigenvalue λ 1 can never be negative while<br />

the d ij are nonnegative. The remaining eigenvalue λ 2 is a concave function<br />

of D that becomes 0 only at the upper and lower bounds of inequality (966a)<br />

and its equivalent forms: (confer (968))<br />

| √ d 12 − √ d 23 | ≤ √ d 13 ≤ √ d 12 + √ d 23 (a)<br />

⇔<br />

| √ d 12 − √ d 13 | ≤ √ d 23 ≤ √ d 12 + √ d 13 (b)<br />

⇔<br />

| √ d 13 − √ d 23 | ≤ √ d 12 ≤ √ d 13 + √ d 23 (c)<br />

(978)<br />

In between those bounds, λ 2 is strictly positive; otherwise, it would be<br />

negative but prevented by the condition T ≽ 0.<br />

When λ 2 becomes 0, it means triangle △ 123 has collapsed to a line<br />

segment; a potential reduction in affine dimension r . The same logic is valid<br />

for any particular principal 2×2 submatrix of −VN TDV N , hence applicable<br />

to other triangles.<br />

5.40 The largest eigenvalue of any symmetric matrix is always a convex function of its<br />

entries, while the ⎡ smallest ⎤ eigenvalue is always concave. [53, exmp.3.10] In our particular<br />

d 12<br />

case, say d =<br />

∆ ⎣d 13<br />

⎦∈ R 3 . Then the Hessian (1638) ∇ 2 λ 1 (d)≽0 certifies convexity<br />

d 23<br />

whereas ∇ 2 λ 2 (d)≼0 certifies concavity. Each Hessian has rank equal to 1. The respective<br />

gradients ∇λ 1 (d) and ∇λ 2 (d) are nowhere 0.

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

Saved successfully!

Ooh no, something went wrong!