物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › 準備 3有料章
重みつき距離の和（CMP 96 Lemma 2.1）
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。
これを使っている定理 証明で参照している 15 件
- 線形化後の二次形式と準備 3 の二次形式の比較（第 2 段以降）✓補題 4.16・準備 5
- スケールの冪をもつ核の積✓補題 5.5・準備 3 の 2
- 粗い格子の作用素の減衰（CMP 96 Proposition 2.3、(2.68)(2.87)(2.88)）✓命題 6.3・準備 3 の 2
- 局所の ℓ² 評価（CMP 95 (1.114)、CMP 96 (2.140)、CMP 99 (3.46)、Theorem 3.3）✓定理 3.2・準備 3 の 3
- 展開の項ごとの背景場つき Hölder 評価（RG II (1.7) の項への CMP 99 (3.43) の適用）✓系 4.3・準備 3 の 3
- 大域の重みつき評価（CMP 99 (3.47)）✓系 4.4・準備 3 の 3
- ゲージ固定の項と揺らぎの共分散の評価（CMP 99 (3.131)–(3.138)、(3.148)–(3.153) の評価）✓定理 4.8・準備 3 の 3
- 一般化ランダムウォーク展開（CMP 95 (1.123)、CMP 96 (2.50)(2.141)、CMP 99 Theorems 3.7–3.10）✓定理 4.7・準備 3
- 背景場中のプロパゲータのノルム評価（CMP 99 Theorems 3.1–3.4、3.7–3.13、CMP 96 Prop. 2.2–2.7・Cor. 2.8）✓定理 6.3・準備 3
- プロパゲータのノルム評価（原論文 (46)(130) と Theorem 3.13 [5]）✓補題 2.3・準備 4
- 背景場のデータへの依存の指数減衰（原論文 Proposition 9、(182)–(190)）✓命題 9.5・準備 4
- Landau ゲージの場の背景場つき Hölder 評価✓補題 9.12・準備 4
- プロパゲータの局所化された展開（原論文 (1.6)(1.7)、[13] (3.107)(3.108)）✓定理 3.6・Bałaban『Renormalization group approach to lattice gauge field theories II』精読 第 1 部
- 解は作用素の汎関数である（原論文 (1.5)）✓命題 4.2・Bałaban『Renormalization group approach to lattice gauge field theories II』精読 第 1 部
- Landau Green 関数・N・dPδ の評価（Bałaban）✓命題 3.2・Dimock『Multiscale block averaging for QED₃』精読 第 4 部