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 この本から出た論文

この道が止まる場所 — T² を広げることが帯である

この章で分かること — 小さな捩れた T2T^2 から出発する空間の方向の道が、どの段で止まるか。止まるのは T2T^2 の一辺 LL を相関長の尺度 1/Λ1/\Lambda を越えて広げる段で、これが移り変わりの帯(略して帯)です。帯の両端、つまり LL が小さい希薄な分数インスタントンの領域と LL が大きい閉じ込めの領域では、要る不等式が成り立つ見込みがあり、真ん中の L∼1/ΛL\sim1/\Lambda を非摂動的に通すことだけが残ります。

前提となる章 — 12-00(この部の入口)・12-02(渦と分数インスタントン)・12-04(板の閉じ込め)・9-06(七段の表の段 5)。

先に言うこと — この章は短い案内の章で、新しい証明を置きません。帯を渡る文はどれも仮定で、両端の見込みは一ループと希薄な気体の勘定、または閉じ込めの描像の上の物理の見立てです。

この章の順序
  1. 止まる段 — 小さな T2T^2 で手にあるものと、広げる段
  2. 帯の両端と真ん中 — 希薄な領域・閉じ込めの領域・その間(表 1)
  3. 帯で示すべき文 — 正しい形と、途中の到達点
  4. 第 13 部へ

01

止まる段 — 小さな T2T^2 で手にあるものと、広げる段

この部の道は、四次元の問題を二つに分けるために小さな捩れた T2T^2 を経由しました(12-00)。捩れが零モードを消すので、T2T^2 の大きさ LL までの尺度で理論は弱結合のままで、T2T^2 を巻く渦の面は分数インスタントンとして局所的に閉じます。こうして、紫外の壁だけが残る中間の到達目標(小さな T2T^2 でのギャップと閉じ込め、七段の段 3・4)と、それ以外の壁が集まる段(T2T^2 を広げる、段 5)に分かれます。

小さな T2T^2 の側で手にあるものは、どれも条件つきか、格子間隔を固定した文です。格子間隔と T2T^2 を固定すれば全ての β\beta で面積則が成り立ちますが、張力は細い渦のコストで決まり連続極限で 0 になります 初(12-04)。挿入の恒等式と平均の評価は閉じ込めを一つの局所的な量に帰着させます 初(12-05)。格子間隔を 0 に送った小さな T2T^2 の閉じ込めとギャップは、紫外の制御などの仮定の上の筋です 仮(14-01 の矢印 G1・C2)。

問題文が求めるのは R4\mathbb R^4 の理論なので、L→∞L\to\infty が要ります。LL を相関長 1/Λ1/\Lambda より十分小さい所から十分大きい所まで、全ての LL で同じ定数の評価を持って広げること。この段がこの道の止まる場所で、本書ではこれを移り変わりの帯(略して帯)と呼びます 仮。第 10・11 部の「窓」(サイトの窓・ℏ\hbar の窓・時刻の窓)とは別の語です(13-00 の注)。

02

帯の両端と真ん中

帯で示すべき文は、容器の区画の偏り θ(R;TL2)\theta(R;T^2_L)(容器の一辺 RR、横の T2T^2 の一辺 LL、12-03)の言葉で、横の T2T^2 を広げても偏りが大きくならない、という形をしています(横広げの不等式、13-02)。両端と真ん中で状況が違います。

表 1 帯の両端と真ん中(Λ\Lambda は力学的な尺度、LL は横の T2T^2 の一辺)
領域描像横の T2T^2 を広げると札同じ行に書く条件
L≪1/ΛL\ll1/\Lambda(希薄な領域)渦は荷電 12\tfrac12 の自己双対の塊(分数インスタントン)で、作用 4π2/g24\pi^2/g^2 は T2T^2 の形に依らない。希薄な気体で ln⁡(1/θ)∝AD L5/3\ln(1/\theta)\propto A_D\,L^{5/3}(ADA_D は容器の面積)ln⁡(1/θ)\ln(1/\theta) が増え、偏りは小さくなる。指数 5/3=11/3−25/3=11/3-2 は漸近自由の係数が横の二次元のエントロピーに勝つ余裕読(物理:一ループと希薄な気体の勘定)。張力の式 Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3} は 典希薄な領域・一ループ・SU(2)。U(1) では同じ勘定で指数が −2-2
L≫1/ΛL\gg1/\Lambda(閉じ込めの領域)容器の渦の面の自由エネルギーは張力 ×\times 面積で、T2T^2 の面積への依存は渦の面の位置のエントロピー(対数)だけ偏りの比は s2s^2 の程度に留まる読(物理:閉じ込めの描像の上)閉じ込めを仮定した描像。示されていない
L∼1/ΛL\sim1/\Lambda(真ん中)弱結合の描像も強結合の描像も使えない示すべき文そのもの仮非摂動の入力が要る。構造的な入力(鏡映正値性・双対性・転送行列)だけでは出ない(13-04)

