Was ist die notwendige Bedingung für einen unverzerrten Schätzer, um UMVUE zu sein?

8

Nach dem Satz von Rao-Blackwell , wenn Statistic eine ausreichende und vollständig ist und , dann eine gleichmäßig Umvue Schätzer (UMVUE).TθE(T)=θT

Ich frage mich, wie ich rechtfertigen kann, dass ein unvoreingenommener Schätzer ein UMVUE ist:

  1. Wenn nicht ausreicht, kann es ein UMVUE sein?T
  2. Wenn nicht vollständig ist, kann es ein UMVUE sein?T
  3. Wenn nicht ausreicht oder vollständig ist, kann es ein UMVUE sein?T
Alex Brown
quelle
1
Sollte die letzte „ wenn ist nicht ausreichend oder vollständig“ vielleicht sein „ wenn T ist weder ausreichend noch vollständig“ (wenn Sie beide Bedingungen bedeuten , halten gleichzeitig)? T
Richard Hardy
In 2. Wenn nicht vollständig ist, dann ist es eine MVUE, aber Sie benötigen die Vollständigkeit, wenn Sie den Buchstaben U daran anhängen T
möchten
Eine notwendige hinreichende Bedingung, damit ein unverzerrter Schätzer (mit endlichem zweiten Moment) UMVUE ist, ist, dass er nicht mit jedem unverzerrten Schätzer von Null korreliert sein muss.
Hartnäckig

Antworten:

4

Zur einheitlich minimalen Varianz Unvoreingenommene Schätzung, wenn keine vollständige ausreichende Statistik vorhanden ist von L. Bondesson gibt einige Beispiele für UMVUEs, die keine vollständige ausreichende Statistik sind, einschließlich der folgenden:

Sei unabhängige Beobachtungen einer Zufallsvariablen , wobei und unbekannt sind und mit dem bekannten Formparameter und dem bekannten Skalenparameter gammaverteilt ist . Dann ist der UMVUE von . Wenn jedoch ist, gibt es keine vollständige ausreichende Statistik für . X = μ + σ Y μ σ Y k θ ˉ X E ( X ) = μ + k θ σ k 1 ( μ , σ )X1,,XnX=μ+σYμσYkθX¯E(X)=μ+kθσk1(μ,σ)

David R.
quelle
3

Lassen Sie uns zeigen, dass es einen UMVUE geben kann, der keine ausreichende Statistik darstellt.

Erstens, wenn der Schätzer für alle Abtastwerte den Wert annimmt , ist eindeutig ein UMVUE von , wobei letzterer als (konstante) Funktion von . Andererseits ist dieser Schätzer im Allgemeinen eindeutig nicht ausreichend.0 T 0 θ T.T0T0θT

Es ist etwas schwieriger, einen UMVUE des "gesamten" unbekannten Parameters (anstelle eines UMVUE einer Funktion davon), so dass für nicht ausreicht . Angenommen, die "Daten" werden nur durch ein normales rv , wobei unbekannt ist. Es ist klar, dass für ausreichend und vollständig ist . Sei wenn und wenn , und sei ; wie üblich bezeichnen wir mit undθ Y θ X N ( τ , 1 ) τ R X τYθYθXN(τ,1)τRXτX 0 Y = 0 X < 0 θ : = E τ Y = P τ ( X 0 ) = Φ ( τ ) Φ φ N ( 0 , 1 ) Y θ = Φ (Y=1X0Y=0X<0
θ:=EτY=Pτ(X0)=Φ(τ)Φφjeweils das cdf und pdf von . So ist der Schätzer unverzerrt für und ist eine Funktion des gesamten erschöpfende Statistik . Daher ist ein UMVUE von .N(0,1)
YX Y θ = Φ ( τ )θ=Φ(τ)XYθ=Φ(τ)

Andererseits ist die Funktion stetig und nimmt in streng von auf . Die Entsprechung ist also eine Bijektion. Das heißt, wir können das Problem von bis eins zu eins neu parametrisieren . Somit ist ein UMVUE von , nicht nur für den "alten" Parameter , sondern auch für den "neuen" Parameter . Jedoch für nicht ausreichend und damit nicht ausreichend fürR 0 1 Rτ = Φ - 1 ( θ ) θ = Φ ( τ )ΦR01τ θ Y θ τ θ ( 0 , 1 ) Y τ θ P τ ( X < - 1 | Y = 0 ) = P τ ( X < -Rτ=Φ1(θ)θ=Φ(τ)(0,1)τθYθτθ(0,1)Yτθ . In der Tat ist als ; hier haben wir die bekannte asymptotische Äquivalenz als , die sich aus der l'Hospital-Regel ergibt. Also von und damit von , was zeigt, dass für nicht ausreicht (währendτ

Pτ(X<1|Y=0)=Pτ(X<1|X<0)=Pτ(X<1)Pτ(X<0)=Φ(τ1)Φ(τ)φ(τ1)/(τ+1)φ(τ)/τφ(τ1)φ(τ)=eτ1/2
& Phi; ( - τ ) ~ φ ( - τ ) / τ τ P τ ( X < - 1τΦ(τ)φ(τ)/τττ θ Y θ Y θPτ(X<1|Y=0)τθYθY ist ein UMVUE für ).θ
Iosif Pinelis
quelle
Wenn der Schätzer immer den Wert annimmt , wie kann er unverzerrt sein? 0T0
Xi'an
1
Per Definition ist ein unverzerrter Schätzer einer Funktion des Parameters wenn für alle Werte von . Wenn also für alle , dann ist natürlich ein unverzerrter Schätzer für dieses . Und das habe ich gesagt: ist eindeutig ein unverzerrter Schätzer der konstanten Nullfunktion des Parameters. q ( θ ) θ E θ T = q ( θ ) θ q ( θ ) = 0 θ T = 0 q ( θ ) T = 0Tq(θ)θEθT=q(θ)θq(θ)=0θT=0q(θ)T=0
Iosif Pinelis
OK, danke, ich hatte die Tatsache übersehen, dass Sie eine konstante Funktion "schätzen"!
Xi'an