# 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 場であることを証明する。
> https://rikai.mugen-giken.com/physics/constructive-papers/aizenman-1982-part-2

## 0. この記事の要点

格子の上に置いた連続な値の場（φ⁴ 場）を、格子間隔を 0 に近づけて連続空間の場の理論に移すとき、場どうしの相互作用が最後まで残るかどうかを問います。Aizenman は 1982 年の論文の第 2 部で、空間の次元が 5 以上なら、どんな調整をしても相互作用は消え、極限は自由場（Gauss 場）になることを示しました。本章はこの第 2 部（原論文の §10–§15）を、省かれた段を埋めながら読みます。

- 鍵は、連続な値をとる場の変数 1 個を「強く結合した多数の Ising スピンの和」として表す Griffiths–Simon の構成です（<Ref to="prop-gs-block-approximation" />）。これで、Ising 模型で得たランダムカレントの道具が φ⁴ 場にそのまま使えます。
- ただし Ising の樹木図不等式は、左辺のスピン 4 個に対して右辺がスピン 8 個で、スピンの「次元」が揃っていません。φ⁴ 場では場の大きさに上限がないので、この形のままでは移せません。原論文はブロックへの到達確率（Lemma 11.1）と、無作為な集合の交差の補題（Lemma 11.2）で次元を揃えました。本章では到達確率の評価を、ランダムカレントの粗い switching（<Ref to="lem-box-hitting-probability" />）で置き換えて証明します。
- 結果は、4 点 Ursell 関数の次元の揃った樹木図評価です（<Ref to="thm-tree-bound-gs" />、φ⁴ 測度では原論文 Proposition 11.2 に当たる <Ref to="thm-u4-bound-phi4" />）。連続空間の記法では、係数に格子間隔の $a^{d-4}$ が現れ、$d>4$ でこれが $0$ に行くことが自明性の理由です（<Ref to="cor-u4-continuum" />）。
- 4 点 Ursell 関数が消えれば高次の相関関数もすべて Wick 則に従うことを、原論文 Proposition 12.1 の両側評価（<Ref to="thm-wick-deviation-bound-gs" />）で示し、主定理（原論文 Proposition 10.1）を <Ref to="thm-triviality-phi4-high-d" /> として証明します。同じ定理に、くりこまれた結合 $g_R$ が臨界点に近づくと $0$ に行くことも含めます。
- 原論文 §14 の 3 つの条件（$d>4$、裸の結合が $0$、$d=4$ で $\tilde A\to0$）と §15 の結合定数の絶対的な上界（Proposition 15.1）も証明します（<Ref to="cor-small-coupling-gaussian" />、<Ref to="prop-absolute-coupling-bound" />）。

## 1. 動機

4 次元の時空の上の $\phi^4$ 理論は、Higgs 場のもっとも素朴な模型です。摂動論では、くりこまれた結合定数はエネルギーとともに増え、有限のエネルギーで発散します（Landau 極）。逆に言えば、カットオフを取り去ってなお有限の結合を保つには、裸の結合を無限に大きくしなければならず、それでも足りないかもしれません。この「カットオフを取り去ると相互作用が消える」という現象を自明性と呼びます（<Ref to="physics/lattice-field-theory/phi4-triviality#def-triviality" />）。QED の Landau 極も同じ型の問題で、$\phi^4$ 理論はその性質を非摂動的に確かめられる唯一の 4 次元近傍の例でした。

1981 年に Aizenman は短報（Phys. Rev. Lett. 47）で、$d>4$ では格子 $\phi^4$ 理論の連続極限が単一相の領域では必ず自由場になることを発表し、本論文（Commun. Math. Phys. 86, 1982）でその詳細を与えました。ほぼ同時に Fröhlich（Nucl. Phys. B 200, 1982）がランダムウォーク表示による独立な証明を与えています。第 1 部（Part I）は Ising 模型を扱い、スピンの相関を「ランダムカレント」の連結として表し、4 点 Ursell 関数を独立な 2 本のカレントの交差確率で書き、樹木図不等式を導きました（Rikai では [ランダムカレントの章](/physics/constructive-qft/random-current) と [第 1 部の章](/physics/constructive-papers/aizenman-1982-part-1)）。第 2 部はそれを $\phi^4$ 場に移します。

移すときの困難は「次元」です。Ising 模型の樹木図不等式
$$
-U_4(x_1,\dots,x_4)\le2\sum_yS(x_1,y)S(x_2,y)S(x_3,y)S(x_4,y)
$$
は、左辺がスピン 4 個、右辺がスピン 8 個の式です。Ising スピンは $\sigma^2=1$ なので気になりませんが、場 $\tau$ を $c\tau$ に替えると左辺は $c^4$、右辺は $c^8$ 倍になり、$\phi^4$ 場には一様な形では移りません。原論文の工夫は、右辺の余分な 2 点関数 2 個ぶんを「1 点の 2 次モーメント $\langle\phi^2\rangle_0$ で割る」か「結合定数 $J$ を掛ける」ことで次元を揃え、その揃え方を Ising スピンのブロック構造から自然に出すことでした。揃えた不等式を連続空間の単位で書き直すと係数 $a^{d-4}$ が現れます。$d>4$ では格子間隔 $a\to0$ でこの係数が $0$ になるので、相互作用は消えます。

