[论文解读] Almost commuting matrices with respect to normalized Hilbert-Schmidt norm

Lev Glebsky|arXiv (Cornell University)|Feb 16, 2010

Advanced Topics in Algebra参考文献 10被引用 27

一句话总结

本文证明了在归一化希尔伯特-施密特范数下，几乎可交换的自伴、酉和正规矩阵，其与真正可交换矩阵的距离是统一有界的。通过分块对角逼近和凹范数估计，证明了统一的 $\delta(\epsilon)$-界，使得 $\|AB - BA\|_{\text{tr}} \leq \delta$ 蕴含存在在归一化迹范数下距离为 $O(\epsilon^{1/6})$ 的可交换矩阵，从而在该范数下肯定地解决了这三类矩阵的统一近似可交换问题。

ABSTRACT

Almost-commuting matrices with respect to the normalized Hilbert-Schmidt norm are considered. Normal almost commuting matrices are proved to be near commuting.

研究动机与目标

• 在归一化希尔伯特-施密特范数下，解决自伴、酉和正规矩阵的统一近似可交换矩阵问题。
• 确定在该范数下几乎可交换的矩阵是否在矩阵大小 $n$ 无关的情况下，统一接近真正可交换的矩阵。
• 以换算子范数为基准，提供与可交换矩阵距离的显式定量界。
• 通过极分解和谱逼近，将结果推广至多个几乎可交换矩阵及正规矩阵。

提出的方法

• 将矩阵变换为对角形式，并使用每个 $\tilde{A}$ 块为单位矩阵的标量倍的分块对角矩阵进行近似。
• 利用分块分解上平方归一化希尔伯特-施密特范数的凸性来控制近似误差。
• 基于函数 $\phi^2(\sqrt{x})$ 的凹性，应用凹估计原理以界定向误差项。
• 构造正交投影算子 $P$，使得 $\|PA\|_{\text{op}} < \sqrt{\|A\|_{\text{tr}}}$ 且 $\|E-P\|_{\text{tr}} < \sqrt{\|A\|_{\text{tr}}}$，确保算子范数和迹范数下的误差较小。
• 利用 $\|A\|_{\text{tr}}^2 = \langle A, A \rangle = \frac{1}{n} \sum_{i,j} |A_{ij}|^2$ 将迹范数与矩阵元素关联。
• 利用不等式 $\|A\|_{\text{op}} \leq \sqrt{n} \|A\|_{\text{tr}}$ 和基于秩的界来控制子矩阵范数。

实验结果

研究问题

• RQ1 是否存在统一的 $\delta(\epsilon)$，使得任意两个自伴矩阵满足 $\|AB - BA\|_{\text{tr}} \leq \delta$ 时，其与可交换对的距离不超过 $\epsilon$，且该结果对所有 $n$ 一致成立？
• RQ2 该统一逼近结果能否扩展至归一化希尔伯特-施密特范数下的酉矩阵和正规矩阵？
• RQ3 归一化希尔伯特-施密特范数是否能提供强于算子范数的近似-可交换结果，特别是对正规矩阵而言？
• RQ4 多个几乎可交换的自伴矩阵能否被同时逼近为一个可交换族，且误差为 $O(\epsilon^{1/6})$？
• RQ5 一个几乎正规矩阵 $M$ 是否能在归一化迹范数下被逼近为一个正规矩阵 $N$，误差为 $O(\epsilon^{1/18}})$，且保持算子范数有界？

主要发现

• 对于自伴矩阵，若 $\|[H_1, H_2]\|_{\text{tr}} \leq \epsilon$，则存在可交换的自伴矩阵 $A_1, A_2$，使得 $\|H_i - A_i\|_{\text{tr}} \leq 12\epsilon^{1/6}$。
• 该结果可推广至 $k$-元组几乎可交换的自伴矩阵：$\|H_i - A_i\|_{\text{tr}} \leq \delta(\epsilon,k)$，且当 $\epsilon \to 0$ 时 $\delta(\epsilon,k) \to 0$。
• 对于酉矩阵和正定矩阵，若 $\|[U,H]\|_{\text{tr}} \leq \epsilon$，则存在可交换的 $V, A$，使得 $\|U - V\|_{\text{tr}} \leq 30\epsilon^{1/9}$ 且 $\|H - A\|_{\text{tr}} \leq 30\epsilon^{1/9}$。
• 一个几乎正规矩阵 $M$ 满足 $\|MM^* - M^*M\|_{\text{tr}} \leq \epsilon$，则其与正规矩阵 $N$ 的距离不超过 $36\epsilon^{1/18}}$，且 $\|N\|_{\text{op}} \leq \|M\|_{\text{op}} \leq 1$。
• 归一化希尔伯特-施密特范数使得这三类矩阵（自伴、酉、正规）均能实现统一的近似-可交换结果，而算子范数下该结果对酉和正规矩阵不成立。
• 该证明依赖于分块范数的凸性和凹估计等基本技术，避免了深度泛函分析或非交换几何。