2026-10-15 · chapter ヤン–ミルズと質量ギャップ第 14 部 閉じる条件つきの言明・矢印ごとの札・開いた矢印 · Kiichi, Shiori and Rin

条件つきの言明 — 質量ギャップと閉じ込めを矢印ごとに

この章の言明は、一つの「ならば」ではなく、矢印の束です。結論は二つあります。

• 質量ギャップ：転送行列（ハミルトニアン）のスペクトルが真空の上で $\{0\}\cup[\Delta,\infty)$、$\Delta\gt0$ となること（4-11）。
• 閉じ込め：大きな Wilson ループの期待値が面積の指数で減ること（面積則、5-08）。

二つは別の言明です。面積則からギャップを出す既知の道は無く、「閉じ込めを示せばギャップも出る」は誤解です（9-05）。だからこの章は、二つの結論をそれぞれ別の矢印の束で出し、最後に二つを同じ理論の上で結ぶ矢印を、開いたまま置きます。

水準も二つに分けます。水準 I は $\mathbb R^2\times$ 小さな捩れた $T^2$（一辺 $L$、't Hooft の捩れ $n_{12}=1$）の上の理論で、格子間隔 $a\to0$ の極限を取ったもの。問題文の要求ではなく、中間の到達目標です。水準 II は $\mathbb R^4$ の理論で、水準 I から $T^2$ を広げる段（帯）と、無限体積の極限の段を通って着きます。

使う仮定を表 1 に並べます。札はどれも「仮」で、証明の無い行です。名前は中身から付けたもので、旧い記号は A-06 §11 にあります。

台帳との対応を先に言います。台帳では [04] と [08] は一つの行 ⑥ にまとめられ、横広げの不等式 [06] と一様な板の張力 [07] は帯 ⑧ の行の中の形として扱われています。帯への還元の非可換の入力は、台帳では ⑦ 繰り込みの比較の行に置かれています。⑤ z の鏡映正値性は記録では閉じた行で、この章では矢印 C5 の中で使います（台帳の規則では、紙の証明が 13-04 に置かれるまで行は残ります）。[09]・[10] は台帳の外の差 外 1・外 2 で、仮定を外す仕事ではなく、結論を問題文まで運ぶ仕事です。この章では矢印の前提として名指すために表に入れました。

表 1 の「枠の減相関」は二つの形に割りました。[04] は閉じ込めの側で容器の評価を分けるための形、[05] は水準 I のギャップの側で研究計画が置く形です。同じ系統の仮定ですが、文としては別物で、[05] には結論の量（率 $m$）が入っています（§02）。$\theta$ は容器の区画の偏り $\theta(R;T^2_L)$（容器の一辺 $R$、横の $T^2$ の一辺 $L$）で、A-06 表 6 の $\theta$（取りこぼしの溜まりの指数）とは別の量です。

矢印 G1（水準 I）。紫外の制御 [01] と枠の減相関のブロックの形 [05] の下で、$\mathbb R^2\times$ 小さな捩れた $T^2$ の理論が（ブロック観測量の分布の部分列の極限として）在り、鏡映正値で $\mathbb R^2$ の並進に不変で、転送行列が真空の直交補空間の上で $\|T_t\|\le e^{-mt}$、$m\ge c/L$ を満たす 仮。水準 I の研究計画が命題として掲げる形で、証明は筋の段にあります。結論は台帳の ② 小さな $T^2$ のギャップにあたります。

この矢印の中身を正確に言うと、転送行列の段は器の段（段 1）の抽象の補題です。実内積空間の上の自己共役な縮小作用素について、稠密な集合の上で相関が率 $m$ で減れば作用素のノルムが $e^{-m}$ 以下になる、という一般の事実で、物理の測度とは独立です。したがって G1 の中で質量ギャップの中身を担っているのは、仮定 [05] の「率 $m\ge c/L$ で減る」の部分です。[05] は結論の量を含んでいて、G1 は「ブロックの相関の一様な減衰を転送行列の隙間に言い換える矢印」と読むのが正確です。捩れが零モードを消すこと（随伴の場に零モードが無い、12-01）は、[05] が成り立つと期待される理由で、[05] の証明ではありません。

矢印 G2（水準 II）。G1 の隙間 $m\ge c/L$ は $L\to\infty$ で 0 に近づくので、そのままでは $\mathbb R^4$ のギャップになりません。$\mathbb R^4$ へ運ぶには、板の質量ギャップが $L$ に一様であること [08] が要り、さらに無限体積の極限 [09] の中で、一様な指数的な減衰が極限の理論の転送行列の隙間に移ることを使います 仮。ここでも、ギャップの中身は帯の仮定 [08] にあります。「ギャップは段 3 と転送行列から」という言い方は、段 3 の隙間を帯を通して $L$ に一様に運べた場合の形で、運ぶ部分が帯の問題そのものです（13-00）。

