[论文解读] 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）的开放问题。
• 确定矩阵为 UET 的精确条件，特别是 UET 是否蕴含酉等价于复对称矩阵（UECSM）。
• 为 UET 矩阵提供三种不同类型的不可约分量的完整典范分解。
• 确定 UET ⇒ UECSM 推论失效的最小矩阵尺寸，确立 $ 8\times8 $ 为精确临界点。
• 分类线性映射 $ \phi(T) = U T^t U^* $ 的不动点，这类映射在线性保持理论中具有核心地位。

提出的方法

• 通过分析满足 $ T Q = Q T^t $ 的酉矩阵 $ Q $ 的结构，从方程 $ T = U T^t U^* $ 推导出 UET 矩阵的典范形式。
• 利用酉矩阵 $ Q $ 分解为对称、反对称及成对块的方法，将对应的 $ T $ 分类为三种类型：复对称、斜哈密顿和 $ A \oplus A^t $ 块。
• 应用分块矩阵分析，证明 $ T $ 必须相对于 $ Q $ 的分解为分块对角形式，从而导出三种分量类型。
• 利用关于酉等价于复对称矩阵（UECSM）和斜哈密顿矩阵（UESHM）的结果，结合 $ Q_{+} $、$ Q_{-} $ 以及 $ X_i $、$ Y_i $ 块的谱和结构性质。
• 通过证明三种类型的单位圆轨道互不相交，利用不可约性与正规交换子的性质，证明这三种类型彼此酉不等价。
• 利用维数计数和显式构造，证明 $ 8\times8 $ 是 UET 不蕴含 UECSM 的最小尺寸，依据是存在不可约且既非 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，否则不是 UECSM；当 $ A $ 不可约且不酉等价于其转置时，此类块才不可约。
• 三种类型的 UET 矩阵（复对称、斜哈密顿和 $ A \oplus A^t $）的单位圆轨道两两不相交，确保分解在酉等价意义下唯一。
• 非 UECSM 的 UET 矩阵的最小尺寸为 $ 8\times8 $，此类矩阵的存在性源于存在不可约 $ A \in M_d(\mathbb{C}) $ 且 $ d \geq 4 $，从而产生类型 III 的 $ 2d \times 2d $ 块，且 $ d \geq 4 $ 意味着 $ 2d \geq 8 $。