Approach to Equilibrium in Translation-Invariant Quantum Systems: Structural Results II

技術要約：並進不変な量子系における平衡への接近：構造的結果 II

問題提起
本論文は、並進不変な格子量子スピン系における平衡への接近に関する構造的枠組みの構築を継続するものである。1960年代および1970年代に確立された運動論的な熱力学形式（Ruelle, Araki, Lanford-Robinson）に基づき、著者らは、一般的な構造的メカニズム（保存則、局所性、変分原理）を、モデル固有の大局的なダイナミクスから分離することを目指している。中心となる問題は、ダイナミカル定常状態（DSS）を、初期状態 $\omega$ の時間平均発展の $w^*$-極限点として定義し、これらの状態がどのような条件下で物理的な平衡状態に対応するかを決定することである。具体的には、初期状態の保存量が漸近状態をどのように制約するか、あるいは、エネルギー保存のみによって決定されるギブス状態へと熱化するのか、それとも追加の運動定数が熱化を妨げるのかという問題を扱う。

手法および枠組み
著者らは、格子 $\mathbb{Z}^d$ 上の量子スピン $C^*$ 代数 $\mathcal{A}$ の設定において研究を行う。その手法は、以下の要素間の厳密な相互作用に基づいている：

1. 熱力学形式： 特定のエネルギー、圧力、および平衡状態をギブス変分原理を通じて定義するために、相互作用の空間（$B_b, B_s, B_r, B_{\oslash r}, B_f$）を利用する。
2. 力学系理論： 相互作用 $\Phi$ によって生成される $C^*$ ダイナミクス $\tau_\Phi$ を分析する。研究の焦点は、時間平均発展 $\nu_T = \frac{1}{T}\int_0^T \nu \circ \tau_\Phi^t dt$ とその極限点 $\Sigma^+(\omega, \Phi)$ にある。
3. 保存則： ダイナミクスに対して不変な観測量（または相互作用のクラス）として定義される、運動定数の集合 $C(\Phi)$ を調査する。著者らは、「物理的な」運動定数（規則的な熱力学的記述を許容するもの）と、一般的な運動定数を区別する。
4. 変分原理： 平衡への接近を特徴付けるために、特定エントロピー $s(\nu)$ および特定相対エントロピー $s(\nu|\mu)$ を用いる。

重要な技術的ツールは、(SD) 性質（Surface-Dynamics）であり、これは、一対の相互作用 $(\Phi, \Psi)$ に対して、輸送されたハミルトニアン $H(\Psi|\Phi, t)$ の表面エネルギーが、van Hove 極限において消失することを保証し、ダイナミクスが相互作用の構造と可換であることを可能にする。

主要な貢献および結果

1. ダイナミカル定常状態（DSS）と平衡の記述：
   本論文は、もし DSS $\omega^+$ が、十分に規則的な相互作用 $\Psi^+$ の平衡状態として熱力学的記述を認める場合（すなわち $\omega^+ \in \text{Seq}(\Psi^+)$）、$\Psi^+$ の特定エネルギーが駆動ダイナミクス $\tau_\Phi$ のための運動定数でなければならないことを確立している。この結果は、二つの異なるメカニズムを通じて導かれる：

   • ダイナミカル表面エネルギー： (SD) 性質の下で、もし $\omega^+$ が $\Psi^+$ に関する KMS 状態であれば、$\Psi^+$ は $\tau_\Phi$ と可換であり、したがって $E(\Psi^+) \in C(\Phi)$ となる。
   • 特定相対エントロピーの保存： もし対 $(\omega^+, \Psi^+)$ が規則的であり、かつ特定相対エントロピーが軌道に沿って保存されるならば、$E(\Psi^+) \in C(\Phi)$ となる。

