computo ergo sum

2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 2 部 物理の準備緩和と動的指数

この本の全体 目次と読む順
  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 仮定の索引

緩和の時間と動的指数 z — 平衡へ向かう速さは、相関長の何乗で遅くなるか

この章で分かること — 同じ平衡の分布を作る力学(Langevin・Glauber・熱浴)の緩和時間を Poincaré 定数 CPC_P で測ること。ガウス鎖と一次元イジングでは緩和時間が相関長の二乗(z=2z=2)になり、二次元イジングの臨界点ではそれより遅くなること。動的指数 zz と ηdyn=2−z\eta_{\rm dyn}=2-z の定義と、z=2z=2 の型が破れる既知の例。

前提となる章 — 2-08(相関長・臨界点・ガウス鎖)と 2-09(イジング模型の転送行列)。Poincaré 不等式は 1-10 §07、ブラウン運動は 1-09 §06 を読んでいると楽です。

先に言うこと — 厳密なのはガウス鎖と一次元の鎖だけです。zz の値(2.1665 など)は数値と物理の予言で、二次元イジングのこの端末の計算は一辺 5 までの小さな箱です。この章はヤン–ミルズの質量ギャップについて何も示していません。

この章の順序
  1. 時間を足す — 平衡の写真と、それを作る機械
  2. Langevin の力学 — 隙間の逆数が Poincaré 定数
  3. Glauber の力学(表 1)— 一次元では τ≈2ξ2\tau\approx2\xi^2
  4. ガウス鎖の Langevin(図 1・表 2)— CP=ξ2C_P=\xi^2 は連続極限で厳密
  5. 二次元イジングの小さな箱(表 3・図 2)— 臨界点で CP/L2C_P/L^2 が伸びる
  6. 動的指数 z と η_dyn — ηdyn:=2−z\eta_{\rm dyn}:=2-z をここで定める
  7. z ≠ 2 の既知の例(表 4・寄り道:保存する力学では z = 4)
  8. 熱浴と Langevin を同一視しない — 定数・単位・変数の取り方
  9. ヤン–ミルズへの橋 — 分かっていること、いないこと

01

時間を足す — 平衡の写真と、それを作る機械

2-08 と 2-09 で扱ったのは平衡の分布、つまり「どの配位がどれだけの確率で現れるか」でした。そこには時間がありません。ところが計算機で平衡の分布から見本を引くとき、あるいは物理の系が熱浴に触れて平衡に向かうとき、配位は時間とともに動きます。この章は、その動きの速さを測ります。

比喩で言うと、平衡の分布は一枚の写真で、力学はそれを作る機械です。同じ写真を作る機械は速いものも遅いものもあります。正確には、一つの確率測度 μ\mu を不変にするマルコフ過程(先の動きが今の配位だけで決まる確率的な動き)は一つに決まらず、選び方で平衡への近づき方が変わります。

この章の時間 ss は、2-09 の虚時間とは別物です(対照は 8-03 §05)。

虚時間(2-07・2-09)

配位の中の一つの向き。相関 ⟨σ0σr⟩\langle\sigma_0\sigma_r\rangle の減り方が相関長 ξ\xi を決め、1/ξ1/\xi は転送行列のギャップ。

力学の時間 ss(この章)

配位全体が動く外の時間。自己相関の減り方が緩和時間 τ\tau を決め、1/τ1/\tau は生成作用素のギャップ。

主題は関係 τ≈ξz\tau\approx\xi^{z} で、zz を動的指数と呼びます。後の部の仮定(10-03 の H)は z=2z=2 を冪の水準で置く型をしています。その型が成り立つ例と破れる例を、ここで先に並べます。

02

Langevin の力学 — 坂を下る動きに揺らぎを足す

一つの実数 XX が、確率密度 e−V(x)/Ze^{-V(x)}/Z に従うようにしたいとします。坂 VV を下る向きに動かし、同時に乱数で揺らすと、二つの効果が釣り合ったところで分布が止まります。これが Langevin の力学です。

dX=−V′(X) ds+2 dW(s)(1)dX=-V'(X)\,ds+\sqrt2\,dW(s) \tag{1}

WW はブラウン運動(1-09 §06)で、dWdW は時間 dsds のあいだの平均 0・分散 dsds のガウスの増分です。係数 2\sqrt2 は、止まる分布がちょうど e−Ve^{-V} になるように選んだものです。

関数 ff の期待値の時間変化を生む作用素を生成作用素と呼び、L\mathcal L と書きます。f(X+dX)f(X+dX) を二次まで展開すると、dXdX の一次の項からは坂の向きの −V′f′ ds-V'f'\,ds が、二次の項からは dW2dW^2 の平均が dsds なので 12f′′⋅2 ds\tfrac12f''\cdot2\,ds が残ります(dsds より高い次数は落とす)。こうして (1) では

