[論文レビュー] A logarithmic minimization property of the unitary polar factor in the spectral norm and the Frobenius matrix norm

Patrizio Neff, Yuji Nakatsukasa+1 more|arXiv (Cornell University)|Feb 13, 2013

Matrix Theory and Algorithms参考文献 41被引用数 20

ひとこと要約

本稿は、任意の正則 $ Z \in \mathbb{C}^{n \times n} $ に対して、極分解 $ Z = U_p H $ におけるユニタリ極因子 $ Q = U_p $ が、ユニタリ行列 $ Q $ の範囲で $ \|\operatorname{Log}(Q^*Z)\|^2 $ およびそのエルミート部 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ を、すべての $ n $ に対してスペクトルノルムで、$ n = 2,3 $ に対してフロベニウスノルムで最小化することを確立している。この結果は、ノルム最小化を越えた測地的最適性を示している。

ABSTRACT

The unitary polar factor $Q=U$ in the polar decomposition of the matrix $Z=UH$ is the minimizer for both $\| \mathrm{Log}(Q^* Z)\|^2$ and its Hermitian part $\| \mathrm{sym Log}(Q^* Z)\|^2$ over both $\mathbb{R}$ and $\mathbb{C}$, for any given invertible matrix $Z$ in $\mathbb{C}^{n imes n}$ and any matrix logarithm $\mathrm{Log}$, not necessarily the principal logarithm $\mathrm{log}$. We prove this for the spectral matrix norm in any dimension and for the Frobenius matrix norm in two and three dimensions. The result shows that the unitary polar factor is the nearest orthogonal matrix to $Z$ not only in the normwise sense, but also in a geodesic distance. The derivation is based on Bhatia's generalization of Bernstein's trace inequality for the matrix exponential and a new sum of squared logarithms inequality.

研究の動機と目的

• 標準的なノルム最小化を超えたユニタリ極因子の新しい対数最小化性を確立すること。
• 行列 $ Z $ に対して最も近いユニタリ行列としての極因子の既知の最適性を、行列対数を用いた測地的距離枠組みへと拡張すること。
• $ U_p $ がスペクトルノルムおよびフロベニウスノルムの両方において $ \|\operatorname{Log}(Q^*Z)\|^2 $ および $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ を最小化することを証明すること。
• スカラーの対数最小化を行列へ一般化し、極因子がすべてのユニタリ回転において最小の対数的偏差を達成することを示すこと。
• 新しい二乗対数の和の不等式を提示し、Bhatiaのトレース不等式を用いて低次元における結果を証明すること。

提案手法

• 著者らは、行列指数関数のBhatiaによるBernsteinのトレース不等式の一般化を用いて、ユニタリ摂動下での $ \|\operatorname{Log}(Q^*Z)\|^2 $ の挙動を分析している。
• 2×2および3×3行列に対する新しい二乗対数の和の不等式を導出し、フロベニウスノルムにおける最適性の証明に不可欠な役割を果たしている。
• フロベニウスノルムにおける $ n=2,3 $ の証明は、$ Z^*Z $ の対角化と、固有値および回転行列を用いた対数的偏差の分析に依存している。
• スペクトルノルムの場合、すべての $ n $ に対して成り立つが、ユニタリ不変性および行列対数とそのエルミート部の性質を活用している。
• $ \|\operatorname{Log}(Q^*Z)\|^2 $ を $ Z $ の特異値の関数として表現し、引数の回転による $ Q $ に関する最小化を実行している。
• 鍵となるステップは、関数 $ g(\xi) = \frac{\operatorname{arcosh}(\xi)^2}{\xi^2 - 1} $ の単調減少性を用いて、$ \|\operatorname{Log}(Q^*Z)\|^2 $ の下界が $ Q = U_p $ のときに厳密に達成されることを示すことである。

実験結果

リサーチクエスチョン

• RQ1 任意の正則 $ Z \in \mathbb{C}^{n \times n} $ に対して、スペクトルノルムにおいて、すべてのユニタリ行列 $ Q $ の範囲で $ \|\operatorname{Log}(Q^*Z)\|^2 $ が $ U_p $ で最小化されるか？
• RQ2 エルミート部 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ に対しても同様に成り立ち、$ n=2,3 $ におけるフロベニウスノルムでも成立するか？
• RQ3 スカラーの対数最小化恒等式 $ \min_{\vartheta \in (-\pi,\pi]} |\operatorname{Log}_{\mathbb{C}}(e^{-i\vartheta}z)|^2 = |\log|z||^2 $ を行列へ一般化できるか？
• RQ4 行列対数およびそのエルミート部は、ユニタリ群上の測地的距離を特徴付ける上で果たす役割は何か？
• RQ5 新しい二乗対数の和の不等式は、低次元行列リー群における極因子の最適性とどのように関係するか？

主な発見

• スペクトルノルムにおいて、任意の $ n $ に対してユニタリ極因子 $ U_p $ がすべてのユニタリ行列 $ Q $ の範囲で $ \|\operatorname{Log}(Q^*Z)\|^2 $ を最小化する。これは古典的な「最も近いユニタリ行列」の結果を、対数的測地的意味へ一般化したものである。
• $ n=2 $ および $ n=3 $ において、$ U_p $ はフロベニウスノルムで $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $ を最小化し、ノルム最小化を越えたより深い最適性を示している。
• フロベニウスノルムにおける最小化は、新しい二乗対数の和の不等式を用いて証明されており、これは $ Z^*Z $ の固有値を用いて $ \|\operatorname{Log}(Q^*Z)\|_F^2 $ の最小値を評価するものである。
• $ \|\operatorname{Log}(Q^*Z)\|_F^2 $ の下界は $ Q = U_p $ のときに達成され、2×2行列で固有値が $ \lambda, \lambda^{-1} $ の場合、最小値は $ 2(\log \lambda)^2 $ に等しい。
• 関数 $ g(\xi) = \frac{\operatorname{arcosh}(\xi)^2}{\xi^2 - 1} $ は $ [1, \infty) $ 上で厳密に単調減少であり、これにより最小値が $ \xi = \frac{\operatorname{tr}(D)}{2} $ の最大値で達成され、対応する $ Q = U_p $ に一致する。
• スカラー恒等式 $ \min_{\vartheta} |\operatorname{Log}(e^{-i\vartheta}z)|^2 = |\log|z||^2 $ が行列へ一般化され、極因子がすべてのユニタリ回転において最小の対数的偏差を達成することを示している。