[論文レビュー] Topics in quantum statistical mechanics and operator algebras

David Ruelle|ArXiv.org|Jul 11, 2001

Advanced Operator Algebra Research参考文献 4被引用数 12

ひとこと要約

本稿は、量子スピン系におけるエントロピー生成を研究するため、演算子代数を用いた厳密な枠組みを構築する。特に、非平衡定常状態（NESS）におけるエントロピー生成率が非負であることを示し、KMS状態と時間発展演算子の無限小生成子を介して、有限次元相対エントロピー力学の無限次元系への一般化を達成する。

ABSTRACT

The language of operator algebras is of great help for the formulation of questions and answers in quantum statistical mechanics. In Chapter 1 we present a minimal mathematical introduction to operator algebras, with physical applications in mind. In Chapter 2 we study some questions related to the quantum statistical mechanics of spin systems, with particular attention to the time evolution of infinite systems. The basic reference for these two chapters is Bratteli-Robinson: Operator algebras and quantum statistical mechanics I, II. In Chapter 3 we discuss the nonequilibrium statistical mechanics of quantum spin systems, as it is currently being developped.

研究の動機と目的

• 演算子代数の言語を用いて非平衡量子統計力学を定式化・分析すること。
• 無限次元量子系におけるエントロピー生成の定義と分析の一般枠組みを確立すること。
• 弱い、物理的に妥当な仮定の下で、非平衡定常状態（NESS）におけるエントロピー生成の非負性を証明すること。
• 有限次元相対エントロピー力学を、無限次元フォンノイマン代数へ一般化すること。
• NESSが一意に定まる条件と、摂動に対する線形応答の挙動を明らかにすること。

提案手法

• 量子系を記述するために、特にフォンノイマン代数とKMS状態を用いた演算子代数の言語を用いる。
• ヒルベルト空間における正規作用素の関数を定義するために、スペクトル定理と射影値測度を適用する。
• KMS状態σに付随するモジュラー自己同型群βtの無限小生成子δβを導入する。
• 状態ρと相互作用Vに対して、エントロピー生成率をρ(−δβ(V))として定義する。ここでV = ∑_{X∩S≠∅} Φ(X)である。
• アラキのフォンノイマン代数における相対エントロピーを用いて、∫₀ᵀ (σ∘αᵗ)(−δβ(V)) dt = −Ent(σ∘αᵀ|σ) ≥ 0 という恒等式を確立する。
• ジャクシッチとピレットの枠組みを活用し、境界項の構造を仮定することなく、エントロピー生成の非負性を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子スピン系の非平衡定常状態において、エントロピー生成率が非負となる条件は何か？
• RQ2 有限次元系における相対エントロピー形式的理論を、演算子代数を用いて無限次元量子系へ拡張可能か？
• RQ3 与えられたKMS状態σと相互作用Vに対して、非平衡定常状態（NESS）は一意に定まるか？
• RQ4 NESSは相互作用Vの変化にどのように応答するか？線形応答が成立する条件は何か？
• RQ5 モジュラー自己同型群の無限小生成子δβがエントロピー生成を特徴付ける役割を果たす条件は何か？

主な発見

• エントロピー生成率ρ(−δβ(V))は、任意の非平衡定常状態ρに対して非負である。これは恒等式∫₀ᵀ (σ∘αᵗ)(−δβ(V)) dt = −Ent(σ∘αᵀ|σ) ≥ 0 によって示される。
• 非負性は弱い仮定（A1）–（A3）または（C1）–（C2）の下でも成立し、この枠組みは広範に適用可能である。
• このアプローチはスピン系に限らず、フェルミオン格子模型を含む一般性を持つ。任意のKMS状態σに対して適用可能である。
• この枠組みにより、ジャクシッチとピレットが発表したように、非相互作用フェルミオン模型におけるエントロピー生成の厳密な正値性が証明可能である。
• 境界項B_{aΛ}が特定の恒等式を満たすものと仮定する必要がなく、より一般性が向上する。
• この結果により、量子統計力学におけるエントロピー収支の厳密な基礎が得られ、古典的有限次元結果が無限系へと拡張される。