2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 9 部 現在地と課題七つの切れ目

二つの掘り方の切れ目 — 七つの seam で、二本のトンネルの食い違いを見る

この問題には掘る向きが二つあります（0-02）。数学は「理論はまだ無い」から出発して六つの段（6-01）を順に通し、物理は「理論は在る」から出発してその中の量を計算します。比喩で言えば同じ山を両側から掘る二本のトンネルで、正確には、片方の文をもう片方へそのまま渡せない場所がある、ということです。数学の目標は次の形です（0-03）既知。

$G$ はコンパクト単純群、$\mathcal T_G$ は $\mathbb R^4$ 上の量子ヤン–ミルズ理論、$H$ はそのハミルトニアンです。物理の文「$\mathcal T_G$ で量 $Q$ を計算すると $q$」は $\exists\,\mathcal T_G$ を前提に含みます。物理の一文 $P$ を数学の言明 $M$ に訳して、訳が定理にならない場所を切れ目（seam）と呼びます。

例：$SU(2)$ の $m_{0^{++}}/\sqrt\sigma=3.844(61)$（Lucini–Teper 2001）物理は、物理では予言、数学では構成した理論が合わせるべき的です（7-13 §01）。

壁の対訳表 — 数学の六つの障害と、物理の七つの手つき

表 1 の切れ目は、両側の一覧の行を対にして作りました。その前に、行どうしを名前で対訳しておきます。左は 6-11 表 4 の六つの障害、右は 7-13 表 5 の七つの手つきです。決まり文句は、それぞれの側がその壁を指して言う言い回しです。片側にしか無い行があります。

対訳表　壁の名前（対応の付け方はこの本の整理）

両側にある四行は、同じ壁を別の言葉で呼んでいます。片側にしか無い行は、その側の言葉では壁として見えない場所です。正値性と表現の同値性は、物理の手順では問われずに通り過ぎ、面積則は、数学の問題文では問われずに通り過ぎます。この対訳を切れ目に組み直したものが表 1、部分的な橋まで並べたものが §07 の表 4 です。

表 1 に七つの切れ目を並べます。数学の順（存在→公理→ギャップ）と物理の順（値→機構）は向きが逆なので、同じ位置の段どうしは対応しません。比喩で言えばトンネルの食い違いで、正確には、一方の側の前提が他方の側では最後の段の目標になる、ということです。

表 1　七つの切れ目（分け方と型はこの本の整理）

型 A は物理の前提が数学の目標になる切れ目、型 B は物理が径数 $p$ の特定の値（岸）で計算し、数学は $p$ を問題文の値 $p_*$ へ動かす極限を要る切れ目、型 C は同じ語が別の対象を指す切れ目です。型 B は次の形です。

例：切れ目 4 では $p=L$（箱の一辺）で $p_*=\infty$、切れ目 7 では $p=R$（余剰次元の大きさ）で $p_*=0$ です。

以下の節は型ごとに並べます（型 A が 1・2、型 B が 3・4・7、型 C が 5・6）。

切れ目 1：存在の前提

物理の計算は理論（測度とヒルベルト空間）が在ることの上に立ち、数学はその存在を作らなければなりません。作る途中では質量も弦張力も定義されていません。問題文は 'one does not yet have a mathematically complete example of a quantum gauge theory in four-dimensional space-time, nor even a precise definition' と書きます 既知。数学は $\exists\,\mathcal T$ を、格子間隔 $a$・一辺 $L$ の近似 $\mu_{a,L}$ の極限として示します。

コンパクト性による部分列の極限（弱い存在）だけでは解と認めない、と問題文は §6.5 の脚注 2 に書きます（別の手法で極限の性質を確立するなら別）既知。例：二次元は $\mathbb R^2$ の測度まで作られ（6-02）、三次元は 'a construction of the 3D YM measure and a description of its gauge-invariant observables, even on T³, remains open'（Chevyrev 2022）既知、四次元は有限体積の紫外安定性が仮定つきで得られた段階です（6-07）。

切れ目 2：尺度は一つ

物理では、次元を持つ量はすべて一つの尺度 $\Lambda$ の定数倍だと考えます（4-07）物理。数学に訳すと、例えば格子単位の質量 $m(\beta)$ と弦張力 $\sigma(\beta)$（$\beta=2N/g^2$ は格子の逆結合で、逆温度ではありません）について次が成り立つことです。

