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

ひらめき帳から — 壁の前で残った着想を、七つの型で読む

この端末の記録には、結果の帳簿（等級つき）とは別に、途中で見えたことや捨てた仮説を等級なしで書き留める帳面があります。この章は、そのうちヤン–ミルズの項目を型でまとめ直します。

状態は三つです。着想のまま（検査を受けていない）、訂正済み（一次資料や記録の本文と照らして誤りか強すぎた。元の形は §09 に残す）、既知と重なる（芯が既知の定理の言い換えだった。着想に数えない）。

型は七つで、§02〜§08 が一つずつに当たります。表 1 は、各型から代表の着想を一つ以上選んだ索引です。行の「状態」は上の三つのどれかで、訂正済みの行は §09 の表 4 に元の形と直った形が並びます。着想は定理に向けた道具の候補であって、結果ではありません。一つの着想が二つの型にまたがるときは、主に使われた節に置きました。

表 1　ヤン–ミルズのひらめき帳の主な項目（七つの型ごと）

記録で最も繰り返された着想は「測ったものは質量の上界にしかならない」です。質量ギャップは隙間（最も軽い質量）の下界の主張です（上下の非対称の正本は 1-10 §06）。

格子で質量を測るときは、時間方向に離した相関 $C(t)$ を見ます。反射正値性があれば $C(t)$ は正の重みを持つ指数の和です（5-03 §05）。そこから作る有効質量について、次が成り立ちます 既知。正の重みの表示を仮定に置いた形で LeanHasNonnegWeights.meff_antitone（単調性）・meff_ge_of_corr（下限）として機械検査もされています（既知の再証明。10-07）。

$m_0$ は重みが正の最も軽い質量です。Cauchy–Schwarz の $C(t+1)^2\le C(t)C(t+2)$ から、有効質量は上から単調に $m_0$ へ降り、有限の $t$ では質量 $m_0$ の上界しか得られません。

和 $C(t)$ は、軽い状態の位置 $m_0$ も重み $c_0$ も下からは押さえません。比喩で言えば、群衆の足音の平均から、最も遠くまで歩く一人の歩幅は分かりません。正確には、窓 $t\le T$ の値は、$c_0e^{-m_0T}$ が他の項より小さいかぎり、軽い状態の有無を区別しません。この事実の正本は 4-11 §04 の有限の窓で、図 1 は同じことを着想の側から見直すものです。

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

表 2　$m_{\rm eff}(t)$ と、$m_{\rm eff}\lt1.1\,m_0$ となる最初の $t$（図 1 と同じ模型）

計算例。$c_0$ を 100 分の 1 にするごとに、届く時刻はおよそ $\ln100/(m_1-m_0)\approx9.2$ 遅れます。$c_0=10^{-6}$ なら $t=20$ でも $m_{\rm eff}\approx0.98$ で、$m_1$ しか無いように見えます。

記録の方針は二つです。単調であるべき量を先に決め、その破れを診断に使う（10-05 §05）。片側の不等式なら平坦域は要らない。

寄り道：Bernstein の定理

H↑ は「すべての試験関数について」の不等式で、試験関数は $C_P$ の下界しか与えません（10-03 §03）。ここで言う「上界の道具」は $C_P$ の上界、つまり隙間の下界を出す道具で、§02 の「質量の上界」とは向きが逆です。ホログラフィーの模型の隙間の議論は、どれも $C_P$ の上界（隙間の下界）の形でした（10-06 §06）。

「階数無限の sup」は、無限個の変数の関数全体での上限のことです（$C_P$ は $\operatorname{Var}(f)/\mathcal E(f)$ のすべての $f$ についての上限）。

この着想は Muckenhoupt の二重み Hardy 不等式 既知 を使う一次元の鎖になり、条件つきの有界性まで進みました（10-06 §07）。ただし中身は射影の仮定 (P) に移り、(P) は H より弱くありませんでした。ホログラフィー自体は予想で、ここでの「$C_P$ の上界の論法」は模型の中の論法です 物理。

一次元の模型 — 曲率と $V$

一次元の模型で見ます。$d\mu\propto e^{-W(r)}dr$ の Poincaré 定数と Bakry–Émery の判定法です（1-10 §08）既知。

$V$ は $f=e^{W/2}\psi$ と置いたときのポテンシャルです（10-06 の記号では $W=-2B$）。隙間を作るのは、一様に正の曲率 $W''$ と、$V\to\infty$ の二つで、後者は一様な曲率が無くても効きます。例として $W=2(1+r^2)^{\alpha/2}$（遠方で $2|r|^\alpha$）をとると

で、$\alpha\ge2$ なら $W''\ge2\alpha$、$1\lt\alpha\lt2$ なら正だが遠方で 0 に落ち、$\alpha\lt1$ では遠方で負です。

計算曲線は (2)(3) をその場で描いたもの。$C_P$ は表 3 の値（この端末で計算した）を埋め込んだ。

表 3　$d\mu\propto e^{-2(1+r^2)^{\alpha/2}}dr$ の Poincaré 定数（$[-L,L]$ の差分・Neumann 境界）

