computo ergo sum

2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 5 部 格子ゲージ理論Bakry–Émery

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

寄り道：Bakry–Émery と一リンク積分 — 曲率で隙間を出す判定法と、先に積分して定数を動かす一例

この章で分かること — 「曲率が正なら Poincaré 不等式」という Bakry–Émery の判定法と、それが一本のリンクでどれだけ控えめか。格子 SU(2)SU(2) で、どのプラケットにも一本ずつ含まれるリンクの族を先に積分すると、作用の曲がりが O(β2)O(\beta^2) に下がり、閾値が 1/121/12 から 2/27≈0.272\sqrt{2/27}\approx0.272 に動くこと（このサイトの論文）と、定数 27 の内訳。

前提となる章 — 5-02・1-10。5-04 §08 と 1-08 §03（SU(2)SU(2) の Haar 測度）も使います。

先に言うこと — 格子間隔を固定した小さい β\beta の側、連続極限の反対の岸の話で、連続極限と問題文の質量ギャップについては何も示していません。Lean の定理は曲がりの下界と族の組合せまでで、質量ギャップは Lean の定理ではありません。強結合の範囲を広げたとも主張していません（§07）。

この章の順序
  1. この章の位置 — 強結合側の一例
  2. 曲率が隙間を作る — 判定法と証明
  3. 一本のリンクで見る — 本当の隙間は κ\kappa とともに増える（図 1・表 1）
  4. 格子全体に当てはめる — 1/12 と 1/8
  5. 先に積分する — 完全な族（表 2）
  6. 27 の内訳 — 36 × 6 ÷ 8
  7. 閾値を比べる — 直線と放物線（図 2・表 3）
  8. 寄り道：完全な族は四次元まで — Hamming 限界の等号
  9. 方法の限界と位置 — 何が Lean か

この章の β\beta は SU(2)SU(2) の規約 β=4/g2\beta=4/g^2 で、結合 gg の二乗に反比例します（5-01）。統計力学の逆温度の役をします（5-02）。

S(U)=β∑P(1−12tr⁡UP),μβ(dU)=1Z e−S(U)∏ℓdUℓ(1)S(U)=\beta\sum_P\Bigl(1-\tfrac12\operatorname{tr}U_P\Bigr),\qquad \mu_\beta(dU)=\frac1Z\,e^{-S(U)}\prod_\ell dU_\ell \tag{1}

SU(2)SU(2) の元は長さ 1 の四元数で、群は単位球面 S3S^3 です（1-02）。内積は ⟨u,v⟩=12tr⁡(uv†)\langle u,v\rangle=\tfrac12\operatorname{tr}(uv^\dagger) です。

01

この章の位置 — 強結合側の一様な評価の一例

5-04 §08 の Langevin の道の鍵は Bakry–Émery の判定法で、「群の丸さ（曲率）が作用の凸凹に勝てば、Poincaré 不等式が箱によらない定数で成り立つ」と言います。この章はそれを一本のリンク（§02・§03）と格子全体（§04〜§07）で具体的に見ます。

得られるのは格子間隔を固定した格子単位の相関の減衰で（4-11）、連続極限で欲しい「格子単位の隙間が正しい速さで閉じること」（5-09）の反対の岸です。

5-04 §08 では判定法を結論だけ使いました。この章で加わるのは三つです。判定法の証明の筋（§02）、一本のリンクでの本当の隙間との比較（§03）、そしてリンクの一部を先に積分すると曲がりが β\beta の一次から二次に下がり、閾値の定数が動くこと（§05〜§07）です。

読む順は、まず図 1 で「判定法がどこで控えめになるか」を目で見て、次に §04 の直線 2−cβ2-c\beta の閾値、最後に §05〜§07 の放物線 2−27β22-27\beta^2 の閾値へ進むのが近道です。§06 の内訳と §08 の寄り道は飛ばしても筋は追えます。

02

曲率が隙間を作る — 判定法と一行の証明

1-10 §08 で、直線上の e−Vdx/Ze^{-V}dx/Z について「V′′≥κ>0V''\ge\kappa\gt0 なら CP≤1/κC_P\le1/\kappa」を見ました。群の上ではこれに空間そのものの丸さが加わります。

