[論文レビュー] Spectral shift function of higher order

Denis Potapov, Anna Skripka+1 more|arXiv (Cornell University)|Dec 16, 2009

Advanced Operator Algebra Research参考文献 8被引用数 5

ひとこと要約

この論文は、1984年に提唱されたコプリエンコの予想を解決し、$n$-番目のシャテン＝フォン・ノイマンクラス $S^n$ の摂動に対して高次スペクトルシフト関数の存在および絶対連続性を証明する。複数の作用素積分に対する新規な推定式を用いて、著者らはスペクトルシフト関数 $ \eta_n$ が存在し、可積分であり、$ \| \eta_n \|_{L^1} \leq c_n \|V\|_{S^n}^n$ を満たすことを確立する。これは、クリンクの理論とコプリエンコの結果を、半有限なフォン・ノイマン代数の設定において、すべての $n \in \mathbb{N}$ に拡張するものである。

ABSTRACT

This paper resolves affirmatively Koplienko's conjecture of 1984 on existence of higher order spectral shift measures. Moreover, the paper establishes absolute continuity of these measures and, thus, existence of the higher order spectral shift functions $η_n$. We show the higher order spectral shift function is a $L^1$-function and prove an estimate on its $L^1$-norm. Existence and summability of $η_1$ and $η_2$ were established by Krein in 1953 and Koplienko in 1984, respectively, whereas for $n > 2$ the problem was unresolved. Our method is derived from [arXiv:0904.4095]; it also applies to the general semi-finite von Neumann algebra setting of the perturbation theory.

研究の動機と目的

• 高次スペクトルシフト測度の存在に関するコプリエンコの1984年の予想（$n > 2$ の場合）を解決すること。
• これらの測度の絶対連続性を確立し、高次スペクトルシフト関数 $\eta_n$ の存在を証明すること。
• スペクトルシフト関数の理論を一般の半有限なフォン・ノイマン代数の設定に拡張すること。
• トレースイデアルにおける高次摂動を分析するための、複数の作用素積分推定式に基づく新規な手法を提供すること。

提案手法

• 著者らは、$n$-次作用素積分のための新しい推定式を導入し、$n=1$ の場合の既存結果を高次に拡張する。
• 二重作用素積分技術を、フーリエ解析と補間を組み合わせることで、複数の作用素積分のノルムを制御する。
• 作用素値カーネルを含む積分表現を用いた再帰的還元により、$n$-次問題を $(n-1)$-次問題に還元する。
• 関数のクラス $W_n$（$n$-次フーリエ変換が可積分である関数）を用いて、収束性と有界性を保証する主要な推定式を導出する。
• この手法は、半有限なフォン・ノイマン代数における自己共役作用素 $H$ と $V \in \mathcal{L}^n$（$n$-番目のシャテン＝フォン・ノイマン理想）に適用可能である。
• 作用素積分ノルムの一様な境界を用いて、写像 $V \mapsto \tau(\Delta_{n,f}(H,V))$ の連続性を確立する。

実験結果

リサーチクエスチョン

• RQ1 $V \in S^n$ のとき、$n > 2$ に対して高次スペクトルシフト測度 $\nu_n$ は存在するか？
• RQ2 スペクトルシフト関数 $\eta_n$ は絶対連続的である、すなわち密度を有するか？
• RQ3 スペクトルシフト関数 $\eta_n$ は $\|V\|_{S^n}^n$ に対して一様に有界とみなせるか？
• RQ4 スペクトルシフト関数の理論は、一般の半有限なフォン・ノイマン代数の設定に拡張可能か？
• RQ5 $n$-次作用素積分のための鋭い推定式は何か？

主な発見

• すべての $n \in \mathbb{N}$、自己共役作用素 $H$、$V \in \mathcal{L}^n$ に対して、高次スペクトルシフト関数 $\eta_n = \eta_{n,H,V}$ が存在し、$L^1(\mathbb{R})$ に属する。
• スペクトルシフト関数は推定式 $\|\eta_n\|_{L^1} \leq c_n \|V\|_{S^n}^n$ を満たす。ここで $c_n$ は $n$ のみに依存する定数である。
• 測度 $\nu_n$ は密度 $\eta_n$ を持つ絶対連続的であり、これによりコプリエンコの予想は肯定的に解決された。
• この証明は、$n$-次作用素積分のための新しい推定式に依拠しており、第一および第二の順序の状況を超えて理論を拡張する。
• この手法は、一般の半有限なフォン・ノイマン代数の設定に適用可能であり、$\eta_1$ および $\eta_2$ の既存の結果を一般化する。
• 写像 $V \mapsto \tau(\Delta_{n,f}(H,V))$ は $\mathcal{L}^n$-ノルムにおいて連続であり、スペクトルシフトが微小摂動に対して安定であることを保証する。