2026-10-15 · chapter ヤン–ミルズと質量ギャップ第 9 部 現在地と課題七段の表・二本の道・索引 · Kiichi, Shiori and Rin

証明が含むべき段 — 七段の表

格子から出発して $\mathbb R^4$ の上の理論と質量ギャップに着くまでを、七つの段に割ります。順に、(1) 器（格子の上の測度と、そこから量子論を組み立てる仕組み）、(2) 紫外（格子間隔 $a$ を 0 に送っても崩れない、全ての尺度での一様な制御）、(3) 小さな T² のギャップ、(4) 小さな T² の閉じ込め、(5) 移り変わりの帯（略して帯）、(6) R⁴ の理論、(7) 一般の群、です。

段 3・4 の「小さな T²」は、四次元を $\mathbb R^2\times T^2$ と書いて、T² の一辺 $L$ を物理の長さ $1/\Lambda$ よりずっと小さく取った場合です（$\Lambda$ は理論が自分で生む質量の尺度、4-07）。T² に 't Hooft の捩れ（向かい合う辺を、群の中心の元だけずらして貼る境界条件）を入れると、零モード（作用を上げずに動ける方向）が消え、$L$ までの尺度で結合が弱いままに保てる見込みがあります。そこまでの段（3・4）と、T² を広げていく段（5）とに、問題を分けるための経由地です。中身は第 12 部（12-00）で扱います。

段 5 の帯は、結合が弱い尺度から強い尺度へ移る中間の尺度 $L\sim1/\Lambda$ のことです。四次元では、この尺度をどの道具も非摂動的に渡れていません（13-00）。帯を渡る言明は、空間の道の言葉では次の形を取ります。

$\theta(L,L)$ は、一辺 $L$ の容器の中で T² を巻く渦を一つ入れたときの、区画の偏り（渦が「安い」ほど 1 から離れる量）です。(1) は 't Hooft の判定の形の面積則で、「$\theta$ が 1 から離れる」だけでは足りないことは 13-01 で扱います。

表 1 から読むこと。(a) 「□」の段は二つ（紫外・帯）と、群を替える段 7 です。紫外と帯は、それぞれ単独でこの分野の長年の未解決問題です。(b) 段 3・4 の「◐」は、どちらも段 2 の仮定の下での「◐」です。段 2 が開いている限り、段 3・4 の印は上がりません。(c) この本で「初」と書いた主張のうち、紙の証明を本に置く章の多くはこれから書く章です（第 12・13 部）。置くまでは、台帳（14-02）の行は消えません。

表 1 の印は、この本の検討の記録がその段をどう扱っているかの印です。■ は記録の上で閉じている（紙の証明があり、Lean の欄があればその算術も閉じている）、◐ は一部が閉じていて残りが筋か数値の兆候にとどまる、□ は開いている、という意味です。

この印は証明の程度の目盛りではありません。理由は三つです。第一に、■ はその段の全体ではなく、行に書いた条件の範囲の中で閉じていることしか言いません。第二に、◐ の段が □ の段より「残りが少ない」とは限りません。段 3 の ◐ は捩れの部分が閉じていることを言いますが、残りは段 2（□）そのものに依存します。第三に、本の札（初・典・機・読・仮）は主張ごとに付き、印は段ごとに付きます。同じ段に「初」と「仮」が並ぶことは普通です。印を足し合わせて「七段のうちいくつ」と読むことはしません。

例。段 1 の z の鏡映正値性は、記録では閉じています（■ に当たる主張）。それでも段 1 の印は ◐ です。器の組み立て全体（ブロックの観測量から転送行列のギャップまで）の書き下しが筋のままだからです。

問題文が求めるのは質量ギャップ（量子論のハミルトニアン $H$ のスペクトルが、真空の上で $\Delta\gt0$ だけ離れていること、4-11）で、閉じ込め（Wilson ループの面積則）は求めていません。9-05 §06 のとおり、閉じ込めとギャップは別の主張で、四次元の連続の理論ではどちら向きの含意も定理ではありません 典。物理ではこの二つを一つの尺度の二つの顔と見ます（比 $m/\sqrt\sigma$ が有限の正の数に近づく）が、それは期待の水準の文です 読（物理）。

この本の二つの道は、着く言明が違います。