比喩で言えば、赤道から真北へ歩き出した二人は北極で出会います。正確には、単位ベクトル vv の向きに出た測地線の束が vv に垂直な各方向で寄っていく度合いを足したものが Ricci 曲率 Ric(v,v)\mathrm{Ric}(v,v) で、半径 1 の nn 次元球面では (n−1)∣v∣2(n-1)|v|^2 です 既知。群の上の測地線は τ↦UeτX\tau\mapsto Ue^{\tau X}（XX は純虚の四元数＝リー環の元。1-03）で、これに沿う二階微分を Hess V(X,X)\mathrm{Hess}\,V(X,X) と書きます。直線の V′′V'' に当たるものです。

Ric(X,X)=2∣X∣2 (S3),Ric+Hess V≥K>0 ⟹ Var⁡μ(f)≤1K∫∣∇f∣2dμ(2)\mathrm{Ric}(X,X)=2|X|^2\ (S^3),\qquad \mathrm{Ric}+\mathrm{Hess}\,V\ge K\gt0\ \Longrightarrow\ \operatorname{Var}_\mu(f)\le\frac1K\int|\nabla f|^2d\mu \tag{2}

右が Bakry–Émery（1985）の判定法の Poincaré 版です（μ=e−Vvol/Z\mu=e^{-V}\mathrm{vol}/Z、条件は全ての点で）既知。対数 Sobolev 不等式も出ます。定数に次元が入らないので、曲率の下界が箱によらなければ Poincaré の定数も箱によりません。

証明の筋は 1-10 §08 と同じです。Lf=−Δf+∇V⋅∇fLf=-\Delta f+\nabla V\cdot\nabla f（Δ\Delta は群の上のラプラシアンで、質量ギャップの Δ\Delta とは別）、Lf=λfLf=\lambda f とすると、部分積分を二回して（積分した Bochner の公式）既知

λ2 ⁣∫f2dμ=∫(Lf)2dμ=∫∥∇2f∥2dμ+∫(Ric+Hess V)(∇f,∇f) dμ ≥ Kλ ⁣∫f2dμ(3)\lambda^2\!\int f^2d\mu=\int(Lf)^2d\mu=\int\|\nabla^2f\|^2d\mu+\int(\mathrm{Ric}+\mathrm{Hess}\,V)(\nabla f,\nabla f)\,d\mu\ \ge\ K\lambda\!\int f^2d\mu \tag{3}

となり（∫∣∇f∣2dμ=λ∫f2dμ\int|\nabla f|^2d\mu=\lambda\int f^2d\mu）、λ≥K\lambda\ge K です。(3) は 1-10 の ∫∣g′∣2+∫V′′g2=λ∫g2\int|g'|^2+\int V''g^2=\lambda\int g^2 を多次元にしたもので、V′′V'' が Hess V\mathrm{Hess}\,V に置き換わり、空間の丸さが Ric\mathrm{Ric} として加わります。例：一様な S3S^3 では判定法は「隙間 ≥2\ge2」、本当は 3 です（一次の球面調和関数。表 1 の一行目）。次元を使わない分だけ控えめです。

03

一本のリンクで見る — 本当の隙間と判定法

一本のリンク uu 以外を止めると、重みは uu を含む六枚のプラケットから来ます。プラケットから uu を除いた残り三本のリンクの積（コの字形）をステープルと呼びます。六枚のステープル V1,…,V6V_1,\dots,V_6 を向きを揃えて足したもの M=∑iViM=\sum_iV_i を使うと、重みは eβ⟨u,M⟩e^{\beta\langle u,M\rangle} です（10-02 §03 と同じ設定。熱浴法の分布。5-07）。MM の向きを北極に取り、θ\theta を北極からの角とすると、高さ cos⁡θ\cos\theta のヘッセ行列は −cos⁡θ-\cos\theta 倍の計量なので

μκ(du)∝eκcos⁡θdu  (κ=β∣M∣≤6β),Ric+Hess V=(2+κcos⁡θ)∣X∣2≥(2−κ)∣X∣2(4)\mu_\kappa(du)\propto e^{\kappa\cos\theta}du\ \ (\kappa=\beta|M|\le6\beta),\qquad \mathrm{Ric}+\mathrm{Hess}\,V=(2+\kappa\cos\theta)|X|^2\ge(2-\kappa)|X|^2 \tag{4}

です 既知。判定法が言えるのは κ<2\kappa\lt2 で隙間 ≥2−κ\ge2-\kappa だけですが、本当の隙間は κ\kappa とともに増えます（北極に寄った測度は分散 1/κ1/\kappa のガウスに近い）。判定法は、測度がほとんど乗らない南極の負の曲率に足を取られます。

