2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 6 部 構成的場の理論出題者の言葉

四次元で止まる場所 — 紫外は有限体積で見込み、止まっているのは無限体積と一様なギャップ

問題文（Jaffe–Witten 2000、以下 JW）の §6 は、四次元の現状を二つの文に分けます。既知

'Some results are known for Yang–Mills theory on a 4-torus T⁴ approximating R⁴, and, while the construction is not complete, there is ample indication that known methods could be extended to construct Yang–Mills theory on T⁴.' ／ 'Yet, even if this were accomplished, no present ideas point the direction to establish the existence of a mass gap that is uniform in the volume. Nor do present methods suggest how to obtain the existence of the infinite volume limit T⁴ → R⁴.'

トーラス $T^4$（箱の向かい合う面を貼り合わせたもの）の上の構成は未完了だが、既知の方法を延ばせば作れる兆候が十分にある。体積に一様なギャップと $T^4\to\mathbb R^4$ には、方向を指す考えが今は無い。一辺 $L$ の箱の測度を $\mu_L$、ハミルトニアンの隙間を $\Delta_L$ とすると、対象は

です（$\mu_{a,L}$ は格子間隔 $a$ の測度。6-01 の式 (6)）。例：出題者は見立ての強さを言葉で書き分けています（表 1）。この章はその差を段に写します。

既知表 1　問題文の強さの言葉（Clay の PDF の本文で確認）。

6-01 の六つの段に、四次元の到達点と文献の言葉を重ねます。到達点は閉（定理がある）、仮定つき（仮定の下の定理か、詳細な証明の無い概略）、未（定理が無い）の三つです。段 1〜3 は二重の極限

の内側、段 4 は外側、段 5・6 は $\mu$ の性質です。式 (1) の前の文は内側を、後の文は外側と段 6 を指します。

既知この図の文は表 2 と同じ（問題文・報告・論文・総説の本文）。下の括弧は、§6 の前の文が段 1〜3 を、後の文が段 4 と段 6 を指すことを示す。

既知表 2　四次元のヤン–ミルズの段ごとの到達点（連続の理論として）。

この章が読んだ範囲で、2000 年以後の四次元の結果は二種類です。一つは格子間隔を固定した側です（§05）。もう一つは、Higgs 場（ゲージ場と結合する物質場の一つ。3-07）を加えた $SU(2)$ の模型で、格子間隔・結合・Higgs 場の長さを連動させて取る特殊なスケーリング極限です（次元 $d\ge2$ のどれでもよい）。その極限はガウス（自由場）で、著者は 'The question of constructing a non-Gaussian scaling limit remains open' と書きます（Chatterjee 2026）。既知 純粋なヤン–ミルズの連続の段 3〜6 を閉じたとする文献は、この章が読んだ範囲に見当たりません。

段 1・2 は、四次元でも格子の上なら閉じています。JW §6.5 は 'the lattice approximation reduces the functional integration to a finite-dimensional integral' と書き、反射正値性も成り立つとします（Osterwalder–Seiler 1978）。既知 Chatterjee（2018）の書き方で、プラケット（最小の正方形）の集合を $P$、$U_p$ を $p$ を一周する群の元の積とすると

です。$U_p\in SU(N)$ の固有値は絶対値 1、Haar 測度 $\mathrm dU_\ell$ は重さ 1 だからです。例：一辺 4 点の四次元の周期格子のプラケットは $6\times4^4=1536$ 枚で、$SU(2)$ なら $e^{-6144\beta}\le Z\le1$。計算

代わりに格子は回転の対称性を壊し、連続の切断はゲージ不変性を壊します（6-07 §06）。反射正値性について JW §6.5 は、正則化で失うと取り戻す方法が少ないと書きます（引用は 0-03 §03）。既知 ゲージ不変性・反射正値性・ユークリッド不変性・紫外の制御の四つを同時に保つ四次元の正則化は、この章が読んだ文献に見当たりません（この章の読み）。

中身は 6-07 で読みました（Bałaban 1989 は仮定つきの評価、MRS 1993 は概略）。出題者は §6.5 でこう書きます。既知

'One presumably needs to revisit known results at a deep level, simplify the methods, and extend them.'

見直し、簡素にし、延ばす。段 3 について求められているのは新しい考えではなく、この作業です。閉じた姿は Wilson ループ $W_\gamma$（閉じた道 $\gamma$ に沿った群の元の積の $\frac1N\operatorname{tr}$。5-01）で書けます。格子の道 $\gamma_a\to\gamma$ について

です（ren は次の段落の繰り込み。形は Chatterjee 2018 §5・§6 に倣った）。

繰り込みが要る理由は、Chatterjee 2018 の Problem 5.2（連続極限）に見えます。無限体積の四次元の格子で、物理的な大きさが $R\times T$ の長方形の道（格子の上では $R/a$ 歩と $T/a$ 歩）を $\gamma_{R/a,T/a}$ と書くと、問題は $\beta\to\infty$ で

