Grassmann Gauss 積分

定理 2.4（「格子フェルミオン」§2）・ ✓公理まで証明済み

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

閉包の状態

✓ 公理まで証明済み

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

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

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

フェルミオンを含む転送行列の正値性（原論文 Proposition 1）✓定理 4.6・Lüscher (1977)
部分 Berezin 積分の性質✓補題 3.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
くりこみ変換は積分を保つ（原論文 (49)(52)〜(55)）✓命題 4.5・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部
Gauss 積分のモーメント（原論文 (663)〜(667)）✓補題 3.3・Dimock『Ultraviolet regularity for QED₃』(2018) 第 2 部
Berezin 積分の L¹ 評価✓補題 2.2・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
自由な分配関数の表示（原論文 (414)〜(417)）✓補題 3.6・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
Lemma 21（フェルミオンの正規化因子の比）✓命題 4.11・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
小さいトーラスの安定性✓命題 6.3・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
2 点関数✓系 2.5・格子フェルミオン
Grassmann 積分と行列式✓補題 2.4・格子 QCD