基于分块三对角化的紧算子交换子：Anderson方法的推广与局限

我们就1971年Pearcy–Topping问题：是否每个紧算子都是紧算子的交换子？提供了新的视角与若干进展。我们的目标是分析并推广该领域1970年代Joel Anderson的工作，并结合本文最后一位作者的工作。我们将一般问题化简为带范数约束的有限矩阵方程序列，同时发展反例的构造策略。我们的方法是考察哪些紧算子$T$是紧算子$A,B$的交换子$AB-BA$，并分析Joel Anderson对此问题的贡献之含义，从而得到其方法的推广。通过扩展Anderson[1]的技术，我们获得了超越[17]与[2]所得的新一类紧算子交换子。借助最后一位作者[22]的技术，我们发现了将Anderson技术推广时所受的阻碍，体现为对$T$的某些约束，特别关注$T$为严格正紧对角算子的情况。其中部分约束涉及算子的通用分块三对角矩阵形式，部分涉及$\mathcal{B(H)}$-理想约束。基于这些矩阵形式，我们给出了Pearcy–Topping问题及其若干衍生问题成立的若干等价性、充分条件与必要条件。这些矩阵形式是算子矩阵表示的一种稀疏化（通过基变换增加其角落中零的比例），并我们度量了这些形式的支撑密度。最后，我们给出了涉及奇异数与$\mathcal{B(H)}$-理想约束的Pearcy–Topping问题的若干必要条件。