2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 7 部 物理の側から葉巻とグルーボール

質量ギャップが幾何になる — 円が潰れて時空が終わると、スペクトルに隙間が開く

AdS の境界の理論は共形でギャップを持たず（7-08 (14)）、7-08 §07 では手で置いた壁で尺度を入れました。この章では幾何そのものが有限の深さで終わる模型を見ます。Witten（1998）はそこから二つを読みました 物理。面積則は、境界の方向 $dx_i^2$ の係数が内部で正の定数以上であることから。ギャップは、内部の波動方程式が正で離散的な固有値 $m_1^2\lt m_2^2\lt\cdots$ だけを持つことから。後者を境界で言えば、$\operatorname{tr}F^2$ などの二点関数が自由な伝播関数の和になります。

右の分数は三次元の質量 $m$ の伝播関数で 既知、遠方は最初の項が支配し、相関長は $1/m_1$ です（2-05 §05・4-11）。例：§05 の模型で $\operatorname{tr}F^2$ の二点関数を見ると（ディラトンの最低モード）、温度が $T=1/\pi$ となる §03 の規格化で $m_1=3.404$、相関長 0.294 です 計算。ただし超重力の場全体では、計量のゆらぎから来る別のスカラーのほうが軽く、$m^2=5.457$（ディラトンは 11.588）です（Brower–Mathur–Tan 2000。§07）物理。(1) は $1/N$ の主項で、相互作用で離散性は失われるがギャップは残る、と Witten は書いています。

温度 $T$ の熱平衡は、虚時間を周期 $\beta=1/T$（逆温度。この章の $\beta$ は格子の逆結合ではない）の円に巻いた経路積分です（2-07 §06）。ボソンは一周で元に戻り、フェルミオンは符号が変わる（反周期）ので、円の方向の運動量は

です 既知。フェルミオンには $\omega=0$ が無く、長い距離から外れます。Witten は $\mathcal N=4$ 理論を $\mathbb R^3\times S^1$ に置いて超対称性を壊し、スカラーも一ループで重くなるので、長い距離では三次元のゲージ場が残るとしました 物理。Csáki–Ooguri–Oz–Terning（1998、以下 COOT）はこれを $\mathrm{QCD}_3$ と呼びます。比喩で言えば円は型枠です。正確には、円の半径 $R$ は三次元の理論の紫外の切断です（7-06 §08）。例：フェルミオンの最低の運動量は $\pi T$、ボソンの 0 でない最低は $2\pi T$ です。

境界に円があると、内部は AdS のブラックホールになります。Witten はその解を拡大して次の計量を得ました（全体の $R^2$ は省く）物理。

$b$ は曲率半径、$\rho\to\infty$ が境界で AdS（7-08 §03）に戻ります。$\rho=b$ で $g=0$ となり円が潰れます。先端からの距離 $r$（$\rho\approx b+r^2/b$）で書くと

で平面の極座標です。ただし $\tau$ の周期が $\pi b$ からずれると先端は円錐の頂点（特異点）です。滑らかさが周期を $\pi b$ に固定します。境界の近くで計量を $\rho^2$ で割ると $d\tau^2/b^2+\sum dx_i^2$ なので、境界で測った円周は $\pi b/b=\pi$ で、温度は $b$ に依らず $T=1/\pi$ に決まります 既知。この章の数値はこの規格化（円周 $\pi$、$T=1/\pi$）で書きます。表の「$b=1$」は $b$ を 1 と置いたという意味で、(7) の固有値は $\rho=bu$ と置くと $b$ が消えるので $b$ に依りません。

$(\rho,\tau)$ は葉巻（cigar）形の円盤です。比喩で言えば時空が「そこで終わる」。正確には先端は円盤の中心です。$b=1$ では $\rho^2=\cosh 2r$ と書け、数値積分と 8 桁で一致します 計算。

計算この図の数値はこの端末で計算した（曲線は $\rho^2=\cosh2s$。表は数値積分の値で、先端に近いほど $C/(2\pi s)$ は 1 に近づく）。

寄り道：ブラックホールの温度も同じ計算

Wilson ループは内部の面の正則化した面積 $\alpha(D)$ で $e^{-\alpha(D)}$ と決まります（7-08 §06）物理。(3) では面は $\rho\ge b$ にしか入れず、$dx_i^2$ の係数 $\rho^2$ は $b^2$ 以上なので、囲む面積を $A$ として

