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.

4.3. RANK REDUCTION 271<br />

and where matrix Z i ∈ S ρ is found at each iteration i by solving a very<br />

simple feasibility problem: 4.18<br />

find Z i ∈ S ρ<br />

subject to 〈Z i , RiA T j R i 〉 = 0 ,<br />

j =1... m<br />

(646)<br />

Were there a sparsity pattern common to each member of the set<br />

{R T iA j R i ∈ S ρ , j =1... m} , then a good choice for Z i has 1 in each entry<br />

corresponding to a 0 in the pattern; id est, a sparsity pattern complement.<br />

At iteration i<br />

∑i−1<br />

X ⋆ + t j B j + t i B i = R i (I − t i ψ(Z i )Z i )Ri T (647)<br />

j=1<br />

By fact (1353), therefore<br />

∑i−1<br />

X ⋆ + t j B j + t i B i ≽ 0 ⇔ 1 − t i ψ(Z i )λ(Z i ) ≽ 0 (648)<br />

j=1<br />

where λ(Z i )∈ R ρ denotes the eigenvalues of Z i .<br />

Maximization of each t i in step 2 of the Procedure reduces rank of (647)<br />

and locates a new point on the boundary ∂(A ∩ S n +) . 4.19 Maximization of<br />

t i thereby has closed form;<br />

4.18 A simple method of solution is closed-form projection of a random nonzero point on<br />

that proper subspace of isometrically isomorphic R ρ(ρ+1)/2 specified by the constraints.<br />

(E.5.0.0.6) Such a solution is nontrivial assuming the specified intersection of hyperplanes<br />

is not the origin; guaranteed by ρ(ρ + 1)/2 > m. Indeed, this geometric intuition about<br />

forming the perturbation is what bounds any solution’s rank from below; m is fixed by<br />

the number of equality constraints in (584P) while rank ρ decreases with each iteration i.<br />

Otherwise, we might iterate indefinitely.<br />

4.19 This holds because rank of a positive semidefinite matrix in S n is diminished below<br />

n by the number of its 0 eigenvalues (1363), and because a positive semidefinite matrix<br />

having one or more 0 eigenvalues corresponds to a point on the PSD cone boundary (175).<br />

Necessity and sufficiency are due to the facts: R i can be completed to a nonsingular matrix<br />

(A.3.1.0.5), and I − t i ψ(Z i )Z i can be padded with zeros while maintaining equivalence<br />

in (647).

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

Saved successfully!

Ooh no, something went wrong!