2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 10 部 質量ギャップの厳密な証明へ — この端末の検討定理までの距離

定理までの距離 — 足りないのは β の長さではなく、一様性である

定理までの「距離」は比喩です。正確には、この章では次の三つを数えます。

(a) 欠けている言明の一覧。目標の定理を論理の式で書き、記録の手にあるもの（定理・Lean で閉じた代数）とのあいだに、証明の無い言明がいくつ挟まるか。(b) β の上の隔たり。証明の在る結合の範囲（定理の端と、このサイトの論文の紙の端）と、連続極限の側の範囲が、格子を 2 倍に粗くする段で何段離れているか。(c) 指数の隔たり。記録の式 $a^2C_P\propto a^{p}$ で、$p$ と対数の指数がいくつずれていれば帯が壊れるか。

記号は 10-03 に従います。$C_P$ は格子の Wilson 測度の Poincaré 定数（Langevin 力学の隙間の逆数）、$\xi=1/m_{\rm lat}$ は相関長、$a=1/\xi_{\rm RG}$ は記帳が決める格子間隔、$\sigma$ は弦張力です。

(1) は「数」ではなく「一覧」です。欠けた言明の難しさは互いに比べられないので、本数を数えて近い遠いを言うことはしません。例：10-08 の §08 は (S4) に届く壁の極小の組を数えましたが、その最小の大きさ 5 は「あと五歩」の意味ではありません。五つのうちの一つ（H↑ か、それに替わる (P)）が、出題者が新しい考えを求めた場所と同じ形をしているからです（§09）。

「最も軽い粒子の質量が正」は、量子論のハミルトニアン $H$ のスペクトルの言明です。真空のエネルギーを 0 に取ると、真空のすぐ上に隙間 $\Delta$ があること（0-03 §06・4-11）。

問題文はこれを $\mathbb R^4$ の上の非自明な理論について求めます：'Prove that for any compact simple gauge group G, a non-trivial quantum Yang–Mills theory exists on $\mathbb R^4$ and has a mass gap $\Delta\gt0$.'（Jaffe–Witten）既知。格子から入る道では、同じ目標が三つの水準に割れます。

(T1) は Chatterjee の Problem 5.1 の形です（5-09 §05）。(T2) は 10-01 の (S4) で、(T1) に格子間隔の決め方 $a(\beta)$ を足したもの。(T3) は (T2) の極限が在り、公理を満たし、(2) がその極限のハミルトニアンについて成り立つことです。

表 1　目標の三つの水準と現状

例。質量 $m$ の自由場は (2) を $\Delta=m$ で満たしますが、非自明でないので (T3) の解ではありません。逆に、格子の隙間が β に一様に正（$m_{\rm lat}\ge c$）なら (T1) の後半が破れ、(T2) の比は発散します（10-01 §04）。三つの水準は、別々の失敗の仕方を持っています。

手にあるものは二種類に分かれます。一つは各 β で（あるいは小さい β の範囲で）成り立つ定理、もう一つは仮定を明示した代数（記録の Lean）です。どちらにも、β→∞ に一様で連続極限の側にある定理は入っていません。

表 2　手にあるもの（記録の Lean の仮定は同じ行に書く。一覧は 10-07）

表の上半分は定理ですが、β の範囲が有界か、極限の性質を何も言わないかのどちらかです。下半分は β に一様な形をしていますが、仮定の帯・冪・射影が β に一様に成り立つことを前提にしています。一様性は、仮定の側にしかありません。

例。Shen–Zhu–Zhu の範囲の端 $\beta=1/12$ で彼らが示すのは格子の隙間が正であることです 既知。その大きさを強結合展開の主項で見積もると $\xi\approx0.065$ 格子間隔、$m_{\rm lat}\approx15$ です 計算。この大きさの隙間は (T2) の向きでは物理の質量の発散の側で、定理として正しくても目標からは反対側にあります（10-01 §06）。

証明の在る β と、連続極限の側の β がどれだけ離れているかを、格子を 2 倍に粗くする段の数で測ります。物理の外挿として、二ループの漸近スケーリング（4-06）を Lucini–Teper の $\beta=2.60$ の値 $\xi=1/0.514$ に合わせて延ばします 物理。

