2025-11-17T21:07:12.449496

Density of irreducible operators in the trace-class norm

Fang, Jiang, Ma et al.

In 1968, Paul Halmos initiated the research on density of the set of irreducible operators on a separable Hilbert space. Through the research, a long-standing unsolved problem inquires: is the set of irreducible operators dense in $B(H)$ with respect to the trace-class norm topology? Precisely, for each operator $T $ in $B(H)$ and every $\varepsilon >0$, is there a trace-class operator $K$ such that $T+K$ is irreducible and $\Vert K \Vert_1 < \varepsilon$? For $p>1$, to prove the $\Vert \cdot \Vert_p$-norm density of irreducible operators in $B(H)$, a type of Weyl-von Neumann theorem effects as a key technique. But the traditional method fails for the case $p=1$, where by $\Vert \cdot \Vert_p$-norm we denote the Schatten $p$-norm. In the current paper, for a large family of operators in $B(H)$, we give the above long-term problem an affirmative answer. The result is derived from a combination of techniques in both operator theory and operator algebras. Moreover, we discover that there is a strong connection between the problem and another related operator-theoretical problem related to type $\mathrm{II}_1$ von Neumann algebras.

academic

Density of irreducible operators in the trace-class norm

基本信息

论文ID: 2504.17190
标题: Density of irreducible operators in the trace-class norm
作者: Junsheng Fang, Chunlan Jiang, Minghui Ma, Junhao Shen, Rui Shi, Tianze Wang
分类: math.OA (Operator Algebras), math.FA (Functional Analysis)
发表时间: 2024年4月，最新版本为2025年10月13日
论文链接: https://arxiv.org/abs/2504.17190v5

摘要

本文研究了可分复Hilbert空间上不可约算子在迹类范数拓扑下的稠密性问题。这是一个可以追溯到1968年Paul Halmos工作的长期未解决问题：对于 $B(H)$ 中的每个算子 $T$ 和任意 $\varepsilon > 0$ ，是否存在迹类算子 $K$ 使得 $\|K\|_1 < \varepsilon$ 且 $T+K$ 是不可约的？对于 $p > 1$ 的情况，Weyl-von Neumann定理是证明 $\|\cdot\|_p$ 范数稠密性的关键技术，但传统方法在 $p=1$ 时失效。本文对 $B(H)$ 中的一大类算子给出了肯定答案，结果来自算子理论和算子代数技术的结合，并发现该问题与II₁型von Neumann代数相关的算子理论问题有强烈联系。

研究背景与动机

历史背景

Halmos的开创性工作：1968年，Paul Halmos证明了不可约算子在算子范数拓扑下在 $B(H)$ 中形成稠密的 $G_δ$ 子集
Schatten范数的推广：对于 $p > 1$ ，Herrero利用Weyl-von Neumann-Kuroda定理证明了不可约算子在 $\|\cdot\|_p$ 范数下的稠密性
迹类范数的困难：Weyl-von Neumann定理对迹类范数不成立，使得传统方法失效

核心问题

Problem A: 对于 $B(H)$ 中的每个算子 $T$ 和 $\varepsilon > 0$ ，是否存在迹类算子 $K$ 使得 $\|K\|_1 < \varepsilon$ 且 $T+K$ 是不可约的？

技术障碍

Kato-Rosenblum定理：自伴算子的绝对连续部分在自伴迹类扰动下保持稳定
Weyl-von Neumann定理失效：对于迹类范数，大量自伴算子无法通过迹类扰动对角化

核心贡献

主要定理：将Problem A简化为等价形式，并对一大类算子给出肯定答案
关键猜想：提出Conjecture 1.1，建立了问题与II₁型因子单生成元的联系
技术创新：
- 发展了有限von Neumann代数中的原子支撑理论
- 引入相对正规化集合概念
- 建立了适当无限von Neumann代数生成向量的稠密性
广泛适用性：证明了以下算子类属于 $\overline{IR(H)}^{\|\cdot\|_1}$ $\overline{I R (H)}^{∥ \cdot ∥_{1}}$ ：
- 生成有限I型von Neumann代数的算子
- 生成具有非平凡中心的II₁型von Neumann代数的算子
- 生成Cartan子代数的II₁型因子算子

