作用素環と量子統計力学

数学博士・研究無料 0 章有料 18 章

C* 環と状態・GNS 構成から、von Neumann 環、因子の型、冨田–竹崎理論、KMS 状態、CCR/CAR 代数と準自由状態、表現の準同値、

想定読者: 研究者・博士課程以上（数理物理）

前提テーマ:関数解析と作用素論、フォック空間と第二量子化、位相空間論

このテーマの 100 本ノック（100 問）

目次

1. 第 1 章C* 代数の基礎とゲルファント双対性本C*-代数の公理からスペクトルの非空コンパクト性とスペクトル半径公式を証明し、可換 C*-代数が局所コンパクト空間の関数環に限ることを示す。無理数回転の軌道空間と正準交換関係を例に、非可換な C*-代数を空間とみなす理由を述べる。
2. 第 2 章C* 環の状態と GNS 構成本C* 環の状態を正値・規格化線形汎関数として定義し、GNS 構成とその一意性を証明する。純粋状態と既約表現の同値を Radon–Nikodym 型の補題から導き、密度行列・確率測度・Fock 真空の例で確かめる。
3. 第 3 章von Neumann 環と二重可換子定理本弱・強・σ弱位相を整理し、von Neumann の二重可換子定理を証明する。Kaplansky の稠密性定理、射影の豊富さ、正規状態と密度作用素、中心と因子を述べ、L∞ 環・群 von Neumann 環・無限テンソル積の例で確かめる。
4. 第 4 章因子の型分類本von Neumann 環の射影を Murray–von Neumann 同値で比較し、有限・無限射影から I・II₁・II∞・III 型の因子を定義する。トレースとの関係、Powers 因子と自由群因子の例、場の量子論の局所代数が III₁ 型であることの意味を扱う。
5. 第 5 章冨田–竹崎理論とモジュラー群本巡回分離ベクトルから冨田作用素 S とその極分解 S=JΔ^{1/2} を定義し、JMJ=M′ と Δ^{it}MΔ^{-it}=M を有限次元で証明する。モジュラー群に関する KMS 条件、Bisognano–Wichmann の定理、相対モジュラー作用素と Araki の相対エントロピーまでを扱う。
6. 第 6 章KMS 状態と熱平衡本C* 力学系の β-KMS 条件を帯領域上の解析関数で定義し、有限次元では Gibbs 状態と同値であることを証明する。時間不変性、KMS 状態の凸構造と因子状態、相転移による非一意性、自由ボース気体と凝縮、受動性と熱力学第 2 法則を扱う。
7. 第 7 章CCR・CAR 代数と準自由状態本Weyl 代数と CAR 代数を C* 環として定義し、CAR 代数の一意性と単純性を証明する。ゲージ不変な準自由状態の存在条件を Araki–Woods・Araki–Wyss 表現の構成で示し、Fock 状態・温度状態・凝縮状態の表現が互いに素であることを巨視的観測量で証明する。
8. 第 8 章表現の準同値と準自由状態の判定本表現と状態の準同値を正規状態の集合で特徴づけ、Kakutani の無限直積測度の定理、無限テンソル積状態の判定、準自由状態の Hilbert–Schmidt 条件（Shale・Powers–Størmer・Araki–Yamagami）を述べ、van Hove 模型の赤外問題を読み直す。
9. 第 9 章量子スピン系：準局所代数・相互作用・動力学本格子上の量子スピン系の準局所代数（UHF 環）と相互作用を定義し、指数減衰する相互作用で熱力学極限の時間発展が存在することを級数展開で証明する。無限体積の基底状態と KMS 状態、平均エネルギーと変分原理、Heisenberg・AKLT・横磁場 Ising 模型を扱う。
10. 第 10 章Lieb–Robinson 評価とギャップ・相関の減衰本量子スピン系の時間発展に有限の伝播速度があることを示す Lieb–Robinson 評価を Nachtergaele–Sims の方法で証明し、スペクトルギャップから基底状態の相関の指数減衰を導く。Lieb–Schultz–Mattis の定理、Haldane 予想、AKLT 模型と Knabe の有限サイズ判定も扱う。
11. 第 11 章Liouvillean と熱平衡への回帰本W* 力学系の標準形で時間発展を実装する Liouvillean を定義し、小さな系と Araki–Woods 熱浴の結合系で熱平衡への回帰をスペクトル条件に帰着する。Fermi 黄金律による緩和率、複素変形と Mourre 理論、Araki の KMS 状態の摂動論を扱う。
12. 第 12 章C* 代数の K 理論本コンパクト空間上のベクトル束の分類から出発し、C*-代数の K₀ 群と K₁ 群を射影のマレー–フォン・ノイマン同値とユニタリ群の連結成分として定義する。六項完全系列とボット周期性を述べ、トープリッツ拡大の指数計算まで実行する。
13. 第 13 章スペクトル三つ組と非可換トーラス本スペクトル三つ組を定義し、スピン多様体のディラック作用素と距離公式・ディクシエ跡・再構成定理を扱う。非可換トーラスの単純性と一意トレース、スペクトル三つ組、K 群のトレース像 Z+θZ、ギャップラベル定理までを証明する。
14. 第 14 章状態の凸分解本コンパクト凸集合の端点と重心から Milman の逆定理と Choquet の表現定理を証明し、Bauer 単体を特徴づける。KMS 状態の面と中心の対応を冨田–竹崎理論で示し、端点が因子状態であること、中心分解・エルゴード分解を導く。
15. 第 15 章準自由状態の準同値本Powers–Størmer 不等式と Uhlmann の忠実度を証明し、忠実度の単調極限から無限テンソル積状態の準同値を判定する Bures の定理を導く。同時対角化できる準自由状態について Powers–Størmer と Araki–Yamagami の判定を証明し、一般形と Feldman–Hájek の二分法を述べる。
16. 第 16 章線形応答と量子統計の変分不等式本Gibbs 状態の Duhamel 2 点関数を内積として整え、Kubo の線形応答公式と剰余評価、静的感受率と緩和関数、等温感受率と孤立感受率の大小を証明する。Bogoliubov 不等式、Golden–Thompson 不等式、Peierls–Bogoliubov 不等式も証明する。
17. 第 17 章スペクトルギャップの安定性本frustration-free 系のギャップを局所ギャップと射影の重なりから下から抑える martingale 法を証明し、Knabe の判定と比べる。局所位相秩序（LTQO）が基底状態の縮退を 1 次の摂動で保つことを示し、Bravyi–Hastings–Michalakis・Nachtergaele–Sims–Young・Yarotsky の安定性定理と DFPR の方法を述べる。
18. 第 18 章冨田–竹崎の定理の証明本一般の von Neumann 環と巡回分離ベクトルについて JMJ=M′ と Δ^{it}MΔ^{-it}=M を省略なく証明する。S^*=F、Sakai 型の線形 Radon–Nikodym 補題、帯状領域の Cauchy 積分と Fourier 変換を経て、竹崎の一意性定理まで示す。

「作用素環と量子統計力学」は 1 冊の本としてまとめています。無料章を読んで続きが気になったら、本の一覧からどうぞ。