[论文解读] Scaled Relative Graph of Normal Matrices

Xinmeng Huang, Ernest K. Ryu+1 more|arXiv (Cornell University)|Dec 28, 2019

Matrix Theory and Algorithms参考文献 11被引用 7

一句话总结

本文将正规矩阵与分块对角矩阵的缩放相对图（SRG）在庞加莱上半平面模型下的双曲几何中表征为一个多边形。证明了对于正规矩阵，其在上半平面中的SRG等于上半平面中特征值构成的弧边多边形，从而推广了谱理论，并为优化中迭代方法的收敛性分析提供了几何框架。

ABSTRACT

The Scaled Relative Graph (SRG) is a geometric tool that maps the action of a multi-valued nonlinear operator onto the 2D plane, used to analyze the convergence of a wide range of iterative methods. As the SRG includes the spectrum for linear operators, we can view the SRG as a generalization of the spectrum to multi-valued nonlinear operators. In this work, we further study the SRG of linear operators and characterize the SRG of block-diagonal and normal matrices.

研究动机与目标

• 将缩放相对图（SRG）框架——此前已应用于非线性算子——扩展至线性算子，特别是正规矩阵与分块对角矩阵。
• 在双曲几何（庞加莱上半平面）的背景下，几何地表征正规矩阵的SRG。
• 建立正规矩阵的SRG恰好是其在上半平面中特征值构成的弧边多边形的结论。
• 证明正规矩阵的SRG在正交相似变换下保持不变，从而实现与基选择无关的几何分析。

提出的方法

• 将矩阵 $ A $ 的SRG定义为集合 $ \mathcal{G}(A) = \{ z_A(x), \overline{z_A}(x) \, | \, x \in \mathbb{R}^n \setminus \{0\} \} $，其中 $ z_A(x) = \frac{\|Ax\|}{\|x\|} \exp[i\angle(Ax,x)] $。
• 使用庞加莱上半平面模型表示SRG，将复平面视为双曲几何的模型。
• 将弧边多边形 $ \mathrm{Poly}(z_1, \dots, z_m) $ 定义为 $ \mathbb{C}^+ $ 中点之间的小弧所构成的凸包，且弧的圆心位于实轴上。
• 证明对于 $ 2\times 2 $ 实数块 $ \begin{bmatrix} a & b \\ -b & a \end{bmatrix} $，SRG 由两个圆组成，圆心位于 $ \left( \frac{a_1+a_2}{2}, \pm \frac{b_1-b_2}{2} \right) $，半径为 $ \sqrt{ \left( \frac{a_1-a_2}{2} \right)^2 + \left( \frac{b_1+b_2}{2} \right)^2 } $。
• 利用正交相似变换，将任意正规矩阵化为由 $ 2\times 2 $ 旋转-缩放块和实特征值构成的分块对角形式。
• 运用拓扑论证（环绕数矛盾）证明SRG中的任意点必须位于特征值的弧边多边形内部。

实验结果

研究问题

• RQ1 正规矩阵的缩放相对图（SRG）与其在复平面上的谱之间有何关系？
• RQ2 能否使用双曲空间中的几何构造完全表征分块对角矩阵的SRG？
• RQ3 正规矩阵的SRG在正交相似变换下是否保持不变？若是，这如何简化分析？
• RQ4 一般正规矩阵的SRG的精确几何结构是什么？它如何推广谱的概念？
• RQ5 正规矩阵的SRG是否与其中在上半平面中特征值构成的弧边多边形完全一致？

主要发现

• 对于任意正规矩阵 $ A $，其在上半平面中的SRG满足 $ \mathcal{G}^+(A) = \mathrm{Poly}(\Lambda(A) \cap \mathbb{C}^+) $，即其为上半平面中特征值构成的弧边多边形。
• 对于 $ 2\times 2 $ 实数块 $ \begin{bmatrix} a & b \\ -b & a \end{bmatrix} $，其SRG由两个圆组成，圆心位于 $ \left( \frac{a_1+a_2}{2}, \pm \frac{b_1-b_2}{2} \right) $，半径为 $ \sqrt{ \left( \frac{a_1-a_2}{2} \right)^2 + \left( \frac{b_1+b_2}{2} \right)^2 } $。
• 具有互异实特征值 $ \lambda_1 < \lambda_2 < \dots < \lambda_m $ 的对称矩阵的SRG为闭圆盘 $ \mathrm{Disk}(\lambda_1, \lambda_m) $，但需移除开圆盘 $ \mathrm{Disk}^\circ(\lambda_i, \lambda_{i+1}) $，其中 $ i = 1, \dots, m-1 $。
• SRG在正交相似变换下保持不变：对任意正交矩阵 $ Q $，有 $ \mathcal{G}(QAQ^T) = \mathcal{G}(A) $，从而实现与基无关的几何分析。
• 正规矩阵的SRG包含其谱 $ \Lambda(A) $，且实际上当 $ n=1 $ 或 $ n \geq 3 $ 时，有 $ \Lambda(A) \subseteq \mathcal{G}(A) $，且在上半平面中等式成立当且仅当矩阵是对称且具有互异特征值。
• 对于正规矩阵，特征值的重数不影响SRG，因为SRG仅依赖于不同特征值及其在 $ \mathbb{C}^+ $ 中的几何构型。