2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 10 部 質量ギャップの厳密な証明へ — この端末の検討方向の地図

方向の地図 — 十七の方向がどの矢印を押し、どこで止まったか

三つの語を、この端末の記録の側の意味で使います。方向は、一つの問いと、それに当てた一組の道具です（番号 0〜15′。9′・15′ は元の問いを持ち直したもの）。

状態は三つです。閉じたは、問いに答えが出たか、その道具ではその矢印に届かないと確かめたこと。否定の側で閉じたものが多く、「$C_P\asymp\xi^2$ が偽だ」とはどの方向も言っていません。保留は次の一歩が決まっているのに止めてあるもの、開いたはまだ動いているものです。

矢印は 10-01 の式 (12) の矢印です。

$\delta(b)$ は一段の取りこぼし、(S5) は $a^2C_P\asymp1$、(S4) は物理単位の隙間、「極限の性質」は (S1)(S2)(S3)(S6)(S7)(S8) です（10-01 表 1）。H↓ は $C_P\gtrsim\xi^2$（一つの試験関数で足りる）、H↑ は $C_P\lesssim\xi^2$（すべての試験関数についての不等式）で、どちらも $\xi$ で書いた帯の読み $\text{H}_{\rm band}$ の半分です（10-03）。冪の水準の H だけでは (S5) から (S4) へは渡れません。どの矢印も証明されていません。

例。方向 3 は (S5)→(S4) の中の $\eta=0$ の条件を押しました。方向 0 は (1) に乗らず、左の「強結合の側」に居ます。強結合の一様評価は $C_P=O(1)$ で、(S5) の反対側だからです（10-01 §06）。

表 1 は十七の方向を一行ずつ並べたもの、図 1 はそれを (1) の上に置いたものです。表の行を押すと図の同じ方向が選ばれます。数えると次のとおりで、H↑ を狙った方向は 10 と 15′ の二つしかありません（§08）。

図 1 は表 1 を描いたもので、計算は含みません。

細部は 10-02 にあるので、地図の上の位置だけを書きます。方向 0 はこのサイトの論文（論文の一覧・5-11）で、各プラケットを一本だけ含むリンクの族を先に積分し、残りの密度 $e^{-\Phi}$ の二階微分を下から押さえました。

Lean(3) の下界までの鎖（対数 Sobolev 以後は紙の概略）。比べる 1/12 は Shen–Zhu–Zhu（2023）の条件の換算です 既知。この β の相関長は一格子間隔の 1/10 程度で（10-01 表 4）、(1) の外です。

方向 1 は一段の記帳で、強結合で $\beta'=\beta^4/64$、全域で $\beta'\lt\beta$ です Lean。弱結合の傾き $\kappa=11/(3\pi^2)$ は一ループ係数（Gross–Wilczek・Politzer 1973、4-06）の書き直しで、数値との 5 桁の一致は一ループ模型の中の一致です 既知。方向 2 は取りこぼしの総和です。

$\delta(b)$ と $c_2$ は一ループ核の模型で測った数です 計算。「正値な核で $c_2\gt0$」は測定を前提に置いた Lean で、$\delta(2)=0$ の核は隣接の重みが負です。記録は「取りこぼしを消すことと反射正値性を保つことが同じ族の中で両立しない（族の外は未決）」と書きます。保留の理由は、ゲージの取り方による $c_2$ の違いの測定が残っていることです。例：10-01 の表 5 が (4) の模式です。

方向 3 は、強結合展開（5-02）を高次まで足せば指数 η が読めるかを問い、否定の側で閉じました。一つ目の理由は構造で、級数は極の近くで一歩の寄与 $K(p)$ を繋いだ「更新形」になります 紙。

統計力学で Ornstein–Zernike の形と呼ばれるもので、$\eta$ は 0 に固定されます。Lean更新形の下で $\chi m_0^2=A/c_0$ が恒等式であることと $A\gt0$。記録の言葉では「何次まで足しても $\eta\ne0$ は出ない」。

二つ目は方法です。Dlog-Padé（寄り道）は冪 $(1-u)^{-\gamma}$ なら位置と指数を返しますが、漸近自由の下で $\xi$ は $e^{c\beta}$ のように冪でなく発散すると考えられていて 物理、この型では指数が定まりません。例：対数微分 $g=f'/f$ の Padé 近似 $[n/n]$ の最も近い正の極 $u_*$ と指数 $\gamma_*$ を、二つの関数で読みます（記録の数値の再現ではない独立の計算）。