Lf=f′′−V′f′,dds E f(Xs)=E (Lf)(Xs),∫f (−Lg) dμ=∫f′g′ dμ(2)\mathcal Lf=f''-V'f',\qquad \frac{d}{ds}\,\mathbb E\,f(X_s)=\mathbb E\,(\mathcal Lf)(X_s),\qquad \int f\,(-\mathcal Lg)\,d\mu=\int f'g'\,d\mu \tag{2}

です(μ=e−Vdx/Z\mu=e^{-V}dx/Z。最後の等式は部分積分)。最後の等式から −L-\mathcal L は L2(μ)L^2(\mu) で対称で、0 以上です。0 になるのは定数だけで、その次の固有値(隙間)を gap(L)\mathrm{gap}(\mathcal L) と書きます。

隙間の逆数が Poincaré 定数です(1-10 §07)。

Varμf ≤ CP∫∣f′∣2 dμ(すべての f),CP=1gap(L)(3)\mathrm{Var}_\mu f\ \le\ C_P\int|f'|^2\,d\mu\quad(\text{すべての }f),\qquad C_P=\frac1{\mathrm{gap}(\mathcal L)} \tag{3}

平衡から走らせたとき、どの観測量の自己相関も e−s/CPe^{-s/C_P} より速く減り、ちょうどこの速さで減る観測量があります。つまり最も遅い緩和の時間 τexp⁡\tau_{\exp} は CPC_P に等しくなります 既知。この等号は連続時間で可逆な力学の性質で、離散時間の連鎖では三つの量に割れます(8-03 §06)。

例。V=x2/(2σ2)V=x^2/(2\sigma^2) なら (1) は Ornstein–Uhlenbeck 過程で、f=xf=x が固有関数、Lx=−x/σ2\mathcal Lx=-x/\sigma^2 です。よって CP=σ2C_P=\sigma^2:分散が大きい(裾が広い)ほど緩和は遅くなります。変数が多いときは、各点の場 ϕx\phi_x ごとに (1) を立てて

dϕx=−∂S∂ϕx ds+2 dWx(s)(4)d\phi_x=-\frac{\partial S}{\partial\phi_x}\,ds+\sqrt2\,dW_x(s) \tag{4}

とし(WxW_x は点ごとに独立)、(3) の ∣f′∣2|f'|^2 を勾配の長さの二乗 ∣∇f∣2|\nabla f|^2 に替えます。止まる分布は e−S/Ze^{-S}/Z です。場の理論ではこれを確率量子化と呼びます(6-09)。

03

Glauber の力学 — スピンを一つずつ裏返す

イジング模型のスピンは ±1\pm1 なので、坂を連続に下ることができません。代わりに、各スピンが独立な時計を持ち、時計が鳴るとスピンを条件つき分布から引き直します。これを熱浴の規則と呼び、連続時間でこれを行う力学を Glauber の力学と呼びます(Glauber 1963 は一次元の閉じた鎖でこの型の過程を詳しく解析した)既知。

逆温度を結合に含めた KK(2-09 と同じ)で μ(σ)∝exp⁡(K∑⟨xy⟩σxσy)\mu(\sigma)\propto\exp(K\sum_{\langle xy\rangle}\sigma_x\sigma_y) とします。スピン jj を裏返した配位を σj\sigma^j、隣の和を hj=∑y∼jσyh_j=\sum_{y\sim j}\sigma_y とすると、熱浴の反転の率は

wj(σ)=11+e2Kσjhj,μ(σ) wj(σ)=μ(σj) wj(σj)(5)w_j(\sigma)=\frac{1}{1+e^{2K\sigma_jh_j}},\qquad \mu(\sigma)\,w_j(\sigma)=\mu(\sigma^j)\,w_j(\sigma^j) \tag{5}

です。右の式は詳細釣り合いで、「σ\sigma から σj\sigma^j へ流れる確率」と逆向きの流れが等しいことを言います。これから μ\mu が止まる分布で、力学は可逆です。揃っているスピン(σjhj>0\sigma_jh_j\gt0)ほど裏返りにくくなります。生成作用素は (Lf)(σ)=∑jwj(σ)(f(σj)−f(σ))(\mathcal Lf)(\sigma)=\sum_jw_j(\sigma)\bigl(f(\sigma^j)-f(\sigma)\bigr)、(3) の右辺の ∫∣f′∣2\int|f'|^2 は 12∑σμ(σ)∑jwj(σ)(f(σj)−f(σ))2\tfrac12\sum_\sigma\mu(\sigma)\sum_jw_j(\sigma)\bigl(f(\sigma^j)-f(\sigma)\bigr)^2 に替わり、CP=1/gap(L)C_P=1/\mathrm{gap}(\mathcal L) は同じです。

一次元の鎖は解ける

一次元では hj∈{−2,0,2}h_j\in\{-2,0,2\} なので wj=12(1−g2σj(σj−1+σj+1))w_j=\tfrac12\bigl(1-\tfrac g2\sigma_j(\sigma_{j-1}+\sigma_{j+1})\bigr)、g=tanh⁡2Kg=\tanh2K と書けます。スピンの期待値は一回の反転で 22 だけ変わるので dds⟨σj⟩=−2⟨σjwj⟩\frac{d}{ds}\langle\sigma_j\rangle=-2\langle\sigma_jw_j\rangle で、

