The two-sided Bogoliubov inequality in von Neumann algebras conceptualizes the free energy--quantum correlations link

技術的要約：フォン・ノイマン代数における両側ボゴリューボフ不等式

問題提起
本論文は、量子場理論によって記述されるような、無限の自由度を持つ系における量子相関（具体的には量子もつれ）を定量化するという課題に取り組んでいる。標準的な量子もつれの尺度（相対エントロピーなど）は明確に定義されているが、それらを直接計算することはしばしば計算量的に困難である。著者らは、量子力学的な両側ボゴリューボフ不等式を一般化することにより、熱力学的基準を確立することを目指している。この不等式は、相互作用する系を非相互作用のサブシステムへと分離させる際の自由エネルギーのコストと、相互作用エネルギーの期待値との関係を結びつけるものである。数学的な障壁は、この不等式を有限次元の量子力学（ヒルベルト空間上の有界作用素）から任意のフォン・ノイマン代数の設定へと拡張することであり、これには、非有界な摂動の取り扱い、および一般的な代数的量子場理論におけるグローバルなハミルトニアンの不在への対処が必要となる。

手法
著者らは、不等式を一般化するために、作用素代数とモジュラー理論の枠組みを採用している。その手法は、以下の3つの主要な柱に基づいている：

1. モジュラー理論と標準形式： 本研究は、トモタ・タケサキのモジュラー理論とフォン・ノイマン代数の標準形式表現 $(M, H, J, P)$ を利用している。これにより、一般的な設定におけるリウヴィリアン（ハミルトニアンの代替）およびKMS状態（ギブス状態の代替）の定義が可能となる。
2. 非有界摂動論： 有界な摂動に限定されていた先行研究とは異なり、本論文は、KMS状態の非有界摂動に関するDereziński, Jakšić, および Pillet [22] の枠組みを採用し、拡張している。これには、代数 $M$ に付随する自己共役作用素 $V$ を通じた摂動されたダイナミクスおよび状態の定義が含まれるが、これには自己共役性や摂動を含む特定のノルムに関する具体的な技術的前提条件（A1–A4）が課されている。
3. 相対エントロピーと変分原理： 著者らは、Araki-Uhlmann相対エントロピー $S_M(\psi, \phi)$ を利用し、Petz [49] によって有界な摂動に対して確立された変分原理（ギブスおよびドンスカー・ヴァーデンブルクの原理）を、非有界な設定へと拡張している。

主要な貢献と結果

• 両側ボゴリューボフ不等式の一般化：
  主要な結果は定理5.4であり、これは任意のフォン・ノイマン代数に対する両側ボゴリューボフ不等式を確立するものである。忠実なKMS状態 $\omega$ と、特定の条件を満たす摂動 $U$ に対して、相対自由エネルギー $F(\omega_U, \omega)$ は、非摂動状態および摂動された状態における摂動の期待値によって抑えられる：
  $$\omega_U(U) \leq F(\omega_U, \omega) \leq \omega(U)$$
  ここで、$F(\omega_U, \omega)$ は量子力学の場合と同様に $\omega_U(U) + \beta^{-1}S_M(\omega_U, \omega)$ として定義される。著者らは、この不等式が $M = B(H)$ のときに標準的な量子力学の形式（論文中の式6）に帰着することを証明し、それによって一般化の妥当性を検証している。

• 相対自由エネルギーの変分境界：
  本論文は、非有界な設定において既存の有界摂動原理を拡張し、相対自由エネルギーの変分表現（定理5.15）を導出している。これらの境界は以下のように与えられる：
  $$\inf_{\psi} \left( \psi(U) + \beta^{-1}S_M(\psi, \omega) \right) = F(\omega_U, \omega) = \sup_{V} \left( \omega_U(U - V) - \beta^{-1}\log \|\Omega^{-\beta V}\|^2 \right)$$
  ここで、下限（infimum）は正規状態に関して、上限（supremum）は特定の自己共役作用素の集合に関して取られる。これは、状態および摂動に関して境界を最適化するための枠組みを提供する。

• 摂動論の結果の拡張：
  著者らは、KMS状態の非有界摂動に関する理論に対して、いくつかの技術的な拡張を提供している。特に、非有界な摂動を含む相対モジュラー作用素に関する新しい恒等式（補題4.17, 4.19）を確立し、非有界な摂動に対するギブス変分原理の一種を証明している（命題5.11）。

• ボゾン・スカラー場への適用：
  具体的な例として、著者らはワイル・ユニタリメントリーによって摂動された自由ボゾン場にこの不等式を適用している。彼らは、この内部摂動において相対自由エネルギーが消失することを示し、不等式が相対エントロピーの正値性に崩壊することを示した。これにより、結果をシンプレクティック形式や幾何学的設定（例：地平線のエントロピー）における幾何学的解釈へと結びつけている。

意義と主張
本論文は、「適切な数学的構造を伴った、熱力学を通じて量子もつれを測定できる可能性に対する概念的な正当化」を提供すると主張している。フォン・ノイマン代数への両側ボゴリューボフ不等式の一般化を通じて、著者らは、分離の自由エネルギーと相関の定量化を結びつける厳密な数学的ツールを提供している。

著者らは、この不等式が量子もつれの熱力学的推定値（具体的には、相互作用する系と非相互作用の部分との間の自由エネルギーの差）を提供するものであることを強調しつつも、現在の研究は数学的な定式化に焦点を当てていることを明示している。彼らは、具体的な関心対象となる特定の系への具体的な適用は今後の課題として残されていると述べている。その意義は、情報理論と統計力学を無限次元の量子系の文脈で橋渡しすることにあり、相対エントロピーの直接計算を回避する、熱力学に基づいた量子もつれの定量化のための代替的な手法を提供する可能性がある。論文は、数学的枠組みは確立されているものの、相対論的共変性の問題により、相対論的量子場理論における物理的な解釈には慎重な取り扱いが必要であることを指摘し、控えめな姿勢を維持している。