# 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 の自明性を証明する。
> https://rikai.mugen-giken.com/physics/constructive-papers/aizenman-1982-part-1

## 0. この記事の要点

磁石を小さな矢印の集まりと見たとき、離れた矢印どうしの「揃い方」の統計が、次元が高いと正規分布（Gauss 分布）の規則だけで決まってしまうことを示した論文を読みます。矢印の相関を「格子の辺を流れる糸」に書き直し、糸の束どうしが交わる確率として「相互作用の強さ」を測るのが、この論文の発想です。5 次元以上では、長い糸どうしはめったに交わらないので、大きなスケールで見た模型は相互作用のない場（自由場）になります。

- 対象は M. Aizenman, "Geometric analysis of $\phi^4$ fields and Ising models. Parts I and II", *Commun. Math. Phys.* **86** (1982) 1–48 の Part I（Ising 模型、§2–§9）と、Part II の §12–§13 のうち Ising 模型にそのまま当てはまる部分です。$\phi^4$ 場への拡張は本テーマの次章（第 2 部）に回します。
- [ランダムカレント表示](/physics/constructive-qft/random-current#prop-current-representation)と [switching lemma](/physics/constructive-qft/random-current#lem-switching) から、長距離秩序が「湧き出しのない 2 重のカレントの浸透」であること（<Ref to="prop-lro-percolation" />）、4 点 Ursell 関数が「すべてのソースがつながる確率」で書けること（<Ref to="prop-u4-interconnected-form" />）、独立なクラスターの交差で上下から挟めること（<Ref to="prop-u4-three-current-bounds" />）を示します。
- 感受率 $\chi$ について平均場の下界 $\chi(\beta)\ge[2dJ(\beta_c-\beta)]^{-1}$（$\gamma\ge1$）を証明し、原論文の $\gamma=1$ の主張は、最近接模型で $d\ge3$、バブル図が有限という仮定のもとで証明します。$d\ge5$ では仮定は自動的に成り立ちます。原論文が証明を省いた段は、別の議論で置き換えます（<Ref to="prop-chi-mean-field-lower-bound" />、<Ref to="thm-gamma-one-bubble" />）。さらに、Aizenman–Graham（1983）の微分不等式を使うと、バブル条件だけから、次元を限らずに、明示的な定数による両側評価が出ます（<Ref to="cor-gamma-one-bubble-explicit" />）。
- 2 次元では、対称に置いた 4 点について $|U_4|\ge\langle\sigma_{x_1}\sigma_{x_3}\rangle\langle\sigma_{x_2}\sigma_{x_4}\rangle$ がスケールによらず成り立ちます。平面の交差の偶奇の補題（<Ref to="lem-planar-crossing-paths" />）から証明します（<Ref to="thm-planar-nongaussian" />）。同じ補題から、4 点関数の和の下界 $g_1\ge\frac12$ と超スケーリングの関係も出ます（<Ref to="thm-hyperscaling-lower-bound-2d" />、<Ref to="cor-hyperscaling-2d" />）。
- 原論文 §9 のランダムウォーク表示を組み立て、それを使って Wick 則からのずれの評価 $0\le G_{2n}-S_{2n}\le\frac32\sum|U_4|\,G_{2n-4}$ を証明します（<Ref to="thm-wick-deviation-bound" />）。ここから「4 点関数の相対的な消滅だけで、ブロック平均の極限が Gauss 場になる」という判定法が出ます（<Ref to="thm-gaussianity-criterion" />）。
- 最後に、樹木図不等式と赤外評価を組み合わせて、$d\ge5$ の最近接 Ising 模型で $R_L\le CL^{4-d}$、スケーリング極限が Gauss 場であること、くりこまれた結合 $g_R\to0$ を証明します（<Ref to="thm-triviality-ising-high-d" />）。

## 1. 動機

構成的場の理論の大きな問いの 1 つは、格子で正則化した $\phi^4$ 理論の連続極限が、相互作用のある場の理論になるかどうかでした。摂動論では、4 次元の $\phi^4$ 理論は $\beta$ 関数が正で、低エネルギーの結合が $0$ に押しつぶされる（[自明性](/physics/lattice-field-theory/phi4-triviality#def-triviality)）と予想されていました。しかし摂動論は裸の結合が大きい領域では信用できず、非摂動的な証明が求められていました。1982 年に Aizenman と Fröhlich は、独立な方法で、5 次元以上ではこの予想が正しいことを証明しました。本章の論文はそのうち Aizenman の側で、Ising 模型の相関関数を「ランダムカレント」と呼ばれる整数値の流れの統計に書き直すという、後の研究の基本になる方法を導入しました。

方法の要点は 3 つです。第一に、相関関数の積は switching lemma によって、2 つの独立なカレントの和の連結性の確率に書き直せます。第二に、Gauss 分布からのずれを測る 4 点 Ursell 関数 $U_4$ は「4 つのソースが 1 つのクラスターにつながる確率」にちょうど比例し、したがって 2 つの独立なクラスターが交差する確率で上から抑えられます。第三に、交差確率は交点の個数の期待値で抑えられ、それが 2 点関数 4 本の樹木図になります（[樹木図不等式](/physics/constructive-qft/random-current#thm-aizenman-tree-bound)）。高次元では 2 点関数が $|x|^{2-d}$ で減衰する（赤外評価）ので、樹木図は 2 点関数の積に比べて $L^{4-d}$ だけ小さくなります。これは「Brown 運動の 2 本の道が 5 次元以上では交わらない」という事実の、格子の上での正確な類似です（原論文の付録 I）。

この論文の前後の関係は次のとおりです。ランダムカレント表示の組合せ論的な核は Griffiths–Hurst–Sherman（1970）が GHS 不等式の証明に使ったもので、Aizenman はそれを確率論の言葉で読み替えました。同時期に Fröhlich（Nucl. Phys. B **200**, 1982）は Symanzik のランダムウォーク表示から同じ $d\ge5$ の結論を得ました。原論文 §9 のランダムウォーク表示は両者を結ぶもので、本章では Wick 則からのずれの評価の証明に使います。その後、Aizenman–Barsky–Fernández（1987）の相転移の鋭さ、Aizenman–Duminil-Copin（2021）の 4 次元の周辺的自明性へと、同じ道具が発展しました。

物理への含意も書いておきます。$d=4$ では樹木図による評価は $L^{4-d}=1$ となって結論を出せず、そこで鍵になるのは「2 点関数の 2 乗和（バブル図）$\sum_x\langle\sigma_0\sigma_x\rangle^2$ が対数的にしか発散しない」ことです。本章の <Ref to="thm-gamma-one-bubble" /> で臨界指数 $\gamma$ の値を決めるのも、このバブル図に当たる量です。4 次元の量子電磁力学（QED₄）でも、真空偏極のループ（電子の 2 点関数の 2 乗の和）の対数発散が電荷の遮蔽、つまり結合の消滅の向きの源であり、自明性の問題はスカラー場に限らない一般的な問いです。本章で扱う「4 点関数の相対的な消滅だけで、すべての高次の相関が Gauss 型になる」という判定法（<Ref to="thm-gaussianity-criterion" />）のうち、相関不等式に依らない後半の議論は、ほかの場の理論にもそのまま移せる形をしています。

原論文と本章の対応は次のとおりです。

| 原論文 | 内容 | 本章 |
|---|---|---|
| §2、Lemma 3.1・3.2 | ランダムカレント表示と switching lemma | 既出（[ランダムカレント](/physics/constructive-qft/random-current)）、一般化 <Ref to="lem-switching-two-graphs" /> |
| §3 Prop. 3.1、(3.10)(3.13)(3.15) | 長距離秩序と浸透、クラスターの大きさ、Simon の不等式 | §3 |
| §4 | 高次元で Gauss 構造が現れる理由（発見的） | <Ref to="rem-heuristic-brownian" /> |
| §5 Prop. 5.1–5.3 | $U_4$ の 2 つの表示、交差確率による上下界、樹木図 | §4 |
| §6・§7 | くりこまれた結合、臨界指数 $\gamma$ | §5、§9 |
| §8 | 2 次元の非 Gauss 性と超スケーリング | §6 |
| §9 | ランダムウォーク表示 | §7 |
| §12 Prop. 12.1（Ising の場合）・§13 | Wick 則からのずれ、Gauss 性 | §8、§9 |

原論文は閾値 $\beta_c$ を、2 点関数が指数減衰する範囲の上限として定め（原論文 (2.9)）、§7 では $\sup\{\beta:\chi(\beta)<\infty\}$ を使い、地の文ではそれを長距離秩序の閾値とも呼んでいます。本章は、閾値を Simon–Lieb の判定法で定義します（<Ref to="def-exp-critical-point" />）。これは指数減衰の範囲の上限、および $\sup\{\beta:\chi(\beta)<\infty\}$ と一致します（<Ref to="lem-uniform-exponential-decay" />、<Ref to="lem-correlation-length-diverges" />）。長距離秩序の閾値とも一致すること（相転移の鋭さ。後の Aizenman–Barsky–Fernández の定理）は注意（<Ref to="rem-sharpness" />）にとどめ、本章の証明では使いません。

（この章の続きは購入者向けです。）