dds⟨σj⟩=−⟨σj⟩+g2(⟨σj−1⟩+⟨σj+1⟩)(6)\frac{d}{ds}\langle\sigma_j\rangle=-\langle\sigma_j\rangle+\frac g2\bigl(\langle\sigma_{j-1}\rangle+\langle\sigma_{j+1}\rangle\bigr) \tag{6}

と閉じます。全体の磁化 M=∑jσjM=\sum_j\sigma_j の平均は e−(1−g)se^{-(1-g)s} で減ります。一方、静的な相関は ⟨σ0σr⟩=(tanh⁡K)r\langle\sigma_0\sigma_r\rangle=(\tanh K)^r で(2-09 §03)、

τ=11−tanh⁡2K,ξ=−1log⁡tanh⁡K,τξ2 →K→∞ 2(7)\tau=\frac{1}{1-\tanh2K},\qquad \xi=\frac{-1}{\log\tanh K},\qquad \frac{\tau}{\xi^2}\ \xrightarrow[K\to\infty]{}\ 2 \tag{7}

です。極限は 1−tanh⁡2K≈2e−4K1-\tanh2K\approx2e^{-4K}、−log⁡tanh⁡K≈2e−2K-\log\tanh K\approx2e^{-2K} から出ます。冷やすほど相関は長くなり、緩和はその二乗で遅くなります:この力学では z=2z=2 です。

計算表 1 一次元の Glauber 力学。N=8, 10N=8,\ 10 点の輪の生成作用素を全状態(2N2^N 個)で対角化し、隙間が K=0.25, 0.5, 1, 1.5K=0.25,\ 0.5,\ 1,\ 1.5 のすべてで 1−tanh⁡2K1-\tanh2K と 10 桁一致することを確かめた。この二つの輪では磁化の減衰が最も遅い緩和です。一般の NN では、磁化の減衰率 1−tanh⁡2K1-\tanh2K が隙間の上界を与えます(磁化が L\mathcal L の固有関数なので)。

KKξ\xiτ=1/(1−tanh⁡2K)\tau=1/(1-\tanh2K)τ/ξ2\tau/\xi^2
0.501.2954.1952.499
1.003.67227.802.062
1.5010.03202.22.008
2.0027.3014912.001
3.00201.7813782.00002
04

ガウス鎖の Langevin — 長い波ほど遅く、緩和時間は相関長の二乗

2-08 の (7) のガウス鎖(あちらの H(ϕ)H(\phi)。ここでは作用として SS と書く)S=12∑x[(ϕx+1−ϕx)2+m2ϕx2]S=\tfrac12\sum_x[(\phi_{x+1}-\phi_x)^2+m^2\phi_x^2] に (4) を使います。∂S/∂ϕx=(2+m2)ϕx−ϕx+1−ϕx−1\partial S/\partial\phi_x=(2+m^2)\phi_x-\phi_{x+1}-\phi_{x-1} は一次式なので、波数 qq のフーリエ成分 ϕ^q=∑xe−iqxϕx\hat\phi_q=\sum_xe^{-iqx}\phi_x(1-11)ごとに方程式が分かれます。

dϕ^q=−ωq ϕ^q ds+(雑音),ωq=m2+4sin⁡2q2(8)d\hat\phi_q=-\omega_q\,\hat\phi_q\,ds+(\text{雑音}),\qquad \omega_q=m^2+4\sin^2\frac q2 \tag{8}

どの成分も (1) の Ornstein–Uhlenbeck 過程で、減る速さは ωq\omega_q です。最も遅いのは一様な成分 q=0q=0 で、速さは m2m^2 です。したがって CP=1/m2C_P=1/m^2 です(1-10 §09 の「ガウス測度の CPC_P は共分散の最大固有値」と同じ数)既知。

相関長は 2-08 の (8) で cosh⁡(1/ξ)=1+m2/2\cosh(1/\xi)=1+m^2/2 でした。cosh⁡u−1=2sinh⁡2(u/2)\cosh u-1=2\sinh^2(u/2) を使うと、二つは一つの式でつながります。

1CP=m2=4sinh⁡212ξ,CPξ2=(1/(2ξ)sinh⁡(1/(2ξ)))2 →ξ→∞ 1(9)\frac{1}{C_P}=m^2=4\sinh^2\frac1{2\xi},\qquad \frac{C_P}{\xi^2}=\Bigl(\frac{1/(2\xi)}{\sinh(1/(2\xi))}\Bigr)^2\ \xrightarrow[\xi\to\infty]{}\ 1 \tag{9}

これは厳密な等式で、格子の上では CPC_P は ξ2\xi^2 より少しだけ小さく、連続極限(ξ→∞\xi\to\infty)で CP/ξ2→1C_P/\xi^2\to1 になります。連続の自由場では CP=ξ2C_P=\xi^2 がちょうど成り立ちます 既知(初等的な導出。表 2 の数値は 計算)。