その後の展開を述べておきます。$d=4$ は原論文 §14 で「臨界次元」として残された問題で、Aizenman–Graham（1983）が対数の改良を（本テーマの [Aizenman–Graham の章](/physics/constructive-papers/aizenman-graham-1983)）、Aizenman–Duminil-Copin（2021）が周辺的な自明性を証明しました（<Ref to="physics/lattice-field-theory/phi4-triviality#thm-aizenman-duminil-copin" />）。後者の論文の付録 A.4 にある「粗い switching」（Coarse switching, Lemma A.7）は、本論文の Lemma 11.1 の役割をランダムカレントの言葉で果たす道具で、本章はこれを使います。ランダムカレントの方法は強磁性のスカラー場に固有のもので、ゲージ場やフェルミオンを含む QED₄ の自明性には直接は使えません。それでも、「4 点の連結相関が消えれば全相関が Gauss になる」という第 6 節の構造と、「場の次元を揃えて格子間隔のべきを数える」という第 5 節の発想は、くりこみ群による解析でも同じ役割を果たします。

原論文 Part II の構成と、本章での扱いは次のとおりです。

| 原論文 | 内容 | 本章 |
|---|---|---|
| §10 | φ⁴ 場をブロック・スピンとして表す（(10.6)(10.7)）、Proposition 10.1 の主張 | §2、<Ref to="prop-gs-block-approximation" /> |
| §11 | Lemma 11.1（ブロックへの到達確率）、Lemma 11.2（無作為な集合の交差）、Proposition 11.2・11.1（$U_4$ の上界）、(11.26)–(11.33) | §3–§5、<Ref to="lem-box-hitting-probability" />・<Ref to="lem-random-sets-intersection" />・<Ref to="thm-u4-bound-phi4" />・<Ref to="cor-u4-continuum" /> |
| §12 | Newman の不等式、Proposition 12.1、Corollary 12.1 | §6、<Ref to="prop-newman-inequality" />・<Ref to="thm-wick-deviation-bound-gs" />・<Ref to="thm-gaussianity-criterion-gs" /> |
| §13 | Proposition 10.1 の証明 | §7、<Ref to="thm-triviality-phi4-high-d" /> |
| §14 | $G\to0$ となる 3 つの条件 | §7、<Ref to="cor-small-coupling-gaussian" /> |
| §15 | 結合定数の絶対的な上界（Proposition 15.1） | §8、<Ref to="prop-absolute-coupling-bound" /> |

<Remark id="rem-sources-and-changes" title="原論文との照合と、証明の変更点">
本章は原論文（Commun. Math. Phys. 86 (1982) 1–48）の本文と照合して書いています。式番号 (10.6)・(11.5) などは原論文の番号です。証明の道具立ては次の 3 点で原論文と違います。(1) 原論文 §11–§12 の証明は Part I §9 のランダムウォーク表示を使いますが、本章はランダムカレント表示だけを使います。そのため Lemma 11.1 の到達確率の評価は、$\langle\phi^2\rangle_0$ で割る形ではなく、結合定数を掛ける形（<Ref to="lem-box-hitting-probability" />）になり、Proposition 11.2 の右辺は「$S^4/\langle\phi^2\rangle_0^2$」から「$J^2S^4$ の隣接点版」に変わります（<Ref to="thm-u4-bound-phi4" />）。原論文の形は本章の形から導けません。逆に、$y$ がソースと異なる項については、係数 $3$ と $2$ の違いを除けば本章の形のほうが弱い不等式です（§4.1 の 1 点での評価から $\prod_kS(x_k,y)/\langle\tau^2\rangle_0^2\le P_y(x_1,x_2)P_y(x_3,x_4)$）。つまり原論文の Lemma 11.1・Proposition 11.2・Proposition 11.1 は、原論文どおりの形では本章で証明していません。それでも §13 の自明性の証明にはこれで足ります。(2) 係数 $3$ はランダムカレントでは $2$ になります。原論文 §11 末尾の注意が予告していたとおりです。(3) 原論文は無限体積の存在を「標準的な議論」として省き、§13 の単一相の条件を「長距離秩序がない」ことで述べます。本章は無限体積極限を <Ref to="lem-gs-infinite-volume" /> で示し、単一相を指数減衰の閾値（<Ref to="def-exp-critical-point-gs" />）で定義します。両者の一致は相転移の鋭さ（Aizenman–Barsky–Fernández 1987）の問題で、本章では使いません。
</Remark>

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