2. ダイナミカル・ギブス変分原理：
   著者らは、DSS の変分的な特徴付けを定式化している。彼らは、物理的な平衡状態の集合 $S_{\text{phys}}(\Phi)$ を、その特定エネルギーが物理的な運動定数であるような相互作用の平衡状態の和集合として定義する。

   • 定理 1.3： もし DSS $\omega^+$ が $S_{\text{phys}}(\Phi)$ に属する場合、それは $S_{\text{phys}}(\Phi)$ 上の特定相対エントロピー $s(\omega|\nu)$ の一意な最小化因子である。
   • この相対エントロピーの最小値は、特定エントロピーの増加量 $s(\omega^+) - s(\omega)$ に等しい。これは情報理論的な解釈を提供する：平衡状態とは、漸近的な仮説検定において初期状態と最も区別がつきにくい状態である。

3. 熱平衡への接近：
   本論文は、熱化（エネルギー保存によって温度が固定されたギブス状態への接近）の条件を分離している。

   • 定理 の 1.5： 有限範囲相互作用（$B_f$）の場合、および有限範囲の局所性の回復（すべての DSS がある有限範囲相互作用の平衡状態であること）が成り立つ場合、もし特定エネルギーが唯一の有限範囲の運動定数であれば、すべての DSS は初期エネルギーによって決定される温度における熱平衡状態となる。
   • 定理 1.6： 追加の運動定数が存在する場合には、熱化のためには、初期状態がすべての物理的な運動定数に関して熱状態と一致していること（ATE-admissibility）が必要である。

4. 一次元の結果：
   $d=1$ かつ有限範囲相互作用の場合、結果は完全である。定理 1.4 は、有限範囲の局所性の回復の下で、DSS は一意であり、物理的セクターに属し、ダイナミカル・ギブス変分原理を満たし、かつ厳密なエントロピー増大（$s(\omega^+) > s(\omega)$）を示すことを確立している。

予想および未解決問題
著者らは、いくつかの結果を、相互作用の規則性および保存則の妥当性に関する予想に依存するものとして明示的に位置づけている：

• 予想-(SD)： 自然な物理的クラス $B_{sd}$ におけるいかなる相互作用のペアも (SD) 性質を持つ。
• 予想-(R)： いかなる $\Phi, \Psi \in B_{sd}$ に対しても、そのペアは規則的である（特定相対エントロピーが存在し、ギブス関係を満たす）。
• 予想-(SE)： 規則的なペアに対して、特定相対エントロピーは状態の軌道に沿って保存される。
• 予想-(R+SE)： これらを組み合わせたものは、構造的理論が、DSS が規則的な熱力学的記述を認める場合に常に適用可能であることを意味する。

これらの予想は、現在は特定の領域（例：指数関数的に減衰する相互作用、または $d=1$ における有限範囲相互作用）においてのみ証明されており、一般的な理論においては未解決の問題として残されている。

意義および主張
本論文は、平衡統計力学の運動論的な理論に対する「構造的な対応物」を提供すると主張している。その主な意義は以下の通りである：

1. 構造とダイナミクスの分離： 運動定数と局所性が課す構造的な制約と、システムが実際に局所的な熱力学的記述へと緩和するかどうか（局所性の回復）という、モデル依存の困難な問題とを分離している。
2. 変分的な特徴付け： ダイナミカル・ギブス変分原理を確立し、平衡状態が初期状態からの相対エントロピーを最小化することを示した。これは、平衡状態が自由エネルギーを最小化することと同様である。
3. 不可逆性のシグネチャ： 不可逆性の徴候を厳密に特定している：初期状態が不変でない限り、特定エントロピーの厳密な増大、および初期相互作用のポテンシャルに対する特定エネルギーの増大である。

著者らは、構造的な枠組み自体は一般的であるが、「局所性の回復」（すなわち、DSS が実際に平衡記述を認めるかどうか）の検証は、XYZ鎖のような特定のモデルに対処する随伴論文におけるモデル固有の課題であることを強調している。本研究は新しい実験セットアップを提案するものではなく、量子多体系における熱化を理解するための厳密な数学的基礎を提供するものである。