$\kappa=11/(3\pi^2)$ は一ループ係数の書き直しで（10-02 §07）、一ループの記帳では一段ごとに β がこれだけ下がります 既知。$k$ は相関長を目標まで伸ばすのに要る段の数です。

計算この図の数値はこの端末で計算した（二ループの曲線と段の数は (4) をその場で計算、強結合の主項は表から埋め込み）。JavaScript が無効なときは表 3 で読めます。

表 3　目標の相関長と、要る β・段の数（二ループの外挿は 物理。最後の列は一ループの記帳で数えた段の数）

計算相関長 1000 格子間隔までは、このサイトの論文の端から 13.4 段、数値の窓の端から 9.0 段です。「論文の端」は $\beta\lt0.2722$ で、曲率の下界はすべての β で Lean、0.2722 は Bakry–Émery の条件から出る閾値、隙間に至る段は紙の概略です 紙。定理の端は Shen–Zhu–Zhu の $\beta\lt1/12$ で 既知、そこでは $\xi\approx0.065$ なので、段はさらに約 0.5 増えます。二ループで数えた段と一ループの記帳で数えた段の差（9.01 と 9.41）は、10-03 §06 の「記帳の次数」の対数が段の数に出たものです。

表 3 の数はどれも有限です。それでも距離が縮まらないのは、定理に要るのが「ある目標まで」ではなく「すべての目標で、同じ定数で」だからです。比喩で言えば、階段の段数ではなく、どの段でも踏み外さないという保証が欠けています。正確には、各段の評価の定数が段の番号に依らないこと（$\sum\delta\lt\infty$ と仮定 H の帯の読み）が要り、強結合の定理の定数を改善しても β の有界な範囲が広がるだけで、この一様性には触れません。

欠けている言明を一つずつ取り、それが証明されたら記録の手にある代数で何が従うか、それでも何が残るかを並べます。10-08 の §08 は壁の組で届く先を数えましたが、ここでは一本ずつの「届く範囲」と「届かない範囲」を見ます。中心にあるのは 10-03 の (7) の読み替えです。

(5) の右辺は、格子の物理単位での隙間の下界 $m_{\rm lat}/a\ge C^{-1/2}$ で、(T2) の下の半分です Leanhup_is_gap_positivity（仮定：$C_P=1/m^2$・$m\gt0$・H↑）。仮定のうち $C_P=1/m_{\rm lat}^2$ は鎖 (i) を等号で置いたもので、相互作用のある理論では仮定です。

表 4 の記号を一句ずつ。$T(c,1)$ は転送作用素の管の評価（10-06 §03）、(P) は射影の仮定（10-03 §07）、Problem 5.2 は Wilson ループの連続極限が非自明に存在すること（Chatterjee §5）です。

表 4　欠けている言明と、分かれば動くもの・それでも動かないもの（「似た言明」は類比を含む。同値と主張しない）

表 4 から読めることは二つです。第一に、(T2) の下の半分に直接つながる行は H↑ だけで、H↑ は (P) と三つの下界のどれかを経由しても「すべての試験関数」の言明として残ります（10-08 表 5 と同じ結論）。第二に、最後の二行は記録の道具の外にあり、H↑ が仮に示されても (T3) までは (S1)(S3)(S6)(S8) の四つが残ります。

例。仮に H↑ と鎖 (i) が示されたとして、β=2.60 で (5) が言うのは $m_{\rm lat}\ge C^{-1/2}a$ です。格子間隔を弦張力で測ると（鎖 (iii) の下で $a$ と定数倍で揃う）、数値は $m_{\rm lat}=0.514$・$a\sqrt\sigma=0.134$ で $m_{\rm lat}/a=3.84\sqrt\sigma$ なので、$C^{-1/2}$ がこれ以下である限り数値と矛盾しません。$C$ の値は $a$ の単位の選び方に依り、ここでは $a$ を $1/\sqrt\sigma$ で測りました 物理。(5) は数値と食い違わない形の下界で、その中身はすべて「定数 $C$ が β に依らない」ことにあります。

