Variational formulae for entropy-like functionals for states in von Neumann algebras

技術的要約：半有限フォン・ノイマン環におけるエントロピー様汎関数の変分公式

問題提起
本論文は、半有限フォン・ノイマン環（タイプ $II_1$ および $II_\infty$）上の正規状態に対するエントロピー様汎関数の定式化を扱う。標準的なタイプ I の設定（有限次元または $B(H)$）において、エントロピーは密度行列 $\rho$ とトレース公式 $S(\rho) = -\text{tr}(\rho \log \rho)$ を通じて定義される。しかし、正規で忠実かつ半有限なトレース $\tau$ を備えた半有限環においては、密度行列の対応物は、代数に随伴する非有界な正自己共役作用素 $h_\omega$ であり、これは非可換 $L^1$ 空間 $L^1(M, \tau)$ に属する。

主要な課題は、$f$ が凸関数または凹関数であるとき、汎関数 $\tau(f(h))$ の変分公式を確立することである。具体的には、セーガル・エントロピー（$f(t) = t \log t$）およびレニー・エントロピー（$f(t) = t^\alpha$）が対象となる。有限の代数における相対エントロピーについては変分的な特徴付けが存在するが、作用素が非有界であり、かつトレースが有限ではない半有限の場合へとこれらを拡張するには、新たな解析的手法と、定義域の慎重な取り扱いが必要となる。

手法
著者らは、非可換積分論、スペクトル解析、および凸解析の組み合わせを用いている。核となる手法は以下の通りである：

1. 作用素の随伴性と $L^1$ 空間： 本フレームワークは、正規状態 $\omega$ と密度作用素 $D_\omega \in L^1(M, \tau)_+$ との対応関係を利用している。汎関数はトレース $\tau(f(D_\omega))$ を通じて定義される。
2. イェンセンの不等式による変分原理： 著者らは、作用素凸／凹関数に対するイェンセンの不等式を活用している。具体的には、トレースを保存する正の単単位写像 $\Phi$ に対して $\tau(f(\Phi(h))) \leq \tau(\Phi(f(h)))$ という、より弱い形式を利用している。
3. アーベル部分環と条件付き期待値： 中心的なテクニックは、問題を $M$ のアーベルなフォン・ノイマン部分環 $A \subset M$ へと制限することである。条件付き期待値 $E_A: M \to A$（$L^1$ への拡張を含む）を用いることで、非可換な問題をスペクトル測量を用いる可換な問題へと帰着させている。
4. スペクトル分解と測度論： 証明は、密度作用素 $D_\omega = \int_0^\infty t \, e(dt)$ のスペクトル分解に大きく依存している。著者らは、スペクトル射影や可算な単位分解を用いて作用素 $h$ を近似するための、特定のアーベル部分環を構成している。
5. 近似議論： セーガル・エントロピーについては、密度が非自明な核を持つ場合や無限のトレース支持を持つ場合でも、変分公式における上限が任意に近似可能であることを示すために、特定の作用素 $h$（スペクトル部分と密度の核上の射影を組み合わせたもの）を構成している。

主要な貢献および結果

1. セーガル・エントロピーの変分公式（定理 1 & 2）：
   半有限環 $M$ 上の有限なセーガル・エントロピーを持つ正規状態 $\omega$ に対して、以下を確立している：
   $$H(\omega) = \sup_{h^*=h \in M} \left\{ \tau(D_\omega h) - \log \tau(e^h) : D_\omega h, e^h \in L^1(M, \tau) \right\}$$
   これは、既知の有限代数の結果 $H(\omega) = \sup_{h \in M_h} (\omega(h) - \log \tau(e^h))$ を半有限の場合へと一般化したものであり、$\omega$ が忠実である必要性を排除し、上限の範囲を非有界な随伴作用素へと拡大している。

2. 一般的な凸／凹関数に対する変分公式（命題 3 & 4、定理 5 & 6）：
   連続な凸関数 $f \in \mathcal{mathcal{J}}$（$t \log t$ や $t^\alpha$ を含むクラス）および $h \in L^1(M, \tau)_+$ に対して、以下を証明している：
   $$\tau(f(h)) = \sup \{ \tau(f(E_A h)) : A \text{ は } \tau|_A \text{ が半有限であるアーベル部分環} \}$$
   逆に、凹関数の場合は、等号は下限（infimum）として成立する。この結果は、非可換な汎関数 $\tau(f(h))$ を、その可換な制限へと直接結びつけている。

3. 離散的変分特徴付け（定理 5 & 6）：
   アーベル部分環による上限／下限は、可算な単位分解 $\{p_i\}$ による離散最適化へとさらに精緻化される：
   $$\tau(f(h)) = \sup_{\{p_i\}} \sum_{i=1}^\infty f\left( \frac{\tau(p_i h)}{\tau(p_i)} \right) \tau(p_i)$$
   ここで、和は $\sum p_i = 1$ かつ $\tau(p_i) < \infty$ を満たす射影 $p_i$ について取られる。

4. エントロピーへの具体的な適用（系 7 & 8）：
   特定の関数を一般定理に適用することで、以下の変分公式が得られる：

   • セーガル・エントロピー： アーベル部分環上の古典的エントロピーの上限として表現される。
   • レニー・エントロピー ($R_\alpha$)： 状態の確率とトレースの重みのべき乗を含む和の、下限（$\alpha < 1$ の場合）または上限（$\alpha > 1$ の場合）として表現される。

5. 構造的解釈（定理 9）：
   本論文は、状態 $\omega$ のセーガル・エントロピーが、そのすべてのアーベル部分環 $A$（ただし $\tau|_A$ は半有限）への制限のエントロピーの上限であることを示している。これは、「量子」エントロピーが、そのアーベルな射影の「古典的」エントロピーによって完全に決定されることを強調している。

意義と主張
著者らは、これらの結果が相対エントロピーおよびセーガル・エントロピーの既知の変分公式を、有限から半有限のフォン・ノイマン環へと一般化するものであると主張している。本研究は、タイプ II の代数が基礎となる量子場理論やブラックホール物理学に関連する設定において、エントロピーの数学的基盤を厳密に提供するものである。

強調されている主要な概念的貢献は、量子エントロピーとアーベル部分環の構造との間の接続である。本論文は、半有限環における状態のエントロピーは、そのアーベル部分環への制限を通じて完全に解釈できると断じている。これは、無限次元系における量子情報の「古典的」な内容に関する新しい視点を提供するものである。著者らは新たな実験的応用を提案しているのではなく、非タイプ I 設定における量子統計力学の代数的定式化における、これらの一般化の必要性を強調している。