物理学 › 構成的場の理論の原論文：反射正値性・クラスター展開・自明性 › Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部有料章
Gauss 測度の裾と切った測度のモーメント
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 1 件、定義なども含めて 1 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- Mills 比の評価✓定理 7.1・特性関数と Gauss ベクトル
これを使っている定理 証明で参照している 8 件
- 挿入 1 つにつき n̄^{-1/4}（原論文 (7.5)）✓補題 4.2・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- 小場のポリマー気体の一様な評価（原論文 (8.23)–(8.26) に対応）✓定理 5.2・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- 局所的な小場の寄与（原論文 (7.22)–(7.24)）✓定理 6.4・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- 活性の評価と大きい揺らぎの寄与（原論文 (8.21)–(8.22)）✓命題 7.5・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- 6 次以上の項の縮小（原論文 (8.29)–(8.31)）✓定理 7.9・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- 活性の項の重みの和（原論文 (8.21)–(8.22)、(10.10) の和の制御）✓命題 7.11・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- 小場の量の評価の一覧✓系 7.12・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部
- δλ は点によらない（原論文 (9.20)）✓命題 8.6・Gawędzki–Kupiainen『Massless lattice φ⁴₄ theory』(1985) 第 3 部