これが四次元に特有なのは $[g^2]=(\text{質量})^{4-d}$ のためです 既知。$d\lt4$ では理論が在れば次元解析で尺度は一つ、$d=4$ では $\Lambda=\mu\,e^{-1/(2b_0g^2(\mu))}$ が結合の走りから量子効果として生まれます 物理。ただし次元解析が決めるのは形だけです。例えば $d=3$ では $g^2$ が質量の次元を持つので $m=c_1g^2$、$\sigma=c_2g^4$ と書けますが、定数 $c_1,c_2$ が極限で 0 や ∞ に行くことまでは禁じません。例：一尺度が破れる例は、三次元の compact $U(1)$（質量を物理の単位で固定した連続極限で $\sigma/m^2\to\infty$ とされる。Göpfert–Mack の要旨は $m_D$ を固定した連続極限で物理単位の弦張力が無限大と書く。本文は未読）と超重力の領域（$m^2/\sigma\sim1/\lambda$）です 物理（7-12 §08）。この端末の記録は (5) に近い一文を仮定 H として切り出し、三つの鎖に分けましたが（7-12・10-03）、定理にはなっていません。

切れ目 3：岸が違う

厳密な結果や計算が効くのは三つの岸です。摂動論は $g\to0$、強結合展開は小さい $\beta$、ホログラフィーは $N\to\infty$ かつ $\lambda=g^2N\to\infty$ の岸で、問題文の理論はどの岸にもありません。格子の結合を 't Hooft の結合に直すと次のとおりです。

強結合の側では、十分に小さい $\beta$ での無限体積極限と指数的なクラスター性（ギャップ）が Osterwalder–Seiler 1978 にさかのぼります（範囲は明示されない。Shen–Zhu–Zhu の序論による）既知。範囲を明示した定理（Shen–Zhu–Zhu。arXiv 2022、CMP 2023）の条件は、Wilson の規格化で $\beta\lt N^2/(16(d-1))$ です（9-01）既知。(6) で直すと $\lambda\gt32(d-1)$、四次元で $\lambda\gt96$ となり、$N$ によりません 計算。連続極限は $\lambda\to0$ の向きで、格子の数値は $SU(2)$ の $\beta=2.25$〜$2.60$ で $\lambda=3.6$〜$3.1$ です 計算（規約が違うので目安）。例：二つの強い岸はどちらも、切断と物理の尺度が分かれていない場所です（強結合の格子では相関長が格子間隔より短く、超重力では KK の塔がグルーボールと同じ高さに残る。7-10）。

切れ目 4：有限と無限

有限の箱・有限の $\beta$ では転送行列の成分が正なので、隙間はいつも正です（7-13）既知。問われるのは、箱を広げても潰れないことです。

問題文は後者について 'no present ideas point the direction to establish the existence of a mass gap that is uniform in the volume' と書き 既知、格子の上の形は Chatterjee 2018 の Problem 5.1 です（9-05 §08）。物理は有限の箱で測り、$L\sqrt\sigma\ge3$（$L$ は箱の一辺の物理の長さ）のような経験則で体積の影響を確かめ、格子間隔については $a^2$ で外挿します（7-13 §05）物理。例：二次元イジング模型の帯は臨界点で隙間が $1/L$ で閉じますが、どの $L$ でも隙間は正です（2-09）。有限の箱の数値から $\inf_L$ は読めません。

切れ目 7：余剰次元

ホログラフィーでは、ギャップは余剰次元の幾何（円が潰れる葉巻）から出ます（7-09）物理。四次元に戻すには余剰次元の大きさ $R=1/M_{\mathrm{KK}}$ を 0 にして $\Lambda$ を固定しますが、一ループの見積もり

から、$R\to0$ は $\lambda\to0$ と同じ向きです（7-10）物理。超重力が使えるのは $\lambda\gg1$ で、Csáki らは 'This is the opposite of the limit that is required for the supergravity description to be valid' と書きます 物理。例：Sakai–Sugimoto の当てはめから換算した $\lambda\approx16.6$（クォークを含む模型の当てはめ値で、純ヤン–ミルズの値ではない。$N=3$。規約で 2 倍程度ずれうる）では (8) は 0.27 で、尺度は分かれていません 計算。極限の入れ替えの正当化は、探した範囲で見当たりません。

