computo ergo sum

2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 7 部 物理の側から閉じ込めの機構

この本の全体 目次と読む順
  1. 第 0 部 入口 — この本の読み方
  2. 0-01 この本の読み方
  3. 0-02 一枚の絵
  4. 0-03 問題文を一語ずつ読む
  5. 0-04 数学の四次元と物理の四次元
  6. 第 1 部 数学の準備
  7. 1-01 ベクトル空間と線形写像
  8. 1-02 群とは何か
  9. 1-03 リー群とリー環
  10. 1-04 SU(2) と SU(3)
  11. 1-05 多様体と接空間
  12. 1-06 微分形式と外微分
  13. 1-07 ベクトル束と接続
  14. 1-08 確率と測度
  15. 1-09 無限次元の確率
  16. 1-10 ヒルベルト空間と自己共役作用素
  17. 1-11 フーリエ解析と分布
  18. 1-12 寄り道
  19. 第 2 部 物理の準備
  20. 2-01 ラグランジアンと作用
  21. 2-02 場という考え
  22. 2-03 電磁気学はゲージ理論である
  23. 2-04 特殊相対論と時空
  24. 2-05 量子力学の骨
  25. 2-06 調和振動子と生成消滅
  26. 2-07 経路積分の考え方
  27. 2-08 統計力学と相転移
  28. 2-09 寄り道
  29. 2-10 緩和の時間と動的指数 z
  30. 第 3 部 ヤン–ミルズ理論(古典)
  31. 3-01 ゲージ原理
  32. 3-02 非可換ゲージ場
  33. 3-03 作用と方程式
  34. 3-04 幾何としてのゲージ理論
  35. 3-05 インスタントンと位相
  36. 3-06 寄り道
  37. 3-07 標準模型の中のヤン–ミルズ
  38. 第 4 部 量子化
  39. 4-01 正準量子化とハミルトニアン
  40. 4-02 経路積分とユークリッド化
  41. 4-03 摂動論と Feynman ダイアグラム
  42. 4-04 発散と繰り込み
  43. 4-05 発散の代数
  44. 4-06 漸近自由
  45. 4-07 次元転移と Λ
  46. 4-08 ゲージ固定と Faddeev–Popov
  47. 4-09 場の量子論の公理
  48. 4-10 Osterwalder–Schrader の公理と再構成
  49. 4-11 質量ギャップの定義
  50. 4-12 寄り道
  51. 第 5 部 格子ゲージ理論
  52. 5-01 Wilson の格子
  53. 5-02 強結合展開
  54. 5-03 反射正値性と転送行列
  55. 5-04 無限体積極限とクラスター展開
  56. 5-05 弱結合と連続極限
  57. 5-06 U(1) と非可換の違い
  58. 5-07 モンテカルロ法
  59. 5-08 グルーボールと弦張力の測定
  60. 5-09 何を固定して極限を取るか
  61. 5-10 有限群の格子ゲージ理論
  62. 5-11 寄り道
  63. 第 6 部 構成的場の理論
  64. 6-01 構成的場の理論とは
  65. 6-02 二次元の可解性とヤン–ミルズ測度
  66. 6-03 スカラー場の構成
  67. 6-04 クラスター展開
  68. 6-05 繰り込み群の段の列
  69. 6-06 三次元ヤン–ミルズの紫外安定性
  70. 6-07 四次元
  71. 6-08 四次元の φ⁴ の自明性
  72. 6-09 確率量子化と正則性構造
  73. 6-10 四次元で止まる場所
  74. 6-11 発散以外の障害
  75. 6-12 寄り道
  76. 第 7 部 物理の側から
  77. 7-01 物理はどう見ているか
  78. 7-02 閉じ込めの機構
  79. 7-03 弦の絵
  80. 7-04 大 N
  81. 7-05 ひも理論と余剰次元
  82. 7-06 余剰次元が見えなくなる仕組み
  83. 7-07 ゲージ場はどこから来るか
  84. 7-08 ホログラフィー
  85. 7-09 質量ギャップが幾何になる
  86. 7-10 四次元に戻す
  87. 7-11 超対称と Seiberg–Witten
  88. 7-12 等価原理に当たる一文
  89. 7-13 物理の掘り方が数学と離れる場所
  90. 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
  91. 8-01 辞書の読み方
  92. 8-02 辞書 A
  93. 8-03 辞書 B
  94. 8-04 辞書 C
  95. 8-05 私たちの仮定の物理側の対応
  96. 第 9 部 現在地と課題
  97. 9-01 世界はどこまで来ているか
  98. 9-02 二つの掘り方の切れ目
  99. 9-03 新しい概念の候補
  100. 9-04 課題の一覧
  101. 9-05 よくある誤解
  102. 第 10 部 質量ギャップの厳密な証明へ — この端末の検討
  103. 10-00 第 10 部の入口 — 酔歩と定規と時計
  104. 10-01 理論の構成の筋
  105. 10-02 一段の記帳
  106. 10-03 仮定 H と三つの鎖
  107. 10-04 方向の地図
  108. 10-05 方向 12〜14
  109. 10-06 方向 15・15′
  110. 10-07 Lean で閉じた言明と既存の結果の対応表
  111. 10-08 壁の一覧
  112. 10-09 ひらめき帳から
  113. 10-10 主張しないこと
  114. 10-12 つじつま合わせ
  115. 10-11 定理までの距離
  116. 10-13 小さな問い — 卒業研究の大きさで決着のつく十〜二十問
  117. 付録
  118. A-01 記号表
  119. A-02 用語集
  120. A-03 文献案内
  121. A-04 Lean と機械検査
  122. A-05 この本の作り方
  123. A-06 仮定の索引