方法详解

任务定义

给定可分无限维复Hilbert空间 $H$ 上的有界线性算子 $T \in B(H)$ ，寻找迹类算子 $K$ 使得：

$\|K\|_1 < \varepsilon$ （任意给定的 $\varepsilon > 0$ ）
$T + K$ 是不可约的（即没有非平凡的约化子空间）

核心架构

1. 问题简化

将Problem A等价转化为： 简化形式：对于每个算子 $T$ 和 $\varepsilon > 0$ ，是否存在迹类算子 $K$ 使得 $\|K\|_1 < \varepsilon$ 且 $T+K$ 是至多可数个不可约算子的直和？

2. 主要定理框架

定理1.2（主定理）：以下陈述等价：

$\overline{IR(H)}^{\|\cdot\|_1} = B(H)$
循环II₁型因子的每个生成元属于 $\overline{IR(H)}^{\|\cdot\|_1}$
Conjecture 1.1成立

3. 证明策略（四步法）

Step 1: 标准分解利用Lemma 4.1和von Neumann代数类型分解定理，将算子分解为： $A = \begin{pmatrix} \alpha & 0 & 0 & 0 \\ 0 & A_1 & 0 & 0 \\ 0 & 0 & A_2 & 0 \\ 0 & 0 & 0 & A_\infty \end{pmatrix}, \quad B = \begin{pmatrix} \beta & \xi_0^* & \xi_1^* & \xi_2^* \\ \xi_0 & B_1 & 0 & 0 \\ \xi_1 & 0 & B_2 & 0 \\ \xi_2 & 0 & 0 & B_\infty \end{pmatrix}$

Step 2: 有限I型情况应用Proposition 3.13处理 $W^*(A_1 + iB_1)$ 为有限I型的情况

Step 3: 适当无限情况利用Lemma 2.12和Proposition 2.14处理适当无限von Neumann代数

Step 4: II₁型因子情况假设Conjecture 1.1成立，完成证明

技术创新点

1. 原子支撑理论

对于阿贝尔von Neumann代数 $A$ ，定义原子支撑为所有极小投影的和：

Lemma 3.5：在有限von Neumann代数中建立了 $W^*(A)' \cap (I-P)M(I-P) \subseteq W^*(A,B+K)$

2. 相对正规化集合

定义相对正规化集合： $RN_M(A,B) := \{V \in M : VAV^* \subseteq B, V \text{ unitary}\}$

Lemma 3.14：证明了 $RN_M(A,W^*(A)) \subseteq W^*(A,B+K)$

3. 生成向量稠密性

Lemma 2.12：证明了适当无限von Neumann代数的生成向量集合在Hilbert空间中稠密

实验设置

本文为纯理论数学论文，不涉及数值实验，而是通过严格的数学证明验证理论结果。

理论验证框架

构造性证明：通过显式构造迹类扰动算子
分类讨论：根据von Neumann代数的类型分解进行系统分析
反例分析：在Remark 2.10中提供了某些情况下方法失效的例子

关键引理验证

Lemma 2.1-2.4：构造不可约算子的经典工具
Lemma 3.3-3.5：有限von Neumann代数中的逼近技术
Proposition 2.14：适当无限情况的核心构造

实验结果

主要理论结果

1. 广泛的正面结果

证明了以下算子类属于 $\overline{IR(H)}^{\|\cdot\|_1}$ ：

(a) $\{T : W^*(T) \text{ of finite type I}\}$ （Proposition 3.13）
(b) $\{T : W^*(T) \text{ of type II}_1 \text{ with nontrivial center}\}$ （Proposition 3.10）
(c) $\{T : W^*(T) \text{ a type II}_1 \text{ factor, } W^*(\text{Re}T) \text{ a Cartan subalgebra}\}$ （Proposition 3.16）
(d) $\{T : W^*(T) \text{ a factor with } W^*(\text{Re}T) \text{ not diffuse}\}$ （Corollary 3.7）
(e) $\{T : W^*(\text{Re}T) \text{ a masa of } B(H)\}$ （Corollary 2.9）