計算$\alpha=2$ はガウスで $C_P=1/4=1/K$（刻みを 0.008→0.002 と変えても $10^{-10}$ の桁で一致）。$1\lt\alpha\lt2$ では一様な曲率が無いのに $C_P$ は有限で $L$ に依らず、隙間は $W'^2\to\infty$（したがって $V\to\infty$）から来ます。$\alpha=1$ は境目です。$W'\to2$、$V\to1$ で、$V$ も $W'^2$ も発散しません。隙間はありますが、その上に下端 1 の連続スペクトルがあります。$1/C_P\approx0.94$ はその下端より小さく、整合します（$C_P\approx1.06$、$L\ge20$ で安定）。$\alpha\lt1$ では $C_P$ が $L$ とともに増え続け、極限で Poincaré 不等式が成り立ちません。これは既知の事実（$e^{-|x|^\alpha}$ は $\alpha\ge1$ でだけ Poincaré 不等式を満たす）の数値での確認です 既知。

符号の訂正 — $W''=-2B''$

記録は当初、ホログラフィーの密度 $e^{2B}$（$B\sim-(r/R)^\alpha$、$\alpha\gt1$）を「$B''\lt0$ なので対数凹でない」と書きました。訂正は (2) の $W=-2B$ から直接出ます。$W''=-2B''$ なので、$B''\lt0$ なら $W''\gt0$ で、符号が逆です 紙。

表 3 は、同じ形の一次元模型での類比です。ホログラフィーの動径の模型そのものではありません。類比で読めば、$1\lt\alpha\lt2$ では一様な $K$ が無く隙間は $B'^2\to\infty$ から来て、$\alpha\ge2$ では Bakry–Émery が効きます。密度と $B$ の符号の規約は Gürsoy–Kiritsis–Nitti の模型（7-09）に従うとされ、この章では原典で再確認していません 物理。方向 10 についての帰結は弱まりました（10-04 §06）。

$C_P$ も相関長 $\xi$ も格子単位では格子間隔 $a$ に依りますが、比 $C_P/\xi^2$ や $m/\sqrt\sigma$ は単位を落としています。

機械検査されたのは理想化した段での不変性だけです Leanratio_rg_invariant（仮定：段を $m\mapsto bm$・$\sigma\mapsto b^2\sigma$ と置く。$b\ne0$、$\sigma\ne0$。言明：$m^2/\sigma$ が変わらない）。中身は代数の恒等式で、既知の対応は次元解析です（10-07 §01 の一覧。仮定を同じ行に書く理由は 10-10 §06）。繰り込み群について何かを検査したものではありません。破れが $O(a^2)$ であることは数値の当てはめで、7-12 §04 では $O(a)$ の形でも $\chi^2$ が同程度に良く、データだけでは冪を選べません 計算。

同じ型の着想がもう一つあります。Witten の葉巻の幾何では背景の長さが円の半径 $R$ 一つなので、線形の揺らぎに限れば $C_P\propto R^2$ が次元解析で決まり、H は自明になります（7-09 §08）物理。着想は「尺度が一つ ⟺ 余剰次元が見えている」で、H の中身は「$R\to0$ のあとも $C_P$ が一つの尺度で決まるか」だ、という言い換えです。

反例の形を先に用意する。証明が成り立たない模型を先に挙げれば、証明が必ず使う入力が分かります。記録は可換群 $U(1)$ の反例（5-06）から最初「非可換性（$\kappa\gt0$）が必須」と読み、三次元の $\mathbb Z_2$ ゲージ理論（可換でも一尺度が保たれる。閉じ込める側の相の連続極限で $m$ と $\sqrt\sigma$ が同じ $\xi$ で決まり、$m/\sqrt\sigma$ は有限の連続値 3.08(3) に近づく。Agostini–Carlino–Caselle–Hasenbusch 1997）物理 を見て「第二の小さな径数を禁じる入力が必須」と訂正しました（7-12 §09）。

陰性対照。「最良を選ぶ」手続き（変分・平滑化・射影）は、真の値が 0 の入力にも通して床を測ります。軽い状態と、雑音の持ち上げは同じ数を作るからです。

数の一致は群を替えるまで証拠にしない。純ゲージ理論の HMC 型（5-07 §08）で、位相電荷の二乗について報告された有効な動的指数「about 5」（Schaefer–Sommer–Virotta。要旨に群の明記はありません）を例にとります。記録の粗い半古典の見積もりは、位相電荷が変わる出来事の率が $\xi^{-(11N/3)c}$ で減るとし（$c$ はその係数）、体積 $\xi^4$ と合わせて $\tau\sim\xi^{(11N/3)c-4}$、つまり $z=(11N/3)c-4$ とするものです。$N=3$、$z=5$ を入れると $c=9/11$ となり、同じ $c$ で $N=2$ ならちょうど $z=2$ の境目になります 計算。

$z\approx5$ を $C_P$ の言葉に読み替えるには二段が要ります。HMC が Langevin 方程式と同じ普遍性に属するという予想（Lüscher–Schaefer が $SU(3)$ の数値で支持）と、積分自己相関時間が $C_P$ 以下であること（5-07 §05）です。予想と粗い見積もりの上の数なので、記録は偶然として扱います 物理。