閉じ込めの機構 — 四つの絵を、何を主役に選び、どこで数学から切れるかで読む

この章で分かること — 閉じ込めの四つの絵(双対超伝導・アーベル射影・中心渦・Gribov–Zwanziger)の主役と支え、数学の言明として切れる場所。閉じ込めとギャップが別の文であること。

前提となる章 — 7-01。ほかに 5-02(Wilson ループ)、4-08(Gribov のコピー)、1-04(群の中心)。

先に言うこと — 四つの絵はどれも物理の描像で、四次元の非可換理論で閉じ込めを導いた定理はありません。この章は閉じ込めもギャップも示しません。図 2 の模型は玩具です。

この章の順序
  1. 何を説明したいのか — 面積則
  2. 閉じ込めとギャップは別の文 — 面積則と指数減衰、条件つきの含意
  3. 双対超伝導 — 磁束の管を裏返す(図 1)
  4. アーベル射影と単極子 — 対角化の特異点/寄り道:Elitzur の定理
  5. 中心渦 — 中心元を掛ける膜
  6. 渦の気体の模型 — 面積則と周長則(図 2)
  7. Gribov の領域と地平 — ゲージを固定した側から
  8. 伝播関数と正値性 — 粒子なら負にならない相関(図 3)
  9. 四つの絵を並べる — 主役・支え・欠けているもの

01

何を説明したいのか

「閉じ込め」は、クォークを単独で取り出せないという観測から来た言葉です。純ヤン–ミルズ理論にはクォークが無いので、無限に重い試験電荷を二つ置き、引き離すエネルギーを問います(7-01)。格子では、閉じた道 CC に沿ってリンク変数を掛けた行列の跡の期待値が Wilson ループで(5-01)、R×TR\times T の長方形では W≈e−V(R)TW\approx e^{-V(R)T}、V(R)V(R) が電荷対のエネルギーです。

W(C)=⟨1Ntr⁡∏ℓ∈CUℓ⟩,V(R)=−lim⁡T→∞1Tln⁡W(R,T)(1)W(C) = \Big\langle \frac{1}{N}\operatorname{tr}\prod_{\ell\in C} U_\ell \Big\rangle,\qquad V(R) = -\lim_{T\to\infty}\frac{1}{T}\ln W(R,T) \tag{1}

大きいループの減り方は二通りです。

W(R,T)≈e−σRT  (面積則),W(R,T)≈e−c (2R+2T)  (周長則)(2)W(R,T)\approx e^{-\sigma RT}\ \ (\text{面積則}),\qquad W(R,T)\approx e^{-c\,(2R+2T)}\ \ (\text{周長則}) \tag{2}

面積則なら V(R)≈σRV(R)\approx\sigma R で、エネルギーが距離に比例して増えます。σ\sigma が弦張力です。周長則なら VV は有界です。例:σ=c=0.05\sigma=c=0.05、R=T=10R=T=10 で −ln⁡W-\ln W は 5 と 2、辺を 20 にすると 20 と 4 です。見分けには Creutz 比を使い、純粋な面積則で σ\sigma、周長則で 0 になります既知。

χ(R)=−ln⁡W(R,R) W(R−1,R−1)W(R,R−1) W(R−1,R)(3)\chi(R) = -\ln\frac{W(R,R)\,W(R-1,R-1)}{W(R,R-1)\,W(R-1,R)} \tag{3}

「機構」を問うとは、面積則を真空の中の何が生むかを問うことです。小さい β\beta(格子の逆結合。SU(N)SU(N) では β=2N/g2\beta=2N/g^2、小さいほど強結合)の面積則は定理ですが(5-02)、U(1) を含む全ての群で成り立つので非可換の説明になりません既知。問いは連続極限へ向かう大きい β\beta の側に残ります。