で面積則（7-01 §04）が出ます（Witten）。距離 $L$ の二点を結ぶ弦の単位長さあたりの面積 $E(L)$ を、7-08 (10) と同じ方法で求めました。

短い距離では共形の $1/L$、長い距離では $E\approx L-2.000$ で、傾き 1 が $\sigma=b^2$ です 計算。弦は底 $\rho=b$ まで下りて水平に寝ます。壁（7-08 §07）は要りません。例：境界の尺度を $s$ 倍に取り直すと温度は $T/s$、張力は $1/s^2$ 倍で、$\sigma\propto T^2$ です（Witten）。

$\operatorname{tr}F^2$ にはディラトンが対応します（7-08 §05）。Witten は (3) の上で $\tau$ に依らない波 $\phi=f(\rho)e^{ik\cdot x}$ を調べました（$\tau$ 方向の運動量を持つ波はより重い。同じ場の中の比較。§08）。方程式は

で（$b=1$ なら $\rho^3g=\rho^5-\rho$）物理、$m$ は三次元の粒子の質量です。条件は二つ。先端で滑らか：片方の解は $\log(\rho-b)$ で発散し、滑らかな解は定数倍を除いて一つ。無限遠で規格化できる：解 $f\sim1$ と $f\sim\rho^{-4}$ のうち後者。定数の成分は境界の源（7-08 (8)）です。

先端での滑らかさは、平面の極座標の動径 $r$（(4)）で測った傾きが 0 という条件です。$\rho-b\propto r^2$ なので、$\rho$ で測ると傾きは 0 にならず、(7) から $f'(1)=-m^2f(1)/4$（$b=1$）、第一固有関数で $-2.90f(1)$ です 計算。de Mello Koch ら（1998）の要旨も、地平面で $\rho$ の傾きが 0 になる滑らかな解は無い、とこの条件を述べています。求め方は撃ち込みで、先端の滑らかな解が無限遠に残す定数成分 $A(m^2)$ の零点が固有値です。

計算この図の数値はこの端末で計算した（下は精密な積分の表。上は同じ式のページ内の Runge–Kutta 積分で、表と 4 桁で一致）。

撃ち込みと Chebyshev 選点法（$u=1/\rho^2$ に移す）が 7 桁一致し、COOT の表 1 の 6 行を再現します 計算。温度との比は $m_1/T=10.69$ です。

正であること。(7) に $\rho f$ を掛けて部分積分すると、先端（$\rho^3g=0$）と無限遠の境界項が消えて

です。分子が 0 なら $f$ は定数ですが、定数は規格化できない（$\int^\infty\rho\,d\rho=\infty$）ので $m^2\gt0$ 既知。右辺の最小値が $m_1^2$ で、ギャップは Poincaré 不等式の最良定数です（1-10・2-05 §08）。

離散であること。変数を $t=\int_1^\rho d\rho'/\sqrt{\rho'^4-1}$ に、未知関数を $\psi=(\rho^6-\rho^2)^{1/4}f$ に取り替えると（Liouville 変換。$b=1$）、(7) は区間 $[0,T_L]$ の Schrödinger 方程式

になります 既知。$V=(\rho^6-\rho^2)^{-1/4}\,\frac{d^2}{dt^2}(\rho^6-\rho^2)^{1/4}$ は両端で発散し、先端で $V\approx-1/(4t^2)$、無限遠の端で $V\approx(15/4)/(T_L-t)^2$ です 計算。それでも箱の長さ $T_L$ が有限なので、箱の中の粒子と同じく固有値は飛び飛びです。

端の型は近似の位相も決めます。ポテンシャルが $(\nu^2-\tfrac14)/u^2$（$u$ は端からの距離）の端では、許される解は $\sqrt u\,J_\nu(mu)$（$J_\nu$ は次数 $\nu$ の Bessel 関数）で、端から離れると $\cos(mu-\nu\pi/2-\pi/4)$ のように振動します。先端は $\nu=0$ で位相 $\pi/4$、無限遠の端は $\nu=2$ で $5\pi/4$ を持ち込むので、$n$ 番目の固有値は $m_nT_L\approx\pi(n-1)+\pi/4+5\pi/4=\pi(n+\tfrac12)$、つまり $m_n\approx(\pi/T_L)(n+\tfrac12)$ です。$n=6$ で差は $m^2$ で 0.6%（$m$ で 0.3%）まで縮みます 計算。表2 の $6n(n+1)$ は、COOT が Takei–Koike の私信として引く、完全 WKB 解析による近似式です。完全 WKB 解析は、大きなパラメータで展開した発散級数に Borel の方法で和を与えて厳密に扱う理論で（4-12）、この式はその総和可能性を仮定しています（COOT は、この場合の証明は無いと断っています）。

