2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 6 部 構成的場の理論自明性

四次元の φ⁴ の自明性 — 格子で作った極限はガウスに潰れる

ユークリッド化した場の理論は確率測度で、中身は相関関数 $S_n(x_1,\dots,x_n)=\langle\Phi(x_1)\cdots\Phi(x_n)\rangle$ に表れます（6-01）。ガウス測度では、偶数点の相関が二点関数を対に分けるだけで決まります（1-08）。

和は $2n$ 点を二つずつ組にする分け方 $\pi$ の全体です。この Wick の法則は相互作用が無いことを意味し、そのためガウスな場は自明（trivial）と呼ばれてきました（ADC §1.1）。ずれを測る最初の量が四点の Ursell 関数です。既知

Lee–Yang の性質（分配関数の磁場についての零点が虚軸上に並ぶ性質。2-08 の Lee–Yang の定理）を持つ模型では、極限で $U_4$ が消えればガウス性が従います（Newman 1975、ADC §6.3）。既知 例：$\pm1$ を等確率で取るスピン一つでは $\langle\sigma^4\rangle-3\langle\sigma^2\rangle^2=-2$、独立な $N$ 個の和では比 $U_4/\mathrm{Var}^2$ が $-2/N$ で潰れます（1-08）。臨界点の近くのスピンは強く相関するのでこの理由は使えず、三次元の $\phi^4$ は非ガウスな測度を与えます（JW §6.2、6-03）。

対象は、格子 $\mathbb Z^d$ の各点に実数 $\phi_x$ を置き、隣どうしを強磁性の結合 $J\ge0$ でつないだ模型です（ADC 式 (1.12)。6-03 の式 (1) の格子版）。

$b=2\lambda\to\infty$ で一点の分布が $\pm1$ に集まり、イジング模型になります（ADC 式 (1.20)）。見る尺度を格子の単位で $L$（連続の単位の格子間隔は $a=1/L$）とし、均した和を、箱 $\Lambda_L$ の和の標準偏差 $\sqrt{\Sigma_L}$ で割った量を追います（$\Lambda_L=[-L,L]^d$、ADC 式 (1.14)(1.15)）。

体積を先に無限大にしてから $L\to\infty$ とし、途中で $(J,\lambda,b)$ を動かしてよいとします。尺度 $L$ で滑らかな相関を得るには臨界点に寄せて相関長を $L$ 程度以上にします。相関長が格子の単位で有限のままなら極限は白色雑音です（ADC 脚注 1、2-08）。イジング模型（$b=2\lambda\to\infty$）では $J$ を $\beta J$ と書き、$\beta$ を逆温度、$\beta_c$ を相関長が発散する臨界値と呼びます（2-08）。遠方で $S_2\to0$ となるのは $\beta\le\beta_c$ の側で（ADC 式 (1.10)）、この章はこの側に限ります。既知

一般化されたガウス過程とは、テスト関数 $f$ ごとの $T_f(\Phi)$（式 (4) の $T_{f,L}$ の $L\to\infty$ での極限）の有限個の組が、どれも多変数ガウス分布に従う超関数値の確率場のことです（1-09 のガウス測度）。

五次元以上の自明性は二つの不等式で示されました（Aizenman 1981・1982、Fröhlich 1982）。四点のずれを「四本の足が一点 $u$ で出会う図」で抑える樹形図の上界と、臨界点でも二点関数が自由場の形を超えない赤外の上界です（イジング模型、ADC 式 (1.22)(1.23)）。

四点が互いに距離 $L$ 程度なら、$S_4\sim S_2^2\sim L^{-2(d-2)}$、右辺は $u$ の和が $L^d$、因子四つが $L^{-4(d-2)}$ です。

$d\gt4$ なら 0 に向かい、細部を除けばこれが五次元以上の定理の骨です（ADC §1.3）。$d=4$ では $L^0$ で、一次資料は 'clearly inconclusive for d = 4' と書きます。問題文も、五次元以上で四次の自己相互作用を持つスカラー場は存在せず、その証明は一成分の場に当てはまると書きます（JW §6.2）。既知 同じ指数は 6-01 の式 (7) の結合の次元 $[\lambda]=4-d$ にも現れ、$d\gt4$ では結合が遠くで効かなくなる向きです。物理

樹形図の上界の出どころはランダムカレント表示です。重み $e^{\beta J\sigma_x\sigma_y}$ を辺ごとに Taylor 展開し、次数 $n(x,y)$ を辺の整数（カレント）と見てスピンの和を取ると、次数の和が奇数の点（源）の集合 $\partial n$ が相関を取る点の集合 $A$ に一致する配置だけが残ります（ADC 式 (3.5)）。

源の無い配置はループの集まりで、二点相関は「$x$ と $y$ を結ぶ道を一本入れる効果」です。源を付け替える恒等式（切り替え補題）から次が出ます（ADC 式 (3.11)）。

