NETMaths
The bookUnit 4 · Estimation76 / 83

Sufficiency, completeness, UMVUE, Cramér–Rao

Why this is asked: Factorisation gives sufficiency; Lehmann–Scheffé turns a complete sufficient statistic plus unbiasedness into the UMVUE. Cramér–Rao gives a bound that is often not attained.

Sufficiency

Factorisation theorem: T is sufficient ⇔ f(x|θ)=g(T(x),θ)h(x)\theta) = g(T(x), \theta)h(x).

Family Sufficient statistic
N(μ,σ2)N(\mu, \sigma^{2}), both unknown (Xi,Xi2)(\sum{}X_{i}, \sum{}X_{i}^{2})
Bernoulli/Binomial/Poisson Xi\sum{}X_{i}
Uniform(0,θ)(0, \theta) X(n)X_{(n)}
Uniform(θ,θ+1)(\theta, \theta+1) (X(1),X(n))(X_{(1)}, X_{(n)})
Shifted exponential eθxe^{\theta-x}, xθx \ge \theta X(1)X_{(1)}
Exponential family the natural statistic

Minimal sufficient: use the ratio criterion — f(x|θ)/f(y\theta)/f(y|θ)\theta) is θ\theta-free ⇔ T(x) = T(y).

Completeness

T is complete if Eθ[g(T)]=0E_\theta[g(T)] = 0 for all θg0\theta \Rightarrow g \equiv 0. Full-rank exponential families and the order statistics of Uniform(0,θ)(0,\theta) are complete. **Uniform(θ,θ)(-\theta, \theta) is not:X(n)**: X_{(n)} is sufficient but Xi\sum{}X_{i} has zero expectation without being zero.

The UMVUE machine

  • Rao–Blackwell: conditioning any unbiased estimator on a sufficient T improves it.
  • Lehmann–Scheffé: if T is complete sufficient and g(T) is unbiased, then g(T) is the unique UMVUE.

Standard results:

Model Parameter UMVUE
Uniform(0,θ)(0,\theta) θ\theta (n+1)X(n)/n(n+1)X_{(n)}/n
Shifted exp eθxe^{\theta-x} θ\theta X(1)1/nX_{(1)} - 1/n
N(μ,σ2)N(\mu,\sigma^{2}) μ\mu
θxθ1\theta{}x^{\theta-1} on (0,1) 1/θ1/\theta (1/n)lnXi-(1/n)\sum{}\ln X_{i}
Bernoulli(p) p

Cramér–Rao

Var(T)[ψ(θ)]2/(Var(T) \ge [\psi'(\theta)]^{2}/(nI(θ))(\theta)) for unbiased T of ψ(θ)\psi(\theta), under regularity. Equality ⇔ the model is exponential family with T the natural statistic.

Regularity fails when the support depends on θ(\theta (uniform, shifted exponential) — there the UMVUE can beat the "bound", which is why those examples appear so often.

Key takeaways

  • Factorisation ⇒ sufficient; ratio criterion ⇒ minimal.
  • Complete + sufficient + unbiased = UMVUE (Lehmann–Scheffé).
  • Cramér–Rao does not apply when the support moves with θ\theta.

See it move

The Lehmann–Scheffé pipelineinteractive

Sufficient, then complete, then unbiased — the three steps that produce a UMVUE.

Unlock interactive visuals

The trap here

“A sufficient statistic is complete” — false

X(n)(X_{(n)} (or (X(1),X(n)))(X_{(1)}, X_{(n)})) for Uniform(θ,θ)(-\theta, \theta)

Sufficient but not complete: symmetry gives non-zero functions with zero expectation.

More on this →

Next: MLE and method of moments

Create a free account to keep your place and have this feed your study plan.

Open this in the full syllabus view · Unit 4