寄り道：φ⁴₄ の教訓 — 極限まで届いても、着く先が自明かもしれない

(5) が β に一様に示されたとして、それが連続の理論の (2) になるには何が要るか。隙間の下界は、相関の指数減衰の上界と同じものです（4-11 §02）。物理単位の時間 $t$（格子では $t/a$ 歩）で書くと

$\tau_t$ は時間の平行移動です。(6) は「$\le$」の不等式なので、各 $t$ で両辺が収束すれば極限でも成り立ちます（閉じた条件）。極限の理論が OS 公理を満たし、(6) が十分な観測量の族（その族から作る状態が真空に直交する部分で稠密になる族。$A$ は時間を反転した側に置く）で成り立てば、再構成したハミルトニアンの隙間は $\Delta_0$ 以上です 既知（不等式の極限と 4-11 §02 の同値の組み合わせ）。出題者の 'Such a result presumably would enable the study of the limit as $T^4\to\mathbb R^4$'（Jaffe–Witten §6.5）は、一様な評価が極限への道具になるという同じ見立てです。

ただし (6) を極限に渡すには三つの条件が残ります。(a) $A,B$ の期待値が収束すること。連続の観測量は格子の観測量を繰り込んで作るので、これは (S3) の問いです。(b) 定数 $K_{A,B}$ が β に依らないこと。(c) コンパクト性だけで得た（部分列の）極限で済ませず、極限の性質（隙間と公理）を別の手法で示すこと（問題文の脚注 2、10-01 §03）。

例。自由場の時間方向の相関は格子で $e^{-m_{\rm lat}(t/a)}$ です。$m_{\rm lat}=\Delta_0a$ なら $e^{-\Delta_0t}$ で、(6) は β に依らない形になります。格子の隙間を一様に $m_{\rm lat}\ge c$ と置くと $e^{-ct/a}$ で、$a\to0$ とともに評価が強くなりすぎ、物理の質量の発散の側に出ます（10-01 §04）。同じ「一様」でも、どの単位で一様かが向きを決めます（5-09 §07）。

記録の式では、(S5) の $a^2C_P\asymp1$ からのずれは二つの指数と対数の因子に分かれます（10-03 の (10) と表 0′）。一ループの記帳で $\xi_{\rm RG}=e^{3\pi^2\beta/11}$（定数倍を除く）なので、β は $\ln\xi_{\rm RG}$ に比例します。

$p$ は冪の距離で、$\eta_{\rm dyn}=0$（鎖 (i)）と $\theta=0$（取りこぼしが溜まらない）の両方で 0 になります LeandrainExp_eq_zero_iff（仮定：冪の形と符号）。$s$ は冪に映らない対数の指数で、正規化と確率時間の繰り込みで決まります。(7) の左辺は $a^2C_P$（$\xi_{\rm RG}$ の読み）なので、確率時間の一ループの繰り込みを入れて、リンクの角度の正規化 $\mathcal E_\vartheta$ で $s=-303/242$、場の正規化 $\mathcal E_A$ で $s=-61/242$ です 物理（一ループ・前提つき、10-03 §02 表 0′ の帯・$\xi_{\rm RG}$ の行）。どちらも、$C_P/\xi^2$（$\xi$ の読み）に掛かる指数 $-9/22$・$+13/22$（$-9/22$ は Lüscher–Schaefer 2011 の因子 $g_0^{9/11}$ と同じ冪 既知）に、二つの長さの比 $\xi_{\rm RG}/\xi\propto\beta^{51/121}$ の二乗の逆 $\beta^{-102/121}$ を掛けたものです。

計算曲線は (7) をその場で計算したもの。表 5 の数値はこの端末で計算した。

表 5　冪に映らない対数の因子（一ループの記帳。$\xi_{\rm RG}=10^3$ を 1 とする。左の二列は $C_P/\xi^2$（$\xi$ の読み）、右の二列は $a^2C_P$（$\xi_{\rm RG}$ の読み、(7)）に掛かる因子。中の列 $\beta^{-102/121}$ は二つの読みをつなぐ因子で、比 $\xi_{\rm RG}/\xi\propto\beta^{51/121}$（10-03 の (11)）の二乗の逆）

