computo ergo sum

2026-10-15 · chapter ヤン–ミルズと質量ギャップ第 12 部 二本目の道:空間の方向から分数インスタントン・希薄な気体・格子の作用 · Kiichi, Shiori and Rin

この本の全体 目次と読む順
  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 寄り道:Donaldson とエキゾチック R⁴
  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 寄り道:Bakry–Émery と一リンク積分
  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 寄り道:「1/0 に記号を与えれば」
  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. 地図
  97. 第 9 部 現在地と課題
  98. 9-01 世界はどこまで来ているか
  99. 9-02 二つの掘り方の切れ目
  100. 9-03 新しい概念の候補
  101. 9-04 課題の一覧
  102. 9-05 よくある誤解
  103. 9-06 証明が含むべき段 — 七段の表
  104. 一本目の道 — 時間の方向から
  105. 第 10 部 一本目の道(前半)— 時間の方向から:質量ギャップと拡散型緩和時間の仮定
  106. 10-00 入口 — 階段と、酔歩・物差し・時計
  107. 10-01 構成の筋と仮定 ξ²
  108. 10-02 四次元格子で試した道と壁
  109. 10-03 階段の四段 — なぜ 0+1 次元から始めるか
  110. 10-04 二重井戸の経路の測度とキンク
  111. 10-05 一段目の言明 — 四条件と命題 4.5
  112. 10-06 (H1) 相の中の局所 Poincaré
  113. 10-07 (H2) の地図 — 七つの道筋と環の継ぎ目
  114. 10-08 計算機援用とは何か — 窓の中の鎖の条件
  115. 10-09 区画の枠組みと道筋 5 の三本の筋
  116. 10-10 迂回策の一覧 — 壊れ方の型
  117. 10-11 (H3)(H4) と芯の定数
  118. 10-12 統合表と依存グラフ
  119. 10-13 Lean の言明と機械検査の限界
  120. 10-14 突き合わせ — 記録の数と既知の数
  121. 10-15 残件と費用 — 定理までの距離
  122. 10-16 主張しないこと
  123. 10-17 ひらめきと小さな問い
  124. 第 11 部 一本目の道(後半)— 仮定の形を直し、時間を連続にする
  125. 11-00 今後の考察 — 入口
  126. 11-01 仮定 ξ² を妨げる一つの形 — ほぼ保存される大域の量
  127. 11-02 物差しと座標を選び直す — 保存が壊れる長さ
  128. 11-03 仮定 ξ² を直す二つの形 — 区画の仮定 ξ² と局所の仮定 ξ²
  129. 11-04 片側の橋はどの仮定 ξ² を要るか
  130. 11-05 時間を連続にする — Hamiltonian 格子と真空の測度
  131. 11-06 凸性の代わりに稀さで払う — 群の上の繰り込みと対数 Sobolev
  132. 11-07 四次元だからこそ — 無次元の結合と位相
  133. 11-08 問いと、主張しないこと
  134. 11-A1 第 11 部の記号の対応表
  135. 二本目の道 — 空間の方向から
  136. 第 12 部 二本目の道:空間の方向から — 小さな捩れた T² と閉じ込め
  137. 12-00 入口 — 時間でなく空間を
  138. 12-01 捩れた T² と 't Hooft の流束
  139. 12-02 渦と分数インスタントン
  140. 12-03 容器 — 枠を条件づけると独立になる
  141. 12-04 板の閉じ込め
  142. 12-05 渦の挿入の恒等式
  143. 12-06 力学で駆動した挿入と流れの補題
  144. 12-07 なぜ決まった写像は失敗するか
  145. 12-08 測った記録
  146. 12-09 この道が止まる場所 — T² を広げることが帯である
  147. 移り変わりの帯 — 二本の道が同じ壁に着く
  148. 第 13 部 移り変わりの帯 — 二本の道が同じ壁に着く
  149. 13-00 入口 — 合流
  150. 13-01 帯の正しい形
  151. 13-02 一つの不等式への還元
  152. 13-03 非可換が効く唯一の場所
  153. 13-04 構造だけでは渡れない
  154. 13-05 チェス盤と同時の反転
  155. 13-06 繰り込みの比較 — 群を区別する比較
  156. 13-07 時間の側から見た帯
  157. 13-08 試して止まった道の地図
  158. 13-09 測った記録
  159. 13-10 新しい見方の候補
  160. 13-11 紫外の制御 — 無限個の段で閉じるとは何か
  161. 閉じる
  162. 第 14 部 閉じる — 条件つきの言明
  163. 14-00 入口 — この部の約束
  164. 14-01 条件つきの言明 — 質量ギャップと閉じ込めを矢印ごとに
  165. 14-02 条件の台帳
  166. 14-03 問いの表(横断の索引)
  167. 14-04 主張しないこと(横断の索引)
  168. 付録
  169. A-01 記号表
  170. A-02 用語集
  171. A-03 文献案内
  172. A-04 Lean と機械検査
  173. A-05 この本の作り方
  174. A-06 仮定の索引
  175. A-07 この本から出た論文

