格子ゲージ理論の繰り込み群:Bałaban と Dimock の原論文
Bałaban による 4 次元格子ゲージ理論の繰り込み群(小場の有効作用・局所化・クラスター展開・紫外安定性、1987–88)と
想定読者: 研究者・博士課程以上(数理物理)
前提テーマ:構成的場の理論の原論文:反射正値性・クラスター展開・自明性、構成的場の理論と Euclid 手法、格子場の理論、コンパクト群の表現
目次
- 第 1 章準備 1:ゲージ場のブロック平均と平均化された輪郭変数 — Bałaban『Averaging operations for lattice gauge theories』(1985) の結果本格子ゲージ場のブロック平均操作を精読する。平均がプラケットの正則性をスケールどおりに保つこと、ゲージを付け替えた合成平均の線形化と汎関数微分の評価、解析性、ゲージ変換の平均、Federbush の群平均と Euclid 共変性を証明する。
- 第 2 章準備 2:正則なゲージ場配位の空間と軸ゲージ・Landau ゲージ — Bałaban『Spaces of regular gauge field configurations on a lattice and gauge fixing conditions』(1985) の結果本Bałaban (CMP 99, 1985) を精読する。正則配位の空間と領域列を定義し、軸ゲージのボンド評価・Lemma 1・(1.65)、基本評価 (1.54)、軸ゲージから Landau ゲージへの変換の存在と一意性(Theorem 2・4)とその逆・一般化を証明する。
- 第 3 章準備 3:背景場中のプロパゲータと一般化ランダムウォーク展開 — Bałaban『Propagators and renormalization transformations I, II』(1984)・『Propagators for lattice gauge theories in a background field』(1985) の結果本Bałaban のプロパゲータ 3 論文の結果を、Landau ゲージの代数的恒等式、平均化の Jensen 不等式による二次形式の下界と運動量展開、重みつき核ノルムの一般化ランダムウォーク展開、背景場への局所化と解析接続の順に証明する。
- 第 4 章準備 4:変分問題と背景場 — Bałaban『The variational problem and background fields in renormalization group method for lattice gauge theories』(1985) の結果本平均を固定した正則なゲージ場の空間で Wilson 作用の臨界軌道がただ 1 つで最小であること(Theorem 1)を、線形化変換・縮小写像・局所座標で証明し、最小配位の解析性と、データについての汎関数微分が木の長さで指数減衰することを示す。
- 第 5 章準備 5:3 次元の格子純ゲージ理論の紫外安定性と大場の扱い — Bałaban『Ultraviolet stability of three-dimensional lattice pure gauge field theories』(1985) の結果本Bałaban (CMP 102, 1985) を原文と照合して精読する。大場・小場の分解、揺らぎ積分の線形化、半単純性による関連項の消滅、最小配位の局所性、大場の小因子の和を証明し、作用素の局所化された展開と揺らぎ積分のポリマー展開の 2 つを明示した仮定として、ブロックの大きさ L が大きい場合(L≥211)に、3 次元の紫外安定性(密度の下界と分配関数の上下界)を条件つきで導く。
- 第 6 章Bałaban の先行論文(準備 3 の 2):自由場の多尺度プロパゲータの一様評価(CMP 89・95・96)本背景場のない格子ゲージ理論のプロパゲータについて、正値性・指数減衰・差分と Hölder の一様評価を、Agmon の重みつきエネルギー評価と格子 Green 関数の核評価、多スケールの局所的なゲージの貼り合わせで、任意の多スケールの領域の列について証明する。
- 第 7 章Bałaban の先行論文(準備 3 の 3):背景場つきプロパゲータの正則性・局所展開と二次形式の下界(CMP 95・96・99)本Bałaban のプロパゲータ論文の残りの主張(ℓ² の 2 階差分、背景場つき Hölder 評価、表示 (3.185))と、RG 論文が仮定した G₀ とレゾルベントの局所化された展開・二次形式の一様な下界を証明する。
- 第 8 章Bałaban『Renormalization group approach to lattice gauge field theories I』(1987):部 1 — 設定・小場のくりこみ変換・帰納的仮定(§0–§2)本Bałaban の RG I の §0–§2 を精読する。Euclid 共変なゲージ固定、局所化領域の和の評価、有効作用の帰納的仮定、揺らぎ場積分への書き換え(臨界点・展開・線形化変換・新しい作用の表示・対称性)を証明する。
- 第 9 章Bałaban『Renormalization group approach to lattice gauge field theories I』(1987):部 2 — 揺らぎ場の積分の展開と解析接続(§3)本Bałaban の RG I の §3 を精読する。1 の分割による第 1 の局所化、Cauchy 積分による解析接続と指数減衰の取り出し、局所化した最小配位による 5 次までの展開と Lemma 4(正則性の伝播)を、原論文が省いた計算を補って証明する。
- 第 10 章Bałaban『Renormalization group approach to lattice gauge field theories I』(1987):部 3 — Ward–Takahashi 恒等式・真空偏極テンソル・β 関数(§4–§5)本Bałaban の RG I の §4–§5 を精読する。ゲージ不変性から Ward–Takahashi 恒等式の系列を導き、揺らぎ場の 3 次・4 次の項を 2 次の核に還元し、真空偏極テンソルの運動量表示から β 関数を定めて限界項の相殺を証明する。
- 第 11 章Bałaban『Renormalization group approach to lattice gauge field theories II: Cluster expansions』(1988):部 1 — 揺らぎ場の作用の局所化(§1)本Bałaban の RG II の §1 を精読する。プロパゲータのランダムウォーク展開に補間パラメータを入れ、微積分の基本定理・成分の分離・Cauchy 評価で揺らぎ場の作用を局所化し、Lemma 1・2 を証明する。
- 第 12 章Bałaban『Renormalization group approach to lattice gauge field theories II: Cluster expansions』(1988):部 2 — 指数化クラスター展開と帰納的仮定の証明(§2)本Bałaban の RG II の §2 を精読する。Mayer 展開・条件付きガウス積分・補間パラメータで活動度を局所化し、複素ガウス積分の評価と再和で Lemma 3 を示し、指数化クラスター展開で論文 I の帰納的仮定を完成させる。
- 第 13 章Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988):部 1 — 大場を含む最初のくりこみ変換(§0–§1)本大場の領域を含めた最初のくりこみ変換を、1 の分解・軸ゲージ固定・境界つきの臨界点・揺らぎ場の特性関数・大場領域への局所化・条件付き積分の順に証明つきで追い、第 1 段の密度の表示 (1.28)–(1.30) を導く。
- 第 14 章Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988):部 2 — 完全な有効密度の帰納的記述と主結果(§2:Theorem 1・2、Corollary 3)本大場を含む有効密度の帰納的な形 (H1)–(H12) を、領域列の幾何(成分の間隔・直方体化・局所化した決定集合)と結合定数の比較不等式の証明つきで述べ、Theorem 1・2 から有効作用の評価 (2.45)–(2.49) と紫外安定性 Corollary 3 を導く。
- 第 15 章Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988):部 3 — k+1 段目のくりこみ変換と Theorem 2 の証明(§3)本大場を含む有効密度にくりこみ変換を 1 回施し、新しい小場領域・揺らぎ積分の対数の分解・局所化展開を経て帰納的仮定の形が保たれることを示す。さらに Ward–Takahashi 恒等式と超立方対称性から Theorem 2 を 2 通りに証明する。
- 第 16 章Bałaban『Large field renormalization I』(1989) 第 1 部:適格な大場成分と N 回の予備積分本4 次元格子ゲージ理論の大場をくりこむ R 操作の準備段を精読する。適格な大場成分、新しい大場の列、N 回の予備積分で古い特性関数が冗長になる等式 (1.29)、境界項の評価 (1.70) までを証明する。
- 第 17 章Bałaban『Large field renormalization I』(1989) 第 2 部:領域 Λ、臨界配置(Proposition 1)、ゲージ固定と R′ の定義本大場成分の芯を囲む直方体 Λ で場を積分し尽くし、臨界配置 U₀ のまわりに揺らぎ場と木ゲージを置き、古い特性関数を外す等式 (1.89) と、積分を保つ操作 R′ の定義と正規化 (1.102) を証明する。
- 第 18 章Bałaban『Large field renormalization II』(1989) 第 1 部:分母の下界、Proposition 1 の証明、分子の Wilson 項の相殺本Bałaban の R 操作の比の分母を Poincaré 不等式とガウス積分で下から抑え、臨界配置の存在と一意性を縮小写像で示し、分子の Wilson 項から g⁻²A(ζ₀,U₀) を抜き出して分母と相殺するまでを証明する。
- 第 19 章Bałaban『Large field renormalization II』(1989) 第 2 部:解析延長と正値性、残りの作用の再展開と局所化、R の完成形本Bałaban の大場の繰り込み II の式 (1.38)–(1.72) を精読する。Wilson 項を複素配置に延長しても正の Wilson 作用+小項の形が残ること、新しい背景場のまわりの 4 段の再展開と局所化、相対線形サイズと再和の評価、R 操作の完成形を証明する。
- 第 20 章Bałaban『Large field renormalization II』(1989) 第 3 部:T′ の評価、帰納の主張 (1.80)、クラスター展開と指数化、Theorem 1 の証明本大場の操作 T′ の評価と大場因子・費用の勘定から帰納の主張 (1.80) を補強して示し、指数化と R 項の評価を経て、大場の操作 R が RG III の帰納的仮定を保つこと(Theorem 1)と紫外安定性を、書き出した仮定のもとで証明する。
- 第 21 章Dimock『Multiscale block averaging for QED₃』(2020) 第 1 部:フェルミオンの多尺度ブロック平均・臨界点・Dirac 伝播関数の恒等式本QED₃ のくりこみ群で使うフェルミオンの多尺度ブロック平均について、密度の閉じた表示(Lemma 1)、臨界点と次の段の臨界点(Lemma 2〜4)、Dirac 伝播関数の 2 つの恒等式(付録 A の Lemma 18・19)を Grassmann Gauss 積分だけから証明する。
- 第 22 章Dimock『Multiscale block averaging for QED₃』(2020) 第 2 部:多尺度 Dirac 伝播関数のランダムウォーク展開・ポリマー局所化・フェルミオン行列式本多尺度 Dirac 伝播関数 S_{k,Ω}(A) のランダムウォーク展開と指数減衰(Lemma 5〜7、Balaban–O'Carroll–Schor の結果)を自由場の Fourier 解析から完全に証明し、変形伝播関数(Lemma 8)、ポリマー局所化(Lemma 9)、フェルミオン行列式のポリマー展開(Lemma 10)まで導く。
- 第 23 章Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部:ゲージ場の多尺度軸ゲージ平均・Landau ゲージ・最小化元本Dimock の QED₃ 論文 §3.1〜3.6 を精読する。ゲージ場のブロック平均の恒等式、多尺度の軸ゲージ平均の密度表示、制約つき Gauss 積分、軸ゲージ・Landau ゲージの代表元と最小化元の公式を、有限次元の線形代数としてすべて証明する。
- 第 24 章Dimock『Multiscale block averaging for QED₃』(2020) 第 4 部:Green 関数・最小化元のランダムウォーク評価と Landau 最小化元の局所正則性定理本Dimock の QED₃ 論文 §3.7〜§3.9 を精読する。Bałaban の Landau Green 関数の評価から最小化元とゆらぎ共分散の核評価を導き、軸ゲージ場の格子 Stokes 評価(Lemma 16・17)を経て、主結果である Landau 最小化元の局所正則性(Theorem 1)を証明する。
- 第 25 章Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部:模型と対称性・フェルミオンとゲージ場のブロック平均繰り込み群・伝播関数のランダムウォーク展開(大域版)本Dimock の QED₃ 論文 §1〜§3 と付録 C・D を精読する。格子 QED₃ の対称性と行列式の正値性、全域で平均するくりこみ変換の代数、Dirac・Landau 伝播関数とゆらぎ共分散の局所化された展開を、局所トーラスとの比較で証明する。
- 第 26 章Dimock『Ultraviolet regularity for QED₃』(2018) 第 2 部:着衣場のポリマー関数とノルム・関連部分の抽出と改良されたスケール評価・フェルミオン行列式の表示本Dimock の QED₃ 論文 §4・§5 と付録 A・B を精読する。着衣場のポリマー関数の核のノルム、真空エネルギーと質量項の抽出、再ブロックとスケールで L^{-1/4+2ε} 倍に縮む評価、ゆらぎの行列式の積分表示を証明する。
- 第 27 章Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部:主定理(有界場近似の 1 段)の主張と前半の証明 — 抽出・ゲージ場とフェルミオン場の平行移動・第 1 と第 2 の局所化本Dimock の QED₃ 論文 §6.1〜§6.2.5 を精読する。有界場近似のくりこみ変換 1 段で密度の形が保たれる主定理を述べ、抽出、背景場のゲージ変換、フェルミオンの平行移動、弱めパラメータの補間による 2 回の局所化(Lemma 20〜23)を証明する。
- 第 28 章Dimock『Ultraviolet regularity for QED₃』(2018) 第 4 部:揺らぎ積分のクラスター展開・行列式の局所化・スケール — 主定理の完結と繰り込み流の境界値問題(裸の質量と真空エネルギーの調整)本Dimock の QED₃ 論文 §6.2.6〜§7 と付録 E を精読する。条件付けによるゆらぎ積分のクラスター展開、行列式の比の局所化、スケールで 1 段を完結させ、流れの方程式の混合境界値問題を縮小写像で解く抽象定理を証明する。
- 第 29 章Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部:主定理の主張・大場と小場の分割・ゲージ場の平行移動と特性関数本Dimock の QED₃ 紫外安定性論文の §1・§2 と §3.1〜§3.8 を精読する。k 段後の密度の表示と流れの定理・安定性定理を正確に述べ、1 段の前半(抽出・新しい特性関数・ゲージ場の平行移動・超局所化)を、局所最小化元の比較補題から証明する。
- 第 30 章Dimock『Ultraviolet stability for QED₃』(2022) 第 2 部:有効作用の局所化 — ゆらぎ場への第 1・第 2 の局所化と境界項本Dimock の QED₃ 紫外安定性論文 §3.9〜§3.11 と付録 B・C を精読する。多尺度のノルム、近似的な左逆の評価、弱めパラメータの補間と前局所化を一般形で証明し、Lemma 7〜14 と Lemma 28 を順に示す。
- 第 31 章Dimock『Ultraviolet stability for QED₃』(2022) 第 3 部:クラスター展開・正規化因子・再ブロック・スケール — 1 段の帰納の完結(Theorem 1 の証明)本Dimock の QED₃ 紫外安定性の論文 §3.12〜§3.15 を精読する。超局所なゆらぎ積分のクラスター展開、正規化行列式の局所化、再ブロックとスケールを証明し、大場・小場の領域の和を含む密度の表示(Theorem 1)の帰納法を、2 つの仮定(有効作用の格子対称性と、展開の補助的な選択が多尺度でも規則どおりにとれること)のもとで閉じる。荷電共役の対称性は証明する。
- 第 32 章Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部:最終段の積分と紫外安定性定理 — 大場の領域和の収束と小場の比の評価本Dimock の QED₃ 紫外安定性論文の §4 と付録 D を精読する。停止点で密度を積分し、大場の寄与が立方体あたりの利得で体積の費用に勝って Z(N,0)e_K 以下になること、小場の比が 1+O(e_K^{1/4-8ε}) であることを示し、安定性定理を、前の部から引き継ぐ 2 つの仮定(有効作用の格子対称性と、展開の補助的な選択が多尺度でも規則どおりにとれること)のもとで証明する。
運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記