[论文解读] 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} $，在所有 $ n $ 的谱范数下，以及在 $ n = 2,3 $ 的弗罗贝尼乌斯范数下，极分解 $ Z = U_p H $ 中的酉极因子 $ Q = U_p $ 最小化 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 及其厄米特部分 $ \|\operatorname{sym}_*(\operatorname{Log}(Q^*Z))\|^2 $，其中 $ Q $ 取遍所有酉矩阵。该结果揭示了酉极因子在矩阵李群中超越范数最小化的测地最优性。

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 $，适用于谱范数与弗罗贝尼乌斯范数。
• 将标量对数最小化推广至矩阵情形，表明极因子在所有酉旋转中实现最小对数偏差。
• 提出一个新的平方对数和不等式，并利用比哈亚的迹不等式证明低维情形下的结果。

提出的方法

• 作者利用比哈亚对伯恩斯坦迹不等式的矩阵指数推广，分析单位酉扰动下 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 的行为。
• 他们推导出 $ 2 \times 2 $ 与 $ 3 \times 3 $ 矩阵的新的平方对数和不等式，这是证明弗罗贝尼乌斯范数最优性的关键。
• 对于 $ n=2,3 $ 的弗罗贝尼乌斯范数情形，证明依赖于对 $ Z^*Z $ 的对角化，并基于特征值与旋转矩阵分析对数偏差。
• 对于谱范数情形，证明适用于所有 $ n $，利用了酉不变性以及矩阵对数及其厄米特部分的性质。
• 推导过程将 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 表示为 $ Z $ 的奇异值的函数，并通过旋转参数实现对 $ Q $ 的最小化。
• 关键步骤是证明 $ \|\operatorname{Log}(Q^*Z)\|^2 $ 的下确界在 $ Q = U_p $ 时精确达到，利用函数 $ g(\xi) = \frac{\operatorname{arcosh}(\xi)^2}{\xi^2 - 1} $ 的单调性。

实验结果

研究问题

• RQ1 对于任意可逆 $ Z \in \mathbb{C}^{n \times n} $，酉极因子 $ U_p $ 是否在谱范数下最小化所有酉矩阵 $ Q $ 的 $ \|\operatorname{Log}(Q^*Z)\|^2 $？
• 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 新的平方对数和不等式与低维矩阵李群中极因子最优性之间有何关联？

主要发现

• 酉极因子 $ U_p $ 在所有 $ n $ 的谱范数下最小化 $ \|\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 $ 的最小值。
• 当 $ Q = U_p $ 时，$ \|\operatorname{Log}(Q^*Z)\|_F^2 $ 的下确界被实现，且对于特征值为 $ \lambda, \lambda^{-1} $ 的 $ 2 \times 2 $ 矩阵，其最小值为 $ 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 $ 推广至矩阵情形，表明极因子在所有酉旋转中实现最小对数偏差。