Aizenman『Geometric analysis of φ⁴ fields and Ising models I』(1982) 第 1 部：ランダムカレントの幾何と Ising 模型の d>4 での Gauss 性

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 部）に回します。
• ランダムカレント表示と switching lemma から、長距離秩序が「湧き出しのない 2 重のカレントの浸透」であること（命題 3.2）、4 点 Ursell 関数が「すべてのソースがつながる確率」で書けること（命題 4.1）、独立なクラスターの交差で上下から挟めること（命題 4.3）を示します。
• 感受率 $\chi$ について平均場の下界 $\chi(\beta)\ge[2dJ(\beta_c-\beta)]^{-1}$（$\gamma\ge1$）を証明し、原論文の $\gamma=1$ の主張は、最近接模型で $d\ge3$、バブル図が有限という仮定のもとで証明します。$d\ge5$ では仮定は自動的に成り立ちます。原論文が証明を省いた段は、別の議論で置き換えます（命題 5.4、定理 5.9）。さらに、Aizenman–Graham（1983）の微分不等式を使うと、バブル条件だけから、次元を限らずに、明示的な定数による両側評価が出ます（系 5.10）。
• 2 次元では、対称に置いた 4 点について $|U_4|\ge\langle\sigma_{x_1}\sigma_{x_3}\rangle\langle\sigma_{x_2}\sigma_{x_4}\rangle$ がスケールによらず成り立ちます。平面の交差の偶奇の補題（補題 6.1）から証明します（定理 6.2）。同じ補題から、4 点関数の和の下界 $g_1\ge\frac12$ と超スケーリングの関係も出ます（定理 6.5、系 6.6）。
• 原論文 §9 のランダムウォーク表示を組み立て、それを使って Wick 則からのずれの評価 $0\le G_{2n}-S_{2n}\le\frac32\sum|U_4|\,G_{2n-4}$ を証明します（定理 8.3）。ここから「4 点関数の相対的な消滅だけで、ブロック平均の極限が Gauss 場になる」という判定法が出ます（定理 8.6）。
• 最後に、樹木図不等式と赤外評価を組み合わせて、$d\ge5$ の最近接 Ising 模型で $R_L\le CL^{4-d}$、スケーリング極限が Gauss 場であること、くりこまれた結合 $g_R\to0$ を証明します（定理 9.1）。

1. 動機

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

方法の要点は 3 つです。第一に、相関関数の積は switching lemma によって、2 つの独立なカレントの和の連結性の確率に書き直せます。第二に、Gauss 分布からのずれを測る 4 点 Ursell 関数 $U_4$ は「4 つのソースが 1 つのクラスターにつながる確率」にちょうど比例し、したがって 2 つの独立なクラスターが交差する確率で上から抑えられます。第三に、交差確率は交点の個数の期待値で抑えられ、それが 2 点関数 4 本の樹木図になります（樹木図不等式）。高次元では 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$ が対数的にしか発散しない」ことです。本章の 定理 5.9 で臨界指数 $\gamma$ の値を決めるのも、このバブル図に当たる量です。4 次元の量子電磁力学（QED₄）でも、真空偏極のループ（電子の 2 点関数の 2 乗の和）の対数発散が電荷の遮蔽、つまり結合の消滅の向きの源であり、自明性の問題はスカラー場に限らない一般的な問いです。本章で扱う「4 点関数の相対的な消滅だけで、すべての高次の相関が Gauss 型になる」という判定法（定理 8.6）のうち、相関不等式に依らない後半の議論は、ほかの場の理論にもそのまま移せる形をしています。

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

原論文	内容	本章
§2、Lemma 3.1・3.2	ランダムカレント表示と switching lemma	既出（ランダムカレント）、一般化 補題 3.1
§3 Prop. 3.1、(3.10)(3.13)(3.15)	長距離秩序と浸透、クラスターの大きさ、Simon の不等式	§3
§4	高次元で Gauss 構造が現れる理由（発見的）	注意 3.7
§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 の判定法で定義します（定義 2.3）。これは指数減衰の範囲の上限、および $\sup\{\beta:\chi(\beta)<\infty\}$ と一致します（補題 2.6、補題 2.10）。長距離秩序の閾値とも一致すること（相転移の鋭さ。後の Aizenman–Barsky–Fernández の定理）は注意（注意 2.5）にとどめ、本章の証明では使いません。

ここから先は有料（買い切り ¥200）の内容です。

この章は博士課程以上・研究水準の内容です。続き（定義・定理・証明・例・演習）は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン