2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 8 部 二つの言葉の辞書仮定の物理側

私たちの仮定の物理側の対応 — 記録の仮定は物理の仮説より強いか

この端末の記録は、連続極限へ向かう筋を「段の記帳」の列として書き（10-01）、途中で数学の言葉の仮定を置きました。物理の古い仮説に当てた答えは三通りで、同じ（同じ不等式か定義に帰着する）、条件つきの言い換え（冪の形や力学の選び方を足せば同じ）、類比（形は似ているが結ぶ定理が無い）です。8-01 の列 (a) の確定・条件つき・未確定に当たります（列 (b) はどの行も「無い」）。中心の仮定 H は上下の二つに割れます。

記録の $\eta$ は二つの量を指していました（8-03 §07）。静的な $\eta_s$ は演算子 $O$ の尺度次元 $\Delta$（質量ギャップの $\Delta$ とは別）から $\eta_s(O)=2\Delta-(d-2)$ と決まる相関の冪で、記録の Lean の定理のうち静的な指数を扱うもの（定理名と仮定は 10-07）はこちらです。$C_P$ と相関長 $\xi$ の冪の形に入っているのは動的な指数です。

この本は冪の形と (S4) の同値（§07）の $\eta$ を $\eta_{\rm dyn}$ に固定し、$\eta_s$ は試験関数の下界（§05）にだけ使います。二つが等しいのは従来理論 $z=2-\eta_s$ の中だけです。

代償が一つあります。記録は同値の前提 $\eta\ge0$ を、Källén–Lehmann の正値性（8-02）を根拠に仮定として置いていました。その正値性から出るのは $\eta_s\ge0$ です（ユニタリ性の限界）物理。二次元 Ising の Glauber 力学では $\eta_s=1/4$ でも $\eta_{\rm dyn}=-0.1665$ です（8-03 表 2）。前提 $\eta_{\rm dyn}\ge0$ は $z\le2$、つまり冪の形の H↑（§04）を前提に含めることです。

仮定 H は、Langevin 力学の最も遅い緩和の時間 $C_P$ が、相関長の二乗と格子間隔に依らない定数倍で並ぶという仮定です（8-03 §05・10-03）。

(2) は帯の水準の書き方で、$\mathcal E$ の正規化に依ります（下の (3)）。記録の約束では H を冪の水準 $\lim\ln C_P/\ln\xi=2$ で置き、帯の水準は正規化を名指しした別の仮定として分けます（§03 の末尾・10-03）。

物理で一番近いのは、動的スケーリングの仮説 $\tau\propto\xi^z$（Halperin–Hohenberg 1969・Hohenberg–Halperin 1977）で、Langevin 力学（その分類で model A）の $z$ を 2 と置くことです物理。場 $A$ の正規化（下の $s^2=1$）の自由場では (2) がちょうど成り立ちます（8-03 表 1）。

問い：H は「$z=2$」と同じか。答え：H のほうが強い。仮説は冪だけを言い、定数倍の一様性を言いません。そのうえ (2) は Dirichlet 形 $\mathcal E$ の正規化を含みます。ガウス測度 $N(0,s^2(K+m^2)^{-1})$（$K$ は格子のラプラス作用素 $-\Delta$〈ここの $\Delta$ はラプラシアン〉、$s^2$ は振幅、$m$ は質量）に $\mathcal E(f)=\mathbb E|\nabla f|^2$ を取ると $C_P$ は共分散の最大固有値 $s^2/m^2$ で、相関長は $s$ に依りません（1-10）既知。リンクの角度 $\vartheta$（$U=e^{i\vartheta\cdot\sigma}$）で書くと $s^2\propto g^2$、場 $A=\sqrt\beta\,\vartheta$（この章の $\beta=4/g^2$ の規約で $A=2\vartheta/g$）で書くと $s^2=1$ です。この章の $\beta$ は SU(2) の格子の逆結合 $\beta=4/g^2$（記号表の $2N/g^2$）で、逆温度ではありません。

ここでの自由近似は、質量 $1/\xi_{\rm RG}$ を手で入れたガウスの場で代用した模型で、ゲージの向き（零モード）は入れていません。$\xi_{\rm RG}$ は一ループの走りから決まる格子単位の相関長です（記録は格子間隔を $a:=1/\xi_{\rm RG}$ と置く、§07）。

記録の $\mathcal E$ はリンクの角度で書かれています。一ループの $\ln\xi_{\rm RG}=3\pi^2\beta/11+\text{定数}$（SU(2)、4-06）を入れると、$C_P/\xi^2\propto4/\beta$ は $1/\ln\xi$ のように 0 へ落ち、実効指数は $z_{\rm eff}=2-\kappa/\beta$（$\kappa=4Nb_0=11/(3\pi^2)$）です。

冪では $z=2$ ですが、リンクの角度の正規化では (2) の下側が対数で破れます。H を立てるには、$\mathcal E$ を場 $A$ の正規化で書く（$\mathcal E_A=\mathcal E/\beta$、つまり角度の $\mathcal E$ に $g^2/4$ を掛ける。$C_P$ は逆に $\beta$ 倍になる）か、H を冪の水準（$\lim\ln C_P/\ln\xi=2$）で置いて帯の水準の言明は正規化を名指しした別の仮定として分けるか、を先に決める必要があります。相互作用のある理論では確率時間の尺度も繰り込まれるので 既知（摂動論の水準。10-00 §06・10-03 §06。超対称ヤン–ミルズの一ループで確認された例もあります 物理）、どちらの正規化でも対数が消える保証はありません。

辞書の列 (c)（有限の測定で届く向き。8-01 §02）で言うと、H↓ は「下界まで」の側で、試験関数を一つ示せば $C_P$ の下界が出ます（§05）。H↑ は「届かない」側です。$C_P$ の上界はすべての $f$ についての不等式なので、試験関数をいくつ足しても、自己相関の測定を有限の時間まで重ねても届きません（1-10 の囲み「上界と下界の非対称」）。H↑ と質量ギャップは同じ言明ではありませんが、どちらも下界の側に立つ点で同じ型です。

寄り道：拡散はなぜ $\xi^2$ か

H↑（$C_P\lesssim\xi^2$）は、記録の読み替えで「質量ギャップが正」の側です（7-12 §10）。記録はこれを $z\le2$ と言い換えます。問い：動的スケーリング仮説の下での言い換えか。答え：三つの条件の下でなら。(i) 冪の形 $C_P\asymp\xi^z$ が在る。(ii) 力学が連続時間の可逆な Langevin である（$C_P=\tau_{\exp}$ はそこでだけ等号、8-03 §06）。(iii) $\mathcal E$ の正規化を決めている（§03）。対数の因子の冪を $q$ と書くと、判定は次のとおりです。

Hohenberg–Halperin の仮説は $z$ の存在を仮定するだけで、$z\le2$ を主張しません。8-03 表 2 の Ising の Glauber 力学は二次元・三次元とも $z\gt2$ です物理。H↑ を物理の予想として読むには「関係する不動点で $\eta_s=0$」の条件が要り、四次元ヤン–ミルズでそれを述べた一次資料は確かめていません。

計算式 (5) をその場で描く模式図。JavaScript が無いときは次の段落で読める。

例（$\xi\to\infty$）：$\xi^2$ は両方成り立ち、$\xi^2/\ln\xi$（角度の正規化）と $\xi^{1.9}$ は H↑ だけ、$\xi^2\ln\xi$ と $\xi^{2.1665}$ は H↓ だけです。$\xi^2\ln\xi$ では冪は 2 なのに H↑ が破れ、(i) を外すと「H↑ ⟹ $z\le2$」の片向きしか残りません。

H↓（$C_P\gtrsim\xi^2$）は試験関数で示せる側で、どの $f$ でも $C_P\ge\operatorname{Var}(f)/\mathcal E(f)$ です（1-10）。物理では「局所的な力学は感受率より速く緩和できない」と言います。磁化を $f$ にすると $C_P\ge\chi$ です（8-03 の式 (12)）既知。動的スケーリングと静的スケーリングの二つの仮説の下では $z\ge\gamma/\nu=2-\eta_s$ です（$\gamma$ は感受率の指数、$\nu$ は相関長の指数。8-03）物理。モンテカルロ法の文献で標準とされる下界で、典拠は確かめていません。

問い：H↓ はこの下界と同じか。答え：不等式は同じで、届く先が違います。尺度次元 $\Delta$ の局所演算子の和を $f$ にすると、下界は感受率 $\chi_O$ で決まります。

$\xi^2$ に届くのは $\eta_s(O)=0$、つまり正準次元 $\Delta=(d-2)/2$ の演算子があるときだけです。四次元の自由場で確かめます。

次元 2 は $\ln\xi$ の傾き 0.0408 で伸び（連続の見積もり $1/(16\pi^2G(0))=0.0409$）、次元 4 は $1/16$ で止まります計算。無限体積の積分を一次元に直して計算し、$m=0.5$ で $24^4$ の格子の和と有効数字 5 桁で合わせました。

ヤン–ミルズのゲージ不変な局所演算子は $\mathrm{tr}\,F^2$ の類で次元 4 なので、(6) の三段目に落ちます（10-03）。リンクの角度は次元 1 ですが、ゲージ固定の無い測度では、端点を共有しないリンクの角度どうしの相関は、ゲージ変換で平均すると厳密に 0 です（Elitzur の定理と同じ機構、8-02）。H↓ は同じ不等式を局所の秩序変数の無い理論で $\xi^2$ まで押し上げる要求で、その分だけ強いものです。記録は三つの試験関数の族（一部は U(1) の計算）で届かないと確かめましたが、H↓ が偽とは言っていません（10-05）。