なぜ二乗か

なぜ二乗か。(8) の雑音を除いた平均の動きは質量の付いた熱方程式 ddsϕ=Δlatϕ−m2ϕ\frac{d}{ds}\phi=\Delta_{\rm lat}\phi-m^2\phi です。拡散は長さ ℓ\ell のでこぼこを均すのに ℓ2\ell^2 程度の時間をかけ(酔歩と同じ)、質量の項は ξ\xi より長い波を一律の速さ m2m^2 で消します。だから時間は ξ2\xi^2 です。正確には、(8) の ωq\omega_q が小さい qq で m2+q2m^2+q^2 に近づき、q≲1/ξq\lesssim1/\xi では m2m^2 で底を打つことが、この説明の中身です。

図 1 ガウス鎖(128 点の輪)の平均の動き。m を小さくすると、長い波(左の棒)が残る時間が 1/m² で伸びる。時間 s を動かすと上の形が均され、下の棒(各波数の残り e−ωqs)が右から順に消える
m = 0.158 ξ = 6.33 C_P = 1/m² = 40.0 s = 10(s/C_P = 0.25) 一様な成分の残り 0.779

計算図の曲線は (8) の厳密な解 ϕ^q(s)=e−ωqsϕ^q(0)\hat\phi_q(s)=e^{-\omega_qs}\hat\phi_q(0) をその場で計算したもの(初期の形は種を固定した乱数で作った)。雑音を除いた平均の動きで、揺らぎの見本ではない。

計算表 2 ガウス鎖の ξ\xi・CPC_P。最後の二列は 08 節の熱浴の下界(線形の関数の上の減り方から決まる)

mmξ\xiCP=1/m2C_P=1/m^2CP/ξ2C_P/\xi^2熱浴の下界 (2+m2)/m2(2+m^2)/m^2下界/Langevin
1.001.03910.926333.000
0.502.02040.979892.250
0.205.008250.9967512.040
0.1010.0041000.999172012.010
0.0250.00125000.99996750012.000

転送行列のギャップと並べた表は 8-03 の表 1、市松模様の熱浴で測った表は 5-07 §07 にあります。

05

二次元イジングの小さな箱 — 臨界点では CP/ξ2C_P/\xi^2 が伸びる

相互作用があると、式は閉じません。そこで二次元イジング模型の L×LL\times L の箱(周期境界)で、Glauber の力学 (5) の生成作用素を数値で対角化し、CPC_P を求めます。状態は 2L22^{L^2} 個で、L=5L=5 では約 3,400 万個です。最も遅い緩和は磁化の向き(並進で不変、全反転で符号が変わる部分空間)にあると期待されます。L=3, 4L=3,\ 4 では全空間の隙間とこの部分空間の隙間が、下の七つの温度のすべてで 8 桁一致しました 計算。L=5L=5 では全空間を扱えないので、この部分空間(671,104 次元)に絞って隙間を求めました。その値は全空間の隙間以上なので、L=5L=5 の CPC_P は真の CPC_P の下界です。

臨界点 Kc=12log⁡(1+2)K_c=\tfrac12\log(1+\sqrt2)(2-08 §04)では無限の系の ξ\xi は無限大で、箱の中の相関の届く長さは箱の大きさ LL で頭打ちになります(2-09 §07)。そこで ξ\xi の代わりに LL を物差しにします。τ≈ξz\tau\approx\xi^z が正しければ

