Rao-Blackwellの定理に必要なのはなぜですか?


10

ラオブラックウェルの定理は

ましょうの推定であるとためのすべての。仮定するのに十分である、とletすべてに続いて、が関数でない限り、不等式は厳密ですθ^θE(θ^2)<θTθθ=E(θ^|T)θ

E(θθ)2E(θ^θ)2
θ^T

この定理を正しく理解していれば、十分な統計量がある場合、が指定されたの条件付き期待値はの解であると述べています(\ hat {\ theta}-\ theta)^ 2Tθθ^Tminθ^E(θ^θ)2

私の質問

  1. \ theta ^ *が\ Bbb E (\ hat {\ theta}-\ theta)^ 2をθ最小化することは正しいですか?E(θ^θ)2
  2. Rao-Blackwellの定理に\ Bbb E(\ hat {\ theta} ^ 2)<\ inftyが必要なのはなぜE(θ^2)<ですか?
  3. θ^Tの関数でない限り、なぜ不等式が厳密なのTですか?


を見つけるには何が必要ですか?minθ^E(θ^θ)2
Stan Shunpike、2016

回答:


7
  1. いいえ、はよりも優れた推定値ですが、必ずしも最高とは限りません(それが何であれ!)θθ^
  2. 推定量に差異がない場合、そのリスクは無限であり、が有限のリスクを持っているという保証はありません(これはHorstGrünbuschのコメントで指摘されているように発生する可能性があります)。θ
  3. 有限分散の下では、期待される条件付き分散と条件付き期待値の分散の合計 である分散分解分散分解のため、不等式は厳密です 予想される条件分散がゼロでない限り、は関数のみになります。θ^
    var(θ^)=ET[var(θ^|T)]+varT(E[θ^|T])=ET[var(θ|T)]+varT(θ)
    θ^T

1
ad 2:あることが不可能なのはなぜですか?推定量としてを考えます。ここで、、およびは無関係なコーシー分布rvです。E(θ^2|T)<E(θ^2)=θ^=X+CμXN(μ,σ2)C
HorstGrünbusch2016

1
上のとき条件HorstGrünbuschなぜ@コーシー片が離れて行くだろう?また、は不偏推定量ではありません。Tθ^
dsaxton 2016

1
@HorstGrünbuschは条件付き期待値がない(は期待値がないため)ようです。したがって、は未定義です。θ^TCθ
Juho Kokkala 2016

2
OK、私が欲しかったのは、期待なしではなく、分散のないだけでした。;)ここで、、つまり、2自由度のスチューデントt分布とおよびが独立しているとます。十分な統計は明らかにです。次に、ですが、CCt2E(C)=0CXXE(X+C|X)=E(X|X)+E(C|X)=X+E(C)=X=Var(C)+Var(X)=Var(X+C)>Var(X+C|X)=σ2
HorstGrünbusch

したがって、元の推定量が無限の分散を持っている場合、Rao-Blackwell推定量が必ずしも無限の分散をもつことは間違っていると思います。(ただし、両方の分散が必ずしも無限である場合でも、はまだ保持されます。)
HorstGrünbusch16年

6
  1. 十分な統計であることは一意ではないことに注意してください。当然のことながら、データ全体で十分ですが、それらに対して推定器を調整しても何も変わりません。したがって、平均二乗誤差を最小限にするには、統計だけでは十分ではありません。十分な十分性(実際には十分かつ完全である)については、証明にRao-Blackwell-theoremを使用するLehmann-Scheffé-theoremを参照してください。

  2. 両方が無限である場合、弱い不等式は常に真です。ただし、反例として、関数ではないが(のみが保持されるように)無限の分散をもつ十分な統計量を作成できます。T

たとえば、、およびシフトされた分布確率変数を、別の独立確率変数ます。推定するパラメーターはです。元の推定量はです。十分な統計はもちろんです。Rao-Blackwell推定量とはどちらも無限分散を持っています。したがって、不平等は弱く保たれるでしょう。一方、は単なる関数ではありませんC1t2+μt2E(C1)=μVar(C1)=C2t2μθ^=C1+C2C1E(θ^|C1)=C1θ^C1+C2C1:他の確率変数が含まれているため、3番目の質問をした最後の文と矛盾します。実際、一部の教科書では、元の推定量に対して無限の分散が認められていますが、が成立する場合はその旨を明記することはできません。<

  1. 場合はの関数である、あなたは因数分解定理ことによって証明することができますすでにのために十分である。したがって、再び何も改善しないことになります。この場合を除いて、不等式は厳格であり、それは定理の自明ではない主張です。θ^Tθ^θ
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.