# 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 は対数つきの上界を示す。
> https://rikai.mugen-giken.com/physics/constructive-papers/frohlich-1982

## 0. この記事の要点

格子の上の場の 2 点の相関を「格子の上を歩き回る粒子の道すじの足し合わせ」として書くと、4 点の相関のうち 2 点の相関の積で説明できない部分は、2 本の道すじが出会うことから生まれます。高い次元では、長い道すじどうしはほとんど出会いません。Fröhlich はこの直観を不等式に仕立て、5 次元以上では格子を細かくした極限で相互作用が消える（場が自由場になる）ことを、Aizenman とは独立に示しました。本章は IHES プレプリント版（P/81/41）と照合して、その全主張に証明を付けます。

- 道具は 3 つです。Symanzik に始まり Brydges–Fröhlich–Spencer（BFS）が整えた**ランダムウォーク表示**（<Ref to="thm-bfs-random-walk-representation" />）、反射正値性からの**赤外評価**、そして **Ginibre の不等式**（<Ref to="physics/constructive-qft/gaussian-correlation-inequalities#thm-ginibre" />）です。ランダムウォーク表示は Rikai に無いので、Gauss 型の部分積分（<Ref to="lem-symanzik-integration-by-parts" />）から完全に証明します。
- 主結果は 4 点 Ursell 関数 $u^{(4)}$ の下界（原論文 (12)）です（<Ref to="thm-frohlich-lower-bound-u4" />）。右辺は 2 点関数と逆温度 $\beta$ だけで書け、裸の質量・結合定数に陽に依存しません。上界 $u^{(4)}\le0$ は Lebowitz の不等式です。
- 格子間隔 $a$ と場の強さの尺度 $\zeta(a)=\beta(a)a^{2-d}$ で書き直すと、下界の係数に $a^{d-4}$ が現れ、$d\ge5$ で連続極限の $u^{(4)}$ が消えます（<Ref to="thm-triviality-high-d-walks" />）。極限の相関関数が Wightman 関数の解析接続の Euclid 点での値であれば、連結 4 点 Wightman 関数は $0$ です（<Ref to="cor-connected-wightman-vanishes" />）。
- $d=4$ では、2 点関数の冪的な上界（原論文 (19)）のもとで「$\zeta(a)\to0$（場の強さのくりこみが無限大）なら自明」を証明します（<Ref to="thm-conditional-triviality-d4" />）。ここから、くりこまれた摂動論が Callan–Symanzik 方程式の係数に漸近するような非自明な $\lambda\phi^4_4$ は存在しない、という条件つきの命題が出ます（<Ref to="prop-no-asymptotic-perturbation-theory" />）。
- $d\ge5$ の臨界指数 $\gamma=1$ は、原論文が証明を予告だけしている箇所です。本章は 2 つの形で証明します。1 つはウォーク表示と主不等式だけによる証明で、バブル型の量の小ささ $K(\beta_c)<1$ を仮定に加えます（<Ref to="thm-gamma-mean-field-walks" />）。もう 1 つは、本テーマの次章の Aizenman–Graham（1983）の微分不等式を使う形で、$d\ge5$ では φ⁴ 模型でも Ising 模型でも、$\beta_c<\infty$ のほかに仮定が要りません（<Ref to="cor-gamma-one-phi4-high-d" />。Ising 模型は第 1 部の結果からも出ます: <Ref to="cor-gamma-one-ising-high-d" />）。$d=4$ では同じ不等式から、対数の因子が 1 つ付いた上界 $\chi\le C(\beta_c-\beta)^{-1}(1+\lvert\log(\beta_c-\beta)\rvert)$ が出ます。仮定の役割は注意で説明します。§6 の 2 つの改良（骨格図による下界、Dirichlet 条件つきウォークによる再和）と §7 の Edwards 模型への応用も、証明できる形に整えて証明します。

## 1. 動機

4 次元の $\lambda\phi^4$ 理論は、摂動論では結合定数がエネルギーとともに増え、有限のエネルギーで発散します（Landau 極）。カットオフを取り去ると相互作用が消えてしまうのではないか、という疑い（自明性、<Ref to="physics/lattice-field-theory/phi4-triviality#def-triviality" />）は Wilson 以来のものでした。1981 年、Aizenman はランダムカレント表示によって $d>4$ の自明性を発表し（本テーマの [第 1 部](/physics/constructive-papers/aizenman-1982-part-1)・[第 2 部](/physics/constructive-papers/aizenman-1982-part-2)）、Fröhlich はその直後に、この論文で別の道具による証明を与えました。