対照のために U(1) を置くと、U(1)U(1) の流束は一様に広がるしかなく、板の上の U(1)U(1) は長距離で結合 e2/ATe^2/A_T(ATA_T は T2T^2 の面積)の二次元の U(1)U(1) になるので ln⁡(1/θ)∝AD/AT\ln(1/\theta)\propto A_D/A_T で、T2T^2 を広げたときの偏りの比(広げた後と前の比)はいくらでも大きくなります 読(物理:論文 2 の見立ての勘定)。四次元の弱結合の Z2\mathbb Z_2 でも同じく破れます。非可換の流束は尺度に依らない有限作用の塊に局在できる、という点が SU(2) と U(1) を分けます(13-03)。測った記録(T2T^2 を広げたときの渦の自由エネルギーが U(1) では上がり SU(2) では上がらない、板の張力が増えて飽和する)は 12-08 と 13-09 にあります 読。

03

帯で示すべき文 — 正しい形と、途中の到達点

帯の目標は「偏りが 1 から一様に離れる」(sup⁡Lθ(L;TL2)≤θ0<1\sup_L\theta(L;T^2_L)\le\theta_0\lt1)ではありません。この形は四次元の U(1)U(1) も満たし、出る張力は ln⁡(1/θ0)/L2→0\ln(1/\theta_0)/L^2\to0 だからです(13-01)。正しい形は、容器の渦の自由エネルギーが面積の指数で小さくなること

ln⁡1θ(L;TL2) ≥ c L2(物理的な単位で、格子間隔 a に一様)(1)\ln\frac1{\theta(L;T^2_L)}\ \ge\ c\,L^2\qquad(\text{物理的な単位で、格子間隔 }a\text{ に一様}) \tag{1}

で、't Hooft の閉じ込めの判定の、枠を条件づけた局所版です 仮。(1) は、基点と枠の減相関と横広げの不等式があれば倍化の反復で従います(14-01 §03 の定理 1 とその前提)。チェス盤の言葉では、(1) の内容は一様な板の張力と一様な板のギャップの二つの一様性になります(13-05)。

(1) に届く前の途中の到達点として、二つの弱い文が名指されています 仮。(a) 容器の渦の自由エネルギーが L→∞L\to\infty で 0 に近づくこと(閉じ込めない相が無いことの言い換え)。(b) ln⁡(1/θ)≥cL2/ln⁡L\ln(1/\theta)\ge cL^2/\ln L(ほぼ面積則)。どちらも示されていません。

04

第 13 部へ

この道は、帯の手前まで来て止まりました。帯で何が要るかは、この部の道具で形を絞れます。正しい形 (1)、一つの不等式への還元、非可換が効く場所、構造だけでは渡れないこと、の順です。時間の方向の道(第 10・11 部)も、四次元の目標を「β→∞\beta\to\infty に一様な定数」の形で書くと同じ型の一様性に着きます(10-15 §08)。二本の道がこの帯で合流することは、第 13 部の入口 で扱います。


この章が言えている範囲

言えている言えていない
空間の方向の道が止まる段が、横の T2T^2 を相関長の尺度を越えて広げる段(帯)であること。帯で示すべき文の正しい形 (1) と、途中の到達点 (a)(b) の名指し(1)・(a)・(b) のどれも 仮
両端の見込み:希薄な領域の 5/3=11/3−25/3=11/3-2、閉じ込めの領域の対数のエントロピー 読(物理)真ん中 L∼1/ΛL\sim1/\Lambda を非摂動的に通すこと。両端の見込みの証明

出典と再現

もの種別出典・道具
小さな T2T^2 の弦の張力 Λ2(ΛL)5/3\Lambda^2(\Lambda L)^{5/3}典Y. Tanizaki, M. Ünsal, arXiv:2201.06166 の式 (2.32)・(2.37)(12-02 の出典表)
希薄な領域の 5/3=11/3−25/3=11/3-2、U(1)U(1) の −2-2読(物理)論文 2(草稿、A-07)の「不等式は理論を分ける」の命題(論文自身が見立てと明記)
正しい形 (1) と U(1)U(1) の反例仮・読13-01。Tomboulis–Yaffe の不等式は 典
途中の到達点 (a)(b)仮14-02 の課題 8 の行

この章で使った語 — 移り変わりの帯(帯)・横広げの不等式・区画の偏り θ(R;TL2)\theta(R;T^2_L)・希薄な領域・閉じ込めの領域・途中の到達点。意味は A-02 用語集 にあります。

次に読む章:13-00 入口 — 合流 — 二本の道が「全ての尺度で同じ定数」という一つの型の言明に着くこと。

← 12-08 測った記録目次13-00 入口 — 合流 →

改訂 2026-10-15:初版。