岸の遠さは量によって違います。四次元 $SU(2)$ の Wilson 作用 $S=\sum_P\bigl(1-\tfrac12\operatorname{tr}U_P\bigr)$、重み $e^{-\beta S}$（$\beta=4/g^2$。5-01）で、局所的な量（プラケット）と長い距離の量（質量）について、二つの岸の主項を数値と比べます。主項はどちらも標準の最低次の展開です（強結合展開は 5-02 で扱います）。

二つの主項の中身

$I_n$ は変形ベッセル関数で、次の積分で定義します。

強結合の主項 $u$ は、プラケット一枚を周りと無関係な $SU(2)$ の変数とみなし、$\tfrac12\operatorname{tr}U$ を重み $e^{\beta\cdot\frac12\operatorname{tr}U}$ で平均した値です。群の上の Haar 測度（5-01 §06）では $\tfrac12\operatorname{tr}U=\cos\theta$ の密度が $\sin^2\theta$ に比例し（$0\le\theta\le\pi$）、この平均がちょうど $I_2/I_1$ になります 既知（数値積分で 10 桁一致 計算）。$\beta$ が小さいと周りのプラケットとの結び付きが弱く、この一枚の平均が主項です 既知。

弱結合の主項は等分配の勘定です。等分配とは、重み $e^{-\beta S}$ の下で、$S$ に二次の形で入る自由度一つが $\langle\beta S\rangle$ に $\tfrac12$ ずつ寄与する、ということです（$\int x^2e^{-\beta x^2}dx\big/\!\int e^{-\beta x^2}dx=1/(2\beta)$ から）。$\beta$ が大きいとプラケットは 1 の近くに押し込められ、$S$ はリンクの小さな揺れの二次式で近似できます。一格子点あたりリンクは 4 本、$SU(2)$ の向きは 3 つで 12 個です。そのうちゲージ変換の 3 つの向きは作用を変えないので数えず、9 個が残ります。一格子点あたりのプラケットは 6 枚なので、一枚あたり $\langle1-\tfrac12\operatorname{tr}U_P\rangle\approx\frac{9/2}{6\beta}=\frac{3}{4\beta}$ です 既知。

質量は相関の減り方の率です。強結合では、離れた二枚のプラケットを結ぶにはあいだを管の形のプラケットで埋める必要があり、管が一格子伸びるごとに側面の 4 枚ぶん $u^4$ を拾います。相関は距離 $t$ で $u^{4t}=e^{-(-4\ln u)t}$ のように減るので $am\approx-4\ln u$ です 既知。弱結合の側では、$am$ を $g^2$ の冪級数に展開するとどの次数の係数も 0 で（$e^{-1/g^2}$ の形のため）、形だけが漸近自由から来ます 物理。

二ループの漸近スケーリングです（4-06）。定数 $C$ は漸近自由からは決まらず、それがギャップの情報そのものです。

数値と並べる

数値は、プラケットがこの端末の $6^4$ の格子での熱浴法 計算、質量が Lucini–Teper 2001 の表 1 物理です。熱浴法は、リンクを一本ずつ、周りのリンクを固定したときの条件つき分布から直接引き直す更新を繰り返すモンテカルロ法です（5-07）。

計算プラケットの点（表 2）と曲線（(9)・(10) をその場で計算）はこの端末で計算した。物理質量の点は Lucini–Teper 2001 の表 1。

計算表 2　$\langle\tfrac12\operatorname{tr}U_P\rangle$：$6^4$ の熱浴法（括弧は統計誤差の目安。測った 15 点から抜粋）と二つの主項。ずれは数値に対する百分率。

表 3　質量 $am$（格子単位）。物理数値 $am$ の列は Lucini–Teper の表 1（この本で SU(2) の六点を引くときの正本。$a\sqrt\sigma$ と格子の大きさは 5-09 表 1）。計算$\xi=1/(am)$・強結合・(10) の列はこの端末の計算で、(10) は $\beta=2.6$ の点に合わせた（$C=185$）。