02

閉じ込めとギャップは別の文

質量ギャップは相関の指数的な減衰(4-11)、閉じ込めは面積則で、論理としては別の主張です。Clay の問題文が要求するのは Δ>0\Delta>0 で、閉じ込めは「自然な拡張」に分けられています既知。

表 1 閉じ込め(面積則)とギャップ(指数減衰)の有無と水準
模型面積則指数減衰水準
任意の群・小さい β\betaありあり定理(5-02)
4 次元 U(1)・大きい β\betaなしなし(光子)定理(5-06)
有限群・大きい β\betaないと信じられているあり(弱い意味)減衰は定理(5-10)
3 次元コンパクト U(1)あり物理では光子が質量を得る面積則は定理(§03)
4 次元 SU(N)・連続極限期待期待未証明

格子には一方向の含意があります。Chatterjee(2021)は次を示しました既知。Wilson ループを作る表現が群の中心(§05)に非自明に作用し(SU(N) の基本表現はそうです)、中心対称性が破れない(有限の厚みの板状の領域で、どの境界条件をとっても測度が中心の変換で不変であること。同論文の定義 2.1)なら、無限体積の格子 Zd\mathbb{Z}^d 上のどの測度でも、R→∞R\to\infty で V(R)→∞V(R)\to\infty となるある関数 VV について次が成り立ちます。

∣⟨W(R×T)⟩∣≤e−V(R) T(4)|\langle W(R\times T)\rangle| \le e^{-V(R)\,T} \tag{4}

これは VV が非有界という意味で、σ>0\sigma>0 ではありません。任意の境界条件での指数減衰という強い形のギャップを仮定すると面積則まで出ます(同論文の定理 2.4)。有限群で示された減衰は、特定の境界条件での二点相関の減衰で、定理 2.4 が仮定する「任意の境界条件での減衰」より弱いものです。このため表 1 の有限群の行と矛盾しません(同論文 §2.4)。Clay の意味のギャップから閉じ込めを導く定理はありません。

03

双対超伝導:磁束の管を裏返す

超伝導体は磁場を押し出し(Meissner 効果)、表面から入った磁場は侵入長 λL\lambda_L で減ります。無理に通すと細い管(Abrikosov の渦)に束ねられ、一本の磁束は h/2eh/2e の整数倍です既知。

∇2B=B/λL2,B(x)=B0 e−x/λL(5)\nabla^2\mathbf{B} = \mathbf{B}/\lambda_L^{2},\qquad B(x) = B_0\,e^{-x/\lambda_L} \tag{5}

密度 B2/2B^2/2、断面積 SS、磁束 Φ=BS\Phi=BS の管は長さあたり E/ℓ=Φ2/(2S)E/\ell=\Phi^2/(2S) を持ちます。真空では SS を広げて 0 に近づけられますが、超伝導体では広げる損があり、E/ℓE/\ell は正の定数に留まります。単極子の対を埋めればエネルギーは距離に比例するはずです(模式的な見積もり)。

磁荷の流れ jmj^m を加えた Maxwell 方程式は、電と磁の入れ替えで対称です(F~\tilde F は双対。ここだけ実時間の記法です)既知。

∂μFμν=jνe,∂μF~μν=jνm;E→B, B→−E, je→jm, jm→−je(6)\partial^\mu F_{\mu\nu} = j^{e}_{\nu},\quad \partial^\mu \tilde F_{\mu\nu} = j^{m}_{\nu};\qquad \mathbf{E}\to\mathbf{B},\ \mathbf{B}\to-\mathbf{E},\ j^{e}\to j^{m},\ j^{m}\to -j^{e} \tag{6}

真空が色磁気単極子の凝縮なら、押し出されるのは色電場で、色電束が管になり、クォークが閉じ込められる。これが双対超伝導の絵で、't Hooft(1975 年の講演)と Mandelstam(1976)が独立に提案したとされます物理。Nambu(1974)がその先駆とされます。正確には、単極子は作用に現れる場ではなく、ゲージを選んで初めて定義される対象で(§04)、「凝縮」を測度の言明として書く方法はまだありません。

図 1 左:真空では力線が広がる。右:単極子が凝縮した真空では電束が管になる(模式図)。
真空(E/ℓ → 0)凝縮した真空(E/ℓ = σ)

Di Giacomo ほか(2000、SU(2))は単極子凝縮の秩序変数を格子で測り、「閉じ込めは双対超伝導体への転移として現れる」と報告しました物理。文脈は有限温度の脱閉じ込め転移で、機構が示されたわけではありません。「凝縮 ⇒ 面積則 ⇒ ギャップ」はどちらの段も四次元の非可換では未証明です。

