MIT 18.650 — Lecture 14

Bootstrap Properties and Constructing CIs

§ Bootstrap Properties

You can verify that all of the following are true.

Theorem. (Bootstrap Properties) Suppose we have (i.i.d.) samples {Xi}i=1n\{X_i\}_{i = 1}^n with μ=E[Xi]\mu = \mathbb{E}[X_i] and σ2=V[Xi]\sigma^2 = \mathbb{V}[X_i], and suppose {Xj}j=1m\{X_j^*\}_{j = 1}^m is some bootstrap sample of {Xi}i=1n\{X_i\}_{i = 1}^n.

  1. We have E[Xj{Xi}i=1n]=Xˉn\mathbb{E}[X_j^* \mid \{X_i\}_{i = 1}^n] = \bar{X}_n.

  2. We have E[Xj]=μ\mathbb{E}[X_j^*] = \mu.

  3. We have V[Xj{Xi}i=1n]=1ni=1nXi2(Xˉn)2=n1nsn2\mathbb{V}[X_j^* \mid \{X_i\}_{i = 1}^n] = \frac{1}{n} \sum_{i = 1}^n X_i^2 - (\bar{X}_n)^2 = \frac{n - 1}{n} s_n^2.

  4. We have V[Xj]=σ2\mathbb{V}[X_j^*] = \sigma^2.

Not very surprising, and not hard to prove.

§ Constructing CIs

Recall from Lecture 13 that, for any estimator θ^n\hat{\theta}_n, we can use bootstrapping to compute an estimate vbootv_{\mathrm{boot}} of its variance.

vbootVP^n[θ^n]VP[θ^n].v_{\mathrm{boot}} \approx \mathbb{V}_{\hat{\mathbb{P}}_n}[\hat{\theta}_n] \approx \mathbb{V}_{\mathbb{P}}[\hat{\theta}_n].

Let's say θ^0:=θ^n(X1,,Xn)\hat{\theta}_0 := \hat{\theta}_n(X_1, \dots, X_n) is the observed point estimate we retrieved after considering all nn samples. Then if θ^n\hat{\theta}_n is asymptotically normal, we can write, say, θ^0±1.96vboot\hat{\theta}_0 \pm 1.96\sqrt{v_{\mathrm{boot}}} as a 95%95\% confidence interval.

But what if θ^n\hat{\theta}_n isn't approximately normal? Here's what we do instead.

Approach (Pivotal CI). Suppose we have the following:

Recall that CIs should be inherently random. We'd like to fix constants (r1,r2)(r_1, r_2) and take our CI to be (θ^nr1,θ^n+r2)(\hat{\theta}_n - r_1, \hat{\theta}_n + r_2) so that:

1α=Pθ(θ^nr1θθ^n+r2)=Pθ(θr2θ^nθ+r1).1 - \alpha = \mathbb{P}_{\theta^*}(\hat{\theta}_n - r_1 \leq \theta^* \leq \hat{\theta}_n + r_2) = \mathbb{P}_{\theta^*}(\theta^* - r_2 \leq \hat{\theta}_n \leq \theta^* + r_1).

Note that the randomness in our CI and in the above comes from the randomness of θ^n\hat{\theta}_n.

If we knew the exact value of θ\theta^* and the exact sampling distribution of θ^n\hat{\theta}_n under Pθ\mathbb{P}_{\theta^*}, here's how we would pick (r1,r2)(r_1, r_2).

  1. Find qα/2q_{\alpha/2} such that Pθ(θ^n<qα/2)=α2\mathbb{P}_{\theta^*}(\hat{\theta}_n < q_{\alpha/2}) = \frac{\alpha}{2}, and find q1α/2q_{1 - \alpha/2} such that Pθ(θ^n>q1α/2)=α2\mathbb{P}_{\theta^*}(\hat{\theta}_n > q_{1 - \alpha/2}) = \frac{\alpha}{2}.

  2. Set r2=θqα/2r_2 = \theta^* - q_{\alpha/2} and r1=q1α/2θr_1 = q_{1 - \alpha/2} - \theta^*.

The problem, of course, is that we don't know (qα/2,q1α/2,θ)(q_{\alpha/2}, q_{1 - \alpha/2}, \theta^*). But we can estimate them using our bootstrap samples and θ^0\hat{\theta}_0.

  1. Find q^α/2\hat{q}_{\alpha/2} such that α2\frac{\alpha}{2} of the {θ^b}b=1B\{\hat{\theta}_b\}_{b = 1}^B are at most q^α/2\hat{q}_{\alpha/2}, and find q^1α/2\hat{q}_{1 - \alpha/2} such that α2\frac{\alpha}{2} of the {θ^b}b=1B\{\hat{\theta}_b\}_{b = 1}^B are at least q^1α/2\hat{q}_{1 - \alpha/2}.

    • (Here, we estimate qα/2q_{\alpha / 2} and q1α/2q_{1 - \alpha / 2} by estimating Pθ\mathbb{P}_{\theta^*} using the BB bootstrap estimates {θ^b}b=1B\{\hat{\theta}_b\}_{b = 1}^B.)

  2. Set r^2=θ^0q^α/2\hat{r}_2 = \hat{\theta}_0 - \hat{q}_{\alpha/2} and r^1=q^1α/2θ^0\hat{r}_1 = \hat{q}_{1 - \alpha/2} - \hat{\theta}_0.

    • (Here, we estimate θ\theta^* by taking θθ^0\theta^* \approx \hat{\theta}_0, recalling θ^0\hat{\theta}_0 was our nn-sample point estimate for θ\theta^*.)

After retrieving r^1\hat{r}_1 and r^2\hat{r}_2 as above, we set our CI to be (θ^0r^1,θ^0+r^2)(\hat{\theta}_0 - \hat{r}_1, \hat{\theta}_0 + \hat{r}_2).

You can also use the (inferior) percentile CI, which just returns (q^α/2,q^1α/2)(\hat{q}_{\alpha/2}, \hat{q}_{1 - \alpha/2}).

We discussed earlier in Lecture 8 why random CIs (the pivotal CI) are preferred over deterministic intervals (the percentile CI).

Stated more explicitly, the pivotal CI is a random interval that captures the fixed θ\theta^*, whereas the percentile CI is a fixed interval that captures the random θ^n\hat{\theta}_n.

Remark. Okay, to be fair, the percentile CI is technically a random interval, too; its endpoints q^α/2\hat{q}_{\alpha / 2} and q^1α/2\hat{q}_{1 - \alpha / 2} do depend on random samples. But the point is that the percentile CI is trying to estimate a constant interval, whereas the pivotal CI is trying to estimate a random one.

§ Example: Bootstrapping a Median CI

Recall the example from Lecture 13:

If we just assume that θ^n\hat{\theta}_n is asymptotically normal, we get a 50%50\% CI immediately:

θ^0±0.674vboot0.9±0.26=(0.64,1.16).\hat{\theta}_0 \pm 0.674\sqrt{v_{\mathrm{boot}}} \approx 0.9 \pm 0.26 = (0.64, 1.16).

Now suppose we don't assume asymptotic normality. To compute a 50%50\% CI, we note:

And so our 50%50\% CIs are:

Remark. In general, the pivotal CI and the percentile CI are reflections of each other about θ^0\hat{\theta}_0. So they agree for all confidence levels only if the bootstrap estimates {θ^b}b=1B\{\hat{\theta}_b\}_{b = 1}^B are symmetric about θ^0\hat{\theta}_0.