[論文レビュー] Unitary equivalence to a complex symmetric matrix: geometric criteria

Stephan Ramon Garcia, Levon Balayan|arXiv (Cornell University)|Jul 16, 2009

Matrix Theory and Algorithms被引用数 6

ひとこと要約

本稿では、固有値が相異なる複素行列がユニタリ同値に複素対称行列（UECSM）であるかどうかを判定するための幾何的基準を導入する。行列とその随伴行列の固有空間間の角度関係を分析することで、著者らはTenerのUECSMTestとは異なり、カーテシアン分解ではなく固有構造に焦点を当てた「StrongAngleTest」という手法を開発した。主な貢献は、固有値が相異なる場合に適用可能で、固有空間間の角度条件を満たす幾何的テストを提供することにある。

ABSTRACT

We develop several methods, based on the geometric relationship between the eigenspaces of a matrix and its adjoint, for determining whether a square matrix having distinct eigenvalues is unitarily equivalent to a complex symmetric matrix. Equivalently, we characterize those matrices having distinct eigenvalues which lie in the unitary orbit of the complex symmetric matrices.

研究の動機と目的

• 行列がユニタリ同値に複素対称行列（UECSM）であるかどうかを判定するための幾何的基準を開発すること。
• 複素行列空間において一般的となる、相異なる固有値を持つ行列に焦点を当てる。
• カーテシアン分解ではなく、行列とその随伴行列の固有空間間の幾何的関係に基づく手法を提供すること。
• TenerのUECSMTestとは補完的であることを示し、これは自己随伴成分の対角化に依存する。
• 固有構造に基づく不変量を用いて、複素対称行列のユニタリ軌道を特徴付けること。

提案手法

• 固有値が相異なる行列Tとその随伴行列T*の正規化された固有ベクトルを用いる。
• 補題1を適用し、Tの固有ベクトルuiとT*の固有ベクトルvjが、i ≠ jのとき⟨ui, vj⟩ = 0かつ⟨ui, vi⟩ ≠ 0を満たすことを示す。
• 任意のベクトルを双対基底{ui}と{vi}を用いて表現するための座標表現式(2)と(3)を導出する。
• 中心的な基準は、TとT*のi番目の固有空間間の角度が特定の幾何的条件を満たすかをチェックする「StrongAngleTest」である。
• 固有ベクトルの正規化と内積⟨ui, vi⟩を用いた角度条件を通じて、テストを実装する。
• TenerのUECSMTestとは対照的であり、Tの実部と虚部を対角化することに依存する。

実験結果

リサーチクエスチョン

• RQ1 固有値が相異なる行列が、その固有空間の幾何的配置に基づいてユニタリ同値に複素対称行列であるかどうかを特定できるか？
• RQ2 固有値が相異なる場合、TとT*の固有空間間の角度がUECSM状態をどのように決定するか？
• RQ3 StrongAngleTestが適用可能だがTenerのUECSMTestが適用できない場合、およびその逆に、それぞれが適用可能でない場合のケースはどのようなものか？
• RQ4 幾何的基準を用いて、同じジョルダン標準形を持つにもかかわらずUECSMでない行列を構成できるか？
• RQ5 複素対称行列のユニタリ軌道と行列の固有構造との関係は何か？

主な発見

• StrongAngleTestは固有値が相異なる行列に適用可能であり、固有空間の角度に基づく幾何的基準を提供する。
• TenerのUECSMTestとは補完的であり、一方でテスト可能だが他方でテスト不能な行列が存在する。
• 表1に示されるいくつかの例では、StrongAngleTestが適用可能だがUECSMTestは適用不能であり、固有値が相異なるケースも含まれる。
• 表2では、重複する固有値をもつが、自己随伴成分が相異なる行列はUECSMTestでテスト可能だが、StrongAngleTestではテスト不能である。
• 本稿では、表3に示される例（例えば）のように、両テストが適用できない行列を構成しており、このようなケースは存在するが、測度ゼロであることが示された。
• StrongAngleTestは、重複する固有値と重複する自己随伴固有値をもつ特定の4×4行列がUECSMであるか否かを、幾何的基準に基づいて正しく同定できた。