可換な模型で機構が計算できる例

三次元のコンパクト U(1) では単極子がインスタントンとして働き、Polyakov(1977)が半古典で面積則を出し、Göpfert–Mack が(Villain 作用の格子で)全結合で σ>0\sigma>0 を証明しました既知。ただし同じ仕事の要旨は、連続極限が自由スカラー場で物理の単位の弦張力が ∞\infty に行くとも述べます(本文は未読)。この機構からは「質量と弦張力は一つの尺度で決まる」(7-12)が出てきません。四次元では、N=2\mathcal{N}=2 超対称な理論を質量項で N=1\mathcal{N}=1 に破った場合に、Seiberg–Witten(1994)が単極子の凝縮による閉じ込めを記述しました(7-11)物理。

04

アーベル射影と単極子

't Hooft(1981)は、作用に無い単極子をゲージの選び方の特異点として見つけました。X↦gXg−1X\mapsto gXg^{-1} と変わる量 X(x)X(x)(たとえば F12F_{12})を選び、各点で対角にします。

g(x) X(x) g(x)−1=diag⁡(ε1(x),…,εN(x))(7)g(x)\,X(x)\,g(x)^{-1} = \operatorname{diag}\big(\varepsilon_1(x),\dots,\varepsilon_N(x)\big) \tag{7}

εi\varepsilon_i は固有値です。残る対称性は U(1)N−1U(1)^{N-1} で、対角のグルーオンが「光子」です。固有値が重なる点では対角化が決まらず、そこが単極子です物理。例:SU(2) で X=∑aXaσa/2X=\sum_a X^a\sigma^a/2 なら固有値は ±∣X⃗∣/2\pm|\vec X|/2、重なるのは X⃗=0\vec X=0 で、実の条件 3 本です。三次元では点、四次元では線(世界線)になります(一般の NN も同じ、1-01 の寄り道)。零点の近くで X⃗≈x⃗\vec X\approx\vec x なら X⃗/∣X⃗∣\vec X/|\vec X| は零点を囲む球面を一回覆い、その回数が磁荷です既知。

格子では最大アーベルゲージ(MAG、Kronfeld ほか 1987)でリンクを対角に近づけます。

R[U]=∑x,μtr⁡[ Uμ(x) σ3 Uμ(x)† σ3 ] → 最大(8)R[U] = \sum_{x,\mu}\operatorname{tr}\big[\,U_\mu(x)\,\sigma^3\,U_\mu(x)^\dagger\,\sigma^3\,\big]\ \to\ \text{最大} \tag{8}

大域的な最大を確実に見つける方法は知られておらず、実際には局所的な最大(Gribov のコピー)を使います。射影したリンクの弦張力が元の大部分を占めること(アーベル優勢)を Suzuki–Yotsuyanagi(1990)が報告し、Greensite の総説(2003)は SU(2) で (92 ± 4)%(Bali ほか 1996)を引きつつ「アーベル優勢はまだ単極子による閉じ込めの証明ではない」と書きます物理。

寄り道:Elitzur の定理

寄り道

飛ばしてよい小節です。

リンク UℓU_\ell の始点だけでゲージ変換 gg をすると Uℓ→gUℓU_\ell\to gU_\ell です(その点に触れる他のリンクも変わりますが、作用と測度は不変です)。よって ⟨Uℓ⟩=g⟨Uℓ⟩\langle U_\ell\rangle=g\langle U_\ell\rangle が全ての gg で成り立ち、Haar 測度(5-01)で平均すると

⟨Uℓ⟩=(∫SU(N)g dg)⟨Uℓ⟩=0(9)\langle U_\ell\rangle = \Big(\int_{SU(N)} g\,dg\Big)\langle U_\ell\rangle = 0 \tag{9}

です。Elitzur(1975)の定理は、無限体積でもゲージ不変でない局所量の期待値は 0 のままだと述べます既知。大域的な対称性(2-09)と違い、一点のゲージ変換には障壁がないからです。ゲージを固定して定義した単極子は、ゲージ固定の手続きを込めれば配位の関数にはなります。ただ、最大が一意でない(Gribov のコピー)ので関数として一つに定まらず、局所量でもありません。

05

中心渦:ループに中心元を掛ける膜

SU(N) の中心は全ての元と可換な ZN={e2πik/NI}Z_N=\{e^{2\pi ik/N}I\} です。中心元 zz は表現ごとに zkz^k として働き、この k (mod N)k\ (\mathrm{mod}\ N) が N-ality です。基本表現は 1、随伴表現は 0 です既知。