閉じ込めの側には、格子間隔を固定した段で紙の証明のある矢印が二本あり、格子間隔を 0 に送る段と帯の段は仮定の上の矢印です。

矢印 C1（格子間隔を固定）。二本あります。(a) 板の閉じ込め：格子間隔と $T^2$ の大きさ $N$（格子の単位）を固定すれば、全ての $\beta$ で面積則が成り立ち、張力は $\sigma\ge-\ln\tanh(\beta N^2)\approx2e^{-2\beta N^2}$ で押さえられる 初（12-04）。張力は細い $\mathbb Z_2$ の渦の面のコストで決まり、連続極限では 0 に近づきます。(b) 論文 3 の定理 A：固定した $N\ge2$、ブロックの一辺 $\ell\ge2$、$\beta\ge1$、$M\in2\ell\mathbb N$ の格子 $T^2_N\times T^2_M$ で、$n_{34}$ の流束の偏り $\theta$ が $-\ln\theta\ge c(N,\ell)\,\beta^{-a}e^{-\beta(S_*(N,\ell)+\varepsilon(\beta))}M^2$、$\varepsilon(\beta)=O(\sqrt{\ln\beta/\beta})$ を満たす 仮（この本には証明を置いていない。引用つきの証明は論文にある：チェス盤の評価と Morse–Bott の補題を引用し、剛性の定数は存在だけが示される。論文は草稿で、外の検査を経ていない。12-02 §07 (e)）。$S_*$ は真空に凍らせた枠の中の分数インスタントンの最小作用で、率が細い渦の $2N^2$ でなく分数インスタントンで決まることを言います。台帳では ⑦b（上の端）の閉じ込めの向きの行です。同じ論文の定理 B は固定した $M$ での逆向きの評価です。どちらも $N$ に一様でなく、連続極限については何も言いません。

矢印 C2（水準 I）。紫外の制御 [01] と挿入の一様な受理 [02] の下で、$\mathbb R^2\times$ 小さな捩れた $T^2$ の理論の $\mathbb R^2$ の平面の Wilson ループが $a$ に一様な面積則を持つ 仮。期待される張力の形は $\sigma\ge c'e^{-F/g^2(L)}/L^2$（$F$ は分数インスタントンの作用 $4\pi^2$ の見込み）です。組み立ての部品のうち、挿入の恒等式と平均の評価は紙と有限版の Lean で閉じていて（12-05・12-06）、大偏差の段は [01] の (U2) と同じ型のチェス盤の評価に帰着する筋です。基点 [03] は、この矢印の結論を容器の偏りの言葉で書いたものにあたります。

矢印 C3（帯の還元の形）。基点 [03]・枠の減相関 [04]・横広げの不等式 [06] の下で、$\theta(R;T^2_R)\le e^{-cR^2}$ 仮（論文 2 の条件つきの定理）。論文 2 の証明は概略で、「枠の減相関で積が定数の損で分かれる」の部分が数の不等式として書かれていません。この本では、仮定を数の不等式の形に書き直したうえで、残る代数を定理 1 として紙に置きます。

初 証明。$2R_k=R_{k+1}$ なので、(1) の二つを続けて $t_{k+1}\le K_2\,\theta(2R_k;T^2_{R_k})\le K_1K_2\,t_k^4=Kt_k^4$ です。$u_k=K^{1/3}t_k$ と置くと $u_{k+1}\le u_k^4$、帰納法で $u_k\le u_0^{4^k}$。$4^k=(R_k/R_0)^2$ なので $u_0^{4^k}=\exp(-(R_k/R_0)^2\ln(1/u_0))$ で、(2) が出ます。∎ Lean Doubling（Doubling.iterate）（仮定：$c\ge0$・$t_k\ge0$・$t_{k+1}\le c^3t_k^4$。結論：$c\,t_k\le(c\,t_0)^{4^k}$）・Doubling（Doubling.decay）（同じ仮定と $c\gt0$。結論：$t_k\le(c\,t_0)^{4^k}/c$）。$c=K^{1/3}$ と読みます。

出発の値 $K^{1/3}t_0\lt1$ は、基点 [03] から一度だけ大きく跳んで作ります。$T^2_{L_0}$ を固定した入れ子で $\theta(sL_0;T^2_{L_0})\le C_1(1-\varepsilon_0)^{s^2}$、横広げで $\theta(sL_0;T^2_{sL_0})\le C_2s^2\,\theta(sL_0;T^2_{L_0})$ が言えれば、$R_0=sL_0$ の $t_0\le C_1C_2s^2e^{-\varepsilon_0s^2}$ は $s^2\gg\varepsilon_0^{-1}\ln(1/\varepsilon_0)$ で $K^{-1/3}$ より小さくなります 初（同じ代数）。