渦と分数インスタントン

この章で分かること — 前の章の事実 3 は、平面の方向の流束 n34n_{34} を一つ入れると必ず作用を払うことを言いました。この章は、その最小のコストの中身を見ます。(1) 連続理論では、捩れた T2×R2T^2\times\mathbb R^2 の上の流束を担う最も安い対象は位相電荷 12\tfrac12 の自己双対の塊(分数インスタントン)で、作用の下限は 4π2/g2=π2β4\pi^2/g^2=\pi^2\beta です。(2) その塊が平面の中で点のように散らばった希薄な気体を数えると、弦の張力は Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3} の程度になります(物理の見立て)。指数の 5/3=11/3−25/3=11/3-2 が、漸近自由の係数と平面の二次元の差です。(3) 格子の上では、流束を入れた区画の最小作用が π2\pi^2 より小さい値から π2\pi^2 に近づきます(数値の読みと、証明書つきの上界)。(4) 連続理論での塊の存在を、ある性質を仮定して導く筋を、仮定の行として置きます。

前提となる章 — 12-01(区画・θ\theta・事実 1〜3)・3-05(インスタントンと位相電荷、BPS の下限)・7-02 渦の気体の模型・4-06 一ループの係数・4-07(Λ\Lambda)。

先に言うこと — 希薄な気体の勘定は、希薄な領域(ΛL≪1\Lambda L\ll1)・一ループの水準・群 SU(2)SU(2) の上の物理の見立てで、定理ではありません。格子の冷却で得た作用の値は、見つけた配位の作用なので最小作用の上界で、下界ではありません。連続理論の自己双対の解の存在は、この章では仮定つきの筋として置くだけです。

この章の順序
  1. 位相電荷 1/2 の自己双対の塊 — 作用の下限
  2. 塊は在るか — 数値と、仮定つきの筋
  3. 希薄な気体 — 弦の張力を数える(式 (5)〜(8))
  4. 5/3 = 11/3 − 2 の読み方
  5. 格子の上の作用 — π²β に下から近づく(表 1・表 2)
  6. 格子の上で率を言う言明 — 細い面の率 2N² から分数インスタントンの率へ
  7. 言えないこと
  8. 五分類の表と依存グラフ(表 3)

01

位相電荷 1/2 の自己双対の塊 — 作用の下限

連続理論の位相電荷 QQ とインスタントンの作用の下限は 3-05 のとおりで、ユークリッドの作用は

SE  ≥  8π2g2 ∣Q∣(1)S_E\;\ge\;\frac{8\pi^2}{g^2}\,|Q| \tag{1}

を満たし、等号は(反)自己双対の方程式 F=±∗FF=\pm{*F} の解で達せられます 典。周期的な四次元のトーラスや R4\mathbb R^4 では QQ は整数です。ところが 't Hooft の捩れのある束では、QQ の分数部分が捩れで決まり、SU(N)SU(N) で n12=n34=1n_{12}=n_{34}=1 なら Q≡−1/N(mod1)Q\equiv-1/N\pmod1 です(この章で SU(N)SU(N) と書くときの NN は群の次数で、この部の格子の NN とは別です) 典(Tanizaki–Ünsal の式 (2.24)、原典は 't Hooft 1981)。SU(2)SU(2) では Q∈12+ZQ\in\tfrac12+\mathbb Z で、(1) から

SE  ≥  4π2g2=π2β(β=4/g2)(2)S_E\;\ge\;\frac{4\pi^2}{g^2}=\pi^2\beta\qquad(\beta=4/g^2) \tag{2}

です(同、式 (2.25):下限は通常のインスタントンの作用 8π2/g28\pi^2/g^2 の 1/N1/N)典。

この下限を達する解が分数インスタントンです。Tanizaki–Ünsal は、R2×T2\mathbb R^2\times T^2(T2T^2 に捩れ)の上でこの解の作用密度が R2\mathbb R^2 の方向に局在して渦のような形をし、平面の Wilson ループの内側にあるとループに中心の元 −1-1(SU(N)SU(N) では e2πi/Ne^{2\pi i/N})を掛けること、つまり中心渦(7-02)として振る舞うことを述べています 典(式 (2.26) の前後)。前の章の言葉では、この塊は区画 (1,1)(1,1) の最安の住人で、面 Πq\Pi_q を細い面としてではなく滑らかな塊として運ぶものです。

大きさについて一言。塊の作用は (2) で決まり大きさによりませんが、捩れた T2T^2 の上では塊は T2T^2 の大きさ LL 程度の広がりに固定されます(同じ論文の脚注は、SU(N)SU(N) で塊の半径が群の次数の平方根に比例するという先行の数値を引いています)典。大きさが決まっているので、希薄な気体の勘定で赤外の発散が起きません。周期的な R4\mathbb R^4 のインスタントンの大きさの積分が赤外で発散するのと対照的です(3-05)。

02

塊は在るか — 数値と、仮定つきの筋

