Admissibility and Minimaxity in Exponential Families
[25/0%]Lemma 2.1 has been extended by Berger (1990a) to include the case where the estimand need not be restricted to a finite interval, but, instead, attains a maximum or minimum at a finite parameter value.
Lemma 8.1 Let the estimand be nonconstant with global maximum or minimum at a point for which a.e. (with respect to a dominating measure , and let the loss satisfy the assumptions of Lemma 2.1. Then, any estimator taking values above the maximum of , or below the minimum, is inadmissible.
Show that if minimizes , and if is an unbiased estimator of , then there exists such that the set satisfies . A similar conclusion holds if is a maximum.
Suppose is a minimum. (The case of a maximum is handled similarly.) Show that the estimator
satisfies .
For the situation of Example 2.3, apply Lemma 8.1 to establish the inadmissibility of the UMVU estimator of . Also, explain why the hypotheses of Lemma 8.1 are not satisfied for the estimation of
Determine the Bayes risk of the estimator (2.4) when has the prior distribution .
Prove part (d) in the second proof of Example 2.8, that there exists a sequence of values with .
Show that an estimator of is inadmissible (with squared error loss) under each of the following conditions:
if for all , and ;
if for all , and .
Show that an estimator of is inadmissible (with squared error loss) under each of the following conditions:
if and ,
if and .
Show that if , an estimator is inadmissible (with squared error loss) under each of the following conditions:
if for all and ;
if for all and (Gupta 1966).
Brown (1986a) points out a connection between the information inequality and the unbiased estimator of the risk of Stein-type estimators.
Show that (2.7) implies
and, hence, if , then .
Show that a nontrivial solution would lead to an improved estimator , for , in Corollary 4.7.2.
A density function is variation reducing of order if, for any function with sign changes (ignoring zeros), the expectation has at most sign changes. If has exactly sign changes, they are in the same order. Show that is if and only if it has monotone likelihood ratio. (See TSH2, Lemma 2, Section 3.3 for the "if" implication). Brown et al. (1981) provide a thorough introduction to this topic, including characterizations of many families of distributions (the exponential family is , as is the with the parameter, and the noncentral in ). There is an equivalence between and , Karlin's (1968) total positivity of order , in that .
For the situation of Example 2.9, show that:
without loss of generality, the restriction can be reduced to , .
If is the prior distribution that puts mass 1/2 on each of the points , then the Bayes estimator against squared error loss is
For ,
and hence, by Corollary 1.6, is minimax.
For of part (b) is no longer minimax. Explain why this is so and suggest an alternate estimator in this case.
For the situation of Example 2.10, show that:
.
The estimator , with , is the linear minimax estimator for all with minimax risk .
is the linear minimax estimator for .
Suppose has distribution and has distribution , where and vary independently. If it is known that , then any estimator can be improved upon by
In Example 2.13, prove that the estimator is inadmissible when .
Let be iid according to a density, and let . We are interested in estimating under squared error loss using linear estimators , where and are constants. Show that:
admissibility of the estimator in Example 2.13 is equivalent to the admissibility of , for appropriately chosen and .
the risk of is given by
for when , and hence the estimator in Example 2.13 is inadmissible when .
This exercise illustrates the fact that constants are not necessarily admissible estimators.
For the situation of Example 2.15, let .
Show that the risk, under squared error loss, of is minimized by taking
Stein (1964) showed that for every . Assuming this is so, deduce that dominates in squared error loss, where
Show that , and, hence, is given by (2.31).
The best equivariant estimator of the form was derived by Brewster and Zidek (1974) and is given by
where the expectation is calculated assuming and . Show that is generalized Bayes against the prior
Brewster and Zidek did not originally derive their estimator as a Bayes estimator, but rather first found the estimator and then found the prior. Brown (1968) considered a family of estimators similar to those of Stein (1964), which took different values depending on a cutoff point for . Brewster and Zidek (1974) showed that the number of cutoff points can be arbitrarily large. They constructed a sequence of estimators, with decreasing risks and increasingly dense cutoffs, whose limit was the best equivalent estimator.
Show the equivalence of the following relationships:
(2.26) and (2.27),
(2.34) and (2.35) when , and
(2.38) and (2.39).
In Example 2.17, show that the estimator is inadmissible for all outside the triangle (2.39).
Prove admissibility of the estimators corresponding to the interior of the triangle (2.39), by applying Theorem 2.4 and using the results of Example 4.1.5.
Use Theorem 2.14 to provide an alternative proof for the admissibility of the estimator satisfying (2.6), in Example 2.5.
Determine which estimators are admissible for estimating in the following situations, for squared error loss:
has a Poisson distribution.
has a negative binomial distribution (Gupta 1966).
Let have the distribution, and consider the estimation of under the loss with the restriction , where is known.
Using an argument similar to that of Example 2.9, show that is not minimax, and a least favorable prior distribution must have a set [of (1.5)] consisting of a finite number of points.
Let be a prior distribution that puts mass , at parameter points . Show that the Bayes estimator associated with this prior is
Let be the solution to . Show that for a one-point prior yields the minimax estimator. Calculate the minimax risk and compare it to that of .
Let be the first positive zero of , where is a two-point prior . Show that for , a two-point prior yields the minimax estimator (use Corollary 1.6). Calculate the minimax risk and compare it to that of .
As increases, the situation becomes more complex and exact minimax solutions become intractable. For these cases, linear approximations can be quite satisfactory. See Johnstone and MacGibbon 1992, 1993.
Show that the conditions (2.41) and (2.42) of Example 2.22 are not only sufficient but also necessary for admissibility of (2.40).
Let and be independently distributed according to Poisson distributions with and , respectively. Show that is admissible for estimating with squared error loss if and only if either or (Makani 1972).
Let be distributed with density .
Show that .
Show that is admissible for estimating with squared error loss if and only if .
Let be distributed as and let have the improper prior density . For squared error loss, the formal Bayes estimator of is , which is neither minimax nor admissible. (See also Problem 2.15.) Conditions under which the formal Bayes estimator corresponding to an improper prior distribution for in Example 3.4 is admissible are given by Zidek (1970).
Show that the natural parameter space of the family (2.16) is for the normal (variance known), binomial, and Poisson distribution but not in the gamma or negative binomial case.