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.

C.4. TWO-SIDED ORTHOGONAL PROCRUSTES 607<br />

maximizes Re tr(A T SBR) : [272] [250] [45] [169] optimal orthogonal matrices<br />

S ⋆ = U A U H B ∈ R m×m , R ⋆ = Q B Q H A ∈ R n×n (1619)<br />

[sic] are not necessarily unique [176,7.4.13] because the feasible set is not<br />

convex. The optimal value for the objective of minimization is, by (41)<br />

‖U A Σ A Q H A − S ⋆ U B Σ B Q H BR ⋆ ‖ F = ‖U A (Σ A − Σ B )Q H A ‖ F = ‖Σ A − Σ B ‖ F (1620)<br />

while the corresponding trace maximization has optimal value [38,III.6.12]<br />

sup | tr(A T SBR)| = sup Re tr(A T SBR) = Re tr(A T S ⋆ BR ⋆ ) = tr(ΣA TΣ B ) ≥ tr(AT B)<br />

R H =R −1<br />

R H =R −1<br />

S H =S −1 S H =S −1 (1621)<br />

for which it is necessary<br />

A T S ⋆ BR ⋆ ≽ 0 , BR ⋆ A T S ⋆ ≽ 0 (1622)<br />

The lower bound on inner product of singular values in (1621) is due to<br />

von Neumann. Equality is attained if U H<br />

A U B =I and QH B Q A =I .<br />

C.4.2.1<br />

Symmetric matrices<br />

Now optimizing over the complex manifold of unitary matrices (B.5.1),<br />

the upper bound on trace (1607) is thereby raised: Suppose we are given<br />

diagonalizations for (real) symmetric A,B (A.5)<br />

A = W A ΥW T<br />

A ∈ S n , δ(Υ) ∈ K M (1623)<br />

B = W B ΛW T B ∈ S n , δ(Λ) ∈ K M (1624)<br />

having their respective eigenvalues in diagonal matrices Υ, Λ ∈ S n arranged<br />

in nonincreasing order (membership to the monotone cone K M (390)). Then<br />

by splitting eigenvalue signs, we invent a symmetric SVD-like decomposition<br />

A ∆ = U A Σ A Q H A ∈ S n , B ∆ = U B Σ B Q H B ∈ S n (1625)<br />

where U A , U B , Q A , Q B ∈ C n×n are unitary matrices defined by (conferA.6.5)<br />

U A ∆ = W A<br />

√<br />

δ(ψ(δ(Υ))) , QA ∆ = W A<br />

√<br />

δ(ψ(δ(Υ)))<br />

H<br />

, ΣA = |Υ| (1626)<br />

U B ∆ = W B<br />

√<br />

δ(ψ(δ(Λ))) , QB ∆ = W B<br />

√<br />

δ(ψ(δ(Λ)))<br />

H<br />

, ΣB = |Λ| (1627)

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

Saved successfully!

Ooh no, something went wrong!