• ギャップへの道（段 3 ＋転送行列）：小さな T² の転送行列の隙間（段 3）を、帯を通して $\mathbb R^4$ まで同じ定数で運ぶ。運べれば、隙間は極限に残ります（9-04 §03 の規則 R3。前提 (i)〜(iii) つき）。第 10 部の道（時間の方向から）も、同じギャップの言明に、拡散型緩和時間の仮定（旧称 仮定 H）と片側の橋を通して向かいます。
• 閉じ込めへの道（段 4・5 ＋段 6）：小さな T² の閉じ込め（段 4）を、帯（段 5）で T² の大きさに一様にし、$\mathbb R^4$ の理論（段 6）で面積則にする。

二つの道を結ぶ矢印、つまり「面積則から質量ギャップへ」の既知の道はありません。何を足せば面積則からギャップが出るかの言明そのものが、まだ決まっていません（14-01 の最後の矢印、14-02 の別枠）。だから、閉じ込めへの道が全て閉じても、それだけでは問題文の要件に届きません。この章は二本の道を並べますが、閉じ込めからギャップへの矢印を「結ぶ道」としては数えません。

図 1 は、第 9 部から第 14 部までの論理の流れです。一本目の道は時間の方向から（第 10・11 部）、二本目の道は空間の方向から（第 12 部）、どちらも四次元の目標の水準では「全ての尺度で同じ定数」という一つの型の言明に着きます。その言明が帯を渡る言明で、第 13 部が扱います。

図 1 から読むこと。(a) 一本目の道の「一段目の残件」（0+1 次元の二重井戸の経路の測度で、非凸な所を含む測度の一様な対数 Sobolev 不等式、10-15 表 1）は、帯と同じ型の壁（両端に別の道具があり、真ん中で最悪の配位の評価が止まる）ですが、帯ではありません。一段目で移り変わる長さは、頂上での Jacobi の方程式の最初の共役点という古典的な量で決まり、$\hbar$ に依らず、格子の単位で有限です。四次元で移り変わる長さ $1/\Lambda$ は量子的に生まれ（4-07）、格子の単位で発散します。この違いは、一段目の側の共役点の計算の証明とともに 13-07 で扱います（証明を置くまでは 仮）。(b) 帯へ流れ込むのは、二本の道のどちらでも「四次元の目標」の行です。一本目では $\beta\to\infty$ に一様な拡散型緩和時間の仮定の上側 ξ²↑ と片側の橋（10-15 §07 の水準 (T2)）、二本目では $L$ に一様な板の張力です。(c) 段 2 は帯の外にある別の壁で、二本の道のどちらも、それを仮定に置いて進みます。

図 1 の合流は「目標の水準で同じ型の言明に着く」という意味で、二本の道の今の壁が同じ場所にあるという意味ではありません。帯の部の「帯」と、第 10・11 部の「窓」（サイトの窓・$\hbar$ の窓・時刻の窓）は別のものです（13-00 の語の注）。

表 2 は、第 10 部以降の章が表 1 のどの段のどの欄に材料を入れるかの索引です。「欄」は表 1 の列（既知・この本・未知）です。第 12〜14 部には執筆中の章があり、リンクは章の番号で張ってあります。

9-04 表 1 の K1〜K6 は、連続の理論に要る課題を問題文の要件から割ったものです。表 1 の七段は、格子から出発する一つの道の段を割ったものです。割り方の軸が違うので、一対一には対応しません。表 3 はその対応で、この本の整理です。

表 3 から読むこと。9-04 の数え（9-04 §06）では、道筋の矢印まで認めると要る極小の組は {K1, K3, K4, K5, K6} の一つでした。七段の言葉では、段 2（K1・K5・K6）と段 5（K3）と、段 1・6 の公理（K4）です。二つの割り方のどちらでも、紫外と帯の二つが残ります。

この章が言えている範囲

出典と再現

この章で使った語 — 七段（器・紫外・小さな T² のギャップ・小さな T² の閉じ込め・帯・R⁴・一般の群）・移り変わりの帯（帯）・'t Hooft の捩れ・区画の偏り $\theta$・記録の状態の印（■◐□）・ギャップへの道と閉じ込めへの道・四次元の目標・帯の縮図。意味は A-02 用語集 にあります。

次に読む章：10-00 入口 — 一本目の道（時間の方向から）。条件の一覧から読むなら 14-02 条件の台帳。

← 9-05 よくある誤解目次10-00 入口 — 階段と、酔歩・物差し・時計 →