You can verify that all of the following are true.
Theorem. (Bootstrap Properties) Suppose we have (i.i.d.) samples {Xi}i=1n with μ=E[Xi] and σ2=V[Xi], and suppose {Xj∗}j=1m is some bootstrap sample of {Xi}i=1n.
We have E[Xj∗∣{Xi}i=1n]=Xˉn.
We have E[Xj∗]=μ.
We have V[Xj∗∣{Xi}i=1n]=n1∑i=1nXi2−(Xˉn)2=nn−1sn2.
We have V[Xj∗]=σ2.
Not very surprising, and not hard to prove.
§ Constructing CIs
Recall from Lecture 13 that, for any estimator θ^n, we can use bootstrapping to compute an estimate vboot of its variance.
vboot≈VP^n[θ^n]≈VP[θ^n].
Let's say θ^0:=θ^n(X1,…,Xn) is the observed point estimate we retrieved after considering all n samples. Then if θ^n is asymptotically normal, we can write, say, θ^0±1.96vboot as a 95% confidence interval.
But what if θ^n isn't approximately normal? Here's what we do instead.
Approach (Pivotal CI). Suppose we have the following:
We have n samples {Xi}i=1n∼Pθ∗, producing an observed value θ^0 of θ^n.
This lets us produce B point estimates {θ^b}b=1B.
Think of the {θ^b}b=1B as approximating the sampling distribution of θ^n under Pθ∗.
Our goal is to construct a (1−α) CI for θ∗.
Recall that CIs should be inherently random. We'd like to fix constants (r1,r2) and take our CI to be (θ^n−r1,θ^n+r2) so that:
Note that the randomness in our CI and in the above comes from the randomness of θ^n.
If we knew the exact value of θ∗ and the exact sampling distribution of θ^n under Pθ∗, here's how we would pick (r1,r2).
Find qα/2 such that Pθ∗(θ^n<qα/2)=2α, and find q1−α/2 such that Pθ∗(θ^n>q1−α/2)=2α.
Set r2=θ∗−qα/2 and r1=q1−α/2−θ∗.
The problem, of course, is that we don't know (qα/2,q1−α/2,θ∗). But we can estimate them using our bootstrap samples and θ^0.
Find q^α/2 such that 2α of the {θ^b}b=1B are at most q^α/2, and find q^1−α/2 such that 2α of the {θ^b}b=1B are at least q^1−α/2.
(Here, we estimate qα/2 and q1−α/2 by estimating Pθ∗ using the B bootstrap estimates {θ^b}b=1B.)
Set r^2=θ^0−q^α/2 and r^1=q^1−α/2−θ^0.
(Here, we estimate θ∗ by taking θ∗≈θ^0, recalling θ^0 was our n-sample point estimate for θ∗.)
After retrieving r^1 and r^2 as above, we set our CI to be (θ^0−r^1,θ^0+r^2).
You can also use the (inferior) percentile CI, which just returns (q^α/2,q^1−α/2).
We discussed earlier in Lecture 8 why random CIs (the pivotal CI) are preferred over deterministic intervals (the percentile CI).
Say the pivotal CI is a random interval I. That tells us that Prθ∗(θ∗∈I)=1−α.
Say the percentile CI is a constant interval I. That tells us that Prθ∗(θ^n∈I)=1−α.
Stated more explicitly, the pivotal CI is a random interval that captures the fixed θ∗, whereas the percentile CI is a fixed interval that captures the random θ^n.
Remark. Okay, to be fair, the percentile CI is technically a random interval, too; its endpoints q^α/2 and q^1−α/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.
Taking n=5 samples {0.3,0.5,0.9,1.4,3.1} gave a point estimate of θ^0=0.9.
Taking B=4 bootstrap samples gave B=4 additional point estimates {θ^b}b=14={0.9,0.3,1.4,0.9} with vboot≈0.1519.
If we just assume that θ^n is asymptotically normal, we get a 50% CI immediately:
θ^0±0.674vboot≈0.9±0.26=(0.64,1.16).
Now suppose we don't assume asymptotic normality. To compute a 50% CI, we note:
We have q^0.25=0.3 because 25% of the {θ^b}b=14 are at or below 0.3. Similarly, we have q^0.75=1.4.
Therefore, we take r^2=θ^0−q^0.25=0.6 and r^1=q^0.75−θ^0=0.5.
And so our 50% CIs are:
The pivotal CI is the random interval (θ^n−0.5,θ^n+0.6). Given the point estimate θ^0=0.9, this simplifies to (0.4,1.5).
The percentile CI is just (q^0.25,q^0.75)=(0.3,1.4), which is estimating a constant interval.
Remark. In general, the pivotal CI and the percentile CI are reflections of each other about θ^0. So they agree for all confidence levels only if the bootstrap estimates {θ^b}b=1B are symmetric about θ^0.