となる列を見つけることです（$\sigma$ は連続の理論の弦張力。原文の記号は $d$）。$R+T$ は周の長さに比例し、$RT$ は面積です。$c\to\infty$ なので、そのままでは $\log\langle W\rangle\to-\infty$、つまり期待値は 0 に潰れます。周の長さに比例する項 $c(R+T)$ を足し戻してから極限を取るのが、ここでの繰り込みです。既知 ただし Chatterjee 自身は 'it is not clear to me whether the renormalization term c(R + T) is indeed necessary' と書いており、この項が本当に要るかも開いた問いです。

例：可換な $U(1)$ の四次元の格子には、連続極限の構成があります（Driver 1987）。Chatterjee 2018 §6 は、Gross が三次元の $U(1)$ で通常とは別の意味の収束として示した方法を、Driver が四次元に使ったと紹介します。既知 可換な群では格子の作用の二次より高い項（場の自己相互作用）が連続極限に残らず、極限は自由な電磁場と見込まれる、というのがこの章の説明です（Driver の本文は未読）。

非可換で式 (4) に届くまでに、段差が二つあります。(i) 紫外安定性は、部分列が収束することしか与えません（Chatterjee 2018 §6）。列全体が収束すること、つまり極限の一意性は別の仕事です（6-07 §05）。(ii) 極限が在っても、それはガウス（自由場）かもしれません。自由場でないこと、つまり非自明性も別の仕事です（6-08 §10）。脚注 2 は、コンパクト性による弱い存在を、極限の性質を別に示さない限り解と認めません（§6.5 末尾）。

出題者の言葉は 'Nor do present methods suggest how to obtain the existence of the infinite volume limit' の一文です（§6）。当事者の MRS 1993 §I は、赤外の切断を外すと結合が大きくなるとして、'there is no easy solvable model of these phenomenons around which to expand' と書きます。既知 繰り込み群の段の列（6-05）を尺度の軸に並べると

です。$a_0$ は仮定の届く最も粗い尺度（$g^2(a_0)\le\gamma$。6-07 と同じく $\gamma$ を $g^2$ の上限として使う）、$\ell_*$ は走りを延ばして $g^2=1$ になる目安の長さで、$\gamma=0.3$ の $SU(2)$ なら $\ell_*/a_0\approx10^{10.7}$（二ループ。6-07 §04 の表 2）です。計算 $\ell_*$ を閉じ込めの尺度と読むのは物理の見当です。物理 この本の整理では、欠けているのは真ん中、結合が $O(1)$ に育つ尺度を体積によらない評価で渡る一段です（6-04 §10）。

例：格子間隔を固定すれば、段 4 は強結合の側で閉じています（Osterwalder–Seiler 1978）。Shen–Zhu–Zhu 2023 は、$SU(N)$ で $|\beta|\lt1/(16(d-1))$、$d=4$ なら $1/48\approx0.0208$ のとき、無限体積の測度の一意性と相関の指数減衰を示しました。この $\beta$ は 't Hooft の規約の値です。この規約では作用の前の逆結合を $\beta N$ と書くので、式 (3) の $\beta$ に直すと $N$ 倍になり、条件は $|\beta|\lt N/48$ です（この本の Wilson の $\beta$ では $N^2/48$。五つの規約の換算は 5-01 表 4）。弱結合の側では非可換群の一意性すら一般に未知で（Chatterjee 2018 §3）、指数減衰は有限群でだけ示されています（Adhikari–Cao 2025、5-10）。$U(1)$ には大きい $\beta$ で閉じ込めない相が在り（Guth 1980、Fröhlich–Spencer 1982）、非可換で相転移が無いことは信じられているだけです物理（5-06）。

段 5 は Osterwalder–Schrader の公理です（4-10）。反射正値性は格子の各間隔で成り立ち、不等式なので極限に引き継がれます（6-01 §07）。回転の対称性の回復は別の仕事で、ヒルベルト空間を立てること自体が問題の一部です（JW §6.5）。既知

§4 は条件を足します。(i) $\operatorname{Tr}F_{ij}F_{kl}(x)$ のような曲率のゲージ不変な局所多項式に対応する局所場（脚注 1：自然な一対一対応は繰り込みのために無い）。(ii) 短距離で漸近自由と摂動的繰り込みの予言に一致すること（応力テンソルと演算子積展開を含む）。(iii) 非自明性（6-08）。そして

