絶対スペクトルギャップ

定義 2.4（「統計誤差の解析」§2）

補題 2.3 の固有値について $\gamma_* = 1 - \max(|\lambda_2|, |\lambda_n|)$ を絶対スペクトルギャップという（ $n \ge 2$ ）。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

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

証明で明示的に参照している定理は、まだありません。