例：プラケットで数値の 5% 以内に入るのは、強結合の主項が $\beta\le1.5$、弱結合の主項が $\beta\ge2.75$ で（$\beta=1$ の一致は曲線が交わるだけ）、$1.75\le\beta\le2.6$ の点ではどちらも入りません 計算。質量の連続値の外挿に使う $\beta=2.25$〜$2.60$ はこの帯の中です。質量では強結合の主項が数値の 2.2〜5.1 倍で、(10) は他の五点を 11% 以内で再現しますが $C$ は合わせた数です 計算。局所的な量では二つの主項のあいだを数値が埋め、長い距離の量では弱結合の岸に値が無く（6-11 §03）、強結合の岸は届きません。

物理の連続値 3.844(61) は、この帯の中の六点（$\xi\le2$）の比 $m/\sqrt\sigma$ を $a^2\sigma\to0$ へ延ばした値です（Lucini–Teper 表 5。延ばし方は 7-13 §05）物理。これは連続極限（$a\to0$）への外挿で、体積の影響は有限の箱の経験則で別に確かめています（切れ目 4）。

切れ目 5：時空と空間

物理の直感は時空（ミンコフスキー）の上にあり、粒子が飛び、因果があります。数学の構成はユークリッドの $\mathbb R^4$ の上の確率測度で、光円錐も因果もありません（0-04）。戻り道は反射正値性です（4-10）。$\Theta$ を時間の反射、$F,G$ を正の時刻の側の関数、$\tau_t$ を時間の平行移動として

の真ん中の不等式が反射正値性で、これがあって初めて $\mathcal H$ と $H\ge0$ が作れます（Osterwalder–Schrader の再構成）既知。「時間」「エネルギー」「粒子」は (11) を通って意味を持つ語です。Wilson の作用が反射正値性を保つことは Osterwalder–Seiler 1978 によります 既知。一方で格子そのものは回転の対称性を壊します。問題文は、正則化で反射正値性が失われた場合について、取り戻す方法は少ないと書きます（引用は 0-03 §03） 既知。例：Pauli–Villars の二点関数では $\langle F,F\rangle_{\mathcal H}\lt0$ となる $F$ が作れます（6-11 §06）。

切れ目 6：「粒子」という語

物理はグルーボールの質量を数えます 物理。問題文が求めるのはスペクトルの隙間で、下端に孤立した一粒子状態が在ることは 'natural extensions' に分けられています（0-03 §09）既知。

（$\mathbf P$ は運動量）。例：格子で測る相関の減り方は、下端の位置を教えても、孤立した点か連続スペクトルの端かは教えません（9-05 §05）。GeV の単位も純ヤン–ミルズからは出ず、Athenodorou–Teper は 'Strictly speaking this is of course not possible: the pure gauge theory and QCD ... are two different theories' と断っています 物理。

6-11 は数学の側の障害を、7-13 は物理の手つきを挙げました。切れ目はその行を対にしたものです。すでに在る部分的な橋は、どれも次の形です。

例：Shen–Zhu–Zhu では $A$ が $\lambda\gt96$（明示された範囲。Wilson の $\beta$ では $N^2/48$ 未満、換算は 5-01 の表 4）、結論が無限体積でのギャップで、$A$ は連続極限の向き $\lambda\to0$ では成り立ちません。

既知表 4　切れ目と 6-11 の障害・7-13 の手つき・部分的な橋（対応の付け方はこの本の整理）

部分的な橋はどれも岸の側（強結合・低次元・有限の格子）にあり、問題文の側へ延びるものは探した範囲で見当たりません。ゲージを七つに入れないのは、局所的なゲージの固定が数学（6-05）にも物理にも要る共通の壁だからです。Chatterjee 2021 の定理は、この壁の前でゲージを選ばずに進む道の一つです。位相のセクターと $\theta$（6-11）も、問題文が $\theta$ に触れない点で切れ目に数ええます。何が分かればどの行が動くかは 9-04 に並べます。

この章が言えている範囲

出典と再現

次に読む章：9-03 新しい概念の候補。切れ目を越えるのに何が要りそうかを、概念の側から見ます。課題としての並べ直しは 9-04。

← 9-01 世界はどこまで来ているか目次9-03 新しい概念の候補 →