2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 6 部 構成的場の理論四次元・紫外安定性

四次元：Bałaban と Magnen–Rivasseau–Sénéor — 紫外の側は有限体積で「制御の水準」まで来ているが、構成は完了していない

三次元では、格子を細かくすると結合がひとりでに弱まりました（6-06 §02）。四次元では結合 $g$ に長さの次元が無く、細かい尺度で結合を弱めるのは漸近自由だけです（4-06）。長さの尺度 $\ell$ での結合 $g(\ell)$ は、純ゲージの $SU(N)$ で

に従います（PDG の式 (9.3) をこの本の規約に直した値）。既知 一ループだけを残すと

で、尺度を半分にするごとに $1/g^2$ が $2b_0\ln2$ だけ増えます。例：$g^2=0.2$ から格子間隔を半分にすると、$SU(3)$ では $1/g^2$ が 5 から 5.0966 になり $g^2$ は 1.9% 減、$SU(2)$ では 1.3% 減です。三次元なら $g_0^2=g^2a$ が半分になります。計算

この遅さのため、段ごとの $g_k^2$ 程度の補正の和は段数の対数で増え続け、誤差として積めません（6-05 §06）。補正を結合そのものに繰り込む必要があり、四次元の系列の最初の論文の題は 'a coupling constant renormalization in four dimensions' を含みます。既知

Bałaban の仕事は、三次元と共通の土台（1983–85）の上に四次元の論文（1987–89）を積んだ系列で、総説は 'a long series of papers spanning six years' と書きます（Chatterjee 2018 §6）。既知

既知表 1　系列の並び（書誌は Chatterjee 2018・Dimock 2011・Crossref で照合）。

問題文はこの拡張を 'a qualitative breakthrough' と呼び、'an analysis of asymptotic freedom to control the renormalization group flow as well as obtaining quantitative estimates on effects arising from large values of the gauge field' と要約します（JW §6.5）。題に即せば、1987 年の論文が小さい場と結合の走りを、1989 年の二篇が大きい場（6-05 §04 の $\Omega^c$）を受け持ちます。既知

最後の論文の序文の定理です。

'Theorem 1. If the sequence of the effective coupling constants is contained in an interval ]0, γ] with a sufficiently small positive γ, then the effective densities ρ_k have the form, and satisfy all the conditions and bounds, described in Sect. 2 [III].'

有効結合の列とは、段 $k=0,\dots,K$（細かい段から単位格子まで）ごとの結合 $g_k$ です。「形と条件と評価」は 6-05 §07 の帰納の形を指します。論理の形だけを取り出すと

です。著者は、仮定は先行論文の定理 2 から出る基本不等式に従うので外せるが、'The proof of Theorem 2, which is based on second order perturbative calculations, is very awkward and long ... and has not been published yet, so we have Theorem 1 with the assumption' と続けます。1989 年の時点で、四次元の紫外安定性は仮定つきの定理です。探した範囲（著者の 1989 年以後の論文の書誌）では、定理 2 の証明を載せた論文は見当たりません。既知

定理から 'the ultraviolet stability bounds of the same type as for superrenormalizable models in [16]' が出て、定数 $E_\pm$ は 'independent of k, T_η, U_k' です。ループ変数などの期待値の解析は今後の課題とされています。既知

超繰り込み可能な模型（原論文の文献 [16]）と同じ型の評価、という意味です。三次元のヤン–ミルズは超繰り込み可能なので（6-01 の式 (7)）、形は 6-05 の式 (10) と同じ型と読めます。$T_\eta$ は論文の格子、$|T_\eta|$ はその点の数で、6-05 の式 (10) の $|T_k|$ に当たります。$U_k$ は段 $k$ の場の配位です。定数が段にも格子の大きさにも場にもよらない、ということです（この段落はこの章の読み）。

例：論文の有効結合 $g_k$ は論文の中で段ごとに定められるもので、式 (2) の走りそのものではありません。一ループの走り (2) で読めば $g_k$ は粗い側ほど大きく、列の最大は単位格子の $g_K$ なので、仮定 (3) は $g_K\le\gamma$ の一条件に縮みます（この章の読み）。

