[論文レビュー] 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

ひとこと要約

本調査は、作用素論における算術平均的理想、トレース、および主要化の深い関係を確立し、古典的結果を一般化する無限大のシュール＝ホーン主要化定理を導入する。算術平均閉理想は、部分確率的およびブロック確率的行列による不変性によって特徴づけられ、ソフトエッジ付きまたはソフト補完付きの理想がこのような不変性を満たすならば、算術平均閉であることが示され、構造的性質とトレース理論的性質が統合される。

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-閉理想を特徴づけること。
• シュール＝ホーン主要化定理をトレースクラスにおける無限列および理想へ拡張すること。
• 交換子空間の余次元および理想に支持されるトレースの数を明確にすること。
• ソフト理想の概念を導入し、そのキャンセル性および閉包性質における役割を分析すること。

提案手法

• 理想構造および交換子空間を分析するために、算術平均理想および算術平均無限大理想を導入する。
• 理想安定性およびトレース支持を研究するために、am-閉包およびam-内部作用素を定義する。
• 部分確率的および直交確率的行列を用いて無限列への主要化理論を適用し、シュール＝ホーン定理を一般化する。
• 作用素論に広く存在するが、ここでは形式的に体系化された「ソフト理想」の概念を用いて、証明を簡略化し、キャンセル性質を分析する。
• 対角マキシマル可換可換部分代数（masa）への条件付き期待値 $ E $ を用いて、$ E(I) \subset I $ を通じて am-閉理想を特徴づける。
• 確率的行列および等長写像を用いて、$ \xi \in \Sigma(I^{-\infty}) $ の同値条件を確立し、スペクトル主要化と理想への属する条件を結びつける。

実験結果

リサーチクエスチョン

• RQ1 理想 $I$ における交換子空間 $[I, B(H)]$ の余次元が 1 または $\infty$ となるのはいつか？
• RQ2 どのような条件下で理想 $I$ が am-閉であり、部分確率的行列による不変性とどのように関係するか？
• RQ3 ソフト理想は作用素理想におけるキャンセル性質およびトレース支持にどのように影響するか？
• RQ4 $\Sigma(I^{-\infty})$ の正確な特徴づけは、無限大主要化および確率的行列を用いてどのように与えられるか？
• RQ5 ある列の算術平均無限大が、理想への属するか、または閉包を決定するのに十分であるのはいつか？

主な発見

• 理想 $I$ における交換子空間 $[I, B(H)]$ の余次元は、1 または $\infty$ であり、$\omega \notin \Sigma(I)$ のとき、かつそのときに限り、$I$ が am-$\infty$-安定であるとき余次元が 1 である。
• 理想 $I$ が am-閉であるための必要十分条件は、$E(I) \subset I$ である。ここで $E$ は対角マキシマル可換可換部分代数への条件付き期待値である。
• もし $\Sigma(I)$ が無限大置換行列の凸結合のクラス $\mathscr{C}$ に対して不変であれば、$I \supset \mathscr{L}_1$ であり、$\Sigma(I)$ はブロック部分確率的行列に対して不変である。
• ソフトエッジ付きまたはソフト補完付き理想の場合、$\Sigma(I)$ が $\mathscr{C}$ に対して不変であれば、$I$ は am-閉である。
• 無限大シュール＝ホーン定理は、$\xi \in \Sigma(I^{-\infty})$ を、ある $\eta \in \Sigma(I)$ に対して $\xi \prec_\infty \eta$ であること、またはあるブロック直交確率的行列 $Q$ に対して $Q\xi \in \Sigma(I)$ であることによって特徴づける。
• ある直交行列の直和 $U$ に対して $E(U \operatorname{diag} \xi U^*) \in I$ であるという同値条件は、$\xi \in \Sigma(I^{-\infty})$ を特徴づけ、シュール＝ホーン枠組みを無限次元的理想へ拡張する。