定理 1 は代数で、中身は全て (1) と跳躍の二つの不等式にあります。入れ子の不等式は、$T^2$ を固定した容器の中の分割としては正確ですが（12-03）、部分の容器は枠を共有して相関するので、定数 $K_1$ で積に分けるところに枠の減相関 [04] が要ります。横広げの不等式は [06] そのものです。だから C3 の札は「仮」で、紙に置けたのは定理 1 の部分だけです。

矢印 C4（還元の形から面積則へ）。$\theta(R;T^2_R)\le e^{-cR^2}$ と枠の減相関 [04] から、容器の評価（Mack–Petkova の容器の恒等式、12-03 典）で、張力が $L$ に一様な面積則 仮。枠を使わない大域の版では、捩れの分配関数の比と Tomboulis–Yaffe の不等式 典 を使い、その代わり基点を大域的に示す必要があります（13-01）。

矢印 C5（チェス盤の形）。$T^2$ の大きさを固定すれば、$z$ の鏡映正値性（台帳 ⑤） 初（論文 2 の命題。ReflPos（ReflPos.refl_pos・ReflPos.refl_cs） は核の代数、13-04）とチェス盤の評価 典 から、枠の減相関は一つの密度 $\kappa_{\rm cb}$ に置き換わり、$|\langle W(C)\rangle|\le\kappa_{\rm cb}^{\,n(C)}$ です 初（$L$ を固定した文、13-05）。この言葉では帯は二つの一様性になり、一様な板の張力 [07] と一様な板のギャップ [08] の下で、張力が $L$ に一様な面積則が出ます 仮。

水準 II の閉じ込めは、C4 か C5 の面積則と、$\mathbb R^4$ への極限 [09] から出ます 仮。

矢印 J（開いている）。§02 のギャップの道と §03 の閉じ込めの道は、どちらも帯を渡る仮定（[08] または [06]・[07]）を通って $\mathbb R^4$ に着きます。二つの結論を同じ $\mathbb R^4$ の理論の上で両方言うには、二本の道が同じ極限の理論を与え、その理論で両方が成り立つことを言う矢印が要ります。これが二本の道の結び [10]（台帳の外の 外 2）で、札は「仮」ですが、他の仮定の行と違って、何を仮定すれば足りるかの文がまだありません。

面積則から質量ギャップへ直接進む既知の道は無いので、J を「閉じ込めの道の延長」として書くことはできません。物理の期待の水準では二つは結びついていますが（張力 $\sigma\gt0$ の弦の上の励起が重い、7-03）、それは矢印ではありません 読（物理の見立て）。ギャップは §02 の道（段 3 の隙間を帯を通して運ぶ）で出し、閉じ込めは §03 の道で出し、J は「二つが同じ理論の上の文であること」を言う役に限ります。

時間の方向の道の言明。第 10 部の道の条件つきの言明は、別の形をしています。拡散型緩和時間の仮定（旧称 仮定 H）の上側 $\xi^2{\uparrow}$（$C_P\le K\xi_{\rm RG}^2$）と片側の橋（命題 B、$C_P\ge\kappa\xi^2$）から、各 $\beta$ で格子の物理単位の隙間の下界 $m_{\rm phys}\ge(\kappa/K)^{1/2}$ が出る 初（仮定の上の代数、10-01 §06）。これを $\beta\to\infty$ に一様に言うことが第 10 部の四次元の目標（台帳 ⑩）（10-15 表 5 の (T2)）で、この目標も帯を渡る言明です。空間の方向の道の [08] と、時間の方向の道の「$\beta$ に一様な $\xi^2{\uparrow}$ と橋」は、同じ型の一様性の文で、どちらも帯の中で示されていません（13-07）。

この章のどの矢印も、質量ギャップも閉じ込めも示しません。紙の証明を本に置けたのは、定理 1（代数）と、格子間隔を固定した C1a と、$T^2$ を固定した C5 の前半だけです。C1 は連続極限について何も言わず、C1b（論文 3 の定理 A）は本に証明が無く（札は仮。引用つきの証明は論文にある）、$N$ に一様ではありません。水準 I の G1・C2 は研究計画の命題で、筋の段にあります。帯の形の [06]・[07] は結論の量（偏り・張力）を $L$ に一様という形で含み、[08] は相関の減衰を $L$ に一様な形で述べます。帯の言明そのものが結論の中身を担っています。この章の言明は、帯を仮定に置いた限りでの条件つきの言明です。

