物理学 › 格子場の理論 › ハミルトニアン格子ゲージ理論と量子シミュレーション有料章

強結合の質量ギャップ

定理 5.1（「ハミルトニアン格子ゲージ理論と量子シミュレーション」§5） ・ ✓公理まで証明済み

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義（直接 3 件）

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

• Peter–Weyl 分解と電場の 2 乗✓命題 2.3・ハミルトニアン格子ゲージ理論と量子シミュレーション
• 物理的部分空間の頂点分解✓命題 4.5・ハミルトニアン格子ゲージ理論と量子シミュレーション

  • ハミルトニアンのゲージ不変性✓命題 4.4・ハミルトニアン格子ゲージ理論と量子シミュレーション

    • Peter–Weyl 分解と電場の 2 乗✓命題 2.3・ハミルトニアン格子ゲージ理論と量子シミュレーション
• ミニマックス値の単調性✓系 6.5・作用素の収束と摂動

これを使っている定理 証明で参照している 1 件

• 切断の収束✓命題 7.2・ハミルトニアン格子ゲージ理論と量子シミュレーション

関連するノック 3 問

• 格子場の理論 第 96 問有料
• 格子場の理論 第 98 問有料
• 格子場の理論 第 100 問有料