[论文解读] 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）的几何准则。通过分析矩阵与其共轭伴随矩阵特征子空间之间的夹角关系，作者提出了 StrongAngleTest 方法，该方法通过关注特征结构而非笛卡尔分解，作为 Tener 的 UECSMTest 的补充。主要贡献在于提出了一种实用的几何测试方法，适用于特征值互异且特征子空间间夹角条件满足的情形。

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。
• 推导出坐标表示公式 (2) 和 (3)，用于以对偶基 {ui} 和 {vi} 表示任意向量。
• 核心准则为 StrongAngleTest，其检查 T 与 T* 的第 i 个特征子空间之间的夹角是否满足特定几何条件。
• 通过涉及内积 ⟨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，依据即为几何准则。