連続時間 Ising 模型の Griffiths 不等式

定理 5.2（「spin-boson 模型の Feynman–Kac 表示」§5）・ ✓公理まで証明済み

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

閉包の状態

✓ 公理まで証明済み

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

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

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

格子近似✓命題 5.1・spin-boson 模型の Feynman–Kac 表示
- 遷移確率と Markov 性✓補題 2.2・spin-boson 模型の Feynman–Kac 表示
  - 一様化による構成✓定理 5.2・Markov 連鎖と Poisson 過程
    二重級数の和の順序交換✓定理 7.11・級数と収束判定この先をたどる →
    独立定常増分✓定理 4.5・Markov 連鎖と Poisson 過程この先をたどる →
    n ステップ遷移確率✓命題 2.3・Markov 連鎖と Poisson 過程この先をたどる →
Griffiths の第 1 不等式✓定理 3.1・相関不等式
Griffiths の第 2 不等式（GKS）✓定理 3.2・相関不等式
- Griffiths の第 1 不等式✓定理 3.1・相関不等式
相関の結合定数についての単調性✓系 3.3・相関不等式
- Griffiths の第 2 不等式（GKS）✓定理 3.2・相関不等式（上で展開済み）
- Griffiths の第 1 不等式✓定理 3.1・相関不等式