[论文解读] A survey on the interplay between arithmetic mean ideals, traces, lattices of operator ideals, and an infinite Schur-Horn majorization theorem

Victor Kaftal, Gary Weiss|ArXiv.org|Jul 22, 2007

Holomorphic and Operator Theory参考文献 38被引用 18

一句话总结

本综述在算术平均理想、迹和算子理论中的极大化之间建立了深刻联系，提出了无限 Schur-Horn 极大化定理，该定理推广了经典结果。通过在子随机矩阵和分块随机矩阵下的不变性，刻画了 am-闭理想，证明了具有此类不变性的软边或软补全理想是 am-闭的，从而统一了算子理想在结构和迹理论方面的性质。

ABSTRACT

The work of Dykema, Figiel, Weiss, and Wodzicki on the structure of commutators showed that arithmetic means play an important role in the study of operator ideals, and we explored their role in a multipaper project which we survey in this article. We start by presenting the notions of arithmetic mean ideals and arithmetic mean at infinity ideals. Then we explore their connections with commutator spaces, traces, elementary operators, lattice and sublattice structure of ideals, arithmetic mean ideal cancellation properties of first and second order, and softness properties - a term that we introduced but a notion ubiquitous in the literature on operator ideals. Arithmetic mean closure of ideals leads us to investigate majorization for infinite sequences and this in turn leads us to an infinite Schur-Horn majorization theorem which extends theorems by A. Neumann, by Arveson and Kadison, and by Antezana, Massey, Ruiz and Stojanoff. We also list ten open questions that we encountered in the development of this material.

研究动机与目标

• 研究算术平均理想、迹与算子理想格结构之间的相互作用。
• 通过在子随机矩阵和分块随机矩阵下的不变性，刻画 am-闭理想。
• 将 Schur-Horn 极大化定理推广至迹类中的无限序列和理想。
• 澄清换位子空间的余维数以及理想所支持的迹的数量。
• 引入并分析软理想的概念及其在消去与闭包性质中的作用。

提出的方法

• 引入算术平均理想和算术平均在无穷远处的理想，以分析理想结构和换位子空间。
• 定义 am-闭包和 am-内部运算，以研究理想稳定性与迹支持。
• 应用极大化理论于无限序列，使用子随机矩阵和正交随机矩阵，推广 Schur-Horn 定理。
• 利用软理想的概念——在算子理论中普遍存在但此处首次系统化——以简化证明并分析消去性质。
• 应用在对角算子极大阿贝尔子代数（masa）上的条件期望 $ E $，通过 $ E(I) \subset I $ 来刻画 am-闭理想。
• 建立 $ \xi \in \Sigma(I^{-\infty}) $ 的等价条件，利用随机矩阵和等距映射，将谱极大化与理想成员关系联系起来。

实验结果

研究问题

• RQ1 在理想 $ I $ 中，换位子空间 $[I, B(H)]$ 的余维数何时为 1 或无穷？
• RQ2 在何种条件下理想是 am-闭的，这与在子随机矩阵下的不变性有何关联？
• RQ3 软理想如何影响算子理想中的消去性质与迹支持？
• RQ4 如何通过无限极大化和随机矩阵精确刻画 $\Sigma(I^{-\infty})$？
• RQ5 序列在无穷远处的算术平均在何种情况下足以确定其理想成员关系或闭包？

主要发现

• 在 $ I $ 中，$[I, B(H)]$ 的余维数要么为 1，要么为 $\infty$，且余维数为 1 当且仅当 $ I $ 是 am-$\infty$-稳定的，且 $\omega \notin \Sigma(I)$。
• 理想 $ I $ 是 am-闭的，当且仅当 $ E(I) \subset I $，其中 $ E $ 是对角 masa 上的条件期望。
• 若 $\Sigma(I)$ 关于无限排列矩阵的无限凸组合类 $\mathscr{C}$ 不变，则 $ I \supset \mathscr{L}_1 $，且 $\Sigma(I)$ 关于分块子随机矩阵不变。
• 对于软边或软补全理想，若 $\Sigma(I)$ 关于 $\mathscr{C}$ 不变，则 $ I $ 是 am-闭的。
• 无限 Schur-Horn 定理通过 $\xi \prec_\infty \eta$ 对某个 $\eta \in \Sigma(I)$，或通过某个分块正交随机矩阵 $ Q $ 满足 $ Q\xi \in \Sigma(I) $，来刻画 $\xi \in \Sigma(I^{-\infty})$。
• 对于某个正交矩阵直和 $ U $，等价条件 $ E(U \operatorname{diag} \xi U^*) \in I $ 刻画了 $\xi \in \Sigma(I^{-\infty}) $，将 Schur-Horn 框架扩展至无限维理想。