文献の状況 典。Tanizaki–Ünsal は、分数の位相電荷を持つ自己双対の解の解析的な形はほとんど知られていない(特定の縦横比のトーラスの上の可換な定数の解を除いて)と書き、格子の冷却による数値の探索が、格子の離散化の誤差の範囲で下限 (2) を達する配位を見つけ、R2\mathbb R^2 の方向を無限に伸ばした極限もよく定まっていると報告していることを引いています(同 §2.3.1)。解析的な存在は、この本が確かめた範囲の文献では示されていません。

仮定つきの筋 仮(筋:この本の検討の記録の「命題 F」。根拠は 表 3 の [05])。次の性質を仮定します。

仮定(Nahm 変換の同変性)。二重周期のインスタントン(T2×R2T^2\times\mathbb R^2 の上の荷電 1 の解)と、双対トーラスの上の Hitchin 型のデータの間の Nahm 変換は、物理空間の並進と中心のゲージ変換に同変である:物理空間の並進は双対の側の平坦な直線束の掛け算に、中心の捩れは双対トーラスの半周期の並進に対応する。

筋は次の三段です。(i) T2L×L2×R2T^2_{2L\times L}\times\mathbb R^2 の上の荷電 1 の SU(2)SU(2) 二重周期インスタントンを、Nahm 変換で双対の側のデータに対応させる(二重周期インスタントンの構成と変換の全単射性は文献にあるとされる。照合未了)。(ii) 長い方向の半周期の並進と中心のゲージ変換の合成 τ\tau は、仮定により双対の側の半周期の並進と定数のずれの合成に対応し、特異点の位置を四分の一周期に置けば τ\tau で不変なデータが選べる。(iii) 対応する解は τ\tau でゲージを除いて不変で、商 TL×L2×R2T^2_{L\times L}\times\mathbb R^2 に降ろすと、τ\tau が中心の捩れを含むので n12=1n_{12}=1 の束の上の荷電 12\tfrac12 の反自己双対解になり、作用は (2) の下限に等しい。

この筋が閉じれば、(2) の下限は連続理論で達せられます。閉じていないのは、仮定そのもの(同変性の正確な形)と、(i) の文献の照合と、商に降ろしたときに束の位相(n12n_{12} と平面の無限遠での流束)が正しく出ることの確認です。もう一つの筋として、Bogomolny の下限・Uhlenbeck のコンパクト性による泡の排除・集中コンパクト性による分裂の排除を組み合わせる変分法の筋もありますが、最小の値が下限に等しいこと自体を別に示す必要があり、同じく 仮 です。この本は、どちらの筋も以下の章の前提に使いません。

03

希薄な気体 — 弦の張力を数える

塊が平面の中で互いに遠く離れて散らばっている(希薄な)と仮定し、塊どうしの相互作用を無視して数えます。これが希薄な気体の近似で、ここからの勘定は Tanizaki–Ünsal の §2.3.2 を SU(2)SU(2) に写したものです 典(式の写し)。近似そのものの正しさは物理の見立てです 読。

注意:原典は小さな T2T^2 を 3・4 の方向に、平面を 1・2 の方向に置いていて、この本(T2T^2 が 1・2、平面が 3・4)とは添字が入れ替わっています。以下はこの本の添字で書きます。

一つの塊の重み。平面の上の一つの塊(自己双対・Q=+12Q=+\tfrac12)と反塊(Q=−12Q=-\tfrac12)の重みは、θ\theta 角を 0 として

K e−SI/2,SI=8π2g2,SI2=4π2g2=π2β(3)K\,e^{-S_I/2},\qquad S_I=\frac{8\pi^2}{g^2},\qquad \frac{S_I}{2}=\frac{4\pi^2}{g^2}=\pi^2\beta \tag{3}

です(原典の式 (2.27) の N=2N=2)。前因子 KK は質量の次元 2 を持ち K∼1/L2K\sim1/L^2 で、その正確な値は揺らぎの行列式の解析で決まるもので、原典は与えていません 典。

漸近自由で書き直す。一ループの走る結合(4-06)で、尺度 LL の結合を Λ\Lambda で書くと、SU(2)SU(2) で 8π2/g2(L)=223ln⁡1ΛL8\pi^2/g^2(L)=\tfrac{22}{3}\ln\frac1{\Lambda L}(一ループの水準。一般の SU(N)SU(N) では 11N3\tfrac{11N}{3})なので、

e−SI/2=e−4π2/g2(L)=(ΛL)11/3(一ループ),K e−SI/2∼1L2(ΛL)11/3=Λ2(ΛL)5/3(4)e^{-S_I/2}=e^{-4\pi^2/g^2(L)}=(\Lambda L)^{11/3}\quad(\text{一ループ}),\qquad K\,e^{-S_I/2}\sim\frac1{L^2}(\Lambda L)^{11/3}=\Lambda^2(\Lambda L)^{5/3} \tag{4}

となります(原典の式 (2.32) の最後の変形)典。指数 11/311/3 は群の次数によりません(SU(N)SU(N) では塊の作用が SI/NS_I/N で、係数 11N/311N/3 の NN と打ち消し合う)。

