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.11. EDM INDEFINITENESS 417<br />

5.11.1 EDM eigenvalues, congruence transformation<br />

For any symmetric −D , we can characterize its eigenvalues by congruence<br />

transformation: [287,6.3]<br />

[ ]<br />

V<br />

T<br />

−W T N<br />

DW = − D [ V N<br />

1 T<br />

1 ] = −<br />

[<br />

V<br />

T<br />

N DV N V T N D1<br />

1 T DV N 1 T D1<br />

]<br />

∈ S N (1005)<br />

Because<br />

W ∆ = [V N 1 ] ∈ R N×N (1006)<br />

is full-rank, then (1415)<br />

inertia(−D) = inertia ( −W T DW ) (1007)<br />

the congruence (1005) has the same number of positive, zero, and negative<br />

eigenvalues as −D . Further, if we denote by {γ i , i=1... N −1} the<br />

eigenvalues of −VN TDV N and denote eigenvalues of the congruence −W T DW<br />

by {ζ i , i=1... N} and if we arrange each respective set of eigenvalues in<br />

nonincreasing order, then by theory of interlacing eigenvalues for bordered<br />

symmetric matrices [176,4.3] [287,6.4] [285,IV.4.1]<br />

ζ N ≤ γ N−1 ≤ ζ N−1 ≤ γ N−2 ≤ · · · ≤ γ 2 ≤ ζ 2 ≤ γ 1 ≤ ζ 1 (1008)<br />

When D ∈ EDM N , then γ i ≥ 0 ∀i (1353) because −V T N DV N ≽0 as we<br />

know. That means the congruence must have N −1 nonnegative eigenvalues;<br />

ζ i ≥ 0, i=1... N −1. The remaining eigenvalue ζ N cannot be nonnegative<br />

because then −D would be positive semidefinite, an impossibility; so ζ N < 0.<br />

By congruence, nontrivial −D must therefore have exactly one negative<br />

eigenvalue; 5.46 [96,2.4.5]<br />

5.46 All the entries of the corresponding eigenvector must have the same sign with respect<br />

to each other [78, p.116] because that eigenvector is the Perron vector corresponding to<br />

the spectral radius; [176,8.2.6] the predominant characteristic of negative [sic] matrices.

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

Saved successfully!

Ooh no, something went wrong!