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 Z∼N(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(1−p)\mathbb{V}_p[X_i] = p(1 - p), the CLT says that the asymptotic variance is p(1−p)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(1−p)4p^3(1 - p).

Remark. If θ^n\hat{\theta}_n is asymptotically normal with asymptotic variance σ2\sigma^2, that tells us that θ^n≈N(θ,σ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.

Z∼N(0,σ2)   ∥   Yn:={Z with probability 1−1n.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 Yn⇝N(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]=1n⋅V[Yn]≈1\mathbb{V}[\hat{\theta}_n] = \frac{1}{n} \cdot \mathbb{V}[Y_n] \approx 1 as n→∞n \to \infty, which does not match the asymptotic variance σ2/n→0\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 n⋅V[θ^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 inf⁡n→∞Pr⁡θ(θ∈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:=(θ^n−zα/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,…,Xn∼Ber(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(1−p)\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}}.