AdS では下端 $\rho=0$ までの長さ $\int_0d\rho/\rho^2$ が無限で、解は奥で振動し、スペクトルは 0 から連続します（Witten）。「時空が終わる」は、ここでは「Liouville の長さが有限」です。Gürsoy–Kiritsis–Nitti（2007）の五次元の模型でも、奥のポテンシャルの増え方の指数 $\alpha$ について、閉じ込めとギャップは $\alpha\ge1$、スペクトルが純粋に離散なのは $\alpha\gt1$（$\alpha=1$ ではギャップの上に連続スペクトル）と、模型の中の解析で述べられています。同じ論文には 'confinement and discrete spectra imply each other' という一文もあります 物理。

超重力が出すのは一つの尺度を単位にした数なので、COOT はディラトンの最低状態を格子（5-08）の $0^{++}$ に合わせ（三次元では格子の $N\to\infty$ の値 4.065。COOT の表では 4.07 と印字）、残りを比べました。$0^{--}$ は二形式の場の方程式から出ます。

ディラトンを基準にすると、比 $0^{--}/0^{++}=1.50$ は格子の $1.45\pm0.03$ と 3% で合い、励起は $N\to\infty$ の格子より 14%・24% 高く出ます 計算。基準をどのスカラーに取るかは、下の「後の解析」で扱います。

四次元は 7-07 §09 の D4 ブレーンの背景（反周期の円の半径 $R_2$）です。COOT のディラトン型スカラーの方程式は、$y^2=\rho$（原論文の $\lambda$）とし、先端を $y=1$ に置く単位（このとき $M_{\rm KK}=1/R_2=3$）で次です（無限遠の解は $1$ と $y^{-9}$）物理。

$0^{-+}/0^{++}$ は COOT で 1.14、当時の格子で $1.36\pm0.32$ です。COOT は $0^{-+}$ を 11 次元の三形式の場の成分から出します。この端末でその式から求めると最低値は $m^2=53.376$（(10) の $0^{++}$ を 1.61 GeV とすると 1.93 GeV、比 1.20）で、Brower–Mathur–Tan（2000、以下 BMT）の表2 にある同じ方程式（N4）の値と一致します 計算。COOT の表の 1.83 GeV は、この式からは再現できません。格子の $0^{++*}$ は二グルーボールの束縛状態の可能性が注記されています。

後の解析 — どのスカラーが最も軽いか

BMT は超重力の場をすべて（計量・三形式・球面の大きさ）動径の固有値問題にしました。四次元のスカラー型のモードを並べます。「割り当て」は、そのモードが結合する演算子から読んだ量子数 $J^{PC}$ です。

T4 の方程式は (10) と一階の項だけが違います。

後の解析では、$\operatorname{tr}F^2$ に結合するディラトン型の $0^{++}$ は $2^{++}$ と縮退して $1.567\,M_{\rm KK}$、最も軽い $0^{++}$ は別のモード S4 の $0.901\,M_{\rm KK}$ です 物理。表4 の 2.03 は COOT の式 (10) による値です。三次元でも、ディラトン（11.588）より軽いスカラー（BMT の S3、5.457）があります 計算。BMT は 'the lowest mass scalar comes from the gravitational multiplet, not the dilaton' と書き、数 % の比の一致を 'a misconception' と評しています。同時に、スピンと質量の並び全体は格子の結果とよく対応するとも書いています 物理。

そのため比は、分子と分母にどのモードを取るかで動きます。三次元の $0^{--}/0^{++}$ は S3 を基準にすると 2.19 です。四次元では、COOT の三形式の値を T4 で割ると 1.55、BMT の割り当て（$0^{-+}$ は V4）では V4/T4 が 1.20、V4/S4 が 2.09 です 計算。今日の格子の $SU(3)$ では $0^{-+}/0^{++}=1.549(16)$、$0^{++*}/0^{++}=1.720(16)$ です（7-01 の表）。COOT の基準のホログラフィーの比（1.14、1.20、1.48）は、それぞれ 26%・23%・14% 小さくなります 計算。

グルーボールの質量は固有値問題で決まり、結合 $\lambda=g_{\rm YM}^2N$ に依りませんが、弦張力は $\lambda$ に比例します。D4 の模型では Kruczenski–Mateos–Myers–Winters（2003）の式 (2.7) から 物理

