[論文レビュー] Refinements of spectral resolutions and modelling of operators in II$_1$ factors

Pedro Massey|ArXiv.org|May 2, 2006

Spectral Theory in Mathematical Physics参考文献 10被引用数 3

ひとこと要約

本稿では、II$_1$因子におけるスペクトル分解の拡散的精錬を導入し、最大に不規則なスペクトル分解におけるボレル関数計算を用いた正規作用素のモデル化を可能にする。主な貢献は、これらの精錬を用いたスペクトル順序および部分マジョライゼーションの特徴付けであり、これにより新たな不等式が得られるとともに、有限因子におけるユニタリ軌道およびシュール型定理に関する既知の結果の別証明が得られる。

ABSTRACT

We study refinements between spectral resolutions in an arbitrary II$_1$ factor $\M$ and obtain diffuse (maximal) refinements of spectral resolutions. We construct models of operators with respect to diffuse spectral resolutions. As an application we obtain new characterizations of sub-majorization and spectral preorder between positive operators in $\M$ and new versions of some known inequalities involving these preorders.

研究の動機と目的

• II$_1$因子におけるスペクトル分解の拡散的精錬の体系的取り扱いを展開すること。
• 最大で拡散的なスペクトル分解を用いて正規作用素のモデルを構成すること。
• これらの精錬を用いてスペクトル順序および部分マジョライゼーションを特徴付けること。
• ユニタリ軌道および有限因子におけるシュール型不等式に関する既知の結果の別証明を提供すること。
• 非有界可測作用素や一般の半有限因子への応用を想定した枠組みの拡張すること。

提案手法

• II$_1$因子における有界右スペクトル分解（brsr）の間の順序関係として「精錬」と呼ばれる順序を導入する。
• 強作用素位相収束を用いて、与えられたスペクトル分解の最大の拡散的精錬を構成する。
• 任意の正規作用素が、$a'$ のボレル関数計算と近似的にユニタリ同値であるような、最大のスペクトル不規則性を持つモデル作用素 $a'$ を定義する。
• スペクトル分布とトレースの性質を用いて、$a$ と $b$ のスペクトル測度の関係を条件 $\lambda E_\lambda \leq E_\lambda b E_\lambda$ によって関連付ける。
• この構成を用いて、集合 $\{c: 0 \leq c \leq d \in \overline{\mathcal{U}_{\mathcal{M}}(a)}\}$ および $\{c: 0 \leq c \leq d \in \overline{\mathrm{conv}(\mathcal{U}_{\mathcal{M}}(a))}\}$ をスペクトルデータによって特徴付ける。
• 定理4.6を活用して、既知の不等式をスペクトル優位性および部分マジョライゼーションの観点から再導出し、再解釈する。

実験結果

リサーチクエスチョン

• RQ1 II$_1$因子におけるスペクトル分解は、スペクトルトレースデータを保存したまま最大の不規則性を達成するようにどのように精錬可能か？
• RQ2 スペクトル分解にどのような条件を課えると、任意の正規作用素がそれのボレル関数計算と近似的にユニタリ同値であるようになるか？
• RQ3 スペクトル順序および部分マジョライゼーションは、スペクトル分解の拡散的精錬を用いて完全に特徴付け可能か？
• RQ4 これらの精錬は、ユニタリ軌道およびシュール型不等式に関する既知の結果の別証明をどのように提供するか？
• RQ5 非有界可測作用素や一般の半有限因子への応用は、どのように拡張可能か？

主な発見

• II$_1$因子内には、スペクトル分布を保存し、最大の不規則性を達成するスペクトル分解の拡散的精錬が存在する。
• II$_1$因子内の任意の正規作用素 $a$ は、最大の拡散的スペクトル分解を持つ正規作用素 $a'$ のボレル関数計算としてモデル化可能である。
• 作用素 $b$ が $a$ をスペクトル的に優位に支配することは、任意の $\lambda \geq 0$ に対して $\tau(E_\lambda) = \tau(P^a(\lambda,\infty))$ かつ $\lambda E_\lambda \leq E_\lambda b E_\lambda$ を満たす brsr $\{E_\lambda\}$ の存在と同値である。
• 本結果により、集合 $\{c: 0 \leq c \leq d \in \overline{\mathcal{U}_{\mathcal{M}}(a)}\}$ および $\{c: 0 \leq c \leq d \in \overline{\mathrm{conv}(\mathcal{U}_{\mathcal{M}}(a))}\}$ がスペクトルデータを用いて新たな形で特徴付けられる。
• この枠組みにより、ヤング型およびジェンセン型不等式を含む既知の不等式が、II$_1$因子の文脈でスペクトル優位性および部分マジョライゼーションの観点から別証明が得られる。