Notes / Parameter Estimation
2.2 Methods of Estimation
Now we introduce loss function to describe the quality of estimators quantitatively. Consider \(\theta \) as the decision rule, and \(R(\theta ,\delta ) = {\mathbb{E}} _\theta L(\theta , \delta (X))\)
as the risk function.
Theorem 2.14 (Rao-Blackwell Theorem, K 3.28) . Suppose that \(T\) is sufficient for \(\mathbb {P} = \{\mathbb {P}_\theta , \theta \in \Omega \}\) , that \(\delta (X)\) is an estimator
for \(g(\theta )\) for which \(\mathbb {E}(\delta (X))\) exists, and that \(R(\theta , \delta ) = \mathbb {E}_\theta L(\theta , \delta (X)) < \infty \) . If \(L(\theta , \cdot )\) is convex, then \[ R(\theta , \eta ) \leq R(\theta , \delta ) \quad \text {for} \quad \eta (T(X)) = \mathbb {E}(\delta (X) \mid T(X)). \] If \(L(\theta , \cdot )\) is strictly convex, then \(R(\theta , \eta ) < R(\theta , \delta )\) for any \(\theta \) unless \(\eta (T'(x)) = \delta \) w.p. 1.
2.2.1 Unbiased Estimation
An estimator is unbiased if \({\mathbb{E}} _\theta [\delta (X)] = g(\theta )\) (to estimate). Although uniformly best estimator does not exist, quite often, we can
find a unbiased estimator with uniformly minimum risk, that is, an unbiased \(\delta \) satisfying \(R(\theta , \delta ) \le R(\theta , \delta ')\) , \(\forall \theta \) and any other
unbiased estimators \(\delta '\) . Such an estimator is called a uniformly minimum risk unbiased estimator
(UMRUE) .
Consider \(L(\theta , d) = (\theta -d)^2\) , then an UMRUE becomes a uniformly minimum variance unbiased estimator (UMVUE) .
\begin{align*} \mathbb {E}_\theta \left [(\theta - \delta (X))^2\right ] &= \left (\mathbb {E}_\theta [\delta (X)] - \theta \right )^2 + \mathbb {E}_\theta \left \{\left (\delta (X) - \mathbb {E}_\theta [\delta (X)]\right )^2\right \} \\ &= \text {Bias}^2 + \text {Variance}. \end{align*}
Theorem 2.15 (Lehmann-Scheffe Theorem) . If \(T\) is a complete and sufficient statistic, and \(\mathbb {E}_\theta [h(T(X))] = g(\theta )\) (i.e., \(h(T(x))\) is unbiased
for \(g(\theta )\) ), then \(h(T(X))\) is
1. the only function of \(T(X)\) that is unbiased for \(g(\theta )\)
2. an UMRUE under any convex loss function,
3. the unique UMRUE (up to a \(\mathcal {P}\) –null set) under any strictly convex loss function,
4. the unique UMVUE (up to a \(\mathcal {P}\) –null set).
Example 2.16. Let \(X_1, \ldots , X_n \stackrel {iid}{\sim } \mathcal {N}(\mu , \sigma ^2)\) . First, note that if \(\sigma ^2\) is known, \(\bar {X}\) is a complete sufficient statistic for \(\mu \) and hence also the
UMVUE. Consider the case when \(\theta = (\mu , \sigma ^2)\) is unknown.
(a) The UMVUE for \(\mu \) is \(\bar {X}\) .
(b) The UMVUE for \(\sigma ^2\) is \(\sum _{i=1}^{n} \frac {(X_i - \bar {X})^2}{n-1}\) .
(c) What is the UMVUE for \(\sigma \) ? First, note that \(X_i - \bar {X} \sim \mathcal {N}(0, \frac {n-1}{n} \sigma ^2)\) , and hence \(\mathbb {E}[|X_i - \bar {X}|] = \sigma \sqrt {\frac {2}{\pi }} \sqrt {\frac {n-1}{n}}\) . This implies \[ \frac {\sqrt {\pi n}}{\sqrt {2(n-1)}} |X_i - \bar {X}| \] is unbiased for \(\sigma \) . At this
point we could Rao-Blackwellize, but the math is messy. Instead, we will try to stumble upon
the solution. Let \[ S^2 = \sum _{i=1}^{n} (X_i - \bar {X})^2. \] We know that \[ S^2 \sim \sigma ^2 \chi ^2_{n-1}. \] Thus, \[ \mathbb {E}(S) = \sigma \mathbb {E}(\chi _{n-1}). \] Which in turn implies that \[ \frac {\mathbb {E}(S)}{\mathbb {E}(\chi _{n-1})} = \sigma , \] meaning \(\frac {S}{\mathbb {E}(\chi _{n-1})}\) is unbiased for \(\sigma \)
and hence UMVU.
(d) What is the UMVUE for \(\mu ^2\) ? Taking the expectation of the UMVUE for \(\mu \) and squaring it yields \[ \mathbb {E}(\bar {X}^2) = \mu ^2 + \sigma ^2 / n. \] So,
\[ \delta _n(X) = \bar {X}^2 - \frac {S^2}{n(n-1)} \] is the UMVUE. Note that \(\delta _n(X)\) may be negative even though it estimates a non-negative quantity.
Indeed, \(\delta _n\) is inadmissible and dominated by the biased estimator \(\max (0, \delta _n(X))\) .
If we
know some prior knowledge of the estimators (eg: Equivariant, Invariant), we can design better
estimators.
2.2.2 Bayes Estimators
Our optimality goal, given a measure \(\Lambda \) , is to find an estimator \(\delta _\Lambda \) which minimizes the average risk , \[ r(\Lambda , \delta ) = \int R(\theta , \delta ) \, d\Lambda (\theta ). \] If \(\Lambda \) is a
probability distribution on \(\Omega \) , we call \(\Lambda \) the prior distribution. The estimator \(\delta _\Lambda \) , if it exists, is called
the Bayes estimator with respect to \(\Lambda \) , and the minimized average risk \(r(\Lambda , \delta _\Lambda )\) is called the Bayes risk .
Theorem 2.17 (Bayes Estimators) . Suppose \(\Theta \sim \Lambda \) , and \(X | \Theta = \theta \sim P_\theta \) . If
1. there exists \(\delta _0\) an estimator of \(g(\theta )\) with finite risk for all \(\theta \) , and
2. there exists a value \(\delta _\Lambda (x)\) that minimizes \[ \mathbb {E}\left [L(\Theta , \delta _\Lambda (X)) \mid X = x\right ] \quad \text {for almost every } x, \]
then \(\delta _\Lambda \) is a Bayes estimator with respect to \(\Lambda \) .
Example 2.18. Suppose that \(X \sim \text {Bin}(n, \theta )\) given \(\Theta = \theta \) and that \(\Theta \) has prior distribution \(\text {Beta}(a, b)\) . The prior density is given by \[ \pi (\theta ) = \frac {\Gamma (a+b)}{\Gamma (a)\Gamma (b)} \theta ^{a-1} (1-\theta )^{b-1} \mathbb {I}(0 < \theta < 1) \] The
likelihood (model density) is given by \[ f(x \mid \theta ) = \binom {n}{x} \theta ^x (1-\theta )^{n-x} \] The marginal density is given by \[ f(x) = \int f(x \mid \theta ) \pi (\theta ) \, d\theta . \] The posterior density may be
calculated using Bayes rule which states that \[ \text {posterior} = \frac {\text {joint}}{\text {marginal}} = \frac {\text {prior} \cdot \text {likelihood}}{\text {marginal}}. \] In our notation, the posterior density is given by the
formula \begin{align*} \pi (\theta \mid x) &= \frac {\pi (\theta ) f(x \mid \theta )}{f(x)} \\ &= \frac {\pi (\theta ) f(x \mid \theta )}{\int \pi (\theta ') f(x \mid \theta ') \, d\theta '} \end{align*}
\begin{align*} \pi (\theta \mid x) &\propto \binom {n}{x} \theta ^x (1-\theta )^{n-x} \frac {\Gamma (a+b)}{\Gamma (a)\Gamma (b)} \theta ^{a-1} (1-\theta )^{b-1} \\ &\propto \theta ^{x+a-1} (1-\theta )^{n-x+b-1} \sim \text {Beta}(x+a, n-x+b). \end{align*}
Hence, the Bayes estimator of \(\theta \) under the squared error loss is given by \[ \mathbb {E}[\Theta \mid X = x] = \frac {x+a}{n+a+b}. \] This posterior mean may be
expressed as \[ \frac {X+a}{n+a+b} = \frac {n}{n+a+b} \left (\frac {X}{n}\right ) + \frac {a+b}{n+a+b} \left (\frac {a}{a+b}\right ). \] Hence, the Bayes estimate is a convex combination of the sample proportion \(X/n\) (which is the
UMVUE) and the prior mean \(a/(a+b)\) . Thus, the Bayes estimate modifies the sample estimate in light of prior
information by “shrinking” the sample estimate towards the prior mean . (This is a commonly
recurring property of Bayes estimators.) In addition, as the sample size \(n\) tends to infinity, the
weight of the prior mean tends to zero, the empirical evidence increasingly outweighs the
prior information, and the posterior mean becomes less distinguishable from the sample
proportion.
Theorem 2.19 (Unbiased Estimators) . If \(\delta \) is unbiased for \(g(\theta )\) with \(r(\Lambda , \delta ) < \infty \) and \(\mathbb {E}[g(\Theta )^2] < \infty \) then \(\delta \) is not Bayes under squared
error loss unless its average risk is zero, i.e., \[ \mathbb {E}[(\delta (X) - g(\Theta ))^2] = 0, \] where the expectation is taken over \(X\) and \(\Theta \) .
Example 2.20. Let \(X_1, \ldots , X_n \sim \mathcal {N}(\theta , \sigma ^2)\) , with \(\sigma ^2 > 0\) known. Is \(\bar {X}\) Bayes under squared error for some choice of prior
distribution? We know that, \(\mathbb {E}(\bar {X} \mid \theta ) = \theta \) , i.e., \(\bar {X}\) is an unbiased estimator of \(\theta \) . Further, we have that the average risk
under squared error, \[ \mathbb {E}[(\bar {X} - \Theta )^2] = \frac {\sigma ^2}{n} \neq 0, \] which means that \(\bar {X}\) is not the Bayes estimator under any prior distribution!
Definition 2.21 (Admissible) . We say a policy \(\delta \) is inadmissible if there exists a policy \(\delta ^*\) s.t. for all \(\theta \in \mathcal {S}\) , we
have \(R(\theta ,\delta ^*)\leq R(\theta ,\delta )\) and that \(\exists \theta \in \mathcal {S}\) , the inequality holds strictly.
Theorem 2.22 (Admissable) . A unique Bayes estimator (a.s. for all \(P_\theta \) ) is admissible.
2.2.3 Minimax Estimators
In minimax estimation, we collapse our risk function by looking at the worse-case risk. Given \(X \sim \mathbb {P}_\theta \) , where \(\theta \in \Omega \) , and a
loss function \(L(\theta , d)\) , we want to find an estimator \(\delta \) that minimizes the maximum risk: \[ \sup _{\theta \in \Omega } R(\theta , \delta ). \] Any such \(\delta \) is called a minimax
estimator.
Definition 2.25. We say that a prior \(\Lambda \) is a least favorable prior if \(r_\Lambda \geq r_{\Lambda '}\) for any other prior distribution \(\Lambda '\) .
\[ r_\Lambda = \inf _\delta r(\Lambda , \delta ) = \inf _\delta \int _{\theta \in \Omega } R(\theta , \delta ) \, d\Lambda (\theta ). \]
Theorem 2.26 (Relationship with Bayes Estimators) . Suppose \(\delta _\Lambda \) is Bayes for \(\Lambda \) with \[ r_{\Lambda \in \Omega } = \sup _\theta R(\theta , \delta _\Lambda ) \] That is, the Bayes risk of \(\delta _\Lambda \) is
the maximum risk of \(\delta _\Lambda \) . Then,
1. \(\delta _\Lambda \) is minimax
2. \(\Lambda \) is a least favorable prior
3. If \(\delta _\Lambda \) is the unique Bayes estimator for \(\Lambda \) (a.s. for all \(P_\theta \) ), then it is the unique minimax estimator.
Corollary 2.27. If a Bayes estimator \(\delta _\Lambda \) has constant risk (that is, \(R(\theta , \delta _\Lambda ) = R(\theta ', \delta _\Lambda )\) for all \(\theta \) and \(\theta '\) ), then \(\delta _\Lambda \) is minimax. Note
that this is a sufficient but not necessary condition.
Example 2.28. Suppose \(X \sim \text {Binom}(n, \theta )\) for some \(\theta \in (0,1)\) and that we use the squared error loss function. Is the sample
proportion \(\frac {X}{n}\) minimax? The risk of this estimator is \[ R\left (\theta , \frac {X}{n}\right ) = \frac {\theta (1-\theta )}{n}. \] The graph of \(R\left (\theta , \frac {X}{n}\right )\) versus \(\theta \) looks like the following:
The risk has a unique maximum at \(\theta = \frac {1}{2}\) , so the worst-case risk is \[ \sup _{\theta \in \Omega } R\left (\theta , \frac {X}{n}\right ) = R\left (\frac {1}{2}, \frac {X}{n}\right ) = \frac {1}{4n}. \]
We can use the Corollary 2.27 to find a minimax estimator and then compare the risk of the
minimax estimator with that of \(\frac {X}{n}\) . To find a minimax estimator, we will search for a prior such that
the Bayes estimator has constant risk.
Recall the following useful fact. Under the prior distribution \(\text {Beta}(a, b)\) , the Bayes estimator under the squared error
loss is \[ \delta _{a,b}(X) = \frac {X + a}{n + a + b}. \] For any \(a\) and \(b\) , \begin{align*} R(\theta , \delta _{a,b}) &= \mathbb {E}_\theta \left [\left (\frac {X + a}{n + a + b} - \theta \right )^2\right ] \\ &= \frac {1}{(n + a + b)^2} \mathbb {E}_\theta \left [(X + a - (n + a + b)\theta )^2\right ] \\ &= \frac {1}{(n + a + b)^2} \mathbb {E}_\theta \left [(X - n\theta - a(\theta - 1) - \theta b)^2\right ] \\ &= \frac {1}{(n + a + b)^2} \left (n\theta (1 - \theta ) + (a(\theta - 1) + \theta b)^2\right ). \end{align*}
This is a quadratic function of \(\theta \) . To eliminate the \(\theta \) dependence in \(R(\theta , \delta _{a,b})\) , we need the coefficients of the linear and
quadratic terms to equal zero. The coefficient of \(\theta ^2\) is \[ -n + (a + b)^2, \] so we need \(a + b = \sqrt {n}\) (since \(a, b > 0\) ). The coefficient of \(\theta \) is \[ n - 2a(a + b) = n - 2a\sqrt {n}, \] so we need \(a = b = \frac {\sqrt {n}}{2}\) .
With these choices of \(a\) and \(b\) , the risk of \(R(\theta , \delta _{a,b})\) is constant, which implies that \(\text {Beta}\left (\frac {\sqrt {n}}{2}, \frac {\sqrt {n}}{2}\right )\) is a least favorable prior with
constant risk. Then our Bayes estimator \[ \delta _{\frac {\sqrt {n}}{2}, \frac {\sqrt {n}}{2}}(X) = \frac {X + \frac {\sqrt {n}}{2}}{n + \sqrt {n}}, \] is minimax with constant risk of \[ \frac {1}{4(\sqrt {n} + 1)^2}. \] Since the worst-case risk of \(\frac {X}{n}\) is \(\frac {1}{4n} > \frac {1}{4(\sqrt {n}+1)^2}\) ,
we can conclude that \(\frac {X}{n}\) is not minimax.
2.2.4 James Stein Estimator
Example 2.29 (James Stein Estimator) . Let \(X_1, X_2, \ldots , X_p\) be independent with \(X_i \sim \mathcal {N}(\theta _i, \sigma ^2)\) for \(1 \leq i \leq p\) . For the sake of simplicity, say
\(\sigma ^2 = 1\) . Now our goal is to estimate \(\theta = (\theta _1, \theta _2, \ldots , \theta _p)\) under the loss function: \[ L(\theta , d) = \sum _{i=1}^{p} (d_i - \theta _i)^2 \]
A natural estimator for \(\theta \) is \(X = (X_1, X_2, \ldots , X_p)\) . It can be shown that \(X\) is the UMRUE, the maximum likelihood estimator,
a generalized Bayes estimator, and a minimax estimator for \(\theta \) . So, it would be natural to think that \(X\)
is admissible. However, counterintuitively, it turns out that this is not the case when \(p \geq 3\) .
When \(p \geq 3\) , \(X\) is dominated by the James-Stein estimator (and that too, strictly dominated): \[ \delta (X) = (\delta _1(X), \delta _2(X), \ldots , \delta _p(X)) \text { where} \] \[ \delta _i(X) = \left (1 - \frac {p-2}{\|X\|_2^2}\right ) X_i. \] It turns
out that the James-Stein estimator is not itself admissible because it is dominated by the positive
part James-Stein estimator \[ \delta _i(X) = \max \left ( 1 - \frac {p-2}{\|X\|_2^2}, 0 \right ) X_i. \]
2.2.5 How to Derive an Estimator
Example 2.31 (Moment Estimation) . Let \(X_1, \ldots , X_n\) be i.i.d. random variables from \(P_\theta \) , \(\theta \in \Theta \subset \mathbb {R}^k\) , and assume \(\mathbb {E}|X_1|^k < \infty \) .
Let \(\mu _j = \mathbb {E} X_1^j\) be the \(j\) th moment of \(P\) and then \[ \hat {\mu }_j = \frac {1}{n} \sum _{i=1}^{n} X_i^j \] becomes the \(j\) th sample moment, which is an unbiased
estimator of \(\mu _j\) , \(j = 1, \ldots , k\) .
Typically, \begin{equation} \mu _j = h_j(\theta ), \quad j = 1, \ldots , k \end{equation} for some functions \(h_j\) on \(\mathbb {R}^k\) . By substituting \(\mu _j\) ’s on the left-hand side of (5 ) by the sample
moments \(\hat {\mu }_j\) , we obtain a moment estimator \(\hat {\theta }\) , i.e., \(\hat {\theta }\) satisfies \[ \hat {\mu }_j = h_j(\hat {\theta }), \quad j = 1, \ldots , k, \] which is a sample analogue of (5 ). This
method of deriving estimators is called the method of moments.
Let \(\hat {\mu } = (\hat {\mu }_1, \ldots , \hat {\mu }_k)\) and \(h = (h_1, \ldots , h_k)\) . Then \(\hat {\mu } = h(\hat {\theta })\) . If the inverse function \(h^{-1}\) exists, then the unique moment estimator of \(\theta \) is
\(\hat {\theta } = h^{-1}(\hat {\mu })\) .
When \(h^{-1}\) does not exist (i.e., \(h\) is not one-to-one), any solution of \(\hat {\mu } = h(\hat {\theta })\) is a moment estimator of \(\theta \) . If possible, we
always choose a solution \(\hat {\theta }\) in the parameter space \(\Theta \) . In some cases, however, a moment estimator may
not exist.
Example 2.32 (Maximum Likelihood Estimation) . Let \(X \in \mathcal {X}\) be a sample with a PDF \(f_{\boldsymbol {\theta }}\) w.r.t. a \(\sigma \) -finite measure,
where \(\boldsymbol {\theta } \in \Theta \subset \mathbb {R}^k\) .
For each \(x \in \mathcal {X}\) , \(f_{\boldsymbol {\theta }}(x)\) considered as a function of \(\boldsymbol {\theta }\) is called the likelihood function and denoted by \(\ell (\theta )\) .
Let \(\bar {\Theta }\) be the closure of \(\Theta \) . A \(\hat {\theta } \in \bar {\Theta }\) satisfying \(\ell (\hat {\theta }) = \max _{\theta \in \bar {\Theta }} \ell (\theta )\) is called a maximum likelihood estimate (MLE) of \(\theta \) . If \(\hat {\theta }\) is a
measurable function of \(X\) , then \(\hat {\theta }\) is called a maximum likelihood estimator (MLE) of \(\theta \) .