MIT 18.650 — Lecture 8

Confidence Intervals

§ Asymptotic Normality

Definition. An estimator θ^n\hat{\theta}_n of θ\theta is asymptotically normal if there is some asymptotic variance σ2>0\sigma^2 > 0 such that:

n(θ^nθ)N(0,σ2).\sqrt{n}(\hat{\theta}_n - \theta) \rightsquigarrow \mathcal{N}(0, \sigma^2).

Informally, this is roughly equivalent to θ^nθ+σnZ\hat{\theta}_n \approx \theta + \frac{\sigma}{\sqrt{n}}Z, where ZN(0,1)Z \sim \mathcal{N}(0, 1).

Example. Given model {Ber(p)p(0,1)}\{\mathrm{Ber}(p) \mid p \in (0, 1)\} and estimator θ^n:=Xˉn\hat{\theta}_n := \bar{X}_n of θ:=p\theta := p, determine its asymptotic variance.

Solution: Since Ep[Xi]=p=θ\mathbb{E}_p[X_i] = p = \theta and Vp[Xi]=p(1p)\mathbb{V}_p[X_i] = p(1 - p), the CLT says that the asymptotic variance is p(1p)p(1 - p).

Example. Given model {Ber(p)p(0,1)}\{\mathrm{Ber}(p) \mid p \in (0, 1)\} and estimator θ^n:=(Xˉn)2\hat{\theta}_n := (\bar{X}_n)^2 of θ:=p2\theta := p^2, determine its asymptotic variance.

Solution: Invoke the delta method with g(x)=x2g(x) = x^2; the asymptotic variance gets scaled by g(p)2=4p2g'(p)^2 = 4p^2, so it's 4p3(1p)4p^3(1 - p).

Remark. If θ^n\hat{\theta}_n is asymptotically normal with asymptotic variance σ2\sigma^2, that tells us that θ^nN(θ,σ2n)\hat{\theta}_n \approx \mathcal{N}(\theta, \frac{\sigma^2}{n}).

However, that does not imply that the variance of θ^n\hat{\theta}_n equals—or even converges to—the variance of N(θ,σ2n)\mathcal{N}(\theta, \frac{\sigma^2}{n}). Convergence in distribution does not imply convergence of moments.

Here's an explicit counterexample: consider an estimator θ^n\hat{\theta}_n that happens to satisfy θ^n:=θ+Ynn\hat{\theta}_n := \theta + \frac{Y_n}{\sqrt{n}}, with the random variable YnY_n defined as below.

ZN(0,σ2)      Yn:={Z with probability 11n.n with probability 1n.Z \sim \mathcal{N}(0, \sigma^2) ~~~ \parallel ~~~ Y_n := \begin{cases} Z & \text{ with probability } 1 - \frac{1}{n}. \\ n & \text{ with probability } \frac{1}{n}. \end{cases}

Then we have a convergence in distribution YnN(0,σ2)Y_n \rightsquigarrow \mathcal{N}(0, \sigma^2), implying that n(θ^nθ)N(0,σ2)\sqrt{n}(\hat{\theta}_n - \theta) \rightsquigarrow \mathcal{N}(0, \sigma^2). In other words, the estimator θ^n\hat{\theta}_n is asymptotically normal with asymptotic variance σ2\sigma^2. However, we may compute V[θ^n]=1nV[Yn]1\mathbb{V}[\hat{\theta}_n] = \frac{1}{n} \cdot \mathbb{V}[Y_n] \approx 1 as nn \to \infty, which does not match the asymptotic variance σ2/n0\sigma^2/n \to 0.

That said, in most well-behaved cases (read: under regularity conditions), it will generally be true that V[θ^n]σ2n\mathbb{V}[\hat{\theta}_n] \approx \frac{\sigma^2}{n}. So it is still generally fine to intuit σ2\sigma^2 and nV[θ^n]n \cdot \mathbb{V}[\hat{\theta}_n] as the same things.

§ Confidence Intervals

Definition. We say a (1α)(1 - \alpha) confidence interval (CI) for a parameter θ\theta is a random interval of the form Cn=(An,Bn)C_n = (A_n, B_n) such that, for any fixed value of θ\theta, we have Prθ(θ(An,Bn))1α\Pr_{\theta}(\theta \in (A_n, B_n)) \geq 1 - \alpha. We say 1α1 - \alpha is the coverage of the CI.

Remark. For any fixed θ\theta, the endpoints AnA_n and BnB_n are themselves random variables whose distributions (usually) depend on θ\theta.

If it turns out (6,7)(6, 7) is a 95%95\% confidence interval for θ\theta, that does not mean Prθ(θ(6,7))0.95\Pr_{\theta}(\theta \in (6, 7)) \geq 0.95. That statement doesn't even make sense—either θ(6,7)\theta \in (6, 7) or θ∉(6,7)\theta \not \in (6, 7), and there (usually) is no distribution on the possible values of θ\theta.

Definition. A sequence of random intervals {Cn}n=1\{C_n\}_{n = 1}^{\infty} has asymptotic coverage 1α1 - \alpha if lim infnPrθ(θCn)1α\liminf_{n \to \infty} \Pr_{\theta}(\theta \in C_n) \geq 1 - \alpha.

Theorem. (Constructing CIs) Suppose θ^n\hat{\theta}_n is an asymptotically normal estimator of θ\theta with asymptotic variance σ2\sigma^2. Then:

Cn:=(θ^nzα/2σn,θ^n+zα/2σn)C_n := \left( \hat{\theta}_n - z_{\alpha / 2} \frac{\sigma}{\sqrt{n}}, \hat{\theta}_n + z_{\alpha / 2} \frac{\sigma}{\sqrt{n}} \right)

has asymptotic coverage (1α)(1 - \alpha), where zα/2z_{\alpha / 2} is such that Φ(zα/2)Φ(zα/2)=1α\Phi(z_{\alpha / 2}) - \Phi(-z_{\alpha / 2}) = 1 - \alpha.

Proof: Just note that θCn\theta \in C_n is equivalent to θ^nθ<zα/2σn|\hat{\theta}_n - \theta| < z_{\alpha / 2} \frac{\sigma}{\sqrt{n}}, but also θ^nθN(0,σ2n)\hat{\theta}_n - \theta \approx \mathcal{N}(0, \frac{\sigma^2}{n}).   \blacksquare

Example. Given (i.i.d.) samples X1,,XnBer(p)X_1, \dots, X_n \sim \mathrm{Ber}(p), construct confidence intervals for pp with asymptotic coverage 1α1 - \alpha.

Solution: The challenge is that σ=p(1p)\sigma = \sqrt{p(1 - p)} depends on pp, but we don't know pp.

The fix is to conservatively bound σ12\sigma \leq \frac{1}{2}, which yields Cn=Xˉn±zα/22nC_n = \bar{X}_n \pm \frac{z_{\alpha / 2}}{2\sqrt{n}}.