Wilson ループ。面積 AA のループ CC の内側に塊が一つあると、ループの値に −1-1 が掛かります(中心渦)。塊と反塊をそれぞれ密度 Ke−π2βK e^{-\pi^2\beta} の独立な Poisson の点として平面に撒くと、内側の個数 nn は平均 ρA\rho A(ρ=2Ke−π2β\rho=2Ke^{-\pi^2\beta})の Poisson 分布で、

⟨W(C)⟩=E[(−1)n]=e−2ρA=exp⁡(−4Ke−π2β A)(5)\langle W(C)\rangle=\mathbb E\bigl[(-1)^n\bigr]=e^{-2\rho A}=\exp\bigl(-4K e^{-\pi^2\beta}\,A\bigr) \tag{5}

です。Poisson 分布で E[(−1)n]=e−λ∑k(−λ)k/k!=e−2λ\mathbb E[(-1)^n]=e^{-\lambda}\sum_k(-\lambda)^k/k!=e^{-2\lambda} という一行の計算です 初(模型の中の計算)。原典は、全体の電荷の制約(塊と反塊の数の差が NN の倍数)を Fourier の和で入れて同じ答えを出しています:θ=0\theta=0 で基本表現の弦の張力は

TR∼Λ2(ΛL)5/3sin⁡2π∣R∣N(6)T_R\sim\Lambda^2(\Lambda L)^{5/3}\sin^2\frac{\pi|R|}{N} \tag{6}

(原典の式 (2.37)。NN は群の次数、∣R∣|R| は表現の Young 図の箱の数を NN で割った剰余)で、SU(2)SU(2) の基本表現では sin⁡2(π/2)=1\sin^2(\pi/2)=1 です 典。(5) と (4) を合わせると

σ=4K e−π2β  ∼  Λ2(ΛL)5/3(希薄な領域・一ループ・SU(2))(7)\sigma=4K\,e^{-\pi^2\beta}\;\sim\;\Lambda^2(\Lambda L)^{5/3}\qquad(\text{希薄な領域・一ループ・}SU(2)) \tag{7}

読(物理の見立て。∼\sim は前因子の定数を省いた比例)。

偏り θ\theta との関係。同じ数え方を、平面全体(面積 A平面=(Ma)2A_{\text{平面}}=(Ma)^2)の塊の個数の偶奇に当てると、12-01 の命題 3 の θ=E[(−1)∣Q∣]\theta=\mathbb E[(-1)^{|Q|}] は

θ≈e−2ρA平面,−ln⁡θ≈4Ke−π2β (Ma)2(8)\theta\approx e^{-2\rho A_{\text{平面}}},\qquad -\ln\theta\approx 4K e^{-\pi^2\beta}\,(Ma)^2 \tag{8}

となり、−ln⁡θ-\ln\theta が平面の面積に比例する(面積則の型)と同時に、その率が分数インスタントンの重み e−π2βe^{-\pi^2\beta} で決まることが読めます 読(希薄な気体の見立て)。格子の上でこの形のうち「率が e−βSe^{-\beta S} で、SS が π2\pi^2 に近い」部分を言う言明が §06 です。

格子の上の数値も同じ描像を支持しています。Bergner–González-Arroyo–Soler(2025)は、二つの方向が他より遥かに小さく捩れた境界条件を持つ四次元のトーラスの SU(2)SU(2) の格子で、小さな T2T^2 の大きさでは位相電荷と弦の張力が渦のような分数インスタントンの気体から生じること、大きさを増すと密度が増え、構造の間隔が一定に近づくことを報告しています 典(要旨で確認。本文の数値は照合未了)。

04

5/3 = 11/3 − 2 の読み方

(4) の指数は二つの寄与の差です 読(物理の見立て)。

差 11/3−2=5/311/3-2=5/3 が正なので、Λ\Lambda を止めて T2T^2 を広げると(LL を増すと)、物理の単位の弦の張力は増えます。広げるほど閉じ込めが強まる向きで、L∼1/ΛL\sim1/\Lambda で Λ2\Lambda^2 の程度に達するのは次元の勘定と矛盾しません。一つの T2T^2 の大きさの正方形(面積 L2L^2)あたりで数えると σL2∼(ΛL)11/3\sigma L^2\sim(\Lambda L)^{11/3} で、その正方形に塊がいる確率が LL とともに増える、と言い換えられます。

可換な群 U(1)U(1) には、分数の流束を担う局在した塊がありません。流束は T2T^2 の上に一様に広がるしかなく、T2T^2 を広げる向きの振る舞いが逆になります。「非可換が効く唯一の場所」としてこの差を扱うのは 13-03 で、そこでもこの勘定は一ループの水準の見立てです。この章の範囲では、(4)〜(8) は全て ΛL≪1\Lambda L\ll1 の希薄な領域の文で、L∼1/ΛL\sim1/\Lambda の帯の中には延びません。

05

格子の上の作用 — π²β に下から近づく