出発点は、大きいループの弦張力が N-ality だけで決まり、随伴(グルーオン自身に遮蔽される)では 0 になる、という格子の観測です(Greensite の総説 §4.3)物理。中心渦は三次元で線、四次元で面で、絡んだループに中心元を一つ掛けます(SU(2) なら −1-1)。随伴のループは渦に気づきません。正確には、格子の上の最も細い渦は、ある領域を貫くリンクにまとめて中心元を掛けた配位で、変わるのは領域の縁に当たるプラケットだけです(内部では中心元が打ち消し合う)。この縁が渦で、縁と絡むループだけに中心元が掛かります。平面を面積 Σmin⁡\Sigma_{\min} の正方形に区切り、各正方形のループが拾う Z(Ci)Z(C_i) がほぼ独立なら、大きいループは積に分かれて面積則になります(同じ総説の式 (94)–(96))。

⟨Wk(C)⟩≈e−σ(k) Σ,σ(k)=−ln⁡⟨Z(Ci)k⟩/Σmin⁡(10)\langle W_k(C)\rangle \approx e^{-\sigma(k)\,\Sigma},\qquad \sigma(k) = -\ln\langle Z(C_i)^{k}\rangle/\Sigma_{\min} \tag{10}

閉じ込めは、渦の面が体積を貫いて広がる(パーコレートする)かどうかの問題になります。数値では、Del Debbio–Faber–Greensite–Olejník(1997)が射影した渦が弦張力の大部分を運ぶこと(中心優勢)を、de Forcrand–D'Elia(1999)が渦を取り除くと閉じ込めが失われることを報告しました物理。定理では、Tomboulis–Yaffe(1985、SU(2))が Wilson ループを渦の自由エネルギーの関数で上から押さえました既知。渦の自由エネルギーは、一方向の境界条件に中心元のねじれを入れた分配関数 Ztw\mathcal{Z}_{\mathrm{tw}} と、入れない分配関数 Z\mathcal{Z} の比の −ln⁡-\ln、つまり Fv=−ln⁡(Ztw/Z)F_v=-\ln(\mathcal{Z}_{\mathrm{tw}}/\mathcal{Z}) で、ゲージ不変です。同じ系統のゲージ不変な量に 't Hooft ループ(ループに沿って中心の渦を差し込む演算子)があります。式 (4) も中心対称性から Wilson ループを押さえる定理です。Tomboulis(2007)は SU(2) について全結合での証明を主張し、Ito–Seiler が論証の欠けを指摘しています。

射影で定義する渦はゲージに依存します。条件つきの定理の仮定は、四次元の弱結合で渦が凝縮すること(ゲージ不変には渦の自由エネルギーの減衰)の一点に集まり、これは証明されていません。

06

渦の気体の模型:面積則と周長則を数える

平面を SU(2) の渦が貫く点をばらまき、ループ内の点の数を nn として W=(−1)nW=(-1)^n とします。点は二種類です。(a) 密度 ρf\rho_f の独立な点(広がった渦の断面)。(b) 距離 dd の二点の対、点の密度 ρp\rho_p(平面を二回貫く小さな渦)。対が符号を変えるのは縁をまたぐときだけです。I×JI\times J の長方形で次が厳密に成り立ちます(平行移動した二つの長方形の対称差の面積を向きで平均する)計算。

−ln⁡⟨W(I,J)⟩=2ρf IJ+2ρp[2dπ(I+J)−d2π](I,J≥d)(11)-\ln\langle W(I,J)\rangle = 2\rho_f\,IJ + 2\rho_p\Big[\frac{2d}{\pi}(I+J) - \frac{d^2}{\pi}\Big]\qquad(I,J\ge d) \tag{11}

第一項は、独立な点の数 nn が平均 μ=ρfIJ\mu=\rho_f IJ の Poisson 分布に従い E[(−1)n]=∑ne−μμn(−1)n/n!=e−2μ\mathbb{E}[(-1)^n]=\sum_n e^{-\mu}\mu^n(-1)^n/n!=e^{-2\mu} となることから出ます(1-08)。第一項が面積則、第二項が周長則で、Creutz 比は 2ρf2\rho_f です。小さい渦がいくら多くても弦張力に寄与しません。

図 2 R・ρf・ρp を変えると、左の一枚の例(赤=独立、青=対)と、右の −ln⟨W⟩(実線、式 (11))・面積項(赤破線)・周長項(青点線)が変わる。
R = 6、ρf = 0.02、ρp = 0.2:−ln⟨W⟩ = 1.44 + 2.93 = 4.37

計算曲線は式 (11) をその場で計算し、左の点は乱数の一例です。式 (11) はこの端末で 100 万標本のモンテカルロ(MC)と突き合わせました(表 2)。