図 1　つまみ・「動かす」で κ\kappa が変わる。塗りは密度 eκcos⁡θsin⁡2θe^{\kappa\cos\theta}\sin^2\theta、実線は曲率 2+κcos⁡θ2+\kappa\cos\theta（右の目盛り）、帯は曲率が負の範囲。

計算この図の数値はこの端末で計算した（隙間は表 1 の計算の 41 点、他はその場で式から）。JavaScript が無効なら表 1 が中身です。

表 1　μκ\mu_\kappa の隙間 λ1\lambda_1 と判定法 計算（S2S^2 の角運動量 l=0,1,2l=0,1,2 ごとの固有値問題。刻み 800 と 1600 で 5 桁一致。右端は ∫arccos⁡(−2/κ)πeκcos⁡θsin⁡2θ dθ/∫0π\int_{\arccos(-2/\kappa)}^{\pi}e^{\kappa\cos\theta}\sin^2\theta\,d\theta\big/\int_0^{\pi} の数値積分）
κ\kappal=1l=1＝隙間判定法負の曲率の範囲の重み
03.00002.00
13.13231.00
23.516400
44.8782—0.0027
66.6746—0.00059
1010.580—1.5×10⁻⁵

隙間は l=1l=1（MM に垂直に傾ける揺らぎ）で決まります。判定法は正しいが粗い道具です。

注意。λ1=1/CP\lambda_1=1/C_P は Langevin の時間の隙間で、転送行列の隙間（5-03）とは別です（8-03）。

04

格子全体に当てはめる — 閾値 1/12 と 1/8

格子全体の配位の空間は S3S^3 の直積で、Ricci 曲率は各リンクで 2 のままです。判定法が求めるのは次です。

K(β)=2+inf⁡Uλmin⁡(Hess S(U))>0(5)K(\beta)=2+\inf_U\lambda_{\min}\bigl(\mathrm{Hess}\,S(U)\bigr)\gt0 \tag{5}

下界は −cβ-c\beta の形です。Shen–Zhu–Zhu（2023）はプラケットごとの見積もりで、SU(N)SU(N) について ∣βSZZ∣<1/(16(d−1))|\beta_{\mathrm{SZZ}}|\lt1/(16(d-1)) の下で、無限体積の測度の一意性と相関の指数減衰（要旨：“the infinite volume measure has a strictly positive mass gap”）を示しました 既知。規約は SU(2)SU(2) で β=4βSZZ\beta=4\beta_{\mathrm{SZZ}} なので、四次元では β<1/12=0.0833\beta\lt1/12=0.0833、この章の書き方で K=2−24βK=2-24\beta です（β<1/12\beta\lt1/12 は 5-04 表 4 と同じ）。

一方、全てのプラケットが −1-1 の Z2\mathbb Z_2 配位で λmin⁡(Hess S)=−16β\lambda_{\min}(\mathrm{Hess}\,S)=-16\beta になります（初等的）紙。論文の数値探索ではそれより下は見つかっていませんが、これは証明ではありません（論文 §1・§8）。天井 1/81/8 は初等的な側だけから出ます：この配位で K≤2−16βK\le2-16\beta なので、積分せずに判定法を使う限り、β<1/8\beta\lt1/8 で頭打ちです。

05

先に積分する — 完全な族と一リンク積分

このサイトの論文は、判定法の前にリンクの一部を厳密に積分します。積分する集合 I∗I^* に次を課します。

I∗ が完全な族  ⟺  どのプラケット P でも ∣P∩I∗∣=1(6)I^*\ \text{が完全な族}\iff\text{どのプラケット }P\text{ でも }|P\cap I^*|=1 \tag{6}

族の二本は同じプラケットに乗らないので、各リンクは独立に積分でき、しかも全てのプラケットが族のリンクを含むので、積分後の残りの作用には裸のプラケットが一枚も残りません。族の密度は 1/41/4 で、四次元には周期 2 の族があります（数え上げと図は 10-02 §02、四次元までの理由は §08）。