計算この図の数値はこの端末で計算した（表 2 の計算の $n=1$〜12）。

冪の側は $\gamma_*$ が 1.75 に近づき、本質的な側は $u_*\to1$ なのに $\gamma_*$ がおよそ $n^3$ で増えます。記録のまとめは「読めるのは特異点の位置であって指数ではない」。なお四次元 $SU(2)$ には相転移点 $\beta_c$ が無い（クロスオーバー）と数値的に知られていて 物理、「収束半径が $\beta_c$ を超える」は主語を持ちません。

寄り道：Padé 近似

三つとも下からの評価を狙い、「その道具では届かない」を確かめて閉じました（詳しくは 10-05）。方向 6：反射正値性と弱極限での保存は Osterwalder–Seiler（1978）以来の既知の事実です（5-03）既知。記録は最も軽い状態との重なり $\tilde Z$ に上界を得ました。

Lean下から押さえたいところに上界が出たので、記録は「下からの評価は試験関数の選択の問題に移った」と書き、方向 12 に渡しました。方向 12：$C_P$ は分散比の上限なので、一つの試験関数の比が $C_P$ の下界になります。プラケット・素のリンク角・ゲージ固定した長波長モードの三つの族を試しました。

この $\eta$ は演算子 $O$ ごとの静的な冪 $\eta_s(O)$ で、$\eta_{\rm dyn}$ とは別の量です（8-05 §02）。$\Delta_O$ は演算子の尺度次元で、ゲージ不変な局所演算子では最低 4（$\operatorname{tr}F^2$）です 既知。Lean が示すのは「感受率が有界なら $\eta\ge2$」で、有界性は相関の形と $\Delta=4$ という物理の仮定から来ます。素のリンク角では Haar 測度のゲージ不変性から比が厳密に 1 です（Elitzur 1975 と同じ機構。計算は $U(1)$ で書かれている）。

方向 13：滑らかなゲージ固定は軌道の上の重み付き平均で、Parrinello–Jona-Lasinio・Zwanziger の方式に当たります（4-08）既知。この方向の数値（コピー間の散らばりが標準偏差の 3.25 倍など）はすべて四次元のコンパクト $U(1)$ で測ったもので、「閉じ込め相」も $U(1)$ の相（$\beta_c\approx1.01$ の下）です。表 1 の「閉じた」は「$U(1)$ の試験で閉じた」の意味です。例：記録の結論は「同じ汎関数がコピーを選ぶ道具と長波長を均す道具を兼ねるので、鋭くすれば多価に戻り、鈍くすれば長波長が消える」。

方向 4 は一リンク積分が使う「辺の完全な族」（各プラケットがちょうど一本の族の辺を含む）の組合せです。各辺は $2(d-1)$ 枚のプラケットに含まれるので、大きさは数え上げで決まります（$V$ は頂点の数）。

Lean$k=1,2$ で「存在 ⟺ $d\le4$ かつ周期が偶数」、一般の $k$ 胞体で $d\le3k+1$。$k=3$ では $d=10$ が整数版の数え上げ（基点での三つ組のパッキングの Schönheim の上界 $\lfloor\tfrac{10}{3}\lfloor\tfrac92\rfloor\rfloor=13\lt15$）で不可能 紙、$d=9$ は未決です。例。表 3 は小さな場合の独立な総当たりで、厳密被覆（行＝辺、列＝プラケット）を Knuth の Algorithm X で解きました。下段は周期の無い単位箱 $\{0,1\}^d$ の中だけの条件で、完全な族はどの単位箱に制限してもこれを満たすので、箱で無ければどの周期でも無いことになります。

※ (9) の $|F|$ が整数にならない。周期 6 でも $d=2,3$ で在る（18・162 本）。

五次元の単位箱（辺 80 本・プラケット 80 枚）で条件がすでに矛盾し、周期によらない局所の障害が見えます。記録はこの方向を「目標からは最も遠い」と書いています。

寄り道：d ≤ 4 は時空の四次元ではない

方向 8：$k$ リンク積分の閉形は一重の和で、二リンクの補正は $\beta^3$ の大きさです 紙（強結合の展開の中。解析性は未証明）。方向 10：曲率の方法を尺度ごとに重ねる、H↑ の型の唯一の候補ですが、二つの尺度の交差項から先が書けていません。一次元の模型で測度 $e^{2B(r)}$、$B=-(r/R)^\alpha$ と置くと