表 2 −ln⟨W(R,R)⟩:式 (11) と MC(格子間隔 1、d = 1。括弧内は MC の標準誤差を最後の桁で書いたもの。「—」は測れない)
R独立 0.05MC対 0.2MC混合MC
20.4000.399(1)0.8910.890(2)1.0511.052(3)
41.6001.596(5)1.9101.920(7)2.5502.546(13)
63.6003.574(36)2.9292.929(19)4.3694.255(70)
86.400—3.9473.921(50)6.507—
Creutz 比0.1000.0000.040

混合は ρf=0.02\rho_f=0.02・ρp=0.2\rho_p=0.2。MC の標準誤差は −ln⁡W-\ln W が大きいほど増え、−ln⁡W≤3-\ln W\le3 では 0.02 以下です。R=6R=6 の混合は誤差 0.070 で、厳密式との差 0.11 は標準誤差の約 1.6 倍です。e−6.4≈0.0017e^{-6.4}\approx0.0017 は ±1\pm1 の平均の雑音 10−310^{-3} と同程度で測れません。この困難は実際の格子計算と同じです(5-07)。SU(3) で貫通ごとに e±2πi/3e^{\pm2\pi i/3} を掛けると、弦張力は k=1,2k=1,2 で 1.5ρf1.5\rho_f、随伴で 0 です計算。

07

Gribov の領域と地平:ゲージを固定した側から

四つ目の絵は、ゲージを固定した伝播関数の形から閉じ込めを読みます。Landau ゲージの面 ∂μAμ=0\partial_\mu A_\mu=0 は一つの軌道と複数回交わりうる(4-08)ので、Gribov(1978)は積分を Faddeev–Popov 作用素 M\mathcal{M} が正の領域 Ω\Omega に制限しました。境界が Gribov の地平です。

Mab=−∂μ(∂μδab+gfacbAμc),Ω={A: ∂μAμa=0, M>0}(12)\mathcal{M}^{ab} = -\partial_\mu\big(\partial_\mu\delta^{ab} + g f^{acb}A^c_\mu\big),\qquad \Omega = \{A:\ \partial_\mu A^a_\mu = 0,\ \mathcal{M}>0\} \tag{12}

「M>0\mathcal{M}>0」は、M\mathcal{M} の固有値(自己共役作用素のスペクトル、1-10)がすべて正という意味です。A=0A=0 では M=−∂2\mathcal{M}=-\partial^2 で、定数を除けば正です。AA を大きくすると最小の固有値が下がり、0 に達したところが地平です。地平の上では、固有値 0 の向きへの無限小のゲージ変換がゲージの条件を保つので、限りなく近いコピーが現れます。

数学として確かなのは Dell'Antonio–Zwanziger(1991)の「どの軌道も地平の内側を通る」までです既知。Ω\Omega の中にもコピーは残り、コピーの無い領域を解析的に扱う方法は知られていません(内側のコピーは期待値に影響しない、と Zwanziger は主張しています物理)。

08

伝播関数と正値性

Zwanziger(1989)は、Ω\Omega への制限を局所的な作用として書きました。その木の近似(ループの寄与を入れない最低次、4-03)の伝播関数が下の左、凝縮を加えた版(RGZ、Dudal ほか 2008)が右です物理。

DGZ=p2p4+λ4,DRGZ=p2+M2p4+(M2+m2) p2+λ4+M2m2(13)D_{\mathrm{GZ}} = \frac{p^2}{p^4+\lambda^4},\qquad D_{\mathrm{RGZ}} = \frac{p^2+M^2}{p^4+(M^2+m^2)\,p^2+\lambda^4+M^2m^2} \tag{13}

λ4=2g2Nγ4\lambda^4=2g^2N\gamma^4 で、γ\gamma は地平の条件で決まります。ここでの λ\lambda は質量の尺度で、§03 の侵入長 λL\lambda_L とも、大 NN の λ=g2N\lambda=g^2N とも別です。M2M^2 と m2m^2 は RGZ で加わる質量の母数です。GZ の形は p=0p=0 で 0、極は p2=±iλ2p^2=\pm i\lambda^2 と複素で、質量 m0m_0 の自由な粒子の 1/(p2+m02)1/(p^2+m_0^2) とまるで違います。

グルーオンが物理的な粒子なら、伝播関数は正の密度 ρ\rho の重ね合わせ(Källén–Lehmann 表示)で書け、時間方向の相関 C(t)C(t) は負になりえません(Dudal ほか 2008 の式 (159)(160)、4-10)。ω\omega は重ね合わせる質量です。

