Computing the Polar Decomposition and the Matrix Sign Decomposition in Matrix Groups

Higham, Nicholas J. and Mackey, D. Steven and Mackey, Niloufer and Tisseur, Françoise (2004) Computing the Polar Decomposition and the Matrix Sign Decomposition in Matrix Groups. SIAM Journal On Matrix Analysis and Applications, 25 (4). pp. 1178-1192. ISSN 1095-7162

WarningThere is a more recent version of this item available.
[img] PDF

Download (223kB)


For any matrix automorphism group $\G$ associated with a bilinear or sesquilinear form, Mackey, Mackey, and Tisseur have recently shown that the matrix sign decomposition factors of $A\in\G$ also lie in $\G$; moreover, the polar factors of $A$ lie in $\G$ if the matrix of the underlying form is unitary. Groups satisfying the latter condition include the complex orthogonal, real and complex symplectic, and pseudo-orthogonal groups. This work is concerned with exploiting the structure of $\G$ when computing the polar and matrix sign decompositions of matrices in $\G$. We give sufficient conditions for a matrix iteration to preserve the group structure and show that a family of globally convergent rational Pad\'e-based iterations of Kenney and Laub satisfy these conditions. The well-known scaled Newton iteration for computing the unitary polar factor does not preserve group structure, but we show that the approach of the iterates to the group is precisely tethered to the approach to unitarity, and that this forces a different and exploitable structure in the iterates. A similar relation holds for the Newton iteration for the matrix sign function. We also prove that the number of iterations needed for convergence of the structure-preserving methods can be precisely predicted by running an associated scalar iteration. Numerical experiments are given to compare the cubically and quintically converging iterations with Newton's method and to test stopping criteria. The overall conclusion is that the structure-preserving iterations and the scaled Newton iteration are all of practical interest, and which iteration is to be preferred is problem-dependent.

Item Type: Article
Uncontrolled Keywords: automorphism group, bilinear form, sesquilinear form, adjoint, complex orthogonal matrix, symplectic matrix, perplectic matrix, pseudo-orthogonal matrix, polar decomposition, matrix sign decomposition, structure preservation, matrix iteration, Newton iteration, convergence tests
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 15 Linear and multilinear algebra; matrix theory
MSC 2010, the AMS's Mathematics Subject Classification > 65 Numerical analysis
Depositing User: Nick Higham
Date Deposited: 24 Nov 2005
Last Modified: 20 Oct 2017 14:12

Available Versions of this Item

Actions (login required)

View Item View Item