単位の合わせ方。12-01 の作用 Sz(U)=∑p(1−12zptr⁡Up)S^z(U)=\sum_p(1-\tfrac12z_p\operatorname{tr}U_p) は β\beta を掛ける前の量です。5-01 の古典的な連続極限で、SU(2)SU(2)・β=4/g2\beta=4/g^2 なら βSz\beta S^z は連続の作用 SES_E に近づくので、作用 4π2/g24\pi^2/g^2 の塊は Sz≈π2S^z\approx\pi^2(つまり βSz≈π2β\beta S^z\approx\pi^2\beta)に当たります。以下の数は全て SzS^z の値を π2\pi^2 で割ったものです。

冷却の数値 読。各リンクを、それを含むプラケットの残りの辺の和(staple)の向きに置き換える操作を繰り返して SzS^z を下げ(冷却)、区画 (1,1)(1,1) の最小作用 Smin⁡(N,M)S_{\min}(N,M) を探した結果が表 1 です。冷却が止まった配位の作用は、その配位が実在するので最小作用の上界です(浮動小数点の計算の範囲で)。真の最小がさらに低い可能性は、初期配位を替えても同じ値に着いたことで読みとして退けているだけです。

表 1 区画 (1,1)(1,1) の最小作用の冷却の値(Smin⁡/π2S_{\min}/\pi^2。SU(2)・Wilson 作用・n12=n34=1n_{12}=n_{34}=1・乱数の初期配位から 3 回)
格子 TN2×TM2T^2_N\times T^2_MN×MN\times MSmin⁡S_{\min}Smin⁡/π2S_{\min}/\pi^2
対称2×22\times27.8410.794
対称3×33\times39.6610.979
対称4×44\times49.7990.993
対称6×66\times6—0.998
細長い2×42\times4—0.683
細長い2×62\times6—0.677
細長い3×63\times6—0.921
細長い4×84\times8—0.960

読み方 読:(i) どの値も π2\pi^2 より小さく、NN とともに π2\pi^2 に近づきます(格子の上の値は連続の値に下から近づく。Wilson 作用の離散化の補正が負であることと整合する、という物理の読み)。(ii) 細長い格子(M>NM\gt N)では、N=2N=2 で M=4→6M=4\to6 と平面を広げても値がほとんど変わりません。塊が平面の方向に局在していて、その作用が平面の大きさによらないこと、つまり希薄な気体の前提(塊が一つの局在した対象であること)を格子が支持しています。(iii) 対称な格子の値が細長い格子より大きいのは、対称な格子では塊が平面の方向にも NN 程度に押し込まれるためと読めます。平面の方向に大きさ 1616 の板(4×4×16×164\times4\times16\times16)で作用の分布を測った別の冷却では、Sz/π2≈0.96S^z/\pi^2\approx0.96、作用の約 91%91\% が塊の中心から平面の方向の半径 2 以内、約 99.6%99.6\% が半径 4(=N=N)以内にありました 読。

柱に閉じ込めた塊と、証明書つきの上界 機。論文 3(この本から出た論文の一つ、草稿。A-07)は、平面を一辺 ℓ\ell の正方形のブロックに分け、一つのブロックの上の柱 TN2×[0,ℓ]2T^2_N\times[0,\ell]^2 に流束を入れ、柱の外枠を捩れを食う真空 U0U^0(12-01 §05)に固定したときの最小作用を

S∗(N,ℓ)=min⁡{ 外枠を U0 に固定した柱の作用  :  柱に流束 n34 を一つ }(9)S_*(N,\ell)=\min\{\,\text{外枠を }U^0\text{ に固定した柱の作用}\;:\;\text{柱に流束 }n_{34}\text{ を一つ}\,\} \tag{9}

と定義しています。保存した配位を正確に正規化し、外枠が真空に一致することを確かめたうえで 40 桁の算術で作用を再評価した値は、それぞれの S∗S_* の上界です:

S∗(2,12)≤6.67348665542≤0.6762 π2,S∗(3,12)≤9.07284242009≤0.9193 π2,S∗(4,8)≤9.57961427901≤0.9707 π2(10)S_*(2,12)\le6.67348665542\le0.6762\,\pi^2,\quad S_*(3,12)\le9.07284242009\le0.9193\,\pi^2,\quad S_*(4,8)\le9.57961427901\le0.9707\,\pi^2 \tag{10}

(N=4N=4 は冷却が収束していない値)。条件:群 SU(2)SU(2)・Wilson 作用・具体的な配位の作用の評価であって、上界の向きだけ。札の「機」はこの上界(具体的な配位の作用を桁の保証つきで評価したもの)にだけ付き、最小値そのものには付きません。どれも π2\pi^2 より小さいので、「格子の上の最小のコストは連続の値 π2\pi^2 より小さい」は、N=2,3,4N=2,3,4 で上界から直接言えます。

柱の幅への依存 読。同じ論文の表(冷却の値):

表 2 S∗(N,ℓ)/π2S_*(N,\ell)/\pi^2 の ℓ\ell 依存(冷却。SU(2)・外枠は真空に固定)
ℓ\ell3456781012
N=2N=20.70820.69240.67790.67710.67630.67620.676170.67617
N=3N=31.15241.01850.94930.93470.92300.92130.91950.9193