Lean を検査の設計図に。言明を機械検査の形に書くと仮定（「固定した演算子」）が明文になり、それを満たす手続き（演算子を一部のデータで選び、残りのデータで測る）が決まりました（10-05 §06・Lean の手引き）。

管の自由エネルギー $F(\ell)=\sigma\ell+\mu-D/\ell+\cdots$ で冪を決めるのは、大きな $\sigma\ell$ ではなく小さな残り $D/\ell$ です。正の欠損（窮屈さ）は「エントロピーを足す」側ではなく、「細い物体からは平面の揺らぎの一部が締め出される」引き算の側から来ていました（柱の模型での展開 紙、転送行列での符号の確認 計算）。予測の前に、足される項と締め出される項の両方を数える、という指針です（10-06 §04）。

閉じたループは必ず曲がるので格子の異方性が一次の項として混ざり、$1/\ell$ を問う前にどの長さで測るか（Wulff 形）を決める必要があります。記録の言葉では「回転対称の回復は一尺度の隠れた入力だった」。Wulff 形は面積を固定するか周長を固定するかで入れ替わります Leanfour_arcs_ge（凸性で四つの弧を揃える不等式）計算（10-06 §05）。

仮定 H（冪の水準の $\ln C_P/\ln\xi\to2$。帯の読みなら $C_P\asymp\xi^2$）を書くには、測度のほかに Dirichlet 形 $\mathcal E$（勾配をどの計量で測るか）が要ります。

正規化。リンクの角度 $\vartheta$ で測る $\mathcal E_\vartheta$ と、場 $A=\sqrt\beta\,\vartheta$ で測る $\mathcal E_A=\mathcal E_\vartheta/\beta$ とで $C_P$ は $\beta$ 倍違います。$\beta$ は緩やかに変わるので、冪の水準の H は変わらず帯（定数倍）の水準は変わります。H は冪の水準で置き、帯は正規化を名指して別に書きます（10-03 §02）。

二つの時間。転送行列のユークリッド時間（質量 $m$）と Langevin の確率時間（隙間 $1/C_P$）は別の時間で（10-01 の寄り道）、H は動的指数 $z=2$ という主張です。$z=2$ は自動ではなく、二次元 Ising 模型の熱浴力学では $z=2.1665(12)$ と報告されています（Nightingale–Blöte）物理。

三つの $C_P$。時刻 0 の真空の測度の Poincaré 定数はハミルトニアンの隙間と厳密に同値です（2-05 §08）既知。記録の $C_P$ は経路（Wilson 測度）のもので、自由場で時間を連続に取ると次が成り立ちます 計算。

格子間隔 1 では右辺に $1+m^2/4$ が掛かります（10-03 §01 の表 0）。H は「経路の $C_P$ と真空の $C_P$ の二乗が揃う」と読み替えられます（相互作用のある理論では着想のまま）。

冪に映らない対数。帯の水準の H を壊しうる対数は三つ、同じ場所に入ります。正規化の $\beta$、二ループの走りによる $a$ の定義、確率時間の繰り込みです。三つ目は確率量子化の既知の枠組み（6-09）の中の量で、記録の計算は一ループの条件つきのものです 物理（10-03 §06）。

一次元の鎖（§03）で H↑ を (P) に言い換えたとき、(P) は「状態空間が尺度の一本の線である」部分で壊れました。位相電荷の異なる配位のあいだを移るには紫外の出来事が要るからです（10-06 §08）。記録はこれを「尺度について非局所な辺」と呼び、定数の一様性より先に状態空間の位相を疑うという指針にしました。

もう一つは形の類似です。共形場理論は、尺度を変えても形が変わらない場の理論です。そのスカラー演算子 $O$ の次元 $\Delta$ は、二点相関 $\langle O(x)O(0)\rangle$ が距離の $-2\Delta$ 乗で減るときの冪です。ユニタリな共形場理論では、恒等演算子（$\Delta=0$）を除くスカラー演算子の $\Delta$ に下限が付きます 既知（四次元では Mack 1977 の分類に含まれるとされる）。

記録の着想は、H↑ が「すべての演算子で静的な指数 $\eta_s(O)=2\Delta-(d-2)$ が 0 以上」（(5) の言い換え。8-05 §02）と同じ形をしているので、反射正値性（4-10 §04）がそれを供給するかもしれない、というものです。形が似ているという以上の検査はしていません。

捨てた仮説とその理由は、同じ誤りを避けるための情報です。

表 4　捨てた仮説・訂正された着想

誤りの型は二つで、どちらも要約の一行に上げる段で起きます。一つは条件（$U(1)$・$N=3$・測定した前提）が落ちる型で、表 4 の最後の行がその例です（正本は 10-10 §08）。もう一つは Lean の定理名が仮定を失う型で、§04 の ratio_rg_invariant がその例です（10-10 §06・10-07 §01）。着想が定理に向けて何を動かしうるかは 10-11 にあります。

この章が言えている範囲

出典と再現

次に読む章：10-10 主張しないこと。

← 10-08 壁の一覧目次10-10 主張しないこと →