Why Two-Look Intervals Need to Account for Stopping
In a two-look design, the reported estimate may come from an interim analysis or from a later, final analysis. Those estimates have different sampling distributions: the interim estimate is based on fewer observations and is generally less precise. Also, the analysis time is selected by a rule that depends on the interim data. An ordinary confidence interval calculated only at the observed look does not, by itself, account for that selection.
This tutorial develops a direct, conservative solution for a normal endpoint with known variance. Construct a confidence interval at each possible look, allocating error across the two intervals so that they cover simultaneously with at least the desired probability. Then report the interval corresponding to the look actually reached. The guarantee holds whatever prespecified stopping rule selects the look, provided the model and sampling assumptions are satisfied.
Write \(\bar{X}_1\) for the interim sample mean and \(\bar{X}_2\) for the cumulative mean at the final look. Their marginal sampling distributions are
Thus the standard errors are \(SE_1=\sigma/\sqrt{n_1}\) and \(SE_2=\sigma/\sqrt{n_2}\). These estimates are not independent: the first \(n_1\) observations contribute to both. In fact, \(\operatorname{Cov}(\bar{X}_1,\bar{X}_2)=\sigma^2/n_2\), so their correlation is \(\sqrt{n_1/n_2}\). The method below does not require independence between the looks.
Constructing a Simultaneous Pair of Intervals
Let the desired overall confidence level be \(1-\alpha\). Allocate a total error probability of at most \(\alpha/2\) to each look. Since each interval is two-sided, its probability of missing \(\theta\) in either tail is at most \(\alpha/2\), with at most \(\alpha/4\) assigned to each tail. Define \(z_q\) as the \(q\)-quantile of the standard normal distribution and set \(c=z_{1-\alpha/4}\). The two look-specific intervals are
For the prescribed normal model, each interval has marginal coverage \(1-\alpha/2\). If the stopping rule stops at the interim look, report \(C_1\); if it continues, report \(C_2\). The central justification is that simultaneous coverage of both intervals guarantees coverage of whichever one the rule selects.
To see why, let \(A_k\) be the event that \(C_k\) contains \(\theta\). The normal marginal distribution gives \(P_\theta(A_k^c)=\alpha/2\) for each look. The union bound, which does not require the two events to be independent, gives
Whenever both intervals cover, the interval reported at the stopping look covers as well. If \(T\) denotes the look reached, then \(\{\theta\in C_1\cap C_2\}\) is a subset of \(\{\theta\in C_T\}\). Consequently,
This is a simultaneous-coverage argument, not an assertion that the reported interval has exactly \(1-\alpha\) coverage. The union bound can be conservative, and the amount of conservatism depends in part on the dependence between the two look-specific estimates and on the stopping rule.
Worked Calculations at Each Possible Look
Worked Example: Reporting an Interval at an Early Efficacy Stop
Suppose a hypothetical trial measures a normally distributed endpoint in millimetres, with known \(\sigma=10\) mm. The planned looks are at \(n_1=40\) and \(n_2=100\), and the overall target confidence level is 95%. Imagine the prespecified rule stops for efficacy at the interim look, where the observed mean is \(\bar{X}_1=4.8\) mm. Find the interval to report.
For \(\alpha=0.05\), use \(c=z_{0.9875}=2.2414027\ldots\), not a value rounded down. The interim standard error and margin of error are
Because the trial stopped at look 1, the reported interval is
This interval is the interim component of the simultaneous pair; its marginal coverage under the model is 97.5%, and the selected-interval procedure has overall coverage of at least 95%. The interval describes uncertainty about the mean endpoint in millimetres; it does not give a 95% probability that the fixed parameter lies in this realized interval.
Worked Example: Continuing to the Final Look
Consider a second hypothetical trial with \(\sigma=8\) units, \(n_1=25\), and \(n_2=64\). Suppose the interim mean is 2.0 units and the efficacy/futility thresholds are, respectively, \(Z_1\geq2.2\) and \(Z_1\leq-1.5\), where \(Z_1=\bar{X}_1\sqrt{n_1}/\sigma\) tests against the reference value zero. Otherwise the trial continues. At the final look, the cumulative mean is 1.4 units. Apply the two-look procedure at 95% overall confidence.
The interim statistic is \(Z_1=2.0\sqrt{25}/8=1.25\). Since \(-1.5<1.25<2.2\), the rule continues to the final look. The two standard errors differ:
Using \(c=2.2414027\ldots\), the final-look interval has margin \(2.2414027(1.0)=2.241\) units. The interval to report is therefore
The observed final estimate and its interval are consistent with the continuation decision: the interim statistic did not cross either stopping threshold, and the final analysis used all 64 observations. The coverage claim is for the complete procedure, including the possibility that the rule could instead have stopped at the interim look.
Worked Example: A Futility Stop Does Not Change the Coverage Argument
In a third hypothetical trial, let the endpoint be measured in points, with known \(\sigma=6\), looks at \(n_1=36\) and \(n_2=81\), and the same 95% overall target. Suppose the prespecified futility rule stops if \(Z_1=\bar{X}_1\sqrt{n_1}/\sigma\leq-1.5\), and the interim mean is \(-1.8\) points. What interval is reported?
Here \(Z_1=(-1.8)(6)/6=-1.8\), so the trial stops at the interim look for futility. The interim standard error is \(6/\sqrt{36}=1\) point. The margin is \(2.2414027(1)=2.241\) points, giving
The interval includes zero, but that fact does not undo the futility decision or prove that the effect is zero. The decision rule and the confidence interval answer different questions. The interval is valid under the stated procedure because the argument protects both possible look-specific intervals, not because futility stopping makes the interim estimate behave like an unselected fixed-sample estimate.
What the Guarantee Does—and Does Not—Mean
The procedure gives a repeated-sampling coverage guarantee averaged over all data paths and the stopping decisions they produce. It does not generally guarantee at least 95% coverage among trials that stop at look 1, nor among those that reach look 2. Conditioning on a particular stage changes the distribution of the estimate because the stage is selected using the interim data. Conditional coverage is a different target and requires a method designed for that target.
The procedure also does not claim that the reported interval is the shortest possible interval with the stated coverage. It protects two intervals simultaneously, so it pays a price for guarding against a miss at either look. For comparison, the introductory material on exact intervals for a single-look normal design gives the usual fixed-look construction; simply applying that construction at the observed look does not provide the simultaneous protection established here. Stopping-aware test inversion, covered in the earlier material on inverting stopping-aware tests, can use the stopping rule more directly and may yield a less conservative interval. This tutorial’s construction is transparent and applies to any prespecified two-look rule without requiring independence between looks.
Diagnostics, Limitations, and Common Mistakes
Before using this interval, verify that the analysis matches the assumptions: the endpoint model is normal with known variance, the planned sample sizes are fixed, the final estimate is cumulative, and the interim stopping decision follows the prespecified rule. A final mean calculated only from the observations added after the interim look is not \(\bar{X}_2\), so substituting it into the displayed final interval would use the wrong sampling distribution. Also check the standard errors separately; the interim interval should be wider when \(n_1<n_2\).
The normal critical value is not automatically justified if \(\sigma\) is estimated, the endpoint distribution is materially nonnormal, looks occur at unplanned times, or sample size changes in response to interim results. In those settings, the marginal distributions and simultaneous error allocation must be recalibrated to the actual design. Likewise, if additional looks are possible, allocating error across only two intervals does not protect the additional analyses.
- Mistake: using the ordinary 95% critical value at both looks. Two marginal 95% intervals do not in general give at least 95% simultaneous coverage. Correction: allocate error across looks, as in \(c=z_{1-\alpha/4}\) for two two-sided intervals.
- Mistake: treating the two estimates as independent. They share observations. Correction: the union-bound proof needs only the marginal error probabilities, not independence.
- Mistake: rounding the critical value down. At \(\alpha=0.05\), \(2.241\) is slightly below \(z_{0.9875}=2.2414027\ldots\); each interval then misses with probability slightly greater than 0.025. Correction: calculate with the unrounded quantile or round upward, for example to 2.242.
- Mistake: claiming conditional 95% coverage at each stopping stage. The theorem is unconditional over the stopping process. Correction: state the coverage target accurately and use a method specifically calibrated for conditional coverage when that is the scientific requirement.
Check Your Understanding
Answer each question, then compare with the solutions below.
- For a 90% overall interval in a two-look design, what critical value is used for each two-sided look-specific interval?
- A trial has \(n_1=16\), \(n_2=64\), and known \(\sigma=12\). What are the two standard errors?
- Why does the simultaneous-coverage proof not require independent estimates at the two looks?
- Does the procedure guarantee 95% coverage conditional on stopping at the interim look? Explain.
Solutions. (1) With \(\alpha=0.10\), each look receives a miss probability of at most 0.05, so use \(c=z_{1-\alpha/4}=z_{0.975}=1.960\). (2) \(SE_1=12/\sqrt{16}=3\) units and \(SE_2=12/\sqrt{64}=1.5\) units. (3) The union bound states \(P(A_1^c\cup A_2^c)\leq P(A_1^c)+P(A_2^c)\) for any dependence structure. (4) No. The guarantee is unconditional over all possible data and stopping stages; conditioning on the interim stop can change the estimate’s sampling distribution.