段の列が止まる単位格子の尺度を $a_0$ とすると（6-05 の式 (1)）、仮定は単位格子の尺度で結合が小さいことで、ここでは $g^2(a_0)\le\gamma$ と書きます。式 (1) を粗い側へ延ばして $g^2=1$ になる長さを $\ell_*$ と書きます。$\ell_*$ は摂動論を信頼できない所まで延ばした目安の長さで、閉じ込めや質量が現れると物理で考えられている尺度の見当です。物理 $u=g^2$ として式 (1) を積分すると

右は一ループの近似です。定理の文面で $\gamma$ は 'sufficiently small' とあるだけなので、下の $\gamma$ は説明のための値です。ここでは $\gamma$ を $g^2$ の上限として使います（式 (3) の $g_k\le\gamma$ とは $\gamma$ の付け替えだけの違いです）。

計算この図の数値はこの端末で計算した（式 (4)。実線が二ループ、破線が一ループ。表 2 と一致）。

計算表 2　$\log_{10}(\ell_*/a_0)$（一ループ／二ループ）と、一辺 $\ell_*$ の四次元トーラスの単位格子の点の数（二ループ）。

表 2 の範囲（$\gamma=0.1$〜$0.5$）では、$a_0$ は $\ell_*$ より 3〜42 桁細かい所にあり、一辺 $\ell_*$ の四次元トーラスの単位格子の点は $10^{12}$〜$10^{167}$ 個です。計算

読み方（この章の読み）。段の列で押さえるのは $a_0$ より細かい尺度だけです。その先は単位格子の上の有限次元の積分で、群がコンパクトなので有界ですが、定数は $e^{E|T|}$ の形です。$|T|$ は単位格子の点の数で、6-05 の式 (10) の $|T_k|$（§03 の $|T_\eta|$）の最後の段に当たります。一辺 $\ell_*$ のトーラスなら $|T|$ は上の点の数の大きさです。紫外安定性は $\ell_*$ の尺度についての情報ではありません。

同じ言葉が違う強さで使われます。既知 評価として：'The ultraviolet stability means that the actions ρ_K have bounds independent of the lattice spacing ε'（Bałaban 1985）。部分列として：'The existence of a convergent subsequence is known as ultraviolet stability'（Chatterjee 2018 §6）。「一つの形」として：MRS と Bałaban について 'a form of ultraviolet stability' が示された（Chevyrev 2022 §1.1）。

評価から部分列へ進む道具はコンパクト性で、いちばん簡単な形は Bolzano–Weierstrass の定理です。

極限は一つとは限りません。例：$x_K=\sin K$ は $|x_K|\le1$ ですが収束せず、$K=33,77$ では 0.99991, 0.99952、$K=11,55$ では −0.99999, −0.99976 で、1 に近づく部分列と −1 に近づく部分列が取れます。計算

MRS の序文は Bałaban の結果をこう評します。'From this result the existence of an ultraviolet limit for gauge invariant observables such as "smoothed Wilson loops" should follow, at least through a compactness argument using a subsequence of approximations; but the limit is not necessarily unique.' 問題文の脚注 2 は、コンパクト性による弱い存在を、極限の性質（ギャップと公理）を別に示さない限り解と認めません（JW §6.5。6-06 §06 も参照）。既知

Magnen–Rivasseau–Sénéor は格子を使わず、連続の運動量の切断から出発しました。対象は四次元の純 $SU(2)$、自明な位相セクター、固定した赤外の切断で、紫外の切断を外した、正則化した軸性ゲージの Schwinger 関数です。既知 言葉を順に定義します。

• 軸性ゲージ：一つの座標方向の成分を 0 にそろえるゲージの選び方です（$A_4=0$ など。ゲージ固定は 4-08）。
• 自明な位相セクター：インスタントン数（3-05）が 0 の配位だけを扱うことです。
• Schwinger 関数：ゲージを一つ固定したときの場の積の期待値 $\langle A(x_1)\cdots A(x_n)\rangle$ です。

中心は場の大きさの見積もりです。切断が壊したゲージ不変性を戻す相殺項が場を $\lambda^{-1}$ 程度に抑えます（$\lambda$ は結合）。軸性ゲージでは、ゲージを固定した後の測度が正の重みのまま残ります。これが軸性ゲージの正値性で、MRS は Feynman ゲージなどを出発点に使えない理由として 'lack of positivity' を挙げています。この正値性と合わせると、確率の意味で場はおよそ $\lambda^{-1/2}$ になります。そこで小さい場と大きい場の領域に分けて扱います。MRS の曲率で書くと