です（$\lambda$ の規約で 2 倍ずれうる）。右辺の $m_{0^{++}}/M_{\rm KK}$ には、COOT の式 (10) による 2.03、BMT の T4（ディラトン型）の 1.567、S4（最も軽い）の 0.901 のどれを入れるかで値が変わります。

超重力が信頼できる $\lambda\gg1$ で比は $\lambda^{-1/2}$ で 0 に向かいます 計算。3.072 に合う $\lambda$ は 3.7〜19 と、どのモードを取るかで 5 倍ほど動き、いずれも当てはめで予言ではありません。Klebanov–Strassler も張力とグルーボールの 'large separation of scales' を認めています。格子では 3〜4 です（7-03）。

壁で切る模型では、比の $\lambda$ 依存は $\lambda^{-1/4}$ です。硬い壁（7-08 の (12)）では張力が $\sigma=\sqrt\lambda/(2\pi z_w^2)$、グルーボールの質量が $\sim1/z_w$ です（壁で Dirichlet 条件を課す Boschi-Filho–Braga 2003）。柔らかい壁では、張力が Andreev–Zakharov（2006）の (19) と $g=R^2/\alpha'$ から $\frac{R^2}{\alpha'}\frac{e}{4\pi}c$、質量の二乗が $c$ に比例します（Karch–Katz–Son–Stephanov 2006 の (15)。中間子の場合）。どちらも張力が $\sqrt\lambda$ に比例するので比は $\lambda^{-1/4}$ で、D4 の模型の $\lambda^{-1/2}$ との違いは (11) の張力が $\lambda$ に比例することから来ます 物理。

もう一つは円の尺度です。三次元では、§03 の規格化で境界の円周は $\pi$ なので $R=1/2$、$m_1=3.404=1.70/R$ です（COOT は地平面の位置を $b=1/(2R)$ と置く別の規格化を使います）。四次元では $0^{++}$ が $0.90/R_2$〜$2.03/R_2$ で、どのモードを取ってもグルーボールは円と同じ桁です 計算。球面の上の KK モード（7-06 §02）も 'of the same order' で（COOT）、グルーボールとみなす状態は手で選ばれています。消すには $\lambda\to0$ が要り、それは超重力が効く向きの 'opposite' です。Witten 自身、小さい $\eta=g_4^2N$ での計算を 'a tall order' としました 物理。極限の順序は 7-10 へ。

Klebanov–Strassler（2000）は D3 ブレーン（7-08 §02）を六次元の錐（コニフォールド）の上に置き、先端の特異点が IR で変形されて有限の球面が残る背景を作りました。

例：$z_i$ を実数に限ると右は半径 $\epsilon$ の $S^3$ で、先端に残る球です 既知。錐の断面を貫く五形式の場の流束（D3 ブレーンの枚数に当たる量）は $\mathcal K(r)=N+a\,g_sM^2\ln(r/r_0)$ と動径 $r$ で対数的に変わります。$g_s$ は弦の結合（7-08 (3)）、$M$ は錐の中の球に巻いた「分数ブレーン」の枚数、$a$ は 1 の程度の定数です（原論文）。著者たちはこの減少を、ゲージ群 $SU(N+M)\times SU(N)$ が $N\to N-M$ と段々に小さくなる列（カスケード）と読みます 物理。先端の変形は、IR に残る $\mathcal N=1$ 超対称ヤン–ミルズの R 対称性（この理論のカイラル対称性）$\mathbb Z_{2M}\to\mathbb Z_2$ の破れが幾何として見えたもの、とされます 物理。先端で $dx^2$ の係数が有限なので §04 と同じく面積則が出ます。ただし理論は $\mathcal N=1$ 超対称、UV のカスケードは 'goes on forever'、$S^3$ の KK モードとグルーボールは 'both scale as $m/(g_sM)$' です。

どの模型でもギャップは「固定した背景の上の線形の固有値問題」として示され、背景が $\mathbb R^4$ の純ヤン–ミルズ理論を記述する部分は予想のままです。Clay の頁も 'no proof of this property is known' と書いています。問題文（0-03）との距離は 7-10、切れ目は 9-02 です。

この章が言えている範囲

出典と再現

次に読む章：7-10 四次元に戻す — 極限の順序と問題文との距離。

← 7-08 ホログラフィー目次7-10 四次元に戻す →