で、$1\lt\alpha\lt2$ では一様な曲率の下界が無く、隙間は $B'^2\to\infty$ の型（Hardy／Muckenhoupt、1-10）から来ます 紙。この型は方向 15′ で使われました。方向 11：素のリンク角では比が厳密に 1 で、零モードの心配は消えました。代わりに境界条件が効き、周期境界で H↑ が破れうるという読みは HMC ≈ Langevin の予想に依る条件つきのものです 物理。記録の注意は「H は無限体積か開いた境界で述べる」です。

方向 5 は次元の比較です。一段ごとの結合のずれ $x_k$ と取りこぼし $\varepsilon_k$ の漸化式は

で、四次元でだけ取りこぼしが段数に比例して溜まります。結合 $g^2$ の質量次元が $4-d$ だという標準の次元勘定そのもので 既知、Lean の定理はその漸化式版です。$\delta_d(2)$ は $d=3$ で 0.111、$d=2$ で 0.084 と同じ桁で（模型の計算）、記録は「取りこぼしはブロック核の性質、極限を壊すかは次元の性質」とまとめました。低次元の構成の再現ではありません（二次元は伝播する自由度の無い特殊な理論、三次元は $T^3$ でも測度が未構成、6-06）。

方向 7：記帳の係数 $b(k)=4(\beta/4)^A$（$A$ は最小曲面の面積）は強結合の面積則の形で、Wilson（1974）・Osterwalder–Seiler（1978）以来知られ、可換な群でも成り立ちます（5-02 §03）既知。閉じ込めの証拠には数えず、中身は方向 15 に引き継がれました。

方向 9′：四次元の構成を主張する投稿には、多段の繰り込みの各段に残る小さな欠陥を足し上げられる、という型の議論があります。記録はその型の余り $\varepsilon_k\le C\theta^k$ を縮む部門の量、記録の $\delta$ を周辺部門の係数の取りこぼしと整理し、「言葉の位置は同じで量は別」としました 紙。この本はこの型の投稿の正否を判定せず、個別の投稿を名指さず、問題文の意味での解としては扱いません（年表の方針は 9-01 §08）。

方向 14（10-05）：平滑化した演算子の有効質量は隙間の上界で（変分の上界性は 既知）、$\beta=2.6$・$12^4$ で $\le0.501\pm0.071$ が一次資料の $am(0^{++})=0.514(8)$ に接しました 計算。結論は「測定の側は上界の精密化で終わる」。方向 15・15′（10-06・7-12）：15 は鎖 (ii)「閉じ込めの管には弦張力以外の長さの径数が無い」（$m^2\asymp\sigma$）の下半分を作用素不等式 $T(c,1)$ に還元しました（還元の代数が Lean。$T(c,1)$ の証明の型は無い）。15′ はホログラフィー（予想）の型で $C_P$ を $\xi^2$ の定数倍に挟みましたが、射影の仮定 (P) の下でで、(P) は H より弱くありません。

例。9′ と 14 は「欠陥を足し上げる」「質量を測る」と似た言葉を使いますが、地図では別の矢印（Σδ と H↓）に居ます。

表 1 を押す矢印ごとに数え直すと、偏りが見えます。

第一に、閉じた方向は H↓ と (1) の外に集まっています。試験関数は分散比の上限の下界しか与えないので、試験関数の方向は H↓ にしか届きません。

第二に、質量ギャップが正の側に当たる H↑ には 10 と 15′ しかなく、10 は交差項で止まり、15′ は (P) の下でだけ挟めています。記録の言い方では「本体の主張は手つかずの側にある」。測定から下界が出ないこと（方向 14）は、ギャップと指数的なクラスター性の同値という既知の枠組み（4-11）の言い換えです 既知。第三に、回転対称性の回復 (S6) と非自明性 (S8) にはどの方向も届いていません。記録自身が、(S3)(S6) は一段の写像を何回合成しても出てこない種類の主張だと書いています。

例。記録に書かれた次の一歩は、$C_P(V)$ の体積単調性（方向 11）、ゲージの取り方による $c_2$ の違い（方向 2）、物理体積を揃えた自己相関の測定（方向 15′）で、どれも H↑ を直接には押しません。壁の一覧は 10-08、Lean の言明と仮定は 10-07。

この章が言えている範囲

出典と再現

次に読む章：10-05 方向 12〜14 — 試験関数・ゲージ固定・演算子の取り替えと、上界しか出ないこと。

← 10-03 仮定 H と三つの鎖目次10-05 方向 12〜14 →