[论文解读] Almost-commuting matrices are almost jointly diagonalizable

Klaus Glashoff, Michael M. Bronstein|arXiv (Cornell University)|May 7, 2013

Matrix Theory and Algorithms参考文献 16被引用 5

一句话总结

本文证明了几乎交换的自伴矩阵可通过酉变换近乎联合对角化，且联合对角化的程度由其换位子的Frobenius范数控制。核心结果是定量等价关系：换位子范数小意味着联合对角化误差小，反之亦然，前提是矩阵范数已归一化。

ABSTRACT

We study the relation between approximate joint diagonalization of self-adjoint matrices and the norm of their commutator, and show that almost commuting self-adjoint matrices are almost jointly diagonalizable by a unitary matrix.

研究动机与目标

• 建立自伴矩阵换位子范数与联合对角化误差之间的定量关系。
• 将Lin关于几乎交换矩阵的定理推广，证明换位子范数小意味着近乎联合对角化。
• 证明换位子范数可作为实际应用中联合对角化质量的代理指标。
• 提供理论界，将换位子的Frobenius范数与酉变换下最小非对角元素和关联。

提出的方法

• 使用Frobenius范数同时度量换位子 $ \norm{[A,B]}_F $ 与联合对角化误差 $ J(A,B) $，其中 $ J(A,B) $ 定义为酉变换后非对角元素的平方和。
• 应用摄动分析，将矩阵与其联合对角化近似之间的偏差与换位子范数关联。
• 采用Böttcher-Wenzel不等式，将矩阵差的Frobenius范数以换位子范数为界。
• 推导渐近界 $ \frac{1}{4}\norm{[A,B]}_F^2 \leq J(A,B) \leq n\epsilon_2(\norm{[A,B]}_F) $，其中 $ \epsilon_i \to 0 $ 当换位子范数趋于零时。
• 利用Lin及其他研究者（如Hastings、Pearcy-Shields、Glebsky、Filonov-Kachkovskiy）的已知结果，推导出以 $ \norm{[A,B]}_F $ 表示的显式多项式型上界。
• 将矩阵归一化为Frobenius范数为1，以消除尺度依赖性，从而获得与矩阵大小无关的通用界。

实验结果

研究问题

• RQ1 换位子的Frobenius范数能否作为自伴矩阵联合对角化误差的可靠代理？
• RQ2 换位子范数与酉变换下可达到的最小非对角和之间是否存在定量关系？
• RQ3 几乎交换的自伴矩阵在多大程度上仍接近联合对角化矩阵？
• RQ4 能否推导出换位子范数与联合对角化误差之间显式的上下界？
• RQ5 现有的算子理论构造性界（如Pearcy-Shields、Glebsky）如何转化为对联合对角化误差的界？

主要发现

• 对所有Frobenius范数为1的自伴矩阵，存在下界 $ \frac{1}{4}\norm{[A,B]}_F^2 \leq J(A,B) $，表明联合对角化误差与换位子范数呈二次关系。
• 存在上界使得 $ J(A,B) \leq C n^{2p} \norm{[A,B]}_F^q $，其中常数 $ C $ 显式由已知算子理论结果导出，例如对Pearcy-Shields有 $ C = 2\sqrt{2}(c+1)c $，$ p=\frac{1}{4}, q=\frac{1}{2} $。
• 上界以 $ O(n^{2p} \delta^q) $ 形式增长，其中 $ \delta = \norm{[A,B]}_F $，表明当换位子范数减小时，联合对角化误差呈多项式衰减。
• 下界与矩阵大小无关，上界虽依赖于 $ n $，但其依赖性由已有定理中的已知参数控制。
• 建立了渐近等价关系 $ \norm{[A,B]}_F \to 0 \iff J(A,B) \to 0 $，确认几乎交换矩阵近乎联合对角化。
• 利用已知结果（如Hastings、Glebsky、Filonov-Kachkovskiy）推导出显式界，尽管其数值紧致性不足，不适用于实际应用，如论文中所指出。