計算$\xi_{\rm RG}$ が $10^3$ から $10^{100}$ に伸びるあいだに、$a^2C_P$ の因子 $\beta^{-303/242}$ は 0.012 倍、$\beta^{-61/242}$ は 0.41 倍にしかなりません。一方、冪の水準の比 $\ln\beta^{-303/242}/\ln\xi_{\rm RG}$ は $-0.171$ から $-0.024$ へ、$\ln\beta^{-61/242}/\ln\xi_{\rm RG}$ は $-0.034$ から $-0.005$ へ 0 に近づきます。どの因子も冪の水準の H と鎖 (ii)(iii) を動かさず、どの因子も一様な定数の帯を、ゆっくりですが必ず出ます。

この節の距離は二層です。冪の水準では、二つの数 $\eta_{\rm dyn}$・$\theta$ がちょうど 0 であることが欠けています。帯の水準ではそれに加えて、どの正規化と記帳の次数で帯を述べるかという文の選び方が未決で、この本が H を冪の水準に置き、帯を $\text{H}_{\rm band}[\mathcal E_\vartheta]$・$\text{H}_{\rm band}[\mathcal E_A]$ と名指して分けたのはこのためです（10-03）。例：(5) を使うには帯の文が要るので、(T2) までの距離には「どの帯か」を決める一歩も入ります。

記録に「次の一歩」として書かれているものを、押す矢印ごとに並べます。上の七行は有限の計算か短い証明で決着のつく大きさで、最後の行だけが道具の無い問いです。

表 6　記録の次の一歩（状態は記録の判定。「H↑ を押すか」は 10-04 §08 の見方）

H↑ を直接押す行は最後の一つだけで、それが止まっていることが、この章の距離の中心です。上の七行は距離を縮めるというより、距離の測り方を確かにする仕事です。例えば体積単調性は、仮定 H を「無限体積か開いた境界で述べる」という記録の注意（10-03 §07）を、文の選び方から補題に変えます。

例。卒業研究の大きさで決着のつく問いの一覧は 10-13 にあります。そこに並ぶ問いのどれが決着しても、表 4 の H↑ の行は動きません。小さな問いの役は、表 4 の他の行と表 6 の測り方を固めることです。

この章の距離を三つの層にまとめます。

世界の側。四次元では紫外の構成も有限の箱で完結しておらず（6-07）、出題者は赤外について 'New ideas are needed to prove the existence of a mass gap that is uniform in the volume of space-time.'（Jaffe–Witten §6.5）と書きました 既知。

記録の側。一段の記帳は書き切れ、(S4) への道は仮定つきの代数で書けています。欠けているのは、冪の水準で二つの数（$\eta_{\rm dyn}$・$\theta$）、帯の水準で文の選び方、そして下界の側の H↑ です。

重なる所。世界の側の「体積に一様なギャップ」と記録の側の H↑ は、どちらも「すべての状態（すべての試験関数）について、尺度に依らない定数で」という下界の言明で、格子の上で同じ形をしています（10-08 §09 の整理）。

一行で言えば、足りないのは β の長さではなく、一様性である。これがこの章の題です。(8) の二本の矢印はどちらも証明されておらず、記録は最初の矢印を三つの名前（H↑・$\sum\delta\lt\infty$・帯の文）に割ったところまで来ています。割ったことは整理であって、矢印を短くしたことではありません。

例。表 3 の段の数は β の目盛りを増やせば増えますが、(8) の最初の矢印の中身は増えません。逆に、強結合の定理の定数を改善すると手にある箱は広がりますが、矢印は同じ長さのまま残ります。

この章が言えている範囲

出典と再現

次に読む章：10-13 小さな問い — 卒業研究の大きさで決着のつく十〜二十問。

← 10-12 つじつま合わせ目次10-13 小さな問い — 卒業研究の大きさで決着のつく十〜二十問 →