コンテンツにスキップ
Rikai

構成的場の理論の原論文：反射正値性・クラスター展開・自明性

物理学博士・研究無料 0 章有料 24 章

構成的場の理論と格子ゲージ理論の基礎を築いた原論文を、1 論文 1 記事（長い論文は部に分ける）で精読する。

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

前提テーマ:構成的場の理論と Euclid 手法、格子場の理論、Gibbs 測度と相転移の数理、コンパクト群の表現

目次

  1. 第 1 章Osterwalder–Seiler『Gauge field theories on a lattice』(1978) 第 1 部：フェルミオンを含む格子ゲージ理論の物理的正値性と転送行列本Osterwalder–Seiler の論文 §2 を精読する。放射ゲージを変数変換で正当化し、乗法的錐の方法で Wilson 項・iγ5 項を含むフェルミオンと一般のコンパクト群の格子ゲージ理論のリンク反射正値性を証明し、2 段の時間推進から正の転送行列を再構成する。
  2. 第 2 章Osterwalder–Seiler『Gauge field theories on a lattice』(1978) 第 2 部：強結合のクラスター展開、無限体積極限、面積則本Osterwalder–Seiler (1978) の §3–§6 を原文と照合して精読し、強結合展開の収束、無限体積極限・解析性・指数的クラスター性、格子 Higgs 機構、Wilson ループの面積則を、論文が省いた段まで含めて証明する。
  3. 第 3 章Lüscher『Construction of a selfadjoint, strictly positive transfer matrix for Euclidean lattice gauge theories』(1977)：量子化ゲージ場と Wilson フェルミオンの転送行列本Lüscher の 1977 年の論文を精読する。Wilson フェルミオン（r=1, 0<K<1/6）と量子化した SU(N) ゲージ場の転送行列が自己共役・厳密に正・トレースクラスであることを証明し、Grassmann 核の計算で Euclid 相関関数との一致（再構成定理）と物理的正値性を導く。
  4. 第 4 章Brydges–Fröhlich–Seiler『On the construction of quantized gauge fields I』(1979) 第 1 部：一般の格子ゲージ理論の反磁性不等式・反射正値性・チェッカーボード評価本Brydges–Fröhlich–Seiler の論文 §2 を精読する。w パラメータ化と反射正値性から、外部ゲージ場で真空エネルギー密度が上がる反磁性不等式（Dirac 場を含む）、OS 正値性、チェッカーボード評価、赤外評価を証明し、フェルミオンの境界条件と Wilson 項の条件を正す。
  5. 第 5 章Brydges–Fröhlich–Seiler『On the construction of quantized gauge fields I』(1979) 第 2 部：共変 Laplacian の Kato 型不等式とアーベル Higgs 模型の強い反磁性不等式本BFS (1979) の §3–§4 をプレプリント版と照合して精読し、共変差分 Laplacian の伝播関数・熱核の経路展開による Kato 型評価、Schrader–Seiler の反磁性不等式、アーベル Higgs 模型の強い反磁性不等式と赤外評価を証明する。
  6. 第 6 章Brydges–Fröhlich–Seiler『On the construction of quantized gauge fields I』(1979) 第 3 部：ゲージ不変性と OS 正値性のゲージ非依存性、Ginibre 型相関不等式本BFS (1979) の §5–§6 をプレプリント版と照合して精読し、紫外切断つきのゲージ不変性とゲージ固定の恒等式、ゲージ不変量の OS 正値性のゲージ非依存性、アーベル Higgs 模型の Ginibre 型相関不等式と共分散・体積・電荷についての単調性を証明する。
  7. 第 7 章Kotecký–Preiss『Cluster expansion for abstract polymer models』(1986)：抽象ポリマー模型の収束定理と帰納的証明本Kotecký–Preiss の 8 頁の論文を全文精読する。ポリマーを高々 1 回しか含まない集合のクラスターと Möbius 反転で対数を展開し、判定条件のもとでの収束を連続性の方法で証明し、相関の減衰の命題の不備を直して証明する。
  8. 第 8 章Abdesselam–Rivasseau『Trees, forests and jungles』(1994) 部 1：森公式・Taylor 森公式・ジャングル公式の組合せ論的証明本Brydges–Kennedy の森公式を、単体上の指数積分と順序付き森の有理式恒等式から組合せ論的に証明し、根付き森公式、Taylor 版、多段のジャングル公式と、補間した共分散の正値性までを原論文に沿って導く。
  9. 第 9 章Abdesselam–Rivasseau『Trees, forests and jungles』(1994) 部 2：ポリマー気体・Mayer 展開・大場小場のジャングル本森公式を φ⁴ 模型に使ってポリマー表示とその収束評価を証明し、Mayer 展開、クラスター展開と Mayer 展開を 1 回で行う nice 2-ジャングル公式、レゾルベントの木公式、大場・小場条件つきの 2 段ジャングルを導く。
  10. 第 10 章Abdesselam–Rivasseau『An explicit large versus small field multiscale cluster expansion』(1997) 部 1：順序付き補間と 4 頂点既約ポリマー展開本Brydges–Kennedy の森公式を一般化した順序付き補間の公式（Lemma 1, 2）を証明し、赤外 φ⁴₄ の多段の Gauss 場に大場・小場の 1 の分割と 4 頂点既約性を組み込んで、Schwinger 関数の明示的なポリマー展開（Theorem 1）を導く。
  11. 第 11 章Abdesselam–Rivasseau『An explicit large versus small field multiscale cluster expansion』(1997) 部 2：ポリマー評価の主張とポリマー位置の和・道具の補題本Abdesselam–Rivasseau の多尺度クラスター展開 §3.1–3.3 を精読する。収束ポリマーの評価（Theorem 2）を述べ、ポリマー位置の和（Proposition 1）と Lemma 11–19 をすべて証明し、原論文の不備を直す。
  12. 第 12 章Abdesselam–Rivasseau『An explicit large versus small field multiscale cluster expansion』(1997) 部 3：大場領域の大偏差評価・低運動量場の支配・ポリマー評価の証明本Abdesselam–Rivasseau の多尺度クラスター展開の §3.4–3.8 を精読し、大場領域が稀で小さいこと、低運動量場の支配、局所階乗の処理、手続きと形の和を証明する。原論文の定理 2 の反例と修正版も示す。
  13. 第 13 章Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 1 部：ブロックスピンの枠組みと摂動論的な赤外漸近自由性本臨界格子 φ⁴₄ の厳密な制御の土台として、Gauss 場のスケール分解と核の一様指数減衰を Fourier 解析で証明し、1 段の 2 次摂動から結合定数の漸化式 λ' = λ − αλ²（α ≍ log L）を導く。
  14. 第 14 章Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 2 部：有効相互作用の一般形と揺らぎ積分のクラスター展開本大場・小場に分けた有効相互作用の一般形を定め、揺らぎ場の単位の分割・補間公式・ポリマー表示・指数化・部分 Mayer 展開によって、その形が 1 段のブロックスピン変換で再現されること（原論文 §4–§5）を恒等式として証明する。
  15. 第 15 章Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部：帰納的評価 I — 小場の寄与と有効結合定数の抽出本有効相互作用の帰納的評価（原論文 §6）を定め、小場での局所・非局所の寄与を揺らぎ場の挿入の個数で展開して評価し（§7–§8）、6 次以上の項の縮小、4 次の項からの新しい結合定数 λ' の抽出と無関連な 4 次の項の縮小（§9）を証明する。
  16. 第 16 章Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 4 部：帰納的評価 II — 大場の評価、質量と波動関数のくりこみ、熱力学極限と赤外漸近自由性本場が大きい領域での安定性評価が 1 段のくりこみ群変換で保たれること、2 次項から質量と波動関数のくりこみを Gleason 型の補題で取り出すことを示し、第 1〜3 部と合わせて臨界質量の存在と赤外漸近自由性（原論文 §10–§12、Appendix 2）を証明する。
  17. 第 17 章Aizenman『Geometric analysis of φ⁴ fields and Ising models I』(1982) 第 1 部：ランダムカレントの幾何と Ising 模型の d>4 での Gauss 性本Aizenman 1982 の Part I（Ising 模型）を精読する。長距離秩序と浸透、Ursell 関数と交差確率、臨界指数 γ、2 次元の非 Gauss 性、ランダムウォーク表示、Wick 則からのずれと Gauss 性の判定、d≥5 の自明性を証明する。
  18. 第 18 章Aizenman『Geometric analysis of φ⁴ fields and Ising models II』(1982) 第 2 部：Griffiths–Simon 族への拡張と φ⁴_d（d>4）のスケーリング極限本Aizenman 1982 の Part II（§10–§15）を精読する。φ⁴ 場を Ising スピンのブロックとして表し、粗い switching と無作為な集合の交差の補題で 4 点 Ursell 関数を次元の揃った樹木図で抑え、Wick 則からのずれの両側評価を通して d>4 の連続極限が Gauss 場であることを証明する。
  19. 第 19 章Fröhlich『On the triviality of λφ⁴_d theories』(1982)：ランダムウォーク表示による u₄ の下界と d≥5 の自明性・d=4 の条件つき自明性本Fröhlich 1982 を精読する。Symanzik–BFS のランダムウォーク表示と Ginibre の不等式から 4 点 Ursell 関数の下界を導き、d≥5 の連続極限の自明性、d=4 で場の強さのくりこみが無限大なら自明であることを証明する。臨界指数 γ=1 は d≥5 で φ⁴ 模型・Ising 模型とも β_c<∞ だけから証明し、d=4 は対数つきの上界を示す。
  20. 第 20 章Aizenman–Graham『On the renormalized coupling constant and the susceptibility in φ⁴₄ field theory and the Ising model in four dimensions』(1983)：感受率の微分不等式と γ=1・4 次元の対数補正本Aizenman–Graham 1983 を精読する。4 点 Ursell 関数を「交点での結合定数の微分」で抑える不等式を Ising 模型と Griffiths–Simon 族（φ⁴ を含む）について証明し、d>4 の γ=1、d=4 の感受率の対数補正の上界、くりこまれた結合定数の評価を導く。原論文の (4.1) に欠けている項を補う。
  21. 第 21 章Aizenman–Duminil-Copin『Marginal triviality of 4D Ising and φ⁴₄』(2021) 第 1 部：設定・Griffiths–Simon 族・ランダムカレントと、冪的減衰を仮定した改良樹木図評価本4 次元の Ising 模型と φ⁴₄ のスケーリング極限が Gauss 場になるという主結果を述べ、ランダムカレントの単調性・背骨の連鎖律・混合性を証明して、臨界点の 2 点関数の冪的減衰を仮定した改良樹木図評価を完全に導く。
  22. 第 22 章Aizenman–Duminil-Copin (2021) 第 2 部：2 点関数の弱い正則性 — Messager–Miracle-Solé 単調性・スペクトル表示・スライドする赤外評価・正則スケールの豊富さ本Aizenman–Duminil-Copin 論文の §5 と付録 A.3 を精読する。反射対称性と転送行列の正値性から、2 点関数の単調性・スペクトル表示・スライドする赤外評価・勾配評価を証明し、臨界点での冪的下界と合わせて正則スケールが対数個あることを示す。
  23. 第 23 章Aizenman–Duminil-Copin (2021) 第 3 部：Ising 模型での無条件の証明 — 交差クラスター化・ランダムカレントの混合性・改良樹木図評価と 4D Ising のスケーリング極限の Gauss 性本2 点関数の冪的減衰を仮定せずに、バブル図で選んだスケールと正則スケールの上で交差性と多カレントの混合性を証明し、4 次元 Ising 模型の改良樹木図評価・特性関数の評価・スケーリング極限の Gauss 性を導く。
  24. 第 24 章Aizenman–Duminil-Copin (2021) 第 4 部：Griffiths–Simon 族への拡張 — 粗い switching・次元の揃った改良樹木図評価と φ⁴₄ のスケーリング極限の Gauss 性本φ⁴ 場を交換可能な Ising ブロックの極限として表し、ブロック間の辺に中点を入れた飾りグラフ上で交差性・混合性・クラスター化を示し直して、次元の揃った改良樹木図評価と 4 次元 φ⁴ のスケーリング極限の Gauss 性を証明する。

運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記