です（$H\ge0$ はハミルトニアン、$m$ は質量）。例：$H\ge0$ なので、$m\lt\infty$ は $H$ のスペクトルが正の点を含むこと、つまり $H\ne0$ と同じです。$m=\infty$ なら $(0,\infty)$ にスペクトルが無く、$H=0$ です。さらに真空の一意性を並進について述べる形（並進で不変な単位ベクトルがただ一つ。nLab の「Wightman axioms」の Axiom 3 の書き方）を使うと、スペクトル条件（エネルギーと運動量が前方の錐に入る）から運動量も 0、すべてのベクトルが並進で不変になり、ヒルベルト空間は真空だけになります。この形の公理の下では、$m\lt\infty$ は空の理論を除く条件と読めます（この章の読み）。問題文 §3 の要約は「Poincaré 不変な真空ベクトルが位相を除いて一意」という形で、こちらからは同じ結論がすぐには出ません。(iii) で落ちる例は、格子からの極限がガウスになる四次元の $\phi^4$ です（Aizenman–Duminil-Copin 2021）。

有限の箱の格子では隙間は自動的に在り（6-01 §08）、問いは一辺 $L$ によらないことです。JW §6.5 は 'New ideas are needed to prove the existence of a mass gap that is uniform in the volume of space-time. Such a result presumably would enable the study of the limit as T⁴ → R⁴' と書きます（§5 も同じ向き。表 1）。既知

出題者は、有限体積で一様なギャップ（段 6）が無限体積（段 4）への道を開きうると書きます（§5 の 'may play a fundamental role'、§6.5 の 'presumably would enable'）。6-01 で段 4 を先に置いたのは、ギャップが $\mathbb R^4$ の理論について定義されるからで、証明の順ではありません。仕組みは一行の評価です。箱のハミルトニアン $H_L$、真空 $\Omega_L$、隙間 $\Delta_L$ について、スペクトル分解で真空の成分とそれ以外を分けると

で（虚時間 $t$ だけ離れた相関）、$\Delta_L\ge\Delta_*\gt0$ が $L$ によらなければ減衰の速さも $L$ によりません。既知 例：二次元イジング模型の帯では、臨界点で $E_1-E_0$ が $1/L$ で閉じ、低温では指数的に閉じます（2-09 §07・§08）。弱結合の $\phi^4_2$・$\phi^4_3$ では小さい径数の展開が段 4 と 6 を同時に与えました（6-04 §08）が、四次元のヤン–ミルズの長い距離にはその径数がありません。

JW §5 はギャップの帰結として 'For any positive constant C < ∆ and for any local quantum field operator O ... such that ⟨Ω, OΩ⟩ = 0, one has (2) |⟨Ω, O(x)O(y)Ω⟩| ≤ exp(−C|x − y|), as long as |x − y| is sufficiently large' と書きます（$x,y$ は空間の点。以下この不等式を JW (2) と書き、この章の式 (2) と区別します）。既知 要は $C\lt\Delta$ と「十分大きい」距離です。右辺に定数が無くてよいのは、$C$ を $\Delta$ より真に小さく取っているので、定数倍も冪の因子も、十分遠くでは $e^{-(\Delta-C)r}$ に負けるからです。 質量 $\Delta$ の自由なスカラー場の同時刻の相関は

で、ユークリッドの二点関数と同じ形です（$K_1$ は第二種の変形 Bessel 関数。点の場は局所作用素の代わりの見本で、均しても遠方の形は定数倍しか変わらない）。$r=1/\Delta$ で 1 に規格化して $e^{-Cr}$ と比べ、質量 0（相関は $1/r^2$ に比例）も並べます。

計算表 3　規格化した相関が $e^{-Cr}$ 以下になる $r$ の範囲（$r$ は $1/\Delta$ 単位、$r\le5000$ で調べた）。

計算この図の数値はこの端末で計算した（式 (8)。縦の点線は、質量 $\Delta$ で JW (2) が成り立ち始める距離と破れ始める距離）。

読み方：(a) $C\lt\Delta$ なら $r$ が 2 程度より先で成り立つ。(b) $C=\Delta$ でも冪 $r^{-3/2}$ のおかげで成り立つが、問題文は $C\lt\Delta$ しか言わない。(c) $C\gt\Delta$ では遠方で必ず破れる。(d) 質量 0 では、どの $C\gt0$ も遠方で破れる。遠方の傾き $-\frac{\mathrm d}{\mathrm dr}\log$ は $r=10$ で $1.153\Delta$、$r=100$ で $1.015\Delta$ と上から $\Delta$ に近づきます。計算 格子の測定は空間で和を取って運動量 0 の成分を取り出し、時間方向の相関から同じ種類の冪の因子を消して、指数関数 $e^{-mt}$ の和を見ます（5-08）。自由場なら、ユークリッドの二点関数を空間で積分した時間方向の相関はちょうど $e^{-\Delta|t|}/(2\Delta)$ です。既知 段 6 から段 4 へ渡るには、JW (2) や式 (7) が箱の大きさによらずに成り立つことが要ります。

この章が言えている範囲

出典と再現

次に読む章：6-11 発散以外の障害。段 4〜6 で止まる理由を、発散とは別の障害として並べます。年表と次元ごとの表は 9-01。

← 6-09 確率量子化と正則性構造目次6-11 発散以外の障害 →