[論文レビュー] Almost-commuting matrices are almost jointly diagonalizable

Klaus Glashoff, Michael M. Bronstein|arXiv (Cornell University)|May 7, 2013

Matrix Theory and Algorithms参考文献 16被引用数 5

ひとこと要約

この論文は、自己随伴行列がほとんど可換である場合、それらがユニタリ変換によってほぼ同時に対角化可能であることを確立している。この近似の程度は、交換子のフロベニウスノルムによって制御される。主な結果は、定量的な同等性である：交換子ノルムが小さいと、同時に対角化の誤差も小さくなり、逆も成り立つ。行列ノルムの正規化のもとで成り立つ。

ABSTRACT

We study the relation between approximate joint diagonalization of self-adjoint matrices and the norm of their commutator, and show that almost commuting self-adjoint matrices are almost jointly diagonalizable by a unitary matrix.

研究の動機と目的

• 自己随伴行列の交換子ノルムとその同時対角化誤差との間の定量的関係を確立すること。
• リンの定理（ほぼ可換行列）を拡張し、交換子ノルムが小さいとほぼ同時に対角化可能であることを示すこと。
• 実用的応用において、同時対角化の質を測る指標として交換子ノルムを用いる根拠を提供すること。
• ユニタリ変換における最小の非対角要素の和との間の理論的バインディングを導出すること。

提案手法

• 交換子 $ \norm{[A,B]}_F $ と同時対角化誤差 $ J(A,B) $ の両方をフロベニウスノルムで測定する。ここで $ J(A,B) $ はユニタリ変換後の非対角要素の二乗和として定義される。
• 摂動解析を用いて、行列がその同時対角化近似からどれほど離れているかを交換子ノルムに関連付ける。
• ボッターワイゼンの不等式を用いて、行列差のフロベニウスノルムを交換子のノルムで上界で抑え込む。
• 漸近的バインディング $ \frac{1}{4}\norm{[A,B]}_F^2 \leq J(A,B) \leq n\epsilon_2(\norm{[A,B]}_F) $ を導出する。ここで $ \epsilon_i \to 0 $ は交換子ノルムが消えるときの極限である。
• リンや他の研究者（例：ハスティングス、ピアシー・シャイズ、グレブスキー、フィリノフ・カチェフスキー）の既知の結果を用い、$ \norm{[A,B]}_F $ の多項式型上界を明示的に導出する。
• スケール依存性を排除し、行列サイズに依存しない普遍的なバインディングを得るため、行列を単位フロベニウスノルムに正規化する。

実験結果

リサーチクエスチョン

• RQ1 自己随伴行列のフロベニウスノルムの交換子は、同時に対角化誤差の信頼できる代理指標として用いられるか？
• RQ2 交換子ノルムとユニタリ変換下での最小非対角和との間には定量的関係があるか？
• RQ3 ほぼ可換な自己随伴行列は、どれほど同時に対角化可能な行列に近いか？
• RQ4 交換子ノルムと同時に対角化誤差との間の明示的な上界・下界を導出できるか？
• RQ5 既存の構成的バインディング（例：ピアシー・シャイズ、グレブスキー）は、同時に対角化誤差のバインディングにどのように変換されるか？

主な発見

• すべての単位フロベニウスノルムを持つ自己随伴行列について、下界 $ \frac{1}{4}\norm{[A,B]}_F^2 \leq J(A,B) $ が成り立つ。これは、同時に対角化誤差が交換子ノルムの2乗に比例することを示している。
• 上界が存在し、$ J(A,B) \leq C n^{2p} \norm{[A,B]}_F^q $ と表せる。ここで $ C = 2\sqrt{2}(c+1)c $、$ p=\frac{1}{4} $、$ q=\frac{1}{2} $ はピアシー・シャイズの結果に基づく。
• 上界は $ O(n^{2p} \delta^q) $ のスケーリングを示し、$ \delta = \norm{[A,B]}_F $ とおくと、交換子ノルムが小さくなるに従い、同時に対角化誤差が多項式的に減少することが示唆される。
• 下界は行列サイズに依存しないが、上界は $ n $ に依存するが、既存の定理から得られる既知のパrameterに制御されている。
• 漸近的同等性 $ \norm{[A,B]}_F \to 0 \iff J(A,B) \to 0 $ が確立され、ほぼ可換な行列がほぼ同時に対角化可能であることが確認された。
• ハスティングス、グレブスキー、フィリノフ・カチェフスキーの既知の結果を用いて明示的なバインディングが導出されたが、論文で指摘されているように、実用的用途では数値的にタイトではない。