Unbiased estimation is especially convenient in models with a complete sufficient . In that case
There is at most one unbiased :
If are both unbiased, then .
If an unbiased estimator exists, it uniformsly minimizes risk for any convex loss function.
2 Convex Loss
We have defined convex functions here. And we have derived that if is convex, for any RV , and if is strictly convex, "" holds iff is constant.
The proof can be found here with Jensen's inequality.
We say a loss function is (strictly) convex if it is a (strictly) convex function of the estimand , given that parameter is fixed.
#MSE is a best-known convex loss function. Recall the bias-variance tradeoff
If is unbiased, then . So minimizing the risk is equal to finding one with the least variance.
3 Rao-Blackwell Theorem
Theorem (Rao-Blackwell)
is sufficient, and is any estimator. Let (no under by sufficiency). If is convex, then .
If strictly convex, then "=" iff .
is called Rao-Blackwellization of .
So for convex loss, the Rao-Blackwell Theorem lets us to focus only the estimators running through . This offers us a way to construct the improved estimator.
4 UMVU Estimators
4.1 Existence
U-Estimable
is U-estimable if with . I.e. there exists an unbiased estimator.
Then there is a unique unbiased estimator of the form , which uniformly minimizes among (or, dominates) all unbiased estimators.[1]
Proof
Existence: unbiased for , then its Rao-Blackwellization is also unbiased, because Uniqueness: Any other estimator of the form must be almost surely equal to , by completeness: if , then both estimators being unbiased means so is unique. Optimality: The result above implies that every unbiased estimator has the same Rao-Blackwellization . So by Rao-Blackwell theorem, dominates every other unbiased estimator for any strictly convex loss function, unless the estimator .
We give a definition for such an estimator:
UMVUE
is uniform minimum-variance unbiased estimator (UMVUE) if
is unbiased,
other unbiased , .
Since for any unbiased estimator , and the square loss is strictly convex, then the above theorem implies the existence of a unique UMVUE for any U-estimable , whenever we have a complete sufficient statistic.
4.2 Ways of Finding UMVUE
The above theorem suggests two strategies for finding UMVUE:
@ Solve directly for an unbiased estimator based on .
@ Find any unbiased estimator, and then Rao-Blackwellize it.
Example (Poisson)
Let , .
We've shown here that the sufficient statistic for the model is . Since full-rank, it is complete sufficient. So the p.m.f is .
Strategy 1: any unbiased estimator , by definition then Compare the coefficients, we have , so UMVUE is .