S∗S_* の初等的な性質 初:(a) 最小は達せられる(コンパクト性)。(b) S∗(N,ℓ)≤2N2S_*(N,\ell)\le2N^2(柱に細い面を一枚置く)。(c) ℓ\ell について増えない(小さい柱の最小の配位を、残りを真空で埋めて大きい柱に埋め込めば、境のプラケットは真空どうしで作用 0)。(d) 周期的な格子の最小作用と S∗(N,ℓ)≥Smin⁡(N,kℓ)S_*(N,\ell)\ge S_{\min}(N,k\ell)(k≥1k\ge1。柱の配位を外を真空で埋めて周期的な格子に延ばす)。よって lim⁡ℓS∗(N,ℓ)\lim_\ell S_*(N,\ell) は在ります。

周期的な格子の値(冷却)は Smin⁡(2,M)=6.740117, 6.677345, 6.673724, 6.673486, 6.673485S_{\min}(2,M)=6.740117,\ 6.677345,\ 6.673724,\ 6.673486,\ 6.673485(M=4,6,8,12,16M=4,6,8,12,16)、Smin⁡(3,16)=9.072494S_{\min}(3,16)=9.072494 で、S∗(N,ℓ)S_*(N,\ell) は ℓ\ell とともにこれに上から近づきます。その差 S∗(N,ℓ)−Smin⁡(N,∞)S_*(N,\ell)-S_{\min}(N,\infty) は、12-01 の (8) の捩れの質量 mN=2arsinh⁡sin⁡(π/2N)m_N=2\operatorname{arsinh}\sin(\pi/2N)(m2≈1.317m_2\approx1.317、m3≈0.962m_3\approx0.962)について e−mNℓ/ℓe^{-m_N\ell}/\ell のように減ると読まれています 読(論文 3 の草稿は、観測した傾き 1.411.41・1.021.02 を予想の値 1.451.45・1.061.06 と並べている。予想の値の出し方はこの本では確かめていない)。塊の裾が、捩れた T2T^2 の上の随伴の揺らぎの質量で切られている、という読みです。

まとめると、格子の上の最小のコストは N=2,3,4N=2,3,4 でおよそ 0.68π2, 0.92π2, 0.96π20.68\pi^2,\ 0.92\pi^2,\ 0.96\pi^2(周期的な格子の値。N=4N=4 は細長い格子 4×84\times8 の冷却)で、NN を増すと π2\pi^2 に下から近づきます。「N→∞N\to\infty で Smin⁡(N,∞)→π2S_{\min}(N,\infty)\to\pi^2」は数値だけで、証明はありません 読。

06

格子の上で率を言う言明 — 細い面の率 2N² から分数インスタントンの率へ

NN と格子間隔を固定すれば、どの β\beta でも面積則の型の評価 −ln⁡θ≥c M2-\ln\theta\ge c\,M^2 が初等的に出ます(12-04)。そこでの率 cc は細い面のコストで決まり、c≈e−2βN2c\approx e^{-2\beta N^2} です(12-01 の事実 3 の上界 2N22N^2 の配位)。2N22N^2 は NN とともに増え、分数インスタントンとは関係がありません。

論文 3 の主定理(定理 A)は、この率を S∗(N,ℓ)S_*(N,\ell) に置き換える言明です。草稿の形を条件ごと写します 仮(この本ではまだ証明を本文に置いていない。根拠の欄は論文 3 の草稿の §3〜§6。証明はチェス盤の評価と Morse–Bott の補題を引用で使い、剛性の定数は存在だけが示されて値は明示されない)。

論文 3 の定理 A(草稿の言明)。全ての N≥2N\ge2・ℓ≥2\ell\ge2・β≥1\beta\ge1・M∈2ℓNM\in2\ell\mathbb N について、ある c(N,ℓ)>0c(N,\ell)\gt0・a>0a\gt0 と ε(β)=O(ln⁡β/β)\varepsilon(\beta)=O\bigl(\sqrt{\ln\beta/\beta}\bigr) があって

−ln⁡θ(N,M,β)  ≥  c(N,ℓ) β−a e−β (S∗(N,ℓ)+ε(β)) M2.(11)-\ln\theta(N,M,\beta)\;\ge\;c(N,\ell)\,\beta^{-a}\,e^{-\beta\,(S_*(N,\ell)+\varepsilon(\beta))}\,M^2 . \tag{11}

(10) の上界と合わせると、率は 2N2=8,18,322N^2=8,18,32 から ≤0.68π2, 0.92π2, 0.98π2\le0.68\pi^2,\ 0.92\pi^2,\ 0.98\pi^2 程度に下がります(N=2,3,4N=2,3,4)。ただし前因子 β−a\beta^{-a} と ε(β)\varepsilon(\beta) の項が粗いので、(11) が細い面の評価に勝つのは、明示されない大きな β\beta から先です。(11) は NN に一様でなく、連続極限についても質量ギャップについても何も言いません。逆向きの評価(希薄な気体の上界、MM に一様)は開いています。これらの位置づけは 14-01 と 14-02 で扱います。

