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.

2.13. DUAL CONE & GENERALIZED INEQUALITY 169<br />

becomes an orthogonal expansion with orthonormality condition Q T Q=I<br />

where λ i is the i th eigenvalue of X , q i is the corresponding i th eigenvector<br />

arranged columnar in orthogonal matrix<br />

Q = [q 1 q 2 · · · q M ] ∈ R M×M (354)<br />

and where eigenmatrix q i qi<br />

T is an extreme direction of some pointed<br />

polyhedral cone K ⊂ S M and an extreme direction of the positive semidefinite<br />

cone S M + .<br />

Orthogonal expansion is a special case of biorthogonal expansion of<br />

X ∈ aff K occurring when polyhedral cone K is any rotation about the<br />

origin of an orthant belonging to a subspace.<br />

Similarly, when X = QΛQ T belongs to the positive semidefinite cone in<br />

the subspace of symmetric matrices, coordinates for orthogonal expansion<br />

must be its nonnegative eigenvalues (1353) when expanded in Q ; id est, for<br />

X ∈ S M +<br />

M∑<br />

M∑<br />

X = QQ T X = q i qi T X = λ i q i qi T ∈ S M + (355)<br />

i=1<br />

where λ i ≥0 is the i th eigenvalue of X . This means X simultaneously<br />

belongs to the positive semidefinite cone and to the pointed polyhedral cone<br />

K formed by the conic hull of its eigenmatrices.<br />

<br />

2.13.7.1.2 Example. Expansion respecting nonpositive orthant.<br />

Suppose x ∈ K any orthant in R n . 2.62 Then coordinates for biorthogonal<br />

expansion of x must be nonnegative; in fact, absolute value of the Cartesian<br />

coordinates.<br />

Suppose, in particular, x belongs to the nonpositive orthant K = R n − .<br />

Then the biorthogonal expansion becomes an orthogonal expansion<br />

n∑<br />

n∑<br />

x = XX T x = −e i (−e T i x) = −e i |e T i x| ∈ R n − (356)<br />

i=1<br />

and the coordinates of expansion are nonnegative. For this orthant K we have<br />

orthonormality condition X T X = I where X = −I , e i ∈ R n is a standard<br />

basis vector, and −e i is an extreme direction (2.8.1) of K .<br />

Of course, this expansion x=XX T x applies more broadly to domain R n ,<br />

but then the coordinates each belong to all of R .<br />

<br />

2.62 An orthant is simplicial and self-dual.<br />

i=1<br />

i=1

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

Saved successfully!

Ooh no, something went wrong!