On Grioli's minimum property and its relation to Cauchy's polar decomposition

Patrizio Neff, Johannes Lankeit, Angela Madeo

The unitary polar factor of a matrix F is the unitary matrix Q realizing the minimum of the norm of F-Q over all unitary matrices Q. Tracing back the development on the optimality…