(8) の見立てと (11) を並べると、見立ての「率は分数インスタントンの作用」という部分のうち、固定した NN の格子の上で閉じ込めの向き(下からの評価)だけが言明の形になっている、という位置です。

07

言えないこと

(a) 希薄な気体。(5)〜(8) は相互作用を無視した勘定で、ΛL≪1\Lambda L\ll1 の希薄な領域・一ループの水準の物理の見立てです。前因子 KK は値が分かっていません。

(b) 冷却の値。表 1・表 2 の値は最小作用の上界で、下界ではありません。「π2\pi^2 に下から近づく」のうち、「π2\pi^2 より下」は N=2,3,4N=2,3,4 で (10) の上界から言え、「近づく」は数値の読みです。

(c) 連続の存在。捩れた T2×R2T^2\times\mathbb R^2 の上で (2) の下限を達する解の存在は、この本では仮定つきの筋で、示されていません。

(d) 帯。この章の全ての文は ΛL≪1\Lambda L\ll1 か NN 固定の文で、T2T^2 を 1/Λ1/\Lambda を越えて広げることについては何も言いません(12-09)。

(e) 論文 3。定理 A は草稿の言明で、この本の札は「仮」です。草稿の証明を一行ずつ確かめて本文に置くまで、上げません。

08

五分類の表と依存グラフ

表 3 この章の行(「—」は機械検査の無い行)
行言明(一行)分類根拠範囲機械検査
[01]BPS の下限 (1)典3-05連続—
[02]捩れた束で Q∈12+ZQ\in\tfrac12+\mathbb Z、下限 4π2/g2=π2β4\pi^2/g^2=\pi^2\beta (2) ⟸ [01]典TU (2.24)(2.25)・'t Hooft 1981連続・SU(2)・n12=n34=1n_{12}=n_{34}=1—
[03]塊は平面に局在し中心渦として働く・大きさは LL 程度典TU §2.3.1原典の数値と記述—
[04]解析的な存在は知られていない(原典の記述)典TU §2.3.1——
[05]Nahm 変換の同変性の下での存在の筋仮筋:検討の記録の命題 F・§02仮定 1 つ・文献の照合未了—
[06]一つの塊の重み Ke−π2βKe^{-\pi^2\beta}・K∼1/L2K\sim1/L^2 (3)典TU (2.27)希薄な気体の模型—
[07]Ke−π2β∼Λ2(ΛL)5/3Ke^{-\pi^2\beta}\sim\Lambda^2(\Lambda L)^{5/3} (4)典TU (2.32)一ループ—
[08]Poisson の模型で ⟨W⟩=e−2ρA\langle W\rangle=e^{-2\rho A} (5)初§03 の一行模型の中の計算—
[09]TR∼Λ2(ΛL)5/3sin⁡2(π∣R∣/N)T_R\sim\Lambda^2(\Lambda L)^{5/3}\sin^2(\pi|R|/N) (6)典TU (2.37)θ=0\theta=0・希薄な領域—
[10]σ=4Ke−π2β∼Λ2(ΛL)5/3\sigma=4Ke^{-\pi^2\beta}\sim\Lambda^2(\Lambda L)^{5/3} ⟸ [06][07][08][09]読物理の見立て希薄な領域・一ループ・SU(2)—
[11]−ln⁡θ≈4Ke−π2β(Ma)2-\ln\theta\approx4Ke^{-\pi^2\beta}(Ma)^2 (8) ⟸ [08][10]読物理の見立て同上—
[12]格子の気体の数値(BGAS 2025)典要旨SU(2)・捩れた小さな T2T^2—
[13]5/3=11/3−25/3=11/3-2 の読み ⟸ [10]読§04一ループ・希薄な領域—
[14]冷却の値(表 1)・局在の割合読この本の検討の数値の記録上界・3 回の初期配位—
[15]S∗S_* の性質 (a)〜(d)初§05SU(2)・格子—
[16]証明書つきの上界 (10)機論文 3 の草稿 §7(40 桁の再評価)上界の向きだけ・N=4N=4 は未収束—
[17]表 2 の ℓ\ell 依存・e−mNℓ/ℓe^{-m_N\ell}/\ell の減衰読同、§7冷却—
[18]π2\pi^2 に下から近づく ⟸ [14][15][16][17]読§05「下」は N=2,3,4N=2,3,4 で [16] から—
[19]論文 3 の定理 A (11)仮論文 3 の草稿 §3〜§6NN 固定・β≥1\beta\ge1・NN に一様でない・連続極限なし—

依存グラフ(前提の番号は結論の番号より小さい):