Fröhlich の道具は Symanzik（1969）の「スカラー場の理論は、互いに排斥しあうランダムウォーク（高分子鎖）の模型である」という見方です。2 点関数は $x$ から $y$ へのウォークの重みの和で、4 点関数は 2 本のウォークの重みの和になります。2 本のウォークが出会わなければ重みは 2 点関数の積に分かれるので、連結部分 $u^{(4)}$ は「出会うウォークの対」だけから来ます。$d\ge4$ では独立な 2 本の Brown 運動が出会わないこと（Dvoretzky–Erdős–Kakutani）が、自明性の幾何学的な理由です。この直観を不等式にするには、出会いの場所 $z$ でウォークを切り、それぞれの断片を相互作用のある 2 点関数として再和しなければなりません。その再和で決定的なのが、Ginibre の不等式から出る「1 点の測度に $e^{-\lambda t\phi^2}$ を掛けると相関が減る」という単調性です。

Aizenman のランダムカレントは Ising スピンに固有の switching lemma を使い、$\phi^4$ 場には Griffiths–Simon のブロック・スピンを通して移します。Fröhlich のウォーク表示は連続スピンの $\phi^4$ 測度にそのまま使え、必要な相関不等式は Ginibre と Lebowitz だけです。もう 1 つの特徴は、格子間隔 $a$ を物理単位で測り、場の強さの尺度 $\zeta(a)$ を前面に出すことです。この形にすると、$d=4$ の結論「場の強さのくりこみが無限大（非正準次元）なら自明」が自然に出ます。QED₄ で電荷のくりこみ $Z_3\to0$ と自明性の関係を考えるときにも、この形の議論が手がかりになります。

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

| 原論文 | 内容 | 本章 |
|---|---|---|
| §2 (1)–(12) | 模型、赤外評価、場の強さ、主不等式 (12) | §2、§4 |
| §3 (13)–(24) | $d\ge5$ の自明性、$d=4$ の条件つき自明性、摂動論の不在 | §5 |
| §4 (25)–(29) | $\gamma=1$、相関長と極の強さ、予想 | §6 |
| §5 (30)–(44) | ランダムウォーク表示と (12) の証明 | §3、§4 |
| §6 (45)–(47) | 骨格図、Dirichlet ウォークによる再和、予想 | §7 |
| §7 (48)–(50) | スケーリング極限、Edwards 模型、予想 | §8 |

<Remark id="rem-sources" title="照合した版と、本章の変更点の一覧">
本章は IHES プレプリント P/81/41（1981、25 頁）と照合しました。刊行版（Nucl. Phys. B 200 [FS4] (1982) 281–296）は照合していません。式番号 (12) などはプレプリントの番号です。プレプリントは自ら「証明のスケッチ」と述べ、細部の多くを「準備中」の文献に回しています。本章で原論文から変えた点は次のとおりです。(1) 無限体積と「長距離秩序がない」という条件 $M_{\beta,a}\equiv0$ を、本テーマ第 2 部の指数減衰の閾値（<Ref to="physics/constructive-papers/aizenman-1982-part-2#def-exp-critical-point-gs" />）で置き換えました。(2) 主不等式 (12) の補正項 $E$ を、原論文 (17) の形 $E\le C_\delta\zeta(a)a^{d-2}$ で証明しました（プレプリント 5 頁の $E\le\mathrm{const}\,\beta^2a^{2-d}$ は、$\beta=\zeta a^{d-2}$ を入れると $\mathrm{const}\,\zeta^2a^{d-2}$ で、(17) より $\zeta$ の冪が 1 つ多い形です。$E$ の各項は $\beta^2S(0,0)$ と離れた点の 2 点関数 3 つの積で、$S(0,0)$ の評価は $C_d/\beta$ までしか出ないので、本章の議論から出るのは (17) の形です。$d\ge5$ の結論にはどちらの形でも足ります）。(3) 条件 (14) の上界を、主軸上の点から反射正値性の比較で全方向に広げる段を補いました（<Ref to="lem-uniform-two-point-bound" />）。(4) $\gamma=1$（(26)）は、ウォーク表示と (12) からは仮定 $K(\beta_c)<1$ を加えた形で証明しました（<Ref to="thm-gamma-mean-field-walks" />）。$d\ge5$ では、本テーマの Aizenman–Graham（1983）の章の定理を使って、φ⁴ 模型でも Ising 模型でも $\beta_c<\infty$ だけから証明しました（<Ref to="cor-gamma-one-phi4-high-d" />。Ising 模型は第 1 部の定理からも出ます: <Ref to="cor-gamma-one-ising-high-d" />）。(27)（$\partial_\beta\xi^{-2}\sim Z$）そのものは証明せず、それに関連する評価 $Z\xi^2\le e^{1/\xi}\chi$ だけを証明しました（<Ref to="rem-gamma-original" />）。(5) §6 (I) の骨格図による下界は、奇数次の項だけを骨格図で書ける形にしました（<Ref to="rem-skeleton-even" />）。
</Remark>

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