H↓ は記録の読み替えで「物理単位の質量が有限」の側で、Clay の問題文の「非自明」（相互作用がある）とは別の条件です。自由な質量つきの場でも満たされます。

記録は $b$ 倍に粗くする一段を $\beta\mapsto\beta-\kappa(\ln b-\delta(b))$ と書き、$\delta(b)$ を取りこぼしと呼びます（10-02・8-04 §03）。$\delta$ は一ループ核の模型で測った数で、記録の測定では四次元で $c_2/b^2+c_3/b^3+\cdots$ の形です計算（$\ln b/b^2$ の項が無いことは検出限界の範囲での話）。倍率 $b_1,b_2,\dots$ で $k$ 段進むと

です。同じスキームの厳密な一段なら第三項は無く（8-04 の式 (3)）、スキームの取り替えは $\beta$ を一度だけ $c$ ずらします（Dashen–Gross、8-04 表 1）。第三項が収束すれば、段ごとのずれは合わせて $c=\kappa\sum\delta$ の一度きりのずれで、取り替え一回と区別できません。

目安：SU(2) の $\Lambda_{\overline{\rm MS}}/\Lambda_{\rm L}=19.82$ は $\sum\delta$ で $\ln19.82=2.987$ に当たります計算。$b$ を固定すると、有界なのは $\delta(b)=0$ のときだけですLean（fixed_step_bounded_iff。仮定：段の誤差が毎段一定）。

問い：(8) は物理のどれか。候補は三つで、どれも類比です。(i) Symanzik の $O(a^2)$ ではありません。展開の変数が $a$ と $b$ で違い、前者は段ごとに溜まりません（8-04 §06）。(ii) MCRG（モンテカルロ繰り込み群。Swendsen 1979 がスピン系で導入）の方法でゲージ理論の $\Delta\beta$ を測った最初の SU(3) の結果は、$K_F\lt6.1$（$K_F$ は Wilson 作用の結合）で 'no asymptotic scaling' でした（Gupta ほか 1984）既知。この $\Delta\beta$ と記録の一段の減りは、同じ射影なら定義の上で対応する量です（同定はこの辞書の読み）。(iii) Wilson 形への切り詰めの誤差：切り詰めない完全作用について Hasenfratz–Niedermayer（1994）は 'There exist lattice actions which give cut-off independent physical predictions even on coarse grained lattices' と書きます。$\delta$ はこの誤差に近い、というのが一つの読みです。

負の重みの核と反射正値性

記録の計算で $\delta(2)=0$ になったブロック化の核は、隣への重みが負でした計算。重みが非負なら $c_2\gt0$ ですLean（c2_ge_of_nonneg_weights。仮定：$c_2$ が重みの量の増加するアフィン関数で重み 0 で正、という測定）。Lüscher–Weisz（1984）の要旨は 'When operators of dimension 6 are added to the standard Wilson action in lattice gauge theories, physical positivity is lost in general.' と書きます既知。主項を消す負の係数が正値性を奪う、という型は同じです。違いは対象で、向こうは作用（5-03）、記録はブロック化の核です。負の重みの核が反射正値性を壊すかは確かめていません。

記録は (S4)（物理単位の質量ギャップ）を「$a^2C_P$ が格子間隔 $a=1/\xi_{\rm RG}$ に依らない正の帯に入る」形で扱い、二つの冪を置きます。

$\theta$ は取りこぼしの溜まりの指数で、$b$ を固定した模型では $\theta=\delta(b)/\ln b$、$\sum\delta\lt\infty$ なら $\theta=0$ です。$\eta_{\rm dyn}\ge0$・$\theta\ge0$ なら $p=0$ は両方 0 と同値で、これが記録の「(S4) ⟺ $\sum\delta\lt\infty$ ∧ $\eta=0$」（記録の $\eta$ は $\eta_{\rm dyn}$、§02）の中身ですLean（drain_exponent・drainExp_eq_zero_iff。仮定：(9) の冪の形と符号の条件）。段の誤差が加法的で有界なことと、$\delta$ が一ループ核の模型の値であることも前提です。

問い：物理の二つの言明の積か。答え：模型の代数の中では、そう読めます。$\theta=0$ は「物理の質量は繰り込み群で不変で $m_{\rm lat}(\beta)\propto a(\beta)\Lambda$」という言明です。連続理論が在ると前提すれば、異常次元を持たない量についての Callan–Symanzik 方程式（4-04）から $\theta=0$ が従う、と物理では扱います（次元転移は 4-07）物理。物理はこれを名前の付いた仮説にしていません。数学では Chatterjee（2018）の Problem 5.1（$\xi(\beta)\in(0,\infty)$、$\beta\to\infty$ で $\xi\to\infty$）が同じ向きを求めます既知。$\eta_{\rm dyn}=0$ は $z=2$ で、§03・§04 の見込みです。

