物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部有料章

拡大と縮小の計算規則

補題 2.4（「Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部」§2） ・ ✓公理まで証明済み

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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

• 新しい特性関数と $Ω_{k+1}$（原論文 (50)〜(63)）✓命題 5.2・Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部
• χ' の縮小（原論文 (106)〜(110)）✓補題 7.3・Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部
• Lemma 6（平行移動の性質）✓補題 7.5・Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部
• 最後の小場展開と $Λ_{k+1}$（原論文 (150)〜(158)）✓命題 9.1・Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部
• Lemma 23（大場の特性関数の利得）✓命題 5.3・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
• 大場の領域の成長✓補題 5.6・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部