Fröhlich『On the triviality of λφ⁴_d theories』(1982)：ランダムウォーク表示による u₄ の下界と d≥5 の自明性・d=4 の条件つき自明性

0. この記事の要点

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

• 道具は 3 つです。Symanzik に始まり Brydges–Fröhlich–Spencer（BFS）が整えたランダムウォーク表示（定理 3.7）、反射正値性からの赤外評価、そして Ginibre の不等式（定理 4.1［Gauss 型の相関不等式］）です。ランダムウォーク表示は Rikai に無いので、Gauss 型の部分積分（補題 3.5）から完全に証明します。
• 主結果は 4 点 Ursell 関数 $u^{(4)}$ の下界（原論文 (12)）です（定理 4.4）。右辺は 2 点関数と逆温度 $\beta$ だけで書け、裸の質量・結合定数に陽に依存しません。上界 $u^{(4)}\le0$ は Lebowitz の不等式です。
• 格子間隔 $a$ と場の強さの尺度 $\zeta(a)=\beta(a)a^{2-d}$ で書き直すと、下界の係数に $a^{d-4}$ が現れ、$d\ge5$ で連続極限の $u^{(4)}$ が消えます（定理 5.4）。極限の相関関数が Wightman 関数の解析接続の Euclid 点での値であれば、連結 4 点 Wightman 関数は $0$ です（系 5.6）。
• $d=4$ では、2 点関数の冪的な上界（原論文 (19)）のもとで「$\zeta(a)\to0$（場の強さのくりこみが無限大）なら自明」を証明します（定理 5.8）。ここから、くりこまれた摂動論が Callan–Symanzik 方程式の係数に漸近するような非自明な $\lambda\phi^4_4$ は存在しない、という条件つきの命題が出ます（命題 5.10）。
• $d\ge5$ の臨界指数 $\gamma=1$ は、原論文が証明を予告だけしている箇所です。本章は 2 つの形で証明します。1 つはウォーク表示と主不等式だけによる証明で、バブル型の量の小ささ $K(\beta_c)<1$ を仮定に加えます（定理 6.2）。もう 1 つは、本テーマの次章の Aizenman–Graham（1983）の微分不等式を使う形で、$d\ge5$ では φ⁴ 模型でも Ising 模型でも、$\beta_c<\infty$ のほかに仮定が要りません（系 6.4。Ising 模型は第 1 部の結果からも出ます: 系 6.3）。$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 極）。カットオフを取り去ると相互作用が消えてしまうのではないか、という疑い（自明性、定義 3.1［φ⁴ 理論の自明性・有限体積効果・O(N) 模型］）は Wilson 以来のものでした。1981 年、Aizenman はランダムカレント表示によって $d>4$ の自明性を発表し（本テーマの 第 1 部・第 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

注意 1.1（照合した版と、本章の変更点の一覧）

本章は IHES プレプリント P/81/41（1981、25 頁）と照合しました。刊行版（Nucl. Phys. B 200 [FS4] (1982) 281–296）は照合していません。式番号 (12) などはプレプリントの番号です。プレプリントは自ら「証明のスケッチ」と述べ、細部の多くを「準備中」の文献に回しています。本章で原論文から変えた点は次のとおりです。(1) 無限体積と「長距離秩序がない」という条件 $M_{\beta,a}\equiv0$ を、本テーマ第 2 部の指数減衰の閾値（定義 4.2［Aizenman『Geometric analysis of φ⁴ fields and Ising models II』(1982) 第 2 部］）で置き換えました。(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) の上界を、主軸上の点から反射正値性の比較で全方向に広げる段を補いました（補題 5.1）。(4) $\gamma=1$（(26)）は、ウォーク表示と (12) からは仮定 $K(\beta_c)<1$ を加えた形で証明しました（定理 6.2）。$d\ge5$ では、本テーマの Aizenman–Graham（1983）の章の定理を使って、φ⁴ 模型でも Ising 模型でも $\beta_c<\infty$ だけから証明しました（系 6.4。Ising 模型は第 1 部の定理からも出ます: 系 6.3）。(27)（$\partial_\beta\xi^{-2}\sim Z$）そのものは証明せず、それに関連する評価 $Z\xi^2\le e^{1/\xi}\chi$ だけを証明しました（注意 6.5）。(5) §6 (I) の骨格図による下界は、奇数次の項だけを骨格図で書ける形にしました（注意 7.2）。

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

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

購入する ログイン