[01] 典 BPS    S ≥ 8π²|Q|/g²                                     連続
[02] 典 HALF   捩れで Q ∈ 1/2 + ℤ・下限 π²β ⟸ [01]               SU(2)・n₁₂ = n₃₄ = 1
[03] 典 LOC    塊は平面に局在・中心渦・大きさ L 程度
[04] 典 NOAN   解析的な存在は知られていない
[05] 仮 NAHM   同変性の仮定の下の存在の筋                         照合未了
[06] 典 FUG    一つの塊の重み K e^(−π²β)
[07] 典 AF     K e^(−π²β) ~ Λ²(ΛL)^(5/3)                          一ループ
[08] 初 POIS   Poisson の模型で 〈W〉 = e^(−2ρA)
[09] 典 TR     T_R ~ Λ²(ΛL)^(5/3) sin²(π|R|/N)                    θ = 0
[10] 読 SIG    σ = 4K e^(−π²β) ~ Λ²(ΛL)^(5/3) ⟸ [06][07][08][09]  希薄・一ループ
[11] 読 THETA  −ln θ ≈ 4K e^(−π²β)(Ma)² ⟸ [08][10]
[12] 典 BGAS   格子の気体の数値(要旨)
[13] 読 53     5/3 = 11/3 − 2 の読み ⟸ [10]
[14] 読 COOL   冷却の値・局在の割合                                上界
[15] 初 SPROP  S_* の性質 (a)〜(d)
[16] 機 CERT   S_* ≤ 0.6762π², 0.9193π², 0.9707π²                 上界・N = 4 未収束
[17] 読 ELL    ℓ 依存・e^(−m_N ℓ)/ℓ
[18] 読 BELOW  π² に下から近づく ⟸ [14][15][16][17]
[19] 仮 THMA   論文 3 の定理 A                                    N 固定・草稿

確かめ方は、全ての「⟸」の右の番号が左の番号より小さいことを目で見ることです。円はありません。証明を本文に置いた節点は [08] と [15] だけで、どちらも模型の中か有限の格子の上の一行の議論です。[05] と [19] の「仮」はどの節点の前提にも入っていません。この章の結論の側の節点 [10]・[11]・[13]・[18] は全て「読」で、閉じ込めの節点も質量ギャップの節点もありません。


この章が言えている範囲

言えている言えていない
典 捩れた束の作用の下限 4π2/g2=π2β4\pi^2/g^2=\pi^2\beta・希薄な気体の原典の式 (2.27)(2.32)(2.37)・格子の気体の数値の報告(要旨)(2) を達する連続の解の存在
読 弦の張力 Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3}(希薄な領域・一ループ・SU(2) の見立て)・5/3=11/3−25/3=11/3-2 の読み・格子の作用が π2\pi^2 に近づくこと希薄な気体の近似の正しさ。KK の値。N→∞N\to\infty の極限
機 S∗≤0.6762π2, 0.9193π2, 0.9707π2S_*\le0.6762\pi^2,\ 0.9193\pi^2,\ 0.9707\pi^2(N=2,3,4N=2,3,4、具体的な配位の上界)S∗S_* と Smin⁡S_{\min} の下界・一致
初 Poisson の模型の一行・S∗S_* の初等的な性質—
仮 存在の筋(同変性の仮定)・論文 3 の定理 A(草稿)どちらも本文に証明が無い

出典と再現

もの種別出典・道具
(2)(3)(4)(6)・塊の局在・解析解の状況典Y. Tanizaki, M. Ünsal, Center vortex and confinement in Yang–Mills theory and QCD with anomaly-preserving compactifications, arXiv:2201.06166(v2, 2022)。§2.2〜§2.3、式 (2.24)〜(2.37) を本文で確認
格子の分数インスタントンの気体典G. Bergner, A. González-Arroyo, I. Soler, arXiv:2502.09463(2025、Lattice 2024 の報告)。要旨を確認
捩れた束の位相電荷典G. 't Hooft, Commun. Math. Phys. 81 (1981) 267(書誌は 3-05)
存在の筋(同変性の仮定)仮この本の検討の記録(命題 F)。そこで引かれた二重周期インスタントンの構成と Nahm 変換の文献は照合未了
表 1・局在の割合読この本の検討の数値の記録(冷却、乱数の初期配位から 3 回)
(9)(10)・表 2・周期的な格子の値・減衰の傾き・定理 A機・読・仮論文 3(分数インスタントンの格子の閉じ込め、草稿 2026-10-14)。§2・§7・§8。題と段階は A-07
(5)・S∗S_* の性質・mNm_N の数値初本文。mNm_N は 12-01 の (8) に N=2,3N=2,3 を入れた値

この章で使った語 — 分数インスタントン・位相電荷 12\tfrac12・BPS の下限・中心渦・希薄な気体・前因子 KK・弦の張力・5/3=11/3−25/3=11/3-2・冷却・柱に閉じ込めた塊 S∗(N,ℓ)S_*(N,\ell)・証明書つきの上界・捩れの質量 mNm_N。意味は A-02 用語集 にあります。

次に読む章:12-03 容器 — 枠を条件づけると独立になる — 平面をブロックに分け、偏りを柱ごとの量の積で押さえる。

← 12-01 捩れた T² と 't Hooft の流束目次12-03 容器 — 枠を条件づけると独立になる →

改訂 2026-10-15:初版。