[论文解读] On symmetries of a matrix and its isospectral reduction

Malte Röntgen, Maxim Pyzh+2 more|arXiv (Cornell University)|May 25, 2021

Matrix Theory and Algorithms被引用 3

一句话总结

本文建立了一套数学框架，将矩阵的等谱约化对称性与原矩阵的对称性联系起来。通过证明：若一个正规可逆矩阵 T 与等谱约化 RS(H, λ) 交换，则存在一个正规矩阵 Q = T ⊕ Q̃，使其与原矩阵 H 交换，该研究证明了约化系统中的隐含对称性对应于全系统中的真实对称性，从而将先前关于共谱顶点和量子系统中隐藏对称性的结果推广至更一般情形。

ABSTRACT

The analysis of diagonalizable matrices in terms of their so-called isospectral reduction represents a versatile approach to the underlying eigenvalue problem. Starting from a symmetry of the isospectral reduction, we show in the present work that it is possible to construct a corresponding symmetry of the original matrix.

研究动机与目标

• 建立等谱约化对称性与原矩阵对应对称性之间严谨的联系。
• 将先前仅限于置换矩阵的隐含对称性结果推广至任意正规可逆矩阵。
• 解决一个开放问题：当 H 与 HSS 共享特征值时，原矩阵 H 的特征向量在存在隐含对称性的情况下如何表现。
• 提供一种构造性方法，从等谱约化的对称性 T 构造出与原矩阵 H 交换的全局对称算子 Q。

提出的方法

• 利用正规矩阵 T 的谱分解，通过在补集 S 上补零，定义 N 维向量 Φi,j 作为 T 的特征向量的扩展。
• 构造由 Φi,j 和 H 生成的 Krylov 子空间 Ki,j，并证明对应于 T 不同特征值的子空间之间正交。
• 将每个 T 特征值对应的 Krylov 子空间的直和定义为不变子空间 eKi，并为每个 eKi 构造正交基。
• 通过谱分解构造全局矩阵 Q，使得 Q 在 S 上作用为 T，在 S 上作用为零，从而保证 Q 的正规性与 H-不变性。
• 通过证明 eKi 和 V（正交补空间）关于 H 不变，且 Q 在每个 eKi 上作用为数量算子，从而证明 [H, Q] = 0。
• 验证 QSS = T 且 QSS = 0，确认矩阵 Q 的块结构与其等谱约化的一致性。

实验结果

研究问题

• RQ1 在何种条件下，等谱约化 RS(H, λ) 的对称性 T 能够推出原矩阵 H 的对应对称性？
• RQ2 当 H 与 HSS 共享特征值且 T 为非置换对称性时，H 的特征向量结构应如何刻画？
• RQ3 能否将一个与 RS(H, λ) 交换的正规可逆矩阵 T 提升为与 H 交换的全局对称算子 Q？
• RQ4 从块分解的角度看，约化系统中的对称性 T 与原系统中的对称性 Q 之间存在何种结构关系？
• RQ5 等谱约化中隐含对称性的存在是否保证 H 与 Q 同时可对角化？

主要发现

• 一个正规可逆矩阵 T 与等谱约化 RS(H, λ) 对所有 λ ∉ σ(HSS) 交换，当且仅当所有 H^k 的 SS 块与 T 交换。
• 存在一个正规矩阵 Q = T ⊕ Q̃，使得 [Q, H] = 0，从而证明约化系统中的每一个隐含对称性均可提升为原矩阵 H 的真实对称性。
• 所构造的矩阵 Q 满足 QSS = T 且 QSS = 0，确保其块结构正确且与等谱约化一致。
• 当 H 与 HSS 的谱互不相交时，H 的特征向量是 Q 的本征态，且其本征值与 T 的本征值一致。
• 当 H 与 HSS 共享特征值时，H 的特征向量要么属于不变子空间 eKi（从而满足 T xS = t xS），要么在 S 上为零，推广了针对置换对称性的已有结果。
• 该方法通过谱分解与 Krylov 子空间分析显式构造 Q，为从约化系统到原系统的对称性提升提供了构造性证明。