[論文レビュー] 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つの円からなることを証明する。
• 直交相似変換を用いて、任意の正規行列を $ 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 } $ の2つの円からなる。
• 相異なる実固有値 $ \lambda_1 < \lambda_2 < \dots < \lambda_m $ をもつ対称行列のSRGは、閉じた円板 $ \mathrm{Disk}(\lambda_1, \lambda_m) $ から、$ i = 1, \dots, m-1 $ に対して開円板 $ \mathrm{Disk}^\circ(\lambda_i, \lambda_{i+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}^+ $ 内で占める幾何的配置にのみ依存する。