[論文レビュー] Unitary equivalence of a matrix to its transpose

Stephan Ramon Garcia, James E. Tener|arXiv (Cornell University)|Aug 14, 2009

Matrix Theory and Algorithms参考文献 32被引用数 28

ひとこと要約

この論文は、転置行列とユニタリ同値である複素行列（UET）について、完全な正規形分解を提供する。その結果、このような行列は、非可約な複素対称行列、非可約な歪ハミルトニアン行列、または $ A \oplus A^t $ の形のブロックにユニタリ同値に分解可能であることが示された。主な結果は、『UET ならば複素対称行列とユニタリ同値である』という直感的な含意が、$ 7 \times 7 $ 以下の行列では成り立つが、$ 8 \times 8 $ 以上では成り立たないということである。これは、UECSM でない UET 行列が存在するためである。

ABSTRACT

Motivated by a problem of Halmos, we obtain a canonical decomposition for complex matrices which are unitarily equivalent to their transpose (UET). Surprisingly, the naive assertion that a matrix is UET if and only if it is unitarily equivalent to a complex symmetric matrix (i.e., $T = T^t$) holds for matrices 7x7 and smaller, but fails for matrices 8x8 and larger.

研究の動機と目的

• すべての複素行列が転置行列とユニタリ同値であるかどうかというハルモスの未解決問題を解明すること。
• 特に、UET が複素対称行列とユニタリ同値である（UECSM）ことを示す条件を明確にすること。
• UET 行列の完全な正規形分解を、3 種類の非可約成分に分けること。
• UET ⇒ UECSM の含意が失敗する最小の行列サイズを特定し、$ 8\times8 $ が鋭い閾値であることを確立すること。
• 線形写像 $ \phi(T) = U T^t U^* $ の固定点を分類すること。これは線形保存則理論において中心的な役割を果たす。

提案手法

• 方程式 $ T = U T^t U^* $ から得られる $ T Q = Q T^t $ を満たすユニタリ行列 $ Q $ の構造を解析することで、UET 行列の正規形を導出する。
• ユニタリ行列 $ Q $ を対称的・反対称的・ペアリングされたブロックに分解し、それに対応する $ T $ を3つのタイプに分類する：複素対称行列、歪ハミルトニアン行列、$ A \oplus A^t $ ブロック。
• ブロック行列の解析を用いて、$ T $ が $ Q $ の分解に沿ってブロック対角である必要があることを示し、3 種類の成分に帰着させる。
• ユニタリ同値な複素対称行列（UECSM）および歪ハミルトニアン行列（UESHM）に関する結果を活用し、$ Q_{+} $、$ Q_{-} $、$ X_i $、$ Y_i $ ブロックの固有値的・構造的性質を用いる。
• 非可約性および正規可換束の性質を用いて、3 種類の行列がユニタリ同値でないことを示し、それらのユニタリ軌道が互いに素であることを証明する。
• 次元数え上げと明示的構成を用いて、$ 8\times8 $ が UET が UECSM を含まない最小のサイズであることを示し、$ A $ が非可約でかつ UECSM も UESHM もでない $ A \oplus A^t $ ブロックの存在に依拠する。

実験結果

リサーチクエスチョン

• RQ1 すべての複素行列は転置行列とユニタリ同値である（UET）か？
• RQ2 UET は複素対称行列とユニタリ同値である（UECSM）ことを含意するか？
• RQ3 UET 行列の非可約成分への完全な正規形分解は何か？
• RQ4 UET ⇒ UECSM の含意が失敗する行列サイズは何か？
• RQ5 UET 行列のユニタリ軌道は何か？ そして、構造的に異なるタイプにどのように分解されるか？

主な発見

• 行列 $ T \in M_n(\mathbb{C}) $ が UET であるための必要十分条件は、非可約な複素対称行列、非可約な歪ハミルトニアン行列、または $ A \oplus A^t $ の形（$ A $ が非可約で、かつ UECSM も UESHM でない）の直和とユニタリ同値であることである。
• 含意 'UET ⇒ UECSM' は $ n \leq 7 $ の場合に成り立つが、$ n \geq 8 $ では成り立たない。$ 8\times8 $ が最小の反例サイズである。
• 非可約な UET 行列は、いずれも UECSM または UESHM である（補題 2.1 による）。
• $ A \oplus A^t $ の形のブロックは UET ではあるが、$ A $ が自身とユニタリ同値でない限り UECSM ではない。このようなブロックが非可約であるのは、$ A $ が非可約でかつ自身とユニタリ同値でない場合に限る。
• UET 行列の3種類のタイプ（複素対称、歪ハミルトニアン、$ A \oplus A^t $）は、互いにユニタリ軌道が素であり、分解がユニタリ同値を除いて一意であることが保証される。
• UECSM でない UET 行列の最小サイズは $ 8\times8 $ であり、これは $ d \geq 4 $ の非可約 $ A \in M_d(\mathbb{C}) $ の存在に起因する。これにより、$ d \geq 4 $ であれば $ 2d \times 2d $ のタイプ III ブロック（$ 2d \geq 8 $）が存在する。