物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)有料章

結合定数・$ε_j$・$R_j$ の比較 (2.6)–(2.9)

補題 4.3（「Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)」§4） ・ ✓公理まで証明済み

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理 証明で参照している 10 件

• 決定集合 𝔅₁ による再表示（原論文 (1.22)–(1.25)）✓補題 6.7・Bałaban『Large field renormalization II』精読 第 1 部
• 結合定数の食い違い（原論文 p.364）✓補題 6.13・Bałaban『Large field renormalization II』精読 第 1 部
• T の段の大場領域の生成規則と (1.76)✓命題 3.6・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• 結合定数の冪の和✓補題 4.4・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• 帰納の出発点（k=1）✓命題 6.8・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• 背景場の層ごとの正則性✓補題 3.5・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• 境界層を含む小場の解析（§3 [III] pp.275–277、(3.43)）✓命題 6.2・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• T は帰納的仮定の形を保つ（Theorem 1 の T の部分）✓定理 6.5・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• 点 z のまわりの局所データ✓命題 7.4・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)
• Theorem 2 の証明（(3.67) と (2.43)(2.44)）✓定理 7.14・Bałaban『Convergent renormalization expansions for lattice gauge theories』(1988)