$\mathbf P^{xy,zt}$ は、源がそれぞれ $\{x,y\}$ と $\{z,t\}$ の独立な二つのカレント $n_1,n_2$ の法則です（式 (7) の重みを確率に直したもの）。$\mathcal C(x)$ は、和 $n_1+n_2$ が正の辺をたどって $x$ につながる点の集合で、$\mathcal C(z)$ も同じです。$\mathcal C(x)\cap\mathcal C(z)\ne\varnothing$ は、$x$ と $z$ が $n_1+n_2$ の中でつながることを意味します。Wick の法則からのずれは、この出会いの確率そのものです。既知

二つの塊は独立ではありません。そこで源の無いカレントを足して、独立な二つの塊に置き換えます。そうしても交わる確率は増えるだけです（ADC 式 (3.13)(3.14)）。その確率を交点の数の期待値で抑え、切り替え補題をもう一度使うと、式 (5) の一つ目の不等式（樹形図の上界）になります（ADC §3.2）。既知

二つの塊を、$x$ と $y$、$z$ と $t$ を結ぶ酔歩に見立てると直感がつかめます（一次資料もこの類推を案内に使います）。四次元で、距離 $L$ 離れた二点から出て、半径 $L$ 程度の範囲を出るまで（歩数で $L^2$ 程度）歩かせた二本の軌跡を考えます。交わる確率は $1/\log L$ のように 0 に向かうのに、交点の数の期待値は $L$ によらない正の定数より小さくなりません。交わるのは稀でも、交わると交点が $\log L$ で増えるからです（ADC §3.2）。既知

目安は、酔歩の軌跡が二次元的（半径 $L$ で約 $L^2$ 点）で、二次元どうしが出会う境目が $2+2=4$ だということです。正確には、交点の数の期待値が式 (6) の $L^{4-d}$ で振る舞うこと（表 2 の $E$）がこの目安の中身です。

計算P の点と表 2 はこの端末で計算した。酔歩の絵は決まった種の乱数による見本（最初の図は交わる例を選んだ）。射影で重なって見える所の大半は $d$ 次元では重なっていない。

計算表 2　二本の単純酔歩を $\pm(L/2)e_1$ から出し、半径 $2L$ の球を出るまで歩かせたときの共通の格子点の数の平均 $E$、交わる確率 $P$、交わったときの平均 $E/P$（各 6000 組。$P$ の標準誤差は 0.003〜0.0044。$L=8,32$ は図 1）。

$E$ は三次元で $L$ に比例し、五次元で $1/L$ のように減り、四次元ではほぼ一定で、式 (6) の $L^{4-d}$ どおりです。四次元では $P$ がゆっくり下がり $E/P$ が増える、「稀だが、出会うときはまとめて出会う」形です。有限の $L$ なので $1/\log L$ の速さの確認にはなりません。計算

四次元で樹形図の上界を改良する鍵は、距離 $L$ で切った泡の図 $B_L$ です（ADC 式 (1.25)）。二点関数を二本つないで一周する図です。自由場の二点関数 $G$（格子のラプラシアンの逆）なら、同じ点から出た二本の酔歩が同じ点を踏む回数の期待値に比例し、四次元の遠方で $G(x)\approx1/(4\pi^2|x|^2)$ なので対数で増えます。既知

計算表 1　自由場の格子の泡 $\sum_{x\in[-L,L]^d}G(x)^2$（無限格子・質量 0、$G(x)=\int_0^\infty\prod_ie^{-2t}I_{x_i}(2t)\,\mathrm dt$ を数値積分。$I_n$ は変形ベッセル関数で、$e^{-2t}I_n(2t)$ は左右へそれぞれ率 1 で跳ぶ一次元の連続時間酔歩が時刻 $t$ に $n$ にいる確率）。増分は $L$ を倍にしたときの差で、式 (9) からは $\ln2/(8\pi^2)=0.00878$。

四次元の増分は 0.00878 に近づき、三次元は増分が倍々（$\propto L$）、五次元は半分ずつで収束します。計算 定理 1.3（改良された樹形図の上界）は、四次元の最近接強磁性のイジング模型で $\beta\le\beta_c$、$L\le\xi(\beta)$、互いに $L$ より離れた四点について、ある $c,C\gt0$ で次を与えます（ADC 式 (1.24)）。

二点関数が赤外の上界をほぼ満たすなら（四次元で予想されている場合）$B_L$ は $\log L$ 程度で $|U_4|/S_4=O((\log L)^{-c})$、ずっと小さいなら式 (5) だけで足ります。四点から先は、式 (4) の量の特性関数が $(\log L)^{-c}$ の誤差でガウスに近いことで閉じます（ADC 命題 1.4）。証明の中心は、交わったときの交点の数が $(\log L)^c$ 以上に増えることの多重尺度の解析です（ADC §4・§6）。既知

定理 1.2 は相殺項の選び方によりません。結果は相殺項の計算でなく、どんな極限にも現れうる Schwinger 関数（§01 の $S_n$）どうしの次元に依存した関係に基づきます（ADC §1.1）。「硬い」$\phi^4$ もイジング模型も含みます（スピンの塊の平均で $\phi^4$ を作る Griffiths–Simon の構成）。一方、対象は最近接・強磁性・一成分・格子の切断の模型の極限に限られ、あらゆる構成法の定理ではありません。対数の補正の正確な大きさと極限の共分散も与えていません（ADC §1.2）。既知