一本の積分はカタラン数で出ます。Haar 測度の下で tr⁡u=2cos⁡θ\operatorname{tr}u=2\cos\theta は半円の分布で（1-08 (4)）、偶数次の積率は E[(2cos⁡θ)2k]=Catk\mathbb E[(2\cos\theta)^{2k}]=\mathrm{Cat}_k です（1-08 の寄り道）。指数関数を展開し、Catk/(2k)!=1/(k!(k+1)!)\mathrm{Cat}_k/(2k)!=1/(k!(k+1)!) を使うと

∫SU(2)eβ⟨u,M⟩du=∑k≥0κ2k Catk(2k)! 4k=F0 ⁣(κ24)=2I1(κ)κ,F0(x)=∑k≥0xkk! (k+1)!(7)\int_{SU(2)}e^{\beta\langle u,M\rangle}du=\sum_{k\ge0}\frac{\kappa^{2k}\,\mathrm{Cat}_k}{(2k)!\,4^k}=F_0\!\Bigl(\frac{\kappa^2}4\Bigr)=\frac{2I_1(\kappa)}{\kappa},\qquad F_0(x)=\sum_{k\ge0}\frac{x^k}{k!\,(k+1)!} \tag{7}

です（I1I_1 は変形 Bessel 関数）既知。論文ではこれが Haar 測度の左不変性だけから Lean で示されています Lean（IsHaarS3.one_link。仮定は Haar の性質だけ）。残りのリンクの周辺密度は e−Φe^{-\Phi} で、族のリンク ss（「星」）ごとの和です。

Φ=−∑s∈I∗G(∣Ms∣2),G(t)=ln⁡F0 ⁣(β2t4)=β2t8−β4t2384+O(β6t3)(8)\Phi=-\sum_{s\in I^*}G\bigl(|M_s|^2\bigr),\qquad G(t)=\ln F_0\!\Bigl(\frac{\beta^2t}4\Bigr)=\frac{\beta^2t}8-\frac{\beta^4t^2}{384}+O(\beta^6t^3) \tag{8}

微分には F1(x)=∑k≥0xk/(k! (k+2)!)=F0′(x)F_1(x)=\sum_{k\ge0}x^k/(k!\,(k+2)!)=F_0'(x)、F2=F1′F_2=F_1' を使います。連鎖律で

G′(t)=β24 F1F0,G′′(t)=(β24)2F0F2−F12F02(Fi の引数は β2t4)G'(t)=\frac{\beta^2}4\,\frac{F_1}{F_0},\qquad G''(t)=\Bigl(\frac{\beta^2}4\Bigr)^2\frac{F_0F_2-F_1^2}{F_0^2}\qquad\Bigl(F_i\text{ の引数は }\tfrac{\beta^2t}4\Bigr)

なので、G′≤β2/8G'\le\beta^2/8 は 2F1≤F02F_1\le F_0 と、G′′≤0G''\le0 は Turán 型の不等式 F12≥F0F2F_1^2\ge F_0F_2 と同じです。

O(β)O(\beta) の項が消え、曲がりは O(β2)O(\beta^2) からです（長さ 6 のループが結合 β2/4\beta^2/4 で現れる。10-02 (5)）。

表 2　(7) の級数と Bessel の閉形、比 r=2F1/F0=G′(t)/(β2/8)r=2F_1/F_0=G'(t)/(\beta^2/8) 計算（角度の数値積分とも 12 桁一致）
κ\kappaF0(κ2/4)F_0(\kappa^2/4)2I1(κ)/κ2I_1(\kappa)/\kapparr
11.1303182079851.1303182079850.9608
44.8797325768524.8797325768520.6580
899.9682841956499.968284195640.4096
06

27 の内訳 — 36 × 6 ÷ 8

論文の中心の定理は、Φ\Phi の測地線に沿う二階微分の下界です。全ての β\beta・全ての配位で成り立ち、小ささは仮定しません Lean（StaplePerturbation.hess_gauge。仮定は周期 LL が偶数で L≥3L\ge3（つまり 4 以上の偶数。L=2L=2 では向かい合うステープルがリンクを共有して数え方が変わる）、∥Ue∥=1\|U_e\|=1、XeX_e は純虚。周辺密度が e−Φe^{-\Phi} なのは WilsonOneLink.integral_star_links）。

