情報科学 › 乱数と確率的数値計算 › 統計誤差の解析

窓つき推定量の偏り

命題 4.1(「統計誤差の解析」§4) ・ ✓公理まで証明済み

弱定常列 (At)(A_t) が S1=∑t∈Z∣Γ(t)∣<∞S_1 = \sum_{t\in\mathbb{Z}}|\Gamma(t)| < \infty を満たすとし、0≤W<N0 \le W < N とする。

  1. 0≤t<N0 \le t < N について ∣E[Γ^(t)]−Γ(t)∣≤3S1/N|\mathbb{E}[\hat\Gamma(t)] - \Gamma(t)| \le 3S_1/N。
  2. E[σ^W2]−σ∞2=−2∑t>WΓ(t)+R\mathbb{E}[\hat\sigma_W^2] - \sigma_\infty^2 = -2\sum_{t > W}\Gamma(t) + R、∣R∣≤3(2W+1)S1/N|R| \le 3(2W+1)S_1/N。したがって Γ(0)>0\Gamma(0) > 0 のとき E[σ^W2]2Γ(0)−τint=−∑t>Wρ(t)+R′,∣R′∣≤3(2W+1)S12Γ(0)N.\frac{\mathbb{E}[\hat\sigma_W^2]}{2\Gamma(0)} - \tau_{\mathrm{int}} = -\sum_{t > W}\rho(t) + R', \qquad |R'| \le \frac{3(2W+1)S_1}{2\Gamma(0)N}.
  3. (At)(A_t) が 定理 3.1 の列で絶対スペクトルギャップが γ∗>0\gamma_* > 0 のとき、∣ρ(t)∣≤(1−γ∗)t|\rho(t)| \le (1 - \gamma_*)^t で、 ∣∑t>Wρ(t)∣≤(1−γ∗)W+1γ∗≤(1−γ∗)Wγ∗.\Bigl|\sum_{t > W}\rho(t)\Bigr| \le \frac{(1 - \gamma_*)^{W+1}}{\gamma_*} \le \frac{(1-\gamma_*)^W}{\gamma_*}.

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義(直接 2 件)

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

これを使っている定理

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

関連するノック 2 問