CP(L)≈Lz,CP(L)L2≈L z−2,zeff(L,L′)=log⁡(CP(L′)/CP(L))log⁡(L′/L)(10)C_P(L)\approx L^{z},\qquad \frac{C_P(L)}{L^2}\approx L^{\,z-2},\qquad z_{\rm eff}(L,L')=\frac{\log\bigl(C_P(L')/C_P(L)\bigr)}{\log(L'/L)} \tag{10}

です。zeffz_{\rm eff} は隣り合う大きさから読む有効な指数で、L→∞L\to\infty で zz に近づくと期待されます。

計算表 3 二次元イジング・連続時間の熱浴(各スピンが率 1 で引き直す)・L×LL\times L 周期境界の CP=1/gapC_P=1/\mathrm{gap}。時間の単位は「一スピンあたり一回の試み」

K/KcK/K_cL=3L=3L=4L=4L=5L=5zeff(3,4)z_{\rm eff}(3,4)zeff(4,5)z_{\rm eff}(4,5)図 2 へ
0.65.7596.2676.4740.290.15
0.814.5619.3422.830.990.74
0.924.5638.4752.261.561.37
1.042.8982.84137.42.292.27
1.177.18191.0408.03.153.40
1.2142.4464.613244.114.69
1.5997.97906566567.198.83

三つの振る舞い

三つの振る舞いが読めます。高温側(K/Kc=0.6K/K_c=0.6)では CPC_P は 6 あたりで頭打ちになり、zeffz_{\rm eff} は 0 に向かいます:ξ\xi が有限なら緩和時間も有限です。低温側(K/Kc=1.5K/K_c=1.5)では log⁡CP\log C_P が LL とともにほぼ一定の差で増え(差は 2.07、1.97)、冪よりも指数関数に近い伸び方をします。「ほぼ全部 ++」から「ほぼ全部 −-」へ移るには箱を横切る壁を作る必要があり、その重みが壁の長さに比例する指数 e−cLe^{-cL} で小さくなるためと考えられます 物理。周期境界の箱では壁が二枚要るので、cc は界面張力 σ\sigma の 2 倍程度と期待されます。ただし K/Kc=1.5K/K_c=1.5 の 2σ≈1.552\sigma\approx1.55 と L≤5L\le5 の差 2 前後はまだ合わず、この箱で言えるのは「指数関数で伸びる傾向」までです。似た構図は 2-09 §08 の閉じる隙間にあります。

臨界点では CP/L2C_P/L^2 が 4.77, 5.18, 5.504.77,\ 5.18,\ 5.50 と増え続け、zeffz_{\rm eff} は 2.29, 2.272.29,\ 2.27 です。2 より大きい側にあります。より大きな箱(15×1515\times15 まで)の数値で知られている値は z=2.1665(12)z=2.1665(12)(Nightingale–Blöte 1996、熱浴)で 物理、この端末の小さな箱の値はその上から近づいていくようにも読めますが、二点では判断できません。言えるのは「L≤5L\le5 の範囲で CP/L2C_P/L^2 は一定に落ち着かない」までです。

図 2 二次元イジングの CP/L2(両対数・縦軸は選んだ温度に合わせて拡大)。温度を動かすと、選んだ線(●)と右の読み出しの zeff が変わる。破線は z = 2(水平)、点線は z = 2.1665 の傾き(どちらも L = 5 の点を通す)。「動かす」で温度を順に替える。表 3 の「選ぶ」でも選べる
K/Kc = 1.0 C_P = 42.89, 82.84, 137.4(L = 3, 4, 5) z_eff = 2.29(3→4), 2.27(4→5)

計算この図の数値はこの端末で計算した(表 3 の値を埋め込み)。L = 2 は隣が重なる特殊な箱なので除いた。

06

動的指数 zz と ηdyn\eta_{\rm dyn} — 冪が 2 からずれる量に名前を付ける

物理では、ξ\xi が伸びるとき緩和時間が ξ\xi の冪で伸びるという仮説を置きます。動的スケーリングの仮説と呼び、静的なスケーリング(2-08 §06)を時間を含む相関に広げたものとされます(Ferrell ほか 1967、Halperin–Hohenberg 1967、詳しい展開は 1969)物理。可逆な連続時間の力学について数学の言葉にすると

CP≍ξ z,ηdyn:=2−z,CP≍ξ 2−ηdyn(11)C_P\asymp\xi^{\,z},\qquad \eta_{\rm dyn}:=2-z,\qquad C_P\asymp\xi^{\,2-\eta_{\rm dyn}} \tag{11}

です。A≍BA\asymp B は、比 A/BA/B が上下とも正の定数で挟まれることを表します。この本では ηdyn\eta_{\rm dyn} をこの式で定めます。名前の由来は、自由場の CP≈ξ2C_P\approx\xi^2 からのずれを冪で測る量だという点にあります。

2-08 の (13) の η\eta とは別の量です。あちらは臨界点の静的な相関 G(x)∼∣x∣−(d−2+η)G(x)\sim|x|^{-(d-2+\eta)} の冪のずれで、動的な量と区別するときは ηs\eta_s と書きます。二つが一致するのは「緩和時間は帯磁率に比例する」とする従来の理論(van Hove の名で呼ばれる)の中だけで、二次元イジングでは ηs=1/4>0\eta_s=1/4\gt0 なのに ηdyn≈−0.17<0\eta_{\rm dyn}\approx-0.17\lt0 と符号まで違います(8-03 §07 の表 2)。

型 z = 2z=2z=2、ηdyn=0\eta_{\rm dyn}=0ガウス鎖の Langevin((9))・一次元の Glauber((7))で成り立つ
遅すぎる側z>2z\gt2、ηdyn<0\eta_{\rm dyn}\lt0二次元・三次元のイジングの Glauber(数値)・保存する力学
速すぎる側z<2z\lt2、ηdyn>0\eta_{\rm dyn}\gt0非局所な更新(クラスター法)。局所的な力学では下界 z≥γ/νz\ge\gamma/\nu(γ,ν\gamma,\nu は帯磁率と相関長の静的な指数)が二つのスケーリング仮説の下で出る(8-03 §07)物理。イジングの局所的な力学では臨界点で z≥2z\ge2 が定理(§07)

後の部の仮定 H(10-03 §02)は、格子ヤン–ミルズの Langevin 力学について、この左の型を冪の水準で置いた文 lim⁡ln⁡CP/ln⁡ξ=2\lim\ln C_P/\ln\xi=2(CP=ξ2+o(1)C_P=\xi^{2+o(1)}、ηdyn=0\eta_{\rm dyn}=0)です。帯の文 CP≍ξ2C_P\asymp\xi^2 は 10-03 で Hband\text{H}_{\rm band} と呼び、H とは別に扱います(10-03 の名前の約束)。それが成り立つかは証明されていない仮定で、物理の側の対応は 8-05 §03 で問いの形で並べます。この章で確認したいのは、型そのものは自明でなく、力学を一つ替えれば破れる、ということです。その例が次の節です。

07

z≠2z\ne2 の既知の例 — 型が破れる三つの道

表 4 は、CP≍ξ2C_P\asymp\xi^2 の型が破れる既知の例です。破れ方は三つの道に分かれます。

相互作用で冪がずれる。二次元・三次元のイジングの Glauber 力学では、数値で zz が 2 をわずかに超えます。局所的な規則のままでも、相互作用が冪を動かします。数学では、二次元の臨界イジングの Glauber 力学で隙間の逆数が LL の多項式で押さえられることが示されています(Lubetzky–Sly)既知。下からは、周期境界の臨界点(と低温側)で熱浴の隙間が C(log⁡L/L)2C(\log L/L)^2 以下であること、つまり z≥2z\ge2 が示されています(Masaoka–Soejima–Watanabe 2025。局所的で可逆な一スピン反転の力学に広がる)既知。二次元の臨界点では (L/log⁡L)2≲CP(L)≤poly(L)(L/\log L)^2\lesssim C_P(L)\le\mathrm{poly}(L) が定理で、§06 の「速すぎる側」は局所的なイジングの力学では起きません。冪の値 zz そのものを決めた定理は見当たりません。

保存量で遅くなる。磁化の総和を変えない(隣どうしのスピンを交換する)力学では、一様な成分は動けず、長い波は拡散で運ばれるのでさらに遅くなります。物理の予言は z=4−ηsz=4-\eta_s とされます(Hohenberg–Halperin の分類で model B)物理。

更新の仕方で速くなる。Swendsen–Wang のクラスター法は塊ごと裏返す非局所な力学で、要旨は動的な普遍性を破り 'unusually small values of the dynamical critical exponent' を与えると書きます 物理。同じ平衡の分布でも、機械を替えれば zz が替わります。

物理表 4 zz の値の例(数値・予言の値は一次資料の要旨から。ηdyn=2−z\eta_{\rm dyn}=2-z はこの端末で計算)

模型・力学zzηdyn\eta_{\rm dyn}水準
ガウス鎖・Langevin((9))/一次元イジング・Glauber((7))20既知(厳密)
二次元イジング・熱浴(Glauber)2.1665(12)−0.1665物理 数値
三次元イジング・Glauber2.032(3)−0.032物理 数値
保存する力学(model B)・三次元イジング類3.972(2)−1.972物理 数値(予言 4−ηs4-\eta_s)
保存する力学・ガウス鎖(下の寄り道。波数 1/ξ1/\xi の成分の緩和時間で測る)4−2計算(厳密)
純ゲージの HMC・位相電荷の二乗約 5約 −3物理 数値(8-03 §08)

最後の行は格子ゲージ理論の計算で実際に現れる遅さです。HMC(ハイブリッド・モンテカルロ。仮の運動量を足して決定論的に動かす更新法。5-07 §08)は Langevin と別の力学で(次節)、同じ遅さが Langevin でも起きるかは 10-03 §07 で扱います。

寄り道:保存する力学では z=4z=4

寄り道 飛ばしてよい。ガウス鎖で、(4) の駆動 −∂S/∂ϕ-\partial S/\partial\phi を格子のラプラシアン Δlat\Delta_{\rm lat} にもう一度通し、雑音も隣どうしの差の形にすると、∑xϕx\sum_x\phi_x が保存されます。(8) の減る速さは ωq(B)=4sin⁡2q2(m2+4sin⁡2q2)(12)\omega_q^{\rm (B)}=4\sin^2\frac q2\Bigl(m^2+4\sin^2\frac q2\Bigr) \tag{12} に替わり、q=0q=0 は止まります(保存量なので減らない)。波長が相関長ほどの成分 q=1/ξq=1/\xi の緩和時間は 1/ω1/ξ(B)≈ξ4/21/\omega^{\rm (B)}_{1/\xi}\approx\xi^4/2 です。この端末の計算では m=0.5, 0.1, 0.02m=0.5,\ 0.1,\ 0.02 で τ/ξ4=0.510, 0.5004, 0.50002\tau/\xi^4=0.510,\ 0.5004,\ 0.50002 でした 計算。無限の鎖では q→0q\to0 の成分がいくらでも遅いので隙間は 0 で、CP=∞C_P=\infty です。型 CP≍ξ2C_P\asymp\xi^2 は、ここでは意味を失います。
08

熱浴と Langevin を同一視しない — 同じ写真、別の機械

「緩和時間」は、どの力学の時間かを言わないと決まりません。熱浴と Langevin は同じ分布に対して別の生成作用素を持ちます。

ガウス鎖で比べます。連続時間の熱浴(各点が率 1 で、隣を固定した条件つき分布 N((ϕx−1+ϕx+1)/(2+m2), 1/(2+m2))\mathcal N\bigl((\phi_{x-1}+\phi_{x+1})/(2+m^2),\,1/(2+m^2)\bigr) から引き直す)では、場の値の平均は

dds E ϕx=−ϕx+ϕx−1+ϕx+12+m2=−12+m2 ∂S∂ϕx(13)\frac{d}{ds}\,\mathbb E\,\phi_x=-\phi_x+\frac{\phi_{x-1}+\phi_{x+1}}{2+m^2}=-\frac{1}{2+m^2}\,\frac{\partial S}{\partial\phi_x} \tag{13}

で動きます。線形の関数はこの生成作用素の固有関数で、一様な成分の減る速さは m2/(2+m2)m^2/(2+m^2) です。したがって熱浴の CPC_P は (2+m2)/m2(2+m^2)/m^2 以上です 計算(64 点の輪の行列で確認)。この下界は ξ2\xi^2 の 2 倍ほどなので、熱浴では z≥2z\ge2 です。表 2 の右の二列のとおり、下界と Langevin の CPC_P の比は ξ→∞\xi\to\infty で 2 に近づきます。冪が同じだとしても、定数は違います。

定数のほかの違い

違いは定数だけではありません。

この本で CPC_P と書くときは、断りのない限り Langevin (4) の生成作用素の隙間の逆数で、どの変数の勾配で測ったかを添えます。熱浴や HMC の数値を Langevin の CPC_P に読み替えるのは、仮定です。

09

ヤン–ミルズへの橋 — どこで使い、何が分かっていないか

格子ヤン–ミルズでも、(4) の Langevin 力学は立てられます。変数がリンクの群の元なので、勾配は群の上の微分(1-03)で取ります。連続の場で同じことを行うのが確率量子化(6-09)、計算機で同じ分布から見本を引くのがモンテカルロ法(5-07)です。

強結合(β\beta が小さい側)では、格子ヤン–ミルズの Poincaré 不等式と log-Sobolev 不等式((3) より強い不等式で、エントロピーの減り方を押さえる)が示されています(Shen–Zhu–Zhu 2023)既知。これは ξ\xi が有限の側の結果です。四次元で CPC_P の ξ→∞\xi\to\infty での冪を決めた定理はありません。

この章から先へ z=2z=2 の型を格子ヤン–ミルズの Langevin 力学で冪の水準の文 lim⁡ln⁡CP/ln⁡ξ=2\lim\ln C_P/\ln\xi=2(CP=ξ2+o(1)C_P=\xi^{2+o(1)}、ηdyn=0\eta_{\rm dyn}=0)として置くのが 10-03 の仮定 H です。帯の文 CP≍ξ2C_P\asymp\xi^2 は 10-03 で Hband\text{H}_{\rm band} と呼んで別に扱います。比喩での入口は 10-00(にじむ時間と定規)、物理の言葉との突き合わせは 8-05 §02(記録の η\eta を ηdyn\eta_{\rm dyn} に固定する)、ξ\xi と CPC_P の二つのギャップの辞書は 8-03 §05〜§07 です。この章は質量ギャップについて何も示していません。

この章が言えている範囲

内容状態
Langevin (1)(4) の生成作用素 (2)、τexp⁡=CP\tau_{\exp}=C_P(連続時間で可逆な力学)、熱浴の詳細釣り合い (5)言えている 既知
一次元の Glauber 力学 (6)(7)、磁化の減衰率 1−tanh⁡2K1-\tanh2K、τ/ξ2→2\tau/\xi^2\to2言えている 既知((6) の導出はこの章で行った)。隙間 =1−tanh⁡2K=1-\tanh2K は N=8,10N=8,10 の輪で 計算。一般の NN では磁化の減衰率が隙間の上界を与える
ガウス鎖の (8)(9)、CP/ξ2→1C_P/\xi^2\to1、保存する力学の (12) と τ≈ξ4/2\tau\approx\xi^4/2、熱浴の (13) と下界 CP≥(2+m2)/m2C_P\ge(2+m^2)/m^2(熱浴は z≥2z\ge2 まで)言えている(式は厳密)既知(初等的な導出)。表 2 と (12) の数値は 計算
表 3:二次元イジングの L≤5L\le5 の CPC_P と zeffz_{\rm eff}計算(厳密な対角化。磁化の部分空間への制限は L≤4L\le4 で全空間と照合、L=5L=5 は部分空間の値で真の CPC_P の下界)。zz を決めたものではなく、傾向の確認
動的スケーリング CP≍ξzC_P\asymp\xi^z、表 4 の zz の値、model B の 4−ηs4-\eta_s、局所的な二つの力学が同じ zz を持つこと物理(仮説・数値・予言)。二次元臨界イジングで (L/log⁡L)2≲CP(L)≤poly(L)(L/\log L)^2\lesssim C_P(L)\le\mathrm{poly}(L)(下から z≥2z\ge2、上は多項式)は 既知、冪の値は定理になっていない
ηdyn:=2−z\eta_{\rm dyn}:=2-zこの本の定義(以後の章で共通)
ヤン–ミルズの CPC_P の ξ\xi 依存言えていない。四次元で決めた定理は無く、仮定 H(冪の水準の文、10-03 §02)も帯の文 Hband\text{H}_{\rm band} も仮定のまま。この章は質量ギャップ・連続極限の構成について何も示していない

出典と再現

もの種別出典・道具
表 1・表 2・表 3、(9)(12)(13) の数値、図 1・図 2計算python3(NumPy・SciPy。表 3 は生成作用素を並進と全反転で約した部分空間の疎行列にし、Lanczos 法で最小固有値)。図はブラウザの JavaScript。スクリプトは計算の記録に残してある
Glauber の力学・一次元の鎖既知R. J. Glauber, "Time-dependent statistics of the Ising model", J. Math. Phys. 4 (1963) 294–307。要旨を確認(熱浴に触れた閉じた N 点の鎖のマルコフ過程を解析し、スピンの期待値と相関を陽に求めた)。本文は未読で、(6) はこの章で導いたもの
Poincaré 定数・連続時間と離散時間の違い既知D. A. Levin, Y. Peres, E. L. Wilmer, Markov Chains and Mixing Times 2nd ed., §12.2(8-03 の出典表と同じ)
動的スケーリングの仮説物理R. A. Ferrell, N. Menyhárd, H. Schmidt, F. Schwabl, P. Szépfalusy, Phys. Rev. Lett. 18 (1967) 891–894。要旨を確認(ラムダ点に特性の長さが無いことから第二音波の分散 ω∝k3/2\omega\propto k^{3/2} を導く)。B. I. Halperin, P. C. Hohenberg, Phys. Rev. Lett. 19 (1967) 700–703。要旨を確認(Widom–Kadanoff のスケーリング則を、時間を含む相関関数についての仮定のもとで動的現象に一般化)。詳しい展開は B. I. Halperin, P. C. Hohenberg, Phys. Rev. 177 (1969) 952(要旨のみ)。分類(model A・B)は P. C. Hohenberg, B. I. Halperin, Rev. Mod. Phys. 49 (1977) 435–479。要旨を確認(主要な動的普遍類を同定し特徴づける。model A・B の名は要旨には無く、本文は未読)
二次元イジングの z=2.1665(12)z=2.1665(12)物理M. P. Nightingale, H. W. J. Blöte, Phys. Rev. Lett. 76 (1996) 4548。要旨を確認(熱浴・無作為な点の選択・15×1515\times15 まで)
三次元イジングの z=2.032(3)z=2.032(3)物理Z. Liu, E. Vatansever, G. T. Barkema, N. G. Fytas, Phys. Rev. E 108 (2023) 034118, arXiv:2307.01837。要旨を確認
保存する力学の z=3.972(2)z=3.972(2) と予言 z=4−ηz=4-\eta物理C. Chattopadhyay, J. Ott, T. Schäfer, V. Skokov, Phys. Rev. D 108 (2023) 074004, arXiv:2304.07279(巻・論文番号は Crossref で確認)。本文を確認(予言は Hohenberg–Halperin 1977 に帰している)
クラスター法の小さな zz物理R. H. Swendsen, J.-S. Wang, Phys. Rev. Lett. 58 (1987) 86。要旨を確認
二次元臨界イジングの隙間の逆数が LL の多項式既知E. Lubetzky, A. Sly, Commun. Math. Phys. 313 (2012) 815–836, arXiv:1001.1613。要旨を確認(任意の境界条件で隙間の逆数が多項式)
二次元以上のイジングで z≥2z\ge2(隙間 ≤C(log⁡L/L)2\le C(\log L/L)^2、周期境界・β≥βc\beta\ge\beta_c)既知R. Masaoka, T. Soejima, H. Watanabe, J. Stat. Phys. 192 (2025) 76, arXiv:2502.09908。要旨を確認
純ゲージの HMC の位相電荷の遅さ物理S. Schaefer, R. Sommer, F. Virotta, Nucl. Phys. B 845 (2011) 93(要旨のみ。8-03 §08 と同じ)
強結合の格子ヤン–ミルズの Poincaré・log-Sobolev既知H. Shen, R. Zhu, X. Zhu, Commun. Math. Phys. 400 (2023) 805(要旨のみ。8-03 と同じ)

次に読む章:3-01 ゲージ原理。この章の続きは 5-07 §07(モンテカルロ法の臨界減速)、8-03 §05〜§07(二つの時間の辞書)、10-03(仮定 H)。

← 2-09 寄り道目次3-01 ゲージ原理 →

改訂 2026-10-01:初版。