d2dτ2Φ(UeτX)∣0≥−27β2∑e∥Xe∥2(9)\frac{d^2}{d\tau^2}\Phi\bigl(Ue^{\tau X}\bigr)\Big|_{0}\ge-27\beta^2\sum_e\|X_e\|^2 \tag{9}
÷ 8 — 一リンク積分0≤G′≤β2/8, G′′≤00\le G'\le\beta^2/8,\ G''\le0表 2 の r≤1r\le1（  ⟺  2F1≤F0\iff2F_1\le F_0）。凹性（  ⟺  F12≥F0F2\iff F_1^2\ge F_0F_2）はカタラン数の恒等式から Lean（turan_series）
× 36 — 一つの星(∣Ms∣2)′′≤36∑∥X∥2(|M_s|^2)''\le36\sum\|X\|^2重み付き Cauchy–Schwarz と平方和 Lean（StarInequality.star_S と second_deriv_le。等号は star_S_sharp）
× 6 — 数え方残りの各リンクはちょうど 6 つの星に乗るLean（star_count。L≥3L\ge3）

つなぎ方は一行です。星の項の二階微分は、t=∣Ms∣2t=|M_s|^2 として

−(G(t))′′=−G′(t) t′′−G′′(t)(t′)2 ≥ −G′(t)max⁡(t′′,0) ≥ −β28⋅36∑星の中∥X∥2(10)-\bigl(G(t)\bigr)''=-G'(t)\,t''-G''(t)(t')^2\ \ge\ -G'(t)\max(t'',0)\ \ge\ -\frac{\beta^2}8\cdot36\sum_{\text{星の中}}\|X\|^2 \tag{10}