です。作用 $|F|^2$ を展開すると二次・三次・四次の項が出ます。右の二つは三次の項と四次の項を二次の項で割った比で、微分の数を数えない大きさの目安です（この章の読み）。$|A|\sim\lambda^{-1}$ では比はどちらも 1、$|A|\sim\lambda^{-1/2}$ では $\lambda^{1/2}$ と $\lambda$ です。$\lambda^{-1}$ では非線形の項が二次の項と同じ大きさで、MRS も $\lambda^{-1}$ の情報だけでは 'not enough to start perturbation theory' と書きます。例：$\lambda=0.01$ なら、$|A|\sim100$ で比は 1 と 1、$|A|\sim10$ で 0.1 と 0.01。計算

小さい場の領域ではゲージを摂動計算向きの、背景場に依存するものに替えます。結論は 'The ultraviolet limit as ρ → ∞ of the Schwinger functions ... exists; furthermore these functions in the ultraviolet limit satisfy the Slavnov identities' です。Slavnov 恒等式は、小さいゲージ変換への不変性がゲージを固定した相関関数の間に残す関係式です（4-08）。既知

留保も著者自身が書いています。'we do not provide a detailed proof of this statement'、詳細な証明は 'would presumably be several hundred pages long'。軸性ゲージに限られ、インスタントンを扱わず、赤外の切断を外しません。外せば結合が大きくなり 'presumably to so-called non-perturbative effects corresponding to confinement' に至るからです。既知

MRS は自分たちの切断の役割を 'quite similar to the role played by compactness of integration over the gauge group in Balaban' だとします。式にすると

で、どちらも場の最初の上界です。既知 格子の側は群の元、連続の側はリー環の元で書いているので、大きさをそろえます。$SU(2)$ で $U_\ell=e^{igB_\ell}$（$B_\ell$ はリー環の元）と書けば、回転角を $0$ から $\pi$ に取れるので $|B_\ell|\le\pi/g$ です。つまり格子の側でもリー環の場は $1/g$ 程度に抑えられ、両辺とも「場 ≲ 1/結合」の形になります（この章の読み）。例：$SU(2)$ で $\|U-1\|=2$ になるのは $U=-1$、回転角 $\pi$ のとき。計算 上界だけでは摂動を始められない点も共通です。

既知表 3　二つの道。

MRS は、Bałaban の仕事がゲージを固定した Schwinger 関数を扱わないことを指摘し、'one can consider in fact that the ultraviolet problem for the Yang-Mills field theory is not yet understood until this point is clarified' と書きます。逆に MRS は反射正値性と赤外を後に残しています。既知

段 3（6-01）の中とその先を水準 0〜7 に分けます（表 4 の行。5 は極限が自由場（ガウス）でないこと＝非自明性で、問題文はさらに短距離の振る舞いが漸近自由の予言と一致することを求めます。7 は体積に一様な質量ギャップ）。文献の言葉を矢印に載せると

で、定理があるのは水準 1 だけです（四次元では仮定つき）。既知

既知表 4　制御の水準（「見込み」は文献が「従うはず」「示せるだろう」と書くもの。問題文が求めるのは理論の存在と性質で、水準 1 は方法の段）。

「制御の水準まで来ている」とは、水準 1 が通り（四次元では仮定つき）、水準 2〜4 の一部が見込みか概略として書かれている状態のことです。問題文は $T^4$ について 'while the construction is not complete, there is ample indication that known methods could be extended to construct Yang–Mills theory on T4' と書き、コンパクトな空間の上の詳細な構成だけでも 'a major breakthrough' だとします（JW §6）。2004 年の報告も 'The state of the art remains the works of Balaban and of Magnen, Rivasseau and Sénéor' と書きます（Douglas 2004）。既知

例：物差しとして、弱結合の三次元の $\phi^4$ では水準 1〜7 に当たるものがすべて定理です（JW §6.2、6-03 §06）。水準 5 に当たるのは、極限の測度が非ガウスであること（JW §6.2 の 'a remarkable non-Gaussian measure'）です。水準 5 が別に示す必要のある性質であることは 6-08、水準 6・7 で出題者が新しい考えを求めていることは 6-10 で扱います。

この章が言えている範囲

出典と再現

次に読む章：6-08 四次元の φ⁴ の自明性（水準 5 の非自明性が、なぜ別に示す必要のある性質なのか）。

← 6-06 三次元ヤン–ミルズの紫外安定性目次6-08 四次元の φ⁴ の自明性 →