結合と閾値の比較

補題 2.2（「Bałaban『Large field renormalization I』(1989) 第 1 部」§2）・ ✓公理まで証明済み

この補題は有料章（研究水準・買い切り ¥200）の中にあります。主張と証明は記事の該当箇所で読めます（料金）。

閉包の状態

✓ 公理まで証明済み

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

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

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

$L_0$ の冪は対数の寄与だけ✓補題 2.4・Bałaban『Large field renormalization I』(1989) 第 1 部
軸ゲージの短縮路の変数✓補題 6.2・Bałaban『Large field renormalization I』(1989) 第 1 部
(1.32)–(1.43) 平均配置の比較✓補題 6.3・Bałaban『Large field renormalization I』(1989) 第 1 部
(1.44)–(1.52) $χ^{(n+1)}$ から $χ^{(n)}$ へ✓補題 6.4・Bałaban『Large field renormalization I』(1989) 第 1 部
(1.53)(1.54) 揺らぎ場は小さい✓補題 7.1・Bałaban『Large field renormalization I』(1989) 第 1 部
(1.56)(1.57) 局在化した背景場の補正✓補題 7.2・Bałaban『Large field renormalization I』(1989) 第 1 部
係数 F の差と余白✓補題 8.3・Bałaban『Large field renormalization I』(1989) 第 1 部
重なる寄与の累積✓補題 8.6・Bałaban『Large field renormalization I』(1989) 第 1 部
(1.70) 境界項の評価✓定理 8.7・Bałaban『Large field renormalization I』(1989) 第 1 部
展開の係数は小さい（N の 2 条件）✓補題 10.4・Bałaban『Large field renormalization I』(1989) 第 2 部
第 j の領域の上の評価 (1.98)✓補題 10.6・Bałaban『Large field renormalization I』(1989) 第 2 部