物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › Dimock『Multiscale block averaging for QED₃』精読 第 2 部有料章
歩みの項の転置と、左からの逆の展開の項
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 192 件、定義なども含めて 215 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 12 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
荷電共役不変性（原論文 (17)〜(20)）✓命題 3.6・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部
- 差分作用素の転置と随伴✓補題 3.5・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部
- γ 行列と荷電共役行列の表現✓補題 3.1・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部
局所的なゲージの共変な選び方✓補題 7.8・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 最大値・最小値の定理✓系 6.2・コンパクト性 この先をたどる →
- 局所的な一致（原論文 (127)(145)）✓補題 6.6・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 交換子の評価（原論文 (106)(107)）✓補題 7.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- A=0 の局所作用素定義 6.4・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
多尺度 Dirac 伝播関数のランダムウォーク展開（Lemma 5）✓定理 7.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 局所逆（Lemma 6）✓命題 6.8・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
- 交換子の評価（原論文 (106)(107)）✓補題 7.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 外場中の局所逆（part IV）✓命題 6.7・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 多尺度距離の和（原論文 (92)、Bałaban CMP 96 lemma 2.1）✓補題 3.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 核評価の合成則✓補題 3.5・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 多変数正則関数の基本性質✓命題 2.4・多変数複素関数論 この先をたどる →
外場中の局所逆（part IV）✓命題 6.7・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 局所作用素の評価（Lemma 7 (1)、原論文 (128)(130)〜(141)）✓補題 6.5・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
- ノイマン級数✓定理 6.1・有界作用素と共役作用素
- 核評価の合成則✓補題 3.5・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- ゲージ共変性✓補題 4.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
- 局所的なゲージの共変な選び方✓補題 7.8・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 局所的な一致（原論文 (127)(145)）✓補題 6.6・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 多変数正則関数の基本性質✓命題 2.4・多変数複素関数論 この先をたどる →
交換子の評価（原論文 (106)(107)）✓補題 7.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
1 の分割（原論文 (106)）✓補題 6.3・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 近傍の幾何✓補題 6.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
核評価の合成則✓補題 3.5・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 多尺度距離の和（原論文 (92)、Bałaban CMP 96 lemma 2.1）✓補題 3.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
局所的な一致（原論文 (127)(145)）✓補題 6.6・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
多尺度距離の和（原論文 (92)、Bałaban CMP 96 lemma 2.1）✓補題 3.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 殻を横切る費用と物理的な変位✓補題 3.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
歩みの項の共変性（ゲージ変換・複素共役・格子対称性）✓補題 7.9・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 外場中の局所逆（part IV）✓命題 6.7・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 局所的なゲージの共変な選び方✓補題 7.8・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- ゲージ共変性✓補題 4.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
- 複素共役と行列式の実性（原論文 (21)(22)）✓命題 3.7・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部 この先をたどる →
- 作用の格子対称性（原論文 (13)(14)）✓命題 3.3・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部 この先をたどる →
- ブロック平均の性質（原論文 (40)〜(44)）✓命題 4.2・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部 この先をたどる →
- 変形伝播関数の一様な評価（Lemma 8）✓命題 8.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
歩みの項の局所決定性（領域の履歴からの独立性）✓命題 8.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- A=0 の局所作用素定義 6.4・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 近傍の幾何✓補題 6.2・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 交換子の評価（原論文 (106)(107)）✓補題 7.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 局所的な一致（原論文 (127)(145)）✓補題 6.6・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 局所的なゲージの共変な選び方✓補題 7.8・Dimock『Multiscale block averaging for QED₃』精読 第 2 部（上で展開済み）
- 弱めた伝播関数（原論文 (148)〜(150)）✓命題 7.6・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
- 変形伝播関数の一様な評価（Lemma 8）✓命題 8.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
- 変形伝播関数の一様な評価（Lemma 8）✓命題 8.1・Dimock『Multiscale block averaging for QED₃』精読 第 2 部 この先をたどる →
これを使っている定理 証明で参照している 3 件
- 荷電共役について対称な弱めた伝播関数とポリマーの項✓命題 9.4・Dimock『Multiscale block averaging for QED₃』精読 第 2 部
- 局所化は対称性を保つ（有界場近似）✓命題 8.4・Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部
- 局所化は対称性を保つ（大域版）✓命題 7.9・Dimock『Ultraviolet stability for QED₃』(2022) 第 2 部