2026-10-15 · chapter ヤン–ミルズと質量ギャップ第 15 部 紫外の制御母数・ループの形・引き込む先の類 · Kiichi, Shiori and Rin
この本の全体 目次と読む順
- 第 0 部 入口 — この本の読み方
- 0-01 この本の読み方
- 0-02 一枚の絵
- 0-03 問題文を一語ずつ読む
- 0-04 数学の四次元と物理の四次元
- 第 1 部 数学の準備
- 1-01 ベクトル空間と線形写像
- 1-02 群とは何か
- 1-03 リー群とリー環
- 1-04 SU(2) と SU(3)
- 1-05 多様体と接空間
- 1-06 微分形式と外微分
- 1-07 ベクトル束と接続
- 1-08 確率と測度
- 1-09 無限次元の確率
- 1-10 ヒルベルト空間と自己共役作用素
- 1-11 フーリエ解析と分布
- 1-12 寄り道:四次元でだけ起きること
- 第 2 部 物理の準備
- 2-01 ラグランジアンと作用
- 2-02 場という考え
- 2-03 電磁気学はゲージ理論である
- 2-04 特殊相対論と時空
- 2-05 量子力学の骨
- 2-06 調和振動子と生成消滅
- 2-07 経路積分の考え方
- 2-08 統計力学と相転移
- 2-09 寄り道:イジング模型で見るギャップと相関長
- 2-10 緩和の時間と動的指数 z
- 第 3 部 ヤン–ミルズ理論(古典)
- 3-01 ゲージ原理
- 3-02 非可換ゲージ場
- 3-03 作用と方程式
- 3-04 幾何としてのゲージ理論
- 3-05 インスタントンと位相
- 3-06 寄り道:Donaldson とエキゾチック R⁴
- 3-07 標準模型の中のヤン–ミルズ
- 第 4 部 量子化
- 4-01 正準量子化とハミルトニアン
- 4-02 経路積分とユークリッド化
- 4-03 摂動論と Feynman ダイアグラム
- 4-04 発散と繰り込み
- 4-05 発散の代数
- 4-06 漸近自由
- 4-07 次元転移と Λ
- 4-08 ゲージ固定と Faddeev–Popov
- 4-09 場の量子論の公理
- 4-10 Osterwalder–Schrader の公理と再構成
- 4-11 質量ギャップの定義
- 4-12 寄り道:摂動級数は発散する
- 第 5 部 格子ゲージ理論
- 5-01 Wilson の格子
- 5-02 強結合展開
- 5-03 反射正値性と転送行列
- 5-04 無限体積極限とクラスター展開
- 5-05 弱結合と連続極限
- 5-06 U(1) と非可換の違い
- 5-07 モンテカルロ法
- 5-08 グルーボールと弦張力の測定
- 5-09 何を固定して極限を取るか
- 5-10 有限群の格子ゲージ理論
- 5-11 寄り道:Bakry–Émery と一リンク積分
- 第 6 部 構成的場の理論
- 6-01 構成的場の理論とは
- 6-02 二次元の可解性とヤン–ミルズ測度
- 6-03 スカラー場の構成
- 6-04 クラスター展開
- 6-05 繰り込み群の段の列
- 6-06 三次元ヤン–ミルズの紫外安定性
- 6-07 四次元
- 6-08 四次元の φ⁴ の自明性
- 6-09 確率量子化と正則性構造
- 6-10 四次元で止まる場所
- 6-11 発散以外の障害
- 6-12 寄り道:「1/0 に記号を与えれば」
- 第 7 部 物理の側から
- 7-01 物理はどう見ているか
- 7-02 閉じ込めの機構
- 7-03 弦の絵
- 7-04 大 N
- 7-05 ひも理論と余剰次元
- 7-06 余剰次元が見えなくなる仕組み
- 7-07 ゲージ場はどこから来るか
- 7-08 ホログラフィー
- 7-09 質量ギャップが幾何になる
- 7-10 四次元に戻す
- 7-11 超対称と Seiberg–Witten
- 7-12 等価原理に当たる一文
- 7-13 物理の掘り方が数学と離れる場所
- 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
- 8-01 辞書の読み方
- 8-02 辞書 A
- 8-03 辞書 B
- 8-04 辞書 C
- 8-05 私たちの仮定の物理側の対応
- 地図
- 第 9 部 現在地と課題
- 9-01 世界はどこまで来ているか
- 9-02 二つの掘り方の切れ目
- 9-03 新しい概念の候補
- 9-04 課題の一覧
- 9-05 よくある誤解
- 9-06 証明が含むべき段 — 七段の表
- 一本目の道 — 時間の方向から
- 第 10 部 一本目の道(前半)— 時間の方向から:質量ギャップと拡散型緩和時間の仮定
- 10-00 入口 — 階段と、酔歩・物差し・時計
- 10-01 構成の筋と仮定 ξ²
- 10-02 四次元格子で試した道と壁
- 10-03 階段の四段 — なぜ 0+1 次元から始めるか
- 10-04 二重井戸の経路の測度とキンク
- 10-05 一段目の言明 — 四条件と命題 4.5
- 10-06 (H1) 相の中の局所 Poincaré
- 10-07 (H2) の地図 — 七つの道筋と環の継ぎ目
- 10-08 計算機援用とは何か — 窓の中の鎖の条件
- 10-09 区画の枠組みと道筋 5 の三本の筋
- 10-10 迂回策の一覧 — 壊れ方の型
- 10-11 (H3)(H4) と芯の定数
- 10-12 統合表と依存グラフ
- 10-13 Lean の言明と機械検査の限界
- 10-14 突き合わせ — 記録の数と既知の数
- 10-15 残件と費用 — 定理までの距離
- 10-16 主張しないこと
- 10-17 ひらめきと小さな問い
- 第 11 部 一本目の道(後半)— 仮定の形を直し、時間を連続にする
- 11-00 今後の考察 — 入口
- 11-01 仮定 ξ² を妨げる一つの形 — ほぼ保存される大域の量
- 11-02 物差しと座標を選び直す — 保存が壊れる長さ
- 11-03 仮定 ξ² を直す二つの形 — 区画の仮定 ξ² と局所の仮定 ξ²
- 11-04 片側の橋はどの仮定 ξ² を要るか
- 11-05 時間を連続にする — Hamiltonian 格子と真空の測度
- 11-06 凸性の代わりに稀さで払う — 群の上の繰り込みと対数 Sobolev
- 11-07 四次元だからこそ — 無次元の結合と位相
- 11-08 問いと、主張しないこと
- 11-A1 第 11 部の記号の対応表
- 二本目の道 — 空間の方向から
- 第 12 部 二本目の道:空間の方向から — 小さな捩れた T² と閉じ込め
- 12-00 入口 — 時間でなく空間を
- 12-01 捩れた T² と 't Hooft の流束
- 12-02 渦と分数インスタントン
- 12-03 容器 — 枠を条件づけると独立になる
- 12-04 板の閉じ込め
- 12-05 渦の挿入の恒等式
- 12-06 力学で駆動した挿入と流れの補題
- 12-07 なぜ決まった写像は失敗するか
- 12-08 測った記録
- 12-09 この道が止まる場所 — T² を広げることが帯である
- 移り変わりの帯 — 二本の道が同じ壁に着く
- 第 13 部 移り変わりの帯 — 二本の道が同じ壁に着く
- 13-00 入口 — 合流
- 13-01 帯の正しい形
- 13-02 一つの不等式への還元
- 13-03 非可換が効く唯一の場所
- 13-04 構造だけでは渡れない
- 13-05 チェス盤と同時の反転
- 13-06 繰り込みの比較 — 群を区別する比較
- 13-07 時間の側から見た帯
- 13-08 試して止まった道の地図
- 13-09 測った記録
- 13-10 新しい見方の候補
- 13-11 紫外の制御 — 無限個の段で閉じるとは何か
- 閉じる
- 第 14 部 閉じる — 条件つきの言明
- 14-00 入口 — この部の約束
- 14-01 条件つきの言明 — 質量ギャップと閉じ込めを矢印ごとに
- 14-02 条件の台帳
- 14-03 問いの表(横断の索引)
- 14-04 主張しないこと(横断の索引)
- 紫外の壁 — 二本の道の下にある土台
- 第 15 部 紫外の制御 — 無限個の段で閉じるとは何か
- 15-00 入口 — 紫外の制御とは何か
- 15-01 紫外の難しさ — 無次元の結合・群値の場・ゲージ
- 15-02 原典の地図 — Bałaban の計画・BBS の鎖・原典に無い二行
- 15-03 分解の言明 — 有限個の母数で閉じる類と三つの剰余
- 15-04 一リンクの熱核の類と階層模型
- 15-05 束の網の定理 — 横の縮みと母数の流れを一つの射影で
- 15-06 母数の数え方 — ループの形ごとの結合と引き込む先の類
- 15-07 背景に依る揺らぎ η — 一段ごとの吸収
- 15-08 閉じない四行と、その案
- 15-09 言えないこと・問いの索引・依存の図
- 付録
- A-01 記号表
- A-02 用語集
- A-03 文献案内
- A-04 Lean と機械検査
- A-05 この本の作り方
- A-06 仮定の索引
- A-07 この本から出た論文
母数の数え方 — ループの形ごとの結合と引き込む先の類
この章で分かること — 15-03 §02 の (Cls)「類が有限個の母数で閉じる」の母数を、何を座標にして数えればよいかを、プラケットを一枚ずつ増やした最小の系で見ます。一枚では背景依存が結合の置き換え一つに吸収されること、二枚・三枚では交換子が合成のループの結合の像にすぎないこと、四枚ではループの形ごとの結合の比が β で動くこと、熱核に替えても群の曲がりの分 2/(3β) が残ること。比を 2 に保つ作用を探すと、前因子の冪を動かす族には根が無く、基本+随伴の族には根があるが、その曲線は一段の流れで閉じないこと。最後に、一段の写像が作用の形の座標を全て縮め、前因子の冪の一意の固定点(ψ4 で 37/76)へ引き込むので、(Cls) は「比 2 を保つ類」でなく「引き込む先の一母数の類 + 縮む形」として言明するのがこの模型と整合すること。
前提となる章 — 15-03 §02(分解の言明)・15-03 §04(横の縮みの帳簿)・15-04 §01(熱核の半群)・15-05 §02(束の網)・15-07 §02(背景依存 η)。SU(2) を単位四元数(三次元球面 S3)と見ること、指標展開、Laplace の方法(鞍点の近似)を使います。
先に言うこと — この章の系は全て SU(2)(対照に U(1))の一枚〜一列四枚のプラケットで、背景の場の強さを小さく(ホロノミーの角 θ≤0.3)取ったものです。一段は一つの粗い面の周辺分布で見る一段(本当のブロック化の一段ではない)の、さらに小さな版です。§07・§08 の写像は一列四枚・二本のループ・対角の定義・主項(B→∞)の写像です。どの文も四次元の格子の一段・ブロック平均・大きな場・ゲージの張り替えについて何も言いません。
00
この章で分かること
- (Cls) の母数を数える座標は「F2 の係数と交換子の係数」ではなく、ループの形ごとの結合です。交換子の係数は合成のループの結合の BCH の像として後から付いてきます(§02・§03)。
- 一列四枚では二つ目の座標(比 κab/κa)が O(1/β) で動き、その一部 2/(3β) は作用を熱核に替えても消えない群の曲がりの分です(§04・§05)。
- 比を全ての β で 2 に保つには指数の四次がガウスより急な作用(q/B=−1/12)が要り、前因子の冪の族には根が無く、基本+随伴の族には β≥12 で根があります(§06)。
- その根の曲線は一段の流れで閉じず、ずれは O(1)(9/89)に留まります。一段の写像は作用の形の座標を全て縮めるからです(§07)。
- 前因子の冪は一次の縮小写像に従い、一意の固定点 γ∗=37/76(ψ4)に引き込まれ、そこでの比は 2+(2/3)/B です。(Cls) は「引き込む先の一母数の類 + 縮む形」として言明できます(§08・§09)。
01
一枚 — 背景依存の型と、拘束つきの吸収
規約:SU(2) を単位四元数で書き、21trU=ReU、背景 W=exp(ia⋅σ/2)(a∈R3、角 θ=∣a∣)。数値は β=4〜32、θ≤0.3 で測ったものです。
一枚のプラケット(四リンク)の上で、背景のホロノミー W のまわりの揺らぎの測度 μW を考えます。15-07 の ηk の最小の模型です。四リンクの 12 次元のうち、ゲージの向きの 9 次元の条件つき法則は W に依らず、背景依存はホロノミーの 3 次元に集まります 初(Haar 測度の不変性)。揺らぎ X=ix⋅σ/2(r=∣x∣)に背景の生成子の向きを抜く拘束 x3=0 を置くと(背景場の拘束の最も小さな代用)、21tr(WeX)=cos2θcos2r なので
μWβ=μ1βcos(θ/2)(1)
が正確に成り立ちます 初。背景依存は結合の置き換え β↦βcos(θ/2) ひとつに全部入ります。共分散の比で測った η は θ2/8、スコアは θ/4 で、どちらも β に依りません(主項 初。求積と Monte Carlo の二経路で主項との比 0.98〜1.00 読)。
- 拘束が無いと小さくない。背景を臨界点に取らないと、共分散の比は βθ2/12 で β とともに増えます 読。背景依存が背景に一様に小さいための最小の条件は「背景が拘束つきの臨界点であること」と、この一枚で読めます。
- 一段の結合の写像。揺らぎを積分した背景の重みは、拘束つきで βeff=β−d/2+O(1/β)(d は揺らぎの次元。d=2・β=64 で β−βeff=1.005)です 読(揺らぎの次元の数え上げとしては 初・一ループの水準)。
- η の源は非可換性ではない。U(1) の対照では二次の作用(ガウス)でだけ η=0 で、cos の作用では同じ θ2 の型の η が出ます 読。源は作用の非二次性(群のコンパクトさ)です。η を一つの数で測ると型が変わる(共分散の比は θ2、Kullback–Leibler の量は θ4、スコアは θ)ので、言明には「どの η か」を書き込む必要があります 読。
02
二枚 — 交換子は BCH の像
共有リンク一本の 2×1 の長方形で、外周のループ W=P1P2 を固定します(P1,P2 は二枚のホロノミーで、木のゲージの後は独立な Haar)。拘束つきの最小点は二枚が同じ向きに半分ずつ傾く P1=P2=W1/2 で、P1=W1/2eX、P2=e−XW1/2 と置くと
ReP1+ReP2=2cos4θcos2r(2)
が正確に成り立ちます 初。作用は揺らぎについて偶で、一枚で「一次を引く」代用をしたときに出た奇の三次の項は、真の拘束つき最小点では消えます(数値でスコアの奇の部分 ≤3×10−12)読。揺らぎを積分した重みは W の類だけの関数 Z1(β∣1+W∣)、Z1(b)=2I1(b)/b(熱浴法の一リンクの分布と同じ積分)で 初、一段の結合は βeff=β−43+O(1/β) です(初・一ループの水準。β=4→32 で β−βeff=0.723→0.747 読)。背景の二枚の場の強さ a,b の交換子は、群の積 eF1eF2 の BCH を通してだけ入ります:
θW2=∣a+b∣2−121∣a×b∣2+O(∣F∣5)(3)
初(BCH の三次までの切り詰めの下の代数)。だから重みの ∣a×b∣2 の係数 c は F2 の係数 k の 1/12 に縛られ、β=4〜32 で c/k=1/12 が 10−8 まで成り立ちます 読。交換子はこの段で新しい母数ではありません。
03
三枚 — 単独と合成のループが 1:1:1
一列三枚で、重なった二つの 2×1 のループ Wa=P1P2、Wb=P2P3 を固定し中央の P2 を積分すると、重みは Z1(β∣Q∣)、Q=1+Wa+Wb で
∣Q∣2=3+2ReWa+2ReWb+2Re(WaWb−1)(4)
です 初(直接の求積と 3.5×10−15 で一致 読)。単独のループ二つと合成のループ WaWb−1 を 1:1:1 で含みます。SU(2) の二元の組の同時共役の不変量は三つの跡 ReWa,ReWb,Re(WaWb−1) で決まるので 初(二つの虚部のベクトルは長さと内積で回転を除いて決まる)、ゲージ不変な二ループの重みはどれも三つの類の角の関数です。合成のループの類の角を参照にとると、交換子の係数は合成のループの二次の結合 κab の 1/12 に必ずなります 初((3) がそのまま入る)。一段の結合は 12k=β−21+O(1/β) です 読。単項式の基底で測った「交換子の係数」は β で動いて見えますが、交換子を持たない合成関数でも同じ大きさで出るので、交換子の量ではありません 読。
04四枚 — ループの形ごとの結合の比が β で動く
一列四枚で、重なった二つの 3×1 のループ Wa=P1P2P3、Wb=P2P3P4 を固定し、中の二枚を積分します。U=P2P3 と置くと
w(Wa,Wb)=∫dU Z1(β∣1+U∣)exp(β⟨Wa+Wb,U⟩),⟨p,q⟩=Re(pqˉ)(5)
です 初。w は ReWa+ReWb と Re(WaWb−1) の二変数の関数で、三枚の ∣Q∣ の一変数には潰れません(同じ ∣Q∣ の背景で logw が 1.8×10−2 動く、β=4)読。二次の結合を
−logw=定数+κa(θa2+θb2)+κabθab2+O(F4)(6)
で定めます(θab は合成のループ WaWb−1 の類の角)。木(可換化したガウスの最小化)は比 κab/κa=2 初、一ループの主項は κa,κab ともに −401 で比 1 です。合わせて
40κa=β−1,20κab=β−21,κaκab=β−12(β−21)+O(β−2)(7)
(はじめの二つは +O(1/β))初・一ループの水準。数値は κab/κa=2.3211, 2.1409, 2.0662, 2.0322(β=4,8,16,32、二経路が 7.8×10−12 で一致)読。比が動く理由は「木の形 ≠ 一ループの形」です。木の二次形式は格子の幾何で 1:2、一ループの二次形式は測度で 1:1 に決まり、二つが平行でないので合計の向きが β で回ります。U(1) の cos の作用でも比は 2+0.2/β で動き、U(1) の Villain の作用では全ての β で 2 です 読。ブロック化の一段で大きなループの項が生まれその係数が結合に依ること自体は、改良作用の考え方と同じ向きの既知の型と思われます(原典は照合していない)。
05
熱核と判定式 — 群の曲がりの分
各プラケットの重みを SU(2) の熱核 pt(指標の係数 (n+1)e−tn(n+2)/2)に替えると、内側の二枚は半群性 pt∗pt=p2t でまとまり
w(Wa,Wb)=∫dU p2t(U)pt(WaU−1)pt(U−1Wb)(8)
です 初。それでも比は 2.2090, 2.0927, 2.0439, 2.0214(t=1/4,…,1/32、二経路が 7.6×10−12 で一致)読、一ループで 2+32t+O(t2) です 初・一ループの水準。U(1) の熱核(Villain)では全ての t で 2 です 初。
理由は一行の判定式に書けます。外側の核を eF(ψ)、内側の核を G(ψ)(どちらも類関数、ψ は単位四元数の角)とし、測度 sin2ψGe2Fdψ の期待値を E と書くと、部分積分で
κa=24E[F′(logG)′],κab=24E[F′2],κaκab=2⟺D:=E[F′(F′−2(logG)′)]=0(9)
です 初(F,G が [0,π] で滑らかな類関数で、端の項が消える条件の下で)。各点の十分条件は内側が外側の平方根 G∝eF/2 です。平坦なガウスでは半群 p2t と平方根 pt1/2 が同じものなので比は 2 に留まり、曲がった群では二つが割れます。SU(2) の熱核は半群ですが、Van Vleck の前因子 P(ψ):=ψ/sinψ が pt と p2t に同じ冪で入るので平方根になりません。測地距離のガウス e−ψ2/(2t) は平方根の関係を満たしますが半群ではありません 初(数値でも比が全ての t で 2、3×10−12 読)。t と β を基本表現の係数で合わせると、比のずれの主項は Wilson で 1/β、熱核で 2/(3β)。熱核に替えても消えない 2/(3β) が群の曲がりの分、残り 1/(3β) が作用の非二次性の分と読めます 読(主項・この系・二次)。
表 1 最小の系の母数の数え方(SU(2)・θ≤0.3・β=4〜32。重みの式は 初、数値は 読)
| 系(固定するもの) | 揺らぎを積分した重み | 二次の結合 | 交換子の係数 | U(1) の対照 |
| 一枚(背景 W、拘束 x3=0) | μWβ=μ1βcos(θ/2)((1)) | βeff=β−d/2 | —(交換子が作れない) | cos の作用で同じ θ2 の η、ガウスで 0 |
| 二枚(外周 W) | Z1(β∣1+W∣) | βeff=β−43 | k/12((3)) | 0 |
| 一列三枚(重なった Wa,Wb) | Z1(β∣1+Wa+Wb∣) | 単独:単独:合成=1:1:1、12k=β−21 | κab/12 | 0 |
| 一列四枚・Wilson | (5)(二変数の関数) | κab/κa=2(β−21)/(β−1) | 合成のループの結合の BCH の像 | cos で 2+0.2/β、Villain で 2 |
| 一列四枚・熱核 | (8) | κab/κa=2+32t | 同上 | 熱核(Villain)で 2 |
06
比を保つ作用の探索 — 一ループの一般式
判定式 (9) を全ての β で満たす作用(一列四枚で一母数で閉じる作用)は在るか。恒等元に集中する作用を logf=定数−Bψ2/2+qψ4+⋯(B は木の結合、q=O(B))と書き、内側の核の補正を Brown 橋の平均(平坦の近似)で数えると
D=52+524Bq+O(B1),E[F′(logG)′]=53B+O(1),κaκab=2+53BD+O(B−2)(10)
です 初・一ループの水準。52 は群の曲がり(Van Vleck の前因子 logP=ψ2/6+⋯)から、524q/B は指数の四次(非ガウス性)から来ます。ψ2 の乗法的な補正は木の結合 B のずらしに吸収され D に入りません 初。較正:Wilson(q=β/24)で D=53・比 2+1/β、熱核(q=0)で D=52・比 2+2t/3、U(1) では D=2524q/B(cos で 251、Villain で 0)で、§04・§05 の値を全て再現します 読。
- 前因子の冪の族に根は無い。f=eβcosψ(ψ/sinψ)γ では、二次の結合が在る γ<21 で、測った格子 γ∈[−2,0.45]・β∈{4,8,16,32} の全点で D∈[0.534,0.600]、延長 γ≥−128 でも D≥0.343、γ について単調増加で符号の変化はありません 読(二経路が ≤6.5×10−9)。一ループでも γ=cβ(c<3)の全てで D>8/25 です 初・一ループの水準。γ≥21 では ψ=π の特異点が重なり二次の結合そのものが無く、γ≥23 では重み自体が発散します 初。前因子の冪は ψ2 の補正で B に吸収され、曲がりの 52 は動かない、というのが理由です。
- 基本+随伴の族には根がある。(10) から D=0 には q/B=−121(ガウスより急な四次)が要ります。F=βcosψ+ρβcos2ψ は B=β(1+2ρ)、q=β(241+3ρ) で
D=52+511+2ρ1+8ρ+O(B1),一ループの根 ρ=−41(11)
初・一ループの水準。数値の根は ρ∗(β)=−0.318,−0.279,−0.264,…,−0.2516(β=16,32,64,…,512、二分法と二経路で比 2 を 3×10−10)、ρ∗=−41−0.84/β+O(β−2) です 読。β≤10 では測った格子に根が無く(最小 D=+0.029)、根は β=10 と 12 の間で現れます 読。
- 一段だけ一母数。どちらの族でも f∗f は同じ族に入りません(当てはめの残差が熱核の対照の 105 倍以上)読。根の作用を取っても、一段の後の内側の核が族の外に出るので、次の段に同じ判定を使えません。各点の平方根の関係 f∗f∝f1/2 は、集中した類関数では一ループの水準で満たせません 初(ψ の係数 −31 が残る)。
07
比 2 の曲線は流れで閉じない
根の曲線 ρ∗(β) が一段の写像で自分に戻るかを見ます。一段後の外側の核を対角で f′(ψ):=w(W,W)1/2=[(f∗f)∗f2]1/2(W) と定め(対角の定義:Wa=Wb では合成のループの角が 0 なので)、ψ2 と ψ4 の Taylor 係数で基本+随伴の族に当て直して (β′,ρ′) を読みます。
木の写像。外側を F=−Bx2/2+qx4+⋯ とすると、平坦・共線の鞍点(1 と W を結ぶ測地線の上、u0=4w/5)で
B′=5B,(Bq)′=12517Bq+O(B1),ψ2k の形の座標は 52k−14k+1 倍(12)
です 初・木(鞍点の主項)。鞍点が共線なので交換子と群の曲がりは木に入らず、一ループの O(1/B) にだけ入ります。(10) と合わせると、比 2 の曲線 q/B=−121 の像は q/B=−150017、基本+随伴では
ρ′=−35653,ρ′−ρ∗=899≈0.101,D(像)=625216(13)
です 初・木(代入の代数)。数値は ρ′−ρ∗(β′)=0.160, 0.127, 0.113(β=128,256,512 から出発、β′=17.8,36.1,72.5)で 9/89 に O(1/β′) で寄ります 読(二経路が q′ で ≤6×10−9)。三つ目の座標 σβcos3ψ を足しても、D は 0 に戻りません(σ は D に O(1/B′) でしか入らない)読。一段は形の座標 q/B を縮め、流れをガウスの側へ引き込む。比 2 の条件は SU(2) では縮む方向の上の O(1) 離れた点にあるので、曲線は閉じない、と読めます。U(1) では比 2 の線 q/B=0 が木の写像の固定点そのもの(Villain)なので閉じます 読。
08
前因子の冪の流れと、引き込む先の類
では流れはどこへ引き込むのか。類関数を f=exp(−Bψ2/2+h(ψ))(h=O(1))と書き、B→∞ で引数を止めた Laplace の方法の主項で一段を追います。SU(2) を半径 1 の S3 と見ると、二つの核の畳み込みの鞍点は 1 と W を結ぶ測地線の上にあり、横の二方向の Hessian の行列式から前因子 P の比が出て
hf∗g(w)=h1(a)+h2(b)+logP(w)−logP(a)−logP(b)+定数+O(1/B)(14)
です(a,b は鞍点の分け目)初・Laplace の主項。g:=h−logP と書けば、g は畳み込みで平坦な木と同じに運ばれます。熱核(g=0)が保たれるのはこれで、半群性の言い換えです。積(同じ点の二乗)は前因子を一つ余らせ、平方根はそれを半分にします。一段 f′2=(f∗f)∗f2 を代入すると、ψ2k から読む前因子の冪 γk:=hk/pk(logP=∑pkψ2k、p2=1801)は
γk′=25k4k+1(γk−1)+21+25−k,ψ4 で γ′=62517γ+296(15)
という一次の縮小写像に従います 初・Laplace の主項(係数の代数)。一意の固定点は
γk∗=2(25k−4k−1)25k−2⋅4k−1,γ2∗=7637,γ3∗=38901937,γk∗→21,(Bq)∗=13680B37(16)
です 初。熱核の冪 1 は一段で 313/625 に移り、前因子の冪が 1 から約 21 に変わって見えることの説明になります。縮み率は 21 ではなく 62517(ψ4)で、21 は固定点の値です。数値:γ2′,γ3′ の B=32〜256 からの外挿が (15) と ≤10−7、B を保った反復で四つの出発(γ=0,21,1,2)と q/B=−121 の出発が 17/625 の比で同じ点へ集まり、(16) の h∗ を入れた一段の外挿が 37/76 と 1.4×10−8 です 読(二経路:指標の級数と一次元の重積分)。
引き込む先の比。(10) に (q/B)∗=O(1/B) を入れると、引き込む先の類の上で
κab/κa=2+c/B+O(B−2),c=3/52/5=32
です 初・一ループの水準(数値の外挿 0.666667、二経路 1.8×10−9 読)。c は h∗ に依らず熱核と同じで、引き込む先の類は二次の比の主項では熱核と区別がつきません。U(1) では非斉次項が無く、固定点は Villain(h=0)、c=0 です 初。
09
(Cls) の言明の形
§01〜§08 をまとめると 読(一列四枚・二本のループ・対角の定義・主項に限る):(Cls) の母数の座標はループの形ごとの結合で、交換子はその BCH の像です。一段は形の座標を全て縮め(表 2)、族は「B 一つ + 群の曲がりで決まる O(1/B) の形 h∗」に引き込まれます。比 2 は母数で調整できる座標ではなく、引き込む先で 2+2/(3B) となる一ループの量です。だから (Cls) は「比 2 を保つ類」ではなく、「引き込む先の一母数の類 + (Rem-shape) で運ぶ縮む形」として言明するのがこの模型と整合します。形のずれ rn が一段で rn+1≤λrn+C/Bn(Bn=B0/5n)を満たすと仮定すれば rn≤λnr0+C/((5−λ)Bn) で、15-03 §04 の幾何級数の型で閉じます 初(一段の不等式は仮定。定数 C の存在は数値で見ただけ)。
表 2 一段の写像の座標と縮み(SU(2)・一列四枚・対角の定義・Laplace の主項。紙は 初、測った値は 読)
| 座標 | O(1) の単位での一段の倍率 | 形の座標(÷B、B′=B/5)での倍率 | 測った値 |
| B(流れる一母数) | 1/5 | — | 5B′/B=0.998(B=256) |
| ψ4(q・冪 γ2) | 17/625 | λ=17/125=0.136 | 反復の比 0.02720・q/B の縮み 0.1223→0.1325(β=128→512) |
| ψ6(γ3) | 13/3125 | 13/625 | 反復の比 0.00414 |
| ψ8(γ4) | 257/390625 | 257/78125 | — |
| 一般の ψ2k | (4k+1)/25k | (4k+1)/52k−1 | — |
表 3 この章から出る問い(状態:新)
| 問 | 問い | 大きさ | 決着したら動くもの | 決着しても動かないもの |
| F-UV8 | 一列四枚の一段の写像の O(1/B) の補正を紙で出し、(Rem-shape) の一段の不等式 rn+1≤λrn+C/Bn の定数 C を与えられるか(仮定つきの幾何級数を、この模型の中で仮定なしにする) | 紙 | 引き込む先の類の (Rem-shape) | 四次元の格子の (Cls) |
| F-UV9 | 一列四枚以外のループの形(2×2・L 字・混じった四次)を含めても、引き込む先の類が一つ(B + 固定の形)に定まるか。対角の定義を六つの四次の係数への当てはめに替えても固定点が動かないか | 紙と小さな計算 | (Cls) の母数の個数 | 本当のブロック化の一段 |
10
言えないこと
(a) この章の系は SU(2) の一枚〜一列四枚・θ≤0.3・F の二次(§07・§08 は四次の Taylor 係数まで)で、四次元の格子に埋めたブロック・ゲージの張り替え・大きな場を含む一段の数ではありません。
(b) 「二次の水準で二つの座標が要る」は一列四枚・二つのループを固定した読みで、四次(交換子の向き)とブロック変数が三つ以上の系は見ていません。
(c) 前因子の冪の族に根が無いことは、測った格子の上の数値と一ループの水準の不等式で、全ての作用についての文ではありません。基本+随伴の根は β≥12 の数値で、−0.84/β の係数は外挿です。
(d) §07・§08 の写像は対角の定義 f′=[(f∗f)∗f2]1/2 と主項(B→∞)の写像で、混じった四次は入らず、B=O(1) の強結合の域には使えません。(Rem-shape) の一段の不等式は仮定です。
(e) 「一母数で閉じる作用は無い」とも、「(Cls) が有限個の母数で閉じる」とも言っていません。言っているのは、この模型で形の座標が全て縮み、引き込む先が一つに定まる、という主項の文です。
(f) この章は紫外の制御 ① を示しません。
11
五分類の表と依存グラフ
表 4 この章の行
| 行 | 言明(一行) | 分類 | 根拠 | 範囲 |
| [01] | 一枚:拘束つきで μWβ=μ1βcos(θ/2)((1))、ゲージの向きは背景に依らない | 初 | §01 | 拘束 x3=0 は背景場の拘束の代用 |
| [02] | βeff=β−d/2、U(1) の cos でも同じ型の η | 読 | §01 | 一枚・β=4〜64・θ≤0.3 |
| [03] | 二枚 (2)(3)・三枚 (4):交換子は合成のループの結合の 1/12 | 初・読 | §02・§03 | BCH の三次まで・β=4〜32 |
| [04] | 四枚:比 κab/κa=2(β−21)/(β−1) が動く((5)〜(7)) | 初・読 | §04 | 主項は一ループの水準・数値は二経路 |
| [05] | 熱核で 2+2t/3、判定式 (9) | 初・読 | §05 | 類関数・端の項 0 |
| [06] | 一ループの一般式 (10)・基本+随伴の一ループの根 −41((11))・γ=cβ で D>8/25 | 初 | §06 | 一ループの水準・集中した作用 |
| [07] | 前因子の冪の族に根なし・基本+随伴の根 ρ∗=−41−0.84/β・一段だけ一母数 | 読 | §06 | β∈{4,…,512}・測った格子・二経路 |
| [08] | 木の写像 (12)・像 (13):ずれ 9/89 | 初 | §07 | 木(鞍点の主項)・対角の定義 |
| [09] | 曲線のずれの数値 0.160・0.127・0.113 → 9/89 | 読 | §07 | β=128〜512 の出発 |
| [10] | (14)(15)(16):前因子の冪の縮小写像・固定点 37/76・c=2/3 | 初 | §08 | Laplace の主項・一列四枚・対角の定義 |
| [11] | (15)(16) の数値の外挿・反復の収束 | 読 | §08 | B=32〜256・二経路 |
| [12] | (Cls) を「引き込む先の一母数の類 + 縮む形」として言明する形・問い F-UV8・F-UV9 | 仮 | §09 | 言明の形・一段の不等式は仮定 |
依存グラフ(前提の番号は結論の番号より小さい):
[01] 初 ONE 一枚:(1) 拘束 x₃ = 0
[02] 読 BEFF β_eff = β − d/2 ⟸ [01]
[03] 初 BCH 二枚・三枚:交換子は合成のループの像 ⟸ [01]
[04] 初 FOUR 四枚:比が β で動く ⟸ [03] 一ループの水準
[05] 初 CRIT 熱核 2 + 2t/3・判定式 (9) ⟸ [04]
[06] 初 D1 一ループの一般式 (10)(11) ⟸ [05] 集中した作用
[07] 読 ROOT 前因子の族に根なし・基本+随伴の根 ⟸ [06]
[08] 初 TREE 木の写像 (12)・ずれ 9/89 (13) ⟸ [06] 対角の定義
[09] 読 GAP ずれの数値 ⟸ [07][08]
[10] 初 FIX 前因子の冪の固定点 37/76・c = 2/3 ⟸ [06][08] Laplace の主項
[11] 読 FIXN 固定点の数値 ⟸ [10]
[12] 仮 CLS 引き込む先の類の言明・F-UV8・F-UV9 ⟸ [09][10][11]
全ての「⟸」の右の番号は左より小さく、円はありません。仮定の行は [12] だけで、言明の形と問いです。
この章が言えている範囲
| 言えている | 言えていない |
| 初 一枚から四枚までの重みの式 (1)〜(8)・判定式 (9)・一ループの一般式 (10)(11)・木の写像と 9/89・前因子の冪の縮小写像と固定点 37/76・c=2/3 | 四次元の格子の一段での同じ数。四次の係数・ブロック変数が三つ以上の系 |
| 読 比が β で動く数値・前因子の族に根なし・基本+随伴の根・曲線のずれの数値・固定点への反復の収束 | 全ての作用についての「根なし」。O(1/B) の補正の紙の式 |
| 仮 (Cls) を引き込む先の一母数の類 + 縮む形として言明する形 | その類が四次元で閉じること |
出典と再現
| もの | 種別 | 出典・道具 |
| S3 の熱核の形(e−ψ2/2t⋅ψ/sinψ と鏡像)・指標展開・Laplace の方法・Van Vleck の前因子の合成 | 典 | リー群の上の調和解析と漸近展開の標準の事実(書誌は 15-04 の出典表に準じる) |
| (1)〜(16) の式・判定式・一ループの一般式・木の写像・前因子の冪の写像 | 初 | この章の本文の証明と代数。係数の代数と三角の恒等式は本書の検討で機械検査の記録があり、本体の再検査も済んでいる(15-09 表 3) |
| 表 1・表 2 の数値・§06〜§08 の数値 | 読 | 本書の検討の数値の記録(求積と閉じた式の二経路・四元数の Monte Carlo・指標の級数と一次元の重積分の二経路・U(1) の Wilson と Villain の対照・熱核の陽性対照) |
この章で使った語 — ループの形ごとの結合・合成のループ・判定式・群の曲がり・Van Vleck の前因子・一段だけ一母数・対角の定義・木の写像・前因子の冪・引き込む先の類・(Cls)。意味は A-02 用語集 にあります。
次に読む章:15-07 背景に依る揺らぎ — §01 の一枚の η を、一段ごとの吸収と多段の帰納の問題として。
改訂 2026-10-15:初版。13-11 の §12 (a)〜(g)・式 (16)〜(24)・表 7 を移し、一ループの一般式、前因子の族と基本+随伴の族の探索、比 2 の曲線が流れで閉じないこと、前因子の冪の流れと固定点、(Cls) の言明の形、問い F-UV8・F-UV9 を足した。
2026-10-15(同日):Lean の記録の再検査が済んだことを範囲の表に反映した。