[论文解读] Diagonals of self-adjoint operators

William Arveson, Richard V. Kadison|ArXiv.org|Aug 24, 2005

Random Matrices and Applications参考文献 19被引用 43

一句话总结

本文将Schur-Horn定理推广至无限维情形，证明在希尔伯特空间上的自伴迹类算子，其对角线由一组与有限维情形类似的不等式系统所刻画。核心贡献在于将Schur-Horn框架扩展至$II_1$因子，证明了自伴算子的条件期望的谱分布被原始算子的谱分布所控制。

ABSTRACT

The eigenvalues of a self-adjoint nxn matrix A can be put into a decreasing sequence $λ=(λ_1,...,λ_n)$, with repetitions according to multiplicity, and the diagonal of A is a point of $R^n$ that bears some relation to $λ$. The Schur-Horn theorem characterizes that relation in terms of a system of linear inequalities. We give a new proof of the latter result for positive trace-class operators on infinite dimensional Hilbert spaces, generalizing results of one of us on the diagonals of projections. We also establish an appropriate counterpart of the Schur inequalities that relate spectral properties of self-adjoint operators in $II_1$ factors to their images under a conditional expectation onto a maximal abelian subalgebra.

研究动机与目标

• 将有限维矩阵中的Schur-Horn定理推广至无限维希尔伯特空间上的正迹类算子。
• 在$II_1$因子的背景下，通过谱控制刻画自伴算子对角线的特征。
• 建立理解有限因子中自伴算子谱性质与其在条件期望下对角线关系的框架。
• 解决一个开放问题：$II_1$因子中酉轨道的对角线集合是否与谱分布被原始算子控制的算子集合完全一致。

提出的方法

• 通过利用由凸函数不等式导出的控制不等式，对经典Schur-Horn定理进行适应性重构，以刻画对角线的条件。
• 使用从$II_1$因子$\mathcal{M}$到其极大阿贝尔子代数$\mathcal{A}$的保迹条件期望$E: \mathcal{M} \to \mathcal{A}$。
• 应用算子的凸不等式：对任意连续凸函数$f$，有$f(E(A)) \leq E(f(A))$对所有自伴$A \in \mathcal{M}$成立。
• 通过涉及$\tau(f(E(A))) \leq \tau(f(A))$的积分不等式，建立$B = E(A)$的谱分布$m_B$被$A$的谱分布$m_A$所控制。
• 利用Hardy-Littlewood-Pólya不等式，证明控制关系与凸函数不等式之间的等价性。
• 证明$\mathcal{M}$中酉轨道$\mathcal{O}_A$的对角线集合包含于$\mathcal{A}$中满足$m_B \preceq m_A$的自伴算子集合中。

实验结果

研究问题

• RQ1 Schur-Horn定理能否推广至无限维希尔伯特空间上的自伴迹类算子？
• RQ2 在$II_1$因子的背景下，Schur-Horn不等式的适当无限维类比是什么？
• RQ3 $II_1$因子中自伴算子的酉轨道的对角线集合是否恰好等于在极大阿贝尔子代数中谱分布被原始算子控制的自伴算子集合？
• RQ4 算子上的凸函数不等式如何与有限因子中的谱控制相关联？
• RQ5 保迹条件期望在刻画$II_1$因子中自伴算子对角线的特征中起什么作用？

主要发现

• 在无限维希尔伯特空间上，自伴迹类算子的对角线由一组线性不等式系统刻画，其形式与有限维情形下的Schur-Horn定理类似。
• 对于具有极大阿贝尔子代数$\mathcal{A}$的$II_1$因子$\mathcal{M}$及保迹条件期望$E: \mathcal{M} \to \mathcal{A}$，对任意自伴$A \in \mathcal{M}$，有$E(A)$的谱分布被$A$的谱分布所控制。
• $\tau(f(E(A))) \leq \tau(f(A))$对所有定义在$A$谱上的连续凸函数$f$成立，这意味着$m_{E(A)} \preceq m_A$。
• $\mathcal{O}_A$的对角线集合包含于满足$m_B \preceq m_A$的自伴算子$B \in \mathcal{A}$的集合中，从而提供了一个必要条件。
• 本文识别出$II_1$因子中Horn定理的自然推广，但尚未证明包含关系$E(\mathcal{O}_A) \supseteq \{ B \in \mathcal{A} \mid m_B \preceq m_A \}$是否成立。
• 作者通过聚焦于对角线本身而非其在$\ell^\infty$-范数下的闭包，将其方法与Neumann的工作区分开来，从而保留了更精细的结构。