$\eta_{\rm dyn}\ge0$ を外すと、$\theta^*=-\eta_{\rm dyn}/(2-\eta_{\rm dyn})$ で $p=0$ になり、$a^2C_P$ は一定の帯に入るのに H も $\theta=0$ も成り立ちません（7-12 の図 2 と同じ型）。

計算式 (9) をその場で描く模式図。薄い塗りは前提の領域、破線は $p=\pm0.2$。JavaScript が無いときは表 3 で読める。

$a$ を半分にする段を 20 回重ねると、$a^2C_P$ は $p=-0.1665$ で約 10 倍、打ち消しの点では 1 倍のままです計算。数表だけでは H の破れと取りこぼしの溜まりを見分けられません。

この節は 7-09・7-10（葉巻・$M_{\rm KK}$・超重力）を読んでいると追いやすくなります。記録には「尺度が一つ ⟺ 余剰次元が見えている（半径 $R\sim1/\Lambda$）」という一文があります。問い：KK の非分離と同じものか。ホログラフィーの模型（Witten 1998 の葉巻、7-09）では背景の長さは $R=1/M_{\rm KK}$ 一つで、計量を $s^2$ 倍すると揺らぎの固有値はすべて $s^{-2}$ 倍です。だから $m_n=c_nM_{\rm KK}$ です。長さの尺度が $R$ 一つしか無いので、長さの二乗の次元を持つ量（$\xi^2$ も、Langevin の時間で測る $C_P$ も）はすべて $R^2$ に比例し、H は模型の中の次元解析で恒等式になります物理。正確には、模型に $C_P$ を定義したうえでの次元の勘定です。同じ理由で KK モードはグルーボールから離れません。クォークを含む QCD の模型の Sakai–Sugimoto（2005）も、中間子について 'our D4/D8 model deviates from QCD at the energy scale of M_KK, which is, unfortunately, the same energy scale of the mass of the vector mesons' と書きます。

$\lambda=30,\,16.6,\,10,\,5$ で $\Lambda/M_{\rm KK}=0.49,\,0.27,\,0.12,\,0.013$ です計算（16.6 は Sakai–Sugimoto の当てはめを $N_c=3$ で直した値で、その規約での $\lambda$ です。一ループの式 (10) に入れるのは目安で、規約で 2 倍ずれえます）。超重力が使えるのは $\lambda$ の大きい側で、Witten は小さい側を 'This looks like a tall order' と書きます（7-10）。

答え：類比です。「長さが一つ ⟹ 尺度が一つ」は模型の中で自明ですが、逆向きと $R\to0$ への移行はありません。純ヤン–ミルズの一尺度の物理名は次元転移（4-07）で、⟺ はこの端末の記録の定式化です。

次の行は既知として扱い、後の部（この端末の検討）で成果として並べません。(1) 格子単位の一様なギャップは $m_{\rm phys}\to\infty$ の自明な側、という向きの訂正は、相関長が発散する所で連続極限を取る定義と Problem 5.1 の向きそのものです（確定、5-09）。(2) $\kappa=11/(3\pi^2)$ は $4Nb_0$（Gross–Wilczek・Politzer 1973）で、実測との 5 桁一致は一ループ模型の中の一致です（確定、4-06）。(3) 記録の一段の記帳のうち、強結合の $\beta'=\beta^4/64$ は Migdal–Kadanoff の決定化の段だけに当たり（ボンド移動の因子 $b^{d-2}$ を含む MK の一段は $\beta'\approx4\beta^4$、8-04 §04）、弱結合の $\beta'=\beta\,b^{d-4}$ は次元勘定です（条件つき）。(4) (S2) の反射正値性・転送作用素と強結合の面積則は Osterwalder–Seiler 1978・Lüscher 1977・Wilson 1974 です（確定、5-03）。(5) (S1) は真空の一意性の格子版、$R\le\tau_{\rm int}\le C_P$ は同じ可逆な力学の中での誤差解析です（条件つき、8-02・8-03）。

同じと言い切れなかったのは、H の定数倍の一様性（§03）と、段ごとの溜まりが一回のスキーム変換に収まること（§06）で、どちらも類比までです。

この章が言えている範囲

出典と再現

次に読む章：9-01 世界はどこまで来ているか（年表と次元ごとの表で現在地を読む）。$\eta_s$ と $\eta_{\rm dyn}$ の約束は A-01 記号表。

← 8-04 辞書 C目次9-01 世界はどこまで来ているか →