で、G′′≤0G''\le0 のおかげで (t′)2(t')^2 の項は邪魔をしません。星について足すと各リンクは 6 回数えられ、−β28⋅36⋅6=−27β2-\frac{\beta^2}8\cdot36\cdot6=-27\beta^2 です。G′≤β2/8G'\le\beta^2/8 は「傾いた Haar 測度の揺らぎは Haar 測度の揺らぎを超えない」という主張で、これが SU(2)SU(2) に特有です（§09）。

例。星の比 t′′/(36∑∥X∥2)t''/(36\sum\|X\|^2) は無作為な 20 万組で最大 0.371、等号は s=(+,+,+,−,−,−)s=(+,+,+,-,-,-)・三本の向きを si is_i\,i に揃えた配位で出ます（1.000000）計算。緩みは星をつなぐ側にあります（§09）。

07

閾値を比べる — 直線と放物線

(9) と Ric=2\mathrm{Ric}=2 を合わせると、残りのリンクの周辺測度の曲率は K′=2−27β2K'=2-27\beta^2 以上で、閾値は

β<2/27=0.27217(βSZZ<0.06804)(11)\beta\lt\sqrt{2/27}=0.27217\qquad(\beta_{\mathrm{SZZ}}\lt0.06804) \tag{11}

です。1/121/12 の 42/3=3.274\sqrt{2/3}=3.27 倍、天井 1/81/8 の 2.18 倍です 計算。族のある dd では閾値 2/3/(d−1)\sqrt{2/3}/(d-1) で、比 3.27 は dd によりません 紙（Lean は d=4d=4 だけ）。

図 2　四通りの曲率の下界 K(β)K(\beta)。つまみ・「動かす」で β\beta が動き、各値と K>0K\gt0 かが下に出る。

計算この図の数値はこの端末で計算した（表 3 の式）。JavaScript が無効なら表 3 が中身です。

表 3　四次元 SU(2)SU(2) の曲率の下界と閾値 計算
見積もりK(β)K(\beta)閾値β=0.2\beta=0.2水準
Shen–Zhu–Zhu の数え方2−24β2-24\beta0.0833−2.80既知
積分しない最良2−16β2-16\beta0.1250−1.20紙（≤−16β\le-16\beta）＋論文の数値探索
完全な族を先に積分2−27β22-27\beta^20.2722+0.92Lean＋既知
この道の天井2−21β22-21\beta^20.3086+1.16論文 §8 の整数演算による厳密計算（機械検査なし・この端末では再計算していない。§09）

強結合の古典である Osterwalder–Seiler（1978）のクラスター展開の到達範囲は、この章では数値で比べられません（出典表：書誌のみ）。論文 §9 の粗い Kotecký–Preiss の見積もりは β≲0.014\beta\lesssim0.014（Mayer 形）〜0.060.06（指標展開）で、前者は 5-04 表 3 と同じ桁です。一方、指標展開が絶対収束するための必要条件は β\beta が 0.4〜0.8 まで許し、注意深い展開はもっと先へ届きうる。だから論文は強結合の範囲を広げたとは主張せず、「Bakry–Émery の方法の中で定数が 3.27 倍よくなる」とだけ言います。同じ力学の方法は面積則にも使われています（Cao–Nissim–Sheffield）既知。

08

寄り道：完全な族は四次元まで — 符号理論の一行

寄り道

飛ばしてよい節です。

完全な族は Zd\mathbb Z^d で d≤4d\le4 のときだけ存在します Lean（no_perfectZ_of_five、周期の仮定なし。周期 LL の箱では「d≤4d\le4 かつ LL が偶数」と同値：PerfectFamily.perfectK_one_iff、d≥2d\ge2）。10-02 は頂点の数え方で示します。論文の紙の筋は符号理論です。言葉を三つ用意します。長さ nn の 0 と 1 の列の集まりを二元符号、その列を語と呼び、二つの列の Hamming 距離は食い違う座標の数、最小距離は異なる二語の距離の最小です。

単位 dd 立方体の中で、向き μ\mu の族のリンクは残りの d−1d-1 座標（0 か 1）で位置が決まるので、長さ n=d−1n=d-1 の二元符号 CμC_\mu になります。語数は面の数え方から出ます。向き μ,ν\mu,\nu の面は 2d−22^{d-2} 枚あり、各面が族のリンクをちょうど一本含むので ∣Cμ∣+∣Cν∣=2d−2|C_\mu|+|C_\nu|=2^{d-2}、三つの向きで連立すると ∣Cμ∣=2d−3|C_\mu|=2^{d-3} です。三次元の部分立方体の面の条件から、どの二座標を消しても語が区別できる、つまり最小距離は 3 以上です。距離 3 以上の語のまわりの半径 1 の球は重ならないので（Hamming 限界）

2d−3(1+n)≤2n  ⟺  d≤4(d=4: 8=8,d=5: 20>16)(12)2^{d-3}(1+n)\le2^n\iff d\le4\qquad(d=4:\ 8=8,\quad d=5:\ 20\gt16) \tag{12}

d=4d=4 は等号で、長さ 3 の繰り返し符号 {000,111}\{000,111\} が {0,1}3\{0,1\}^3 をちょうど埋めます 計算。この「4」は格子の組合せの数で、物理の四次元時空とは関係しない一致です。d≥5d\ge5 では「高々一本」の族しか取れず（密度 1/d1/d 以下 Lean）、改善は 1.72 倍に落ちます。

09

方法の限界と位置 — 21 と 27・大きい β・SU(N)・何が Lean か

論文 §8 の四つの限界は、「局所的な曲率の方法は定数を動かせても岸は動かせない」ことの別の面です。

(a) 27 と 21。陽な配位で λmin⁡(Hess Φ)=−21β2\lambda_{\min}(\mathrm{Hess}\,\Phi)=-21\beta^2 がちょうど出ます（論文 §8 の Z[eiπ/3]\mathbb Z[e^{i\pi/3}] での整数演算による厳密計算。機械検査なし、この端末では再計算していない）。真の値は 21 と 27 の間、天井は 2/21=0.3086\sqrt{2/21}=0.3086 です。

(b) 大きい β\beta。β\beta が大きいと、先に積分する方が悪くなります。λmin⁡\lambda_{\min} は β=1\beta=1 ではまだ −12.1-12.1 対 −16-16（積分あり対なし）ですが、β=2\beta=2 で −43.1β2-43.1\beta^2（積分なしは −32β-32\beta）と逆転します。どちらの値でも K<0K\lt0 で、判定法は使えません（論文の数値計算。この端末では再計算していない）。§03 と同じく判定法は全ての配位で曲率を要求し、Ric=2\mathrm{Ric}=2 は β\beta で動かないので、閾値は O(1)O(1) を超えません。

(c) 繰り返せない。もう一本積分すると重みは Bessel 型に戻りません 紙。

(d) SU(2)SU(2) だけ。「傾けても揺らぎは増えない」は U(2)U(2)、M=diag(s,0)M=\mathrm{diag}(s,0) で既に偽です。論文が直接測ったのは主に U(N)U(N) の星の定数です。N=2,3,4N=2,3,4 で測った閾値はほぼ一定（βSZZ≈0.093\beta_{\mathrm{SZZ}}\approx0.093）ですが、大きい NN では β∗∼0.0962/N\beta^*\sim0.0962/\sqrt N と見積もられ（論文 §8）、N≳21N\gtrsim21 で Shen–Zhu–Zhu の NN によらない閾値を下回ります。't Hooft の極限で利得は消えます（論文の数値計算と漸近の見積もり。この端末では再計算していない）。

何が Lean か。Lean の定理は (7)・周辺密度 e−Φe^{-\Phi}・三つの因子・(9)・族の d≤4d\le4 です。Ric=2\mathrm{Ric}=2 と判定法は標準の事実 既知、相関の指数減衰と一意性へ進む段（Shen–Zhu–Zhu の議論の移し替え）は定数つきの概略 紙 です。つまり β<0.2722\beta\lt0.2722 での格子単位の質量ギャップは Lean の定理ではありません。論文の探した範囲では同じ組み立ては見当たりませんが、モンテカルロ法の分散低減の文脈で知られているかもしれない、と論文は書きます。

曲率の方法が一様に効くのは CP=O(1)C_P=O(1)、相関長が格子間隔の数倍の世界で、連続極限で欲しいことの反対側です（10-01）。この評価をいくら良くしても問題文の質量ギャップには近づきません。

この章が言えている範囲

事項言えている言えていない
(2)〜(4)・(7)判定法・一リンク積分 既知判定法の細部（原典は書誌のみ）
表 1一本のリンクの隙間は κ\kappa とともに増え、判定法は κ<2\kappa\lt2 だけ 計算格子全体の隙間
§04β<1/12\beta\lt1/12 の換算 既知、積分なしの天井 1/81/8 紙クラスター展開の到達範囲（原典は書誌のみ）
(9)・(11)下界 −27β2-27\beta^2 Lean、曲率の閾値 0.2722最良の定数。質量ギャップは紙の概略。範囲を広げたとは言えない
§08族は d≤4d\le4 Lean物理の四次元との関係（無い）
章全体格子間隔を固定した強結合側の一例連続極限・問題文の質量ギャップについては何も示していない

出典と再現

もの種別出典・道具
§04〜§09 の定理・定数・限界本文 §1〜§11（草稿・未投稿・査読なし）このサイトの論文 “One-link integration before Bakry–Émery for SU(2) lattice Yang–Mills”（2026-09-25 版、論文の一覧）
§04 の条件と引用要旨（本文の番号は上の論文の引用による）H. Shen, R. Zhu, X. Zhu, Commun. Math. Phys. 400 (2023) 805–851, arXiv:2204.12737
(2) の判定法書誌のみD. Bakry, M. Émery, Diffusions hypercontractives, Séminaire de Probabilités XIX (1985) 177–206
§04 の −16β-16\beta より下が無いこと、§09 (a)(b)(d) の値（−21β2-21\beta^2・−12.1β2-12.1\beta^2・−43.1β2-43.1\beta^2・U(2)U(2) の反例・N=2,3,4N=2,3,4 の閾値）論文の計算（この端末では再計算していない）上の論文 §8（数値探索・整数演算。機械検査なし）
§07 の Kotecký–Preiss の見積もり論文の粗い見積もり上の論文 §9
§07 の面積則要旨S. Cao, R. Nissim, S. Sheffield, Dynamical approach to area law for lattice Yang–Mills, arXiv:2509.04688
強結合の古典書誌のみK. Osterwalder, E. Seiler, Ann. Phys. 110(2) (1978) 440–471
Turán 型 F12≥F0F2F_1^2\ge F_0F_2要旨Á. Baricz, S. Ponnusamy, Proc. Amer. Math. Soc. 141(2) (2013) 523–532, arXiv:1010.3346
表 1〜3・図 1・2・§06 の比・(11)(12)この端末で計算Python 3・NumPy・SciPy：gap_s3.py（l=0,1,2l=0,1,2 の三重対角の固有値問題と、表 1 の負の曲率の範囲の重みの数値積分）・onelink_series.py（F12−F0F2F_1^2-F_0F_2 の係数を n≤30n\le30 まで有理数で照合）・star_check.py・thresholds.py

次に読む章：6-01 構成的場の理論とは（二つの岸のあいだ）。族は 10-02 で再び使います。Lean は 手引き・一覧。

← 5-10 有限群の格子ゲージ理論目次6-01 構成的場の理論とは →

改訂 2026-10-01：初版。