UniMaths
Free chapterTry everything here: cards, proofs and practice. Sign up free to save your progress and unlock all 6 chapters.Sign up free
STAT2 · 1

Estimation

11 concepts · 25 questions

Likelihood and maximum likelihood, bias and mean squared error, sufficiency and the factorisation theorem, Fisher information and the Cramér–Rao bound.

Overview 1The plan of this section

How do we estimate an unknown parameter well, and how well can we possibly do?

  1. Likelihood and the maximum likelihood estimator (Def. 1.1), with standard examples (Example 1.2) and invariance (Prop. 1.3).
  2. Bias, variance and mean squared error (Def. 1.4, Prop. 1.5).
  3. Sufficient statistics (Def. 1.6) and the factorisation theorem (Thm 1.7).
  4. Fisher information (Def. 1.8) and the Cramér–Rao lower bound (Thm 1.9).

MLE; MSE = variance + bias²; sufficiency by factorisation; no unbiased estimator beats 1/(nI(θ))1/(nI(\theta)).

Definition 1.1Likelihood and maximum likelihood

For an i.i.d. sample x=(x1,…,xn)\mathbf{x} = (x_1, \dots, x_n) from f(x;θ)f(x;\theta), the likelihood is L(θ)=∏if(xi;θ)L(\theta) = \prod_if(x_i;\theta) and the log-likelihood ℓ(θ)=∑log⁡f(xi;θ)\ell(\theta) = \sum\log f(x_i;\theta). A maximum likelihood estimate θ^\hat\theta maximises LL over Θ\Theta; often it solves the score equation ℓ′(θ)=0\ell'(\theta) = 0 (check it is a maximum and not on the boundary).

L(θ)=∏f(xi;θ)L(\theta) = \prod f(x_i;\theta); maximise ℓ=log⁡L\ell = \log L; score ℓ′(θ)=0\ell'(\theta) = 0, then check.

Example 1.2MLEs for the normal distribution

For i.i.d. N(μ,σ2)N(\mu, \sigma^2): ℓ(μ,σ2)=−n2log⁡(2πσ2)−12σ2∑(xi−μ)2\ell(\mu, \sigma^2) = -\frac n2\log(2\pi\sigma^2) - \frac1{2\sigma^2}\sum(x_i - \mu)^2. Setting partial derivatives to zero gives μ^=xˉ\hat\mu = \bar x and σ^2=1n∑(xi−xˉ)2\hat\sigma^2 = \frac1n\sum(x_i - \bar x)^2. Note σ^2\hat\sigma^2 divides by nn, so it is biased; the unbiased version divides by n−1n - 1.

Normal MLEs: μ^=xˉ\hat\mu = \bar x, σ^2=1n∑(xi−xˉ)2\hat\sigma^2 = \frac1n\sum(x_i - \bar x)^2 (biased).

Proposition 1.3Invariance of the MLE

If θ^\hat\theta is the MLE of θ\theta and gg is a bijection, then g(θ^)g(\hat\theta) is the MLE of g(θ)g(\theta). (With the usual convention, the same holds for any function gg.)

MLE of g(θ)g(\theta) is g(θ^)g(\hat\theta).

Proof

Definition 1.4Bias, variance and mean squared error

For an estimator TT of θ\theta: the bias is bias⁡(T)=Eθ[T]−θ\operatorname{bias}(T) = \mathbb{E}_\theta[T] - \theta; TT is unbiased if the bias is 00 for all θ\theta; the mean squared error is MSE⁡(T)=Eθ[(T−θ)2]\operatorname{MSE}(T) = \mathbb{E}_\theta[(T - \theta)^2]. TT is consistent if T→θT\to\theta in probability as n→∞n\to\infty.

Bias =ET−θ= \mathbb ET - \theta; MSE =E(T−θ)2= \mathbb E(T - \theta)^2; consistent: T→θT\to\theta in probability.

Proposition 1.5MSE = variance + bias²

MSE⁡(T)=Var⁡(T)+bias⁡(T)2\operatorname{MSE}(T) = \operatorname{Var}(T) + \operatorname{bias}(T)^2. Consequently a biased estimator can have smaller MSE than an unbiased one.

MSE = Var + bias² — the bias–variance trade-off.

Proof

Definition 1.6Sufficient statistics

A statistic T=T(X)T = T(\mathbf{X}) is sufficient for θ\theta if the conditional distribution of X\mathbf{X} given TT does not depend on θ\theta.

Sufficient: once TT is known, the rest of the data carries no information about θ\theta.

Theorem 1.7The factorisation theorem

TT is sufficient for θ\theta iff the joint density/mass function factorises as f(x;θ)=g(T(x),θ)h(x)f(\mathbf{x};\theta) = g(T(\mathbf{x}), \theta)h(\mathbf{x}).

Sufficient ⇔ f(x;θ)=g(T(x),θ)h(x)f(\mathbf x;\theta) = g(T(\mathbf x), \theta)h(\mathbf x).

Proof

Definition 1.8Fisher information

For one observation from a regular model, the score is U(θ)=∂∂θlog⁡f(X;θ)U(\theta) = \frac{\partial}{\partial\theta}\log f(X;\theta) and the Fisher information is I(θ)=Var⁡θ(U)=Eθ[U2]I(\theta) = \operatorname{Var}_\theta(U) = \mathbb{E}_\theta[U^2]. Under regularity (differentiation under the integral), Eθ[U]=0\mathbb{E}_\theta[U] = 0 and I(θ)=−Eθ[∂2∂θ2log⁡f(X;θ)]I(\theta) = -\mathbb{E}_\theta\big[\frac{\partial^2}{\partial\theta^2}\log f(X;\theta)\big]. A sample of size nn has information nI(θ)nI(\theta).

I(θ)=E[U2]=−E[∂θ2log⁡f]I(\theta) = \mathbb E[U^2] = -\mathbb E[\partial_\theta^2\log f]; nn observations: nI(θ)nI(\theta).

Theorem 1.9The Cramér–Rao lower bound

Under regularity conditions, every unbiased estimator TT of θ\theta based on nn i.i.d. observations satisfies Var⁡θ(T)≥1nI(θ)\operatorname{Var}_\theta(T)\ge\frac1{nI(\theta)}. An unbiased estimator attaining the bound is efficient.

Var⁡(T)≥1/(nI(θ))\operatorname{Var}(T)\ge1/(nI(\theta)) for unbiased TT; proof: Cov⁡(T,score)=1\operatorname{Cov}(T, \text{score}) = 1 and Cauchy–Schwarz.

Proof

Check 1.10Check: finding and assessing an estimator

  • Write ℓ(θ)\ell(\theta); solve the score equation; check the second derivative and the boundary (support depending on θ\theta!).
  • Bias: compute ET\mathbb{E}T; MSE = Var + bias².
  • Sufficiency: factorise the likelihood.
  • Efficiency: compare Var⁡T\operatorname{Var}T with 1nI(θ)\frac1{nI(\theta)}.

Score equation (watch the support); bias & MSE; factorise; compare with Cramér–Rao.