台帳の行が全て消えても、問題文の要求との差が残ります：全てのコンパクト単純群（中心の無い群では渦の道具が使えない）、$\mathbb R^4$ の OS 公理と回転の回復と非自明性、面積則から質量ギャップへの矢印。これらは 14-02 §05 の別枠「台帳の外に残る差」の 外 1〜外 4 にあります（表 1 の [09]・[10] は 外 1・外 2）。台帳は減るだけの表でもなく、研究が進んで行が割れ、新しい行が立つこともあります。

矢印を五分類の書式（10-00 §01）で並べます。札は矢印の札で、前提の札ではありません。前提が「仮」の矢印でも、前提から結論への推論が紙で書けていれば「初」、筋の段なら「仮」です。

依存グラフ（前提の番号は結論の番号より小さい。[01]〜[10] は表 1 の仮定）：

[01] 仮 ①        紫外の制御 (U1)(U2)(U3)                          段 2
[02] 仮 ③        挿入の一様な受理                                  段 4
[03] 仮 ④        小さな T² の基点 θ(L₀;T²_L₀) ≤ 1 − ε₀             段 4
[04] 仮 ⑥固定   枠の減相関（容器の形）                            段 4・5
[05] 仮 ②の形   枠の減相関（ブロックの形、率 m ≥ c/L を含む）      段 3
[06] 仮 ⑧の形   横広げの不等式（強い形・弱い形）                  段 5
[07] 仮 ⑧弱    一様な板の張力                                    段 5
[08] 仮 ⑥        一様な板のギャップ（枠の減相関）                                段 5
[09] 仮 外1      R⁴ への極限                                       段 6
[10] 仮 外2      二本の道の結び（言明が未定）
[11] 初 ⑤        z の鏡映正値性                                    Lean ReflPos.refl_pos・refl_cs
[12] 典 MP       容器の恒等式（Mack–Petkova）・Tomboulis–Yaffe の不等式
[13] 初 SLAB     C1a 板の閉じ込め（格子間隔と N を固定）            連続極限で張力 → 0
[14] 仮 THA      C1b 論文 3 の定理 A（固定した N・β ≥ 1）           引用つきの証明は論文に
[15] 初 DBL      定理 1 倍化の反復                                 Lean Doubling.iterate・decay
[16] 初 CB       C5a T² を固定して |⟨W(C)⟩| ≤ κ_cb^n(C) ⟸ [11]
[17] 仮 G1       水準 I のギャップ m ≥ c/L ⟸ [01][05]
[18] 仮 C2       水準 I の面積則（a に一様） ⟸ [01][02]
[19] 仮 C3       θ(R;T²_R) ≤ e^(−cR²) ⟸ [03][04][06][15]
[20] 仮 C4       張力が L に一様な面積則（還元の形） ⟸ [04][12][19]
[21] 仮 C5b      張力が L に一様な面積則（チェス盤の形） ⟸ [07][08][16]
[22] 仮 G2       R⁴ のギャップ ⟸ [08][09][17]
[23] 仮 C6       R⁴ の面積則 ⟸ [09][20]（または [21]）
[24] 仮 J        同じ R⁴ の理論で質量ギャップと閉じ込め ⟸ [10][22][23]

円の検査は、全ての「⟸」の右の番号が左の番号より小さいことを見るだけです。仮定の行のうち結論の量を含むのは [05]（率 $m$、$a$ に一様な形）と、帯 ⑧ の形の [06]・[07]（偏り・張力、$L$ に一様な形）です。これは循環ではありませんが、矢印 G1・C3・C5b が足しているのは一様性の言い換えと代数だけで、中身はこれらの仮定の側にあることを表しています。台帳（14-02 §04）は行を結論の量を含まない形で書きます。結論の量を含む [05]・[06]・[07] は、台帳の行をこの章の矢印に合わせて書き直した「言い換え」の形で、台帳の行そのものではありません。G2 の中身も、[08] の相関の一様な減衰の側にあります。[13]・[14] は結論 [24] の祖先に入らない節点で、格子間隔を固定した段で何が紙で言えているかを記録しています。[18] は基点 [03] と同じ中身を水準 I の言葉で書いたもので、グラフでは [03] を葉として残しました。

この章が言えている範囲

出典と再現

この章で使った語 — 条件つきの言明・矢印・水準 I と水準 II・紫外の制御・挿入の一様な受理・小さな $T^2$ の基点・枠の減相関・横広げの不等式・一様な板の張力・一様な板のギャップ・二本の道の結び・倍化の反復・チェス盤の密度 $\kappa_{\rm cb}$・開いた矢印。意味は A-02 用語集 と A-06 §11 にあります。

次に読む章：14-02 条件の台帳 — 仮定ごとの現状と、消えるために要るもの。

← 14-00 入口 — この部の約束目次14-02 条件の台帳 →