既知表 3　自明性の主な結果（区分は ADC §1.1–1.2。§1.1 は下の小さい $\lambda$ の結果の一部も $d=4$ の部分的な結果に数える。掲載先は末尾）。

その後、一頁の訂正（2024）と有効次元が四以上への拡張（Panis 2026）が出ています（書誌のみ）。

物理の側の理由は、四次元の四次の結合が漸近自由でないことです（JW §6.2）。以下は一ループの絵で、定理ではありません。物理 4-04 を読んでいなければ、式 (11) の右端だけを受け入れて読み進めてかまいません。相互作用を $\frac{u}{4!}\phi^4$ と書きます（式 (3) なら $u=24\lambda$）。一ループでは四点の結合が泡を一つ挟んだぶんずれ、挟み方は三通り（式 (2) の三つの対）、各々に対称因子 $\tfrac12$、泡は式 (9) と同じ $\frac{1}{8\pi^2}\ln$ です（位置の和 $\sum G^2$ と運動量の積分は Parseval の等式で等しい。1-11）。$\Lambda$ を切断、$\mu$ を見る尺度として

です（中央は流れの式 $\mu\,du/d\mu=3u^2/16\pi^2$ の積分）。裸の結合 $u(\Lambda)$ をどれほど大きくしても、切断を上げると $u(\mu)$ は 0 に向かいます。逆に $u(\mu)=1$ を保って上へ延ばすと、$\ln(\Lambda/\mu)=16\pi^2/3\approx52.6$（$\Lambda/\mu\approx10^{22.9}$）で分母が 0 になります（Landau 極）。ヤン–ミルズでは符号が逆で（6-07 の式 (2)）、$g^2(\mu)$ を固定して $\Lambda$ を上げても、裸の結合 $g^2(\Lambda)$ が 0 に向かうだけです。物理計算

式 (11) を数で見ます。表 4 の左の二列が $\phi^4$、右端がヤン–ミルズで、図 2 は同じ量を尺度の関数として描きます。

計算この図の数値はこの端末で計算した（式 (11) と 6-07 の式 (2)。表 4 と一致）。

計算物理表 4　式 (11) の $u(\mu)$ と、$SU(3)$ で $g^2(\mu)=1$ を保つ裸の結合 $g^2(\Lambda)$（$b_0=11\cdot3/48\pi^2$）。

潰れる速さは $1/\ln\Lambda$ で、式 (10) の $(\log L)^{-c}$ と同じ型の遅さです。一ループの式は結合が大きい所では信頼できず、自明性の証明にはなりません。問題文は 2000 年の時点で 'all insights from random walks, perturbation theory, and renormalization analysis point toward triviality' と書いていました（JW §6.2）。定理としての答えが §02〜§07 です。既知

寄り道：赤外で自由になる側

問題文は 'a non-trivial quantum Yang–Mills theory exists on R⁴' を求め、相関関数が短距離で漸近自由と摂動的繰り込みの予言に一致することを要求します（JW §4、0-03）。既知 摂動論の予言では、短距離で $g^2(\ell)\approx1/(2b_0\ln(\ell_0/\ell))$ のように結合が対数的に 0 に向かいますが、恒等的に 0 ではありません（4-06、例は表 4 の右端）。物理 要件の意味は三つに整理できます（この章の読み）。

1. 非自明性は別に示す性質である。紫外の評価や極限の存在からは従いません（6-07 の水準 5）。四次元の $\phi^4$ は、最近接・強磁性・一成分の格子の族の中では、パラメタをどう動かしても（遠方で $S_2\to0$ なら）ガウスになる実例です。
2. $\phi^4$ の定理はヤン–ミルズの自明性を示さない。問題文は漸近自由の有無で両者を対比し、ヤン–ミルズを 'natural candidate' とします（JW §6.2）。$SU(2)$ のヤン–ミルズ–ヒッグス模型のガウスな極限は、ゲージ結合を格子間隔に連動させて 0 にする取り方によるもので、非ガウスな極限は未解決とされています（Chatterjee 2026）。
3. 証明の道具はそのままでは持ち出せない。ランダムカレント表示は、イジング型の模型の構造です。

現状は、問題文の 'at present we do not know any non-trivial relativistic field theory that satisfies the Wightman (or any other reasonable) axioms in four dimensions'（JW §6）と、総説の 'there is yet no construction of a continuum limit of a lattice gauge theory in any dimension higher than two where Wilson loop variables have been shown to have nontrivial behavior'（Chatterjee 2018 §6）のとおりです。四次元のヤン–ミルズの非自明性は未証明で、止まる場所の全体は 6-10 で見ます。既知

この章が言えている範囲

出典と再現

次に読む章：6-09 確率量子化と正則性構造（劣臨界と臨界。四次元が境目になることの、方程式の側の顔）。

← 6-07 四次元目次6-09 確率量子化と正則性構造 →