D(p2)=∫0∞ ⁣dω2 ρ(ω2)p2+ω2,C(t)=12π∫−∞∞ ⁣e−iptD(p2) dp=∫0∞ ⁣dω ρ(ω2) e−ωt(14)D(p^2) = \int_0^\infty\! d\omega^2\,\frac{\rho(\omega^2)}{p^2+\omega^2},\qquad C(t) = \frac{1}{2\pi}\int_{-\infty}^{\infty}\! e^{-ipt}D(p^2)\,dp = \int_0^\infty\! d\omega\,\rho(\omega^2)\,e^{-\omega t} \tag{14}

m=0m=0 では、複素関数の積分(留数)で計算すると閉じた形が出ます(数値積分でも確かめられます。図 3 の下)。M2<2λ2M^2\lt 2\lambda^2 で cos⁡φ=M2/(2λ2)\cos\varphi=M^2/(2\lambda^2) とおくと計算

C(t)=e−λtcos⁡(φ/2)2λsin⁡φ sin⁡ ⁣(3φ2+λtsin⁡φ2)(15)C(t) = \frac{e^{-\lambda t\cos(\varphi/2)}}{2\lambda\sin\varphi}\,\sin\!\Big(\frac{3\varphi}{2} + \lambda t\sin\frac{\varphi}{2}\Big) \tag{15}

で、t∗=(π−3φ/2)/(λsin⁡φ2)t_*=(\pi-3\varphi/2)/(\lambda\sin\frac{\varphi}{2}) で最初に負になります。GZ では t∗=π/(22 λ)≈1.111/λt_*=\pi/(2\sqrt2\,\lambda)\approx1.111/\lambda。M2>2λ2M^2\gt2\lambda^2 では D=A/(p2+r1)+B/(p2+r2)D=A/(p^2+r_1)+B/(p^2+r_2)(0<r1<r20\lt r_1\lt r_2)と実の極に分かれ、BB が負(ρ\rho は正でない)なのに C(t)≥e−r2 tC(0)>0C(t)\ge e^{-\sqrt{r_2}\,t}C(0)\gt0 で負になりません。この判定は一方向にしか働きません。

図 3 M²/λ²(m = 0)を変えると、左の D(p²)(点線は 1/p²)と右の C(t)/C(0) が変わる。0 が GZ、黒丸が最初の零点。
M²/λ² = 0(GZ):D(0)·λ² = 0。極は複素共役。t* = 1.111/λ で負になる。

計算曲線は式 (13)(15) と実根の部分分数をその場で計算したものです。閉じた式はこの端末で数値積分と突き合わせ、差は 2×10−112\times10^{-11} 以下でした。

表 3 m = 0 の RGZ の木の近似(λ = 1)
M²D(0)極C(0)零点 t*
0(GZ)0複素共役0.3541.111
1.01.0複素共役0.5773.142
1.91.9複素共役0.73416.86
2.52.5実(B = −0.333)0.825なし
4.04.0実(B = −0.077)1.021なし

格子は当初の予言 D(0)=0D(0)=0 と合いませんでした。Cucchieri–Mendes(SU(2)、1284128^4、約 (27 fm)4(27\ \mathrm{fm})^4。1 fm = 10−1510^{-15} m)は要旨で、運動量 0 で「有限で非零の値を示すように見える」と報告し、Bogolubsky ほか(SU(3))も同じ向きです物理。RGZ はこれを再現するように作られています物理。BRST 対称性(ゲージを固定した後にも残る対称性、4-08)は GZ では柔らかく破れます。柔らかな破れとは、破れの項の次元が低く、短距離では効かないことです。この破れは RGZ の代償ではなく、GZ の地平の項そのものの性質です物理。

切れ目伝播関数はゲージに依存します。問題文の標的は tr⁡FμνFρσ\operatorname{tr}F_{\mu\nu}F_{\rho\sigma} のようなゲージ不変な局所場の相関で、伝播関数の赤外の形からそのギャップを導く定理はありません。連続な大域的ゲージ固定もできません(Singer、3-04)。
09

四つの絵を並べる

表 4 四つの絵の主役・支え・欠けているもの
絵主役ゲージ依存支え数学で言えること欠けていること
双対超伝導単極子の凝縮単極子の定義で秩序変数の数値3 次元コンパクト U(1) の面積則凝縮 ⇒ 面積則 ⇒ ギャップ
アーベル射影MAG の単極子強いアーベル優勢—(Elitzur の定理が制約になる)一意に定まるゲージ不変な量として定義すること
中心渦渦/その自由エネルギー前者のみ中心優勢・渦の除去Tomboulis–Yaffe、式 (4)4 次元弱結合での渦の凝縮
GZ伝播関数定義から格子の伝播関数軌道は地平の内側を通るゲージ不変な相関への橋

主役の変数はどれもゲージを選んで初めて見え、ゲージ不変な核は渦の自由エネルギーとその周りの不等式だけです。どの絵も説明するのは σ\sigma で、Δ\Delta は帰結として期待されているにすぎません(§02)。どの絵からも「尺度は一つ」は出ません。切れ目の整理は 9-02、発散以外の障害は 6-11。


この章が言えている範囲

言えている言えていない
既知小さい β\beta の面積則。格子で強い形のギャップ ⇒ 面積則四次元の非可換理論の連続極限での面積則。Clay のギャップと閉じ込めの間の含意
計算渦の気体の厳密式 (11) と MC の一致、Creutz 比 =2ρf=2\rho_fこの模型がヤン–ミルズの真空を記述すること(渦の分布は仮定)
計算RGZ(m=0m=0)の木の近似の C(t)C(t) の閉じた形 (15)伝播関数から、ゲージ不変な相関のギャップを導くこと
物理単極子凝縮・アーベル優勢・中心優勢・渦の除去・D(0)≠0D(0)\ne0 の格子数値どの機構が正しいかの判定(数値はゲージに依存)

出典と再現

もの種別出典・道具
式 (1)(3)(6)(8)(10)、N-ality、(92 ± 4)%、双対超伝導の帰属総説Greensite, Prog. Part. Nucl. Phys. 51 (2003) 1, hep-lat/0301023(本文)
Wilson ループ一次Wilson, PRD 10 (1974) 2445(要旨)
閉じ込めは「自然な拡張」(§02)一次Jaffe–Witten, Clay の問題文(本文)
双対超伝導一次't Hooft, EPS 1975 講演(1976 刊)(書誌のみ)。Mandelstam, Phys. Rep. 23 (1976) 245(書誌のみ)。Nambu, PRD 10 (1974) 4262(書誌のみ)
3 次元コンパクト U(1)一次Polyakov, NPB 120 (1977) 429(書誌のみ)。Göpfert–Mack, CMP 82 (1982) 545(要旨。連続極限の記述は INSPIRE の要旨で確認、本文は未読。年は Crossref の発行年で、INSPIRE は 1981)
単極子凝縮の格子数値・SW一次Di Giacomo ほか, PRD 61 (2000) 034503(要旨)。Seiberg–Witten, NPB 426 (1994) 19(要旨)
アーベル射影・MAG・アーベル優勢一次't Hooft, NPB 190 (1981) 455(要旨)。Kronfeld–Schierholz–Wiese, NPB 293 (1987) 461(書誌のみ)。Kronfeld ほか, PLB 198 (1987) 516(書誌のみ)。Suzuki–Yotsuyanagi, PRD 42 (1990) 4257(書誌のみ)。Bali ほか, PRD 54 (1996) 2863(書誌のみ)
Elitzur の定理一次Elitzur, PRD 12 (1975) 3978(書誌のみ)
中心渦一次Del Debbio ほか, PRD 55 (1997) 2298(要旨)。de Forcrand–D'Elia, PRL 82 (1999) 4582(要旨)。Tomboulis, arXiv:0707.2179(要旨)。Ito–Seiler, arXiv:0711.4930(要旨)。Tomboulis–Yaffe, CMP 100 (1985) 313(書誌のみ)
式 (4)・表 1一次Chatterjee, arXiv:2006.16229(本文。定義 2.1、定理 2.2・2.4、§2.4)。Chatterjee, arXiv:1803.01950(本文)。Fröhlich–Spencer, CMP 83 (1982) 411(書誌のみ)。Adhikari–Cao, arXiv:2202.10375(要旨)。Osterwalder–Seiler, Ann. Phys. 110 (1978) 440(書誌のみ)。Shen–Zhu–Zhu, arXiv:2204.12737(要旨)
式 (12)–(14)一次Dudal ほか, PRD 78 (2008) 065047, arXiv:0806.4348(本文。式 (2)(3)(58)(59)(159)(160)(207))。Gribov, NPB 139 (1978) 1(書誌のみ)。Zwanziger, NPB 323 (1989) 513(書誌のみ)
地平・内側のコピー・格子の伝播関数一次Dell'Antonio–Zwanziger, CMP 138 (1991) 291(書誌のみ)。Zwanziger, PRD 69 (2004) 016002(要旨)。Cucchieri–Mendes, arXiv:0710.0412, PoS LAT2007:297(要旨)。Bogolubsky ほか, arXiv:0901.0736(要旨)
式 (11)(15)・表 2・表 3計算python3(numpy・scipy):対称差の面積の向き平均と 100 万標本の MC(標準誤差つき)/閉じた形と数値積分の突き合わせ、C(t)/C(0)C(t)/C(0) の最小値

次に読む章:7-03 弦の絵 — 押し込められた管を一本の弦として扱い、その揺らぎを見ます。

← 7-01 物理はどう見ているか目次7-03 弦の絵 →

改訂 2026-10-01:初版。