Tutorials › Group Sequential Methods and Sample Size Re-Estimation › Why Spend Alpha Across Interim Looks

Alpha Spending Functions · Tutorial 122 of 699

Why Spend Alpha Across Interim Looks

Understand the overall type I error problem created by repeated interim testing and why a cumulative, information-time-based rule can accommodate changing look schedules.

Advanced 9 min read

What You'll Learn

  • Define overall type I error as the null probability of crossing an efficacy boundary at any interim or final look.
  • Explain why repeated nominal-level tests can inflate a trial’s false-positive probability.
  • Decompose overall alpha into probabilities of first crossing at each look.
  • Distinguish a fixed per-look allocation from a rule indexed to information accrued.
  • Identify schedule changes and unplanned looks that can invalidate a fixed boundary plan.
  • Recognize why an alpha-spending rule alone does not determine boundaries or guarantee power.

Why a Trial Needs an Alpha Budget

A group sequential trial may examine accumulating evidence before the planned final analysis. If the treatment appears effective early, the trial may stop and declare efficacy; otherwise, it may continue to another look. This can be valuable, but it changes the error-control question. The relevant type I error is not the probability of a false rejection at one specified analysis. It is the probability of a false efficacy conclusion at any analysis in the trial.

Let \(H_0\) denote the null hypothesis of no treatment effect. Under \(H_0\), a one-sided efficacy rule rejects when a test statistic crosses its efficacy boundary. With \(K\) planned looks, denote by \(R_k\) the event that the rule rejects at look \(k\). The trial’s overall type I error is \(P_{H_0}(R_1\cup\cdots\cup R_K)\). The events can be dependent because interim and later statistics are calculated from overlapping data. Therefore, the overall error is not generally the sum of the nominal significance levels at the looks, nor is it generally equal to the significance level of one look.

Definition: The overall type I error of a group sequential efficacy procedure is the probability, under \(H_0\), that the procedure rejects \(H_0\) at one or more interim or final analyses. The design controls this probability at the trial’s chosen level \(\alpha\), often 0.05.

The central idea of alpha spending is to treat \(\alpha\) as a trial-level budget. As information accumulates, the design permits some of this budget to be used for the possibility of an early false efficacy conclusion. The rule must also preserve enough control for analyses that have not yet occurred. The budget is about the probability of a false rejection over the entire monitoring process, not a quantity that is literally subtracted from the observed data.

How Repeated Testing Uses the Budget

The union of rejection events can be partitioned according to the first look at which rejection occurs. Let \(E_k\) be the event that the procedure first rejects \(H_0\) at look \(k\). These events are mutually exclusive: a trial that first rejects at look 1 cannot first reject again at look 2. They also cover every way the trial can reject. Consequently,

$$ P_{H_0}(\text{reject at any look}) =\sum_{k=1}^{K} P_{H_0}(E_k). $$

This decomposition gives a useful interpretation of spending. Each look adds a chance of a first false crossing, and the sum of those chances is the overall type I error. The probability of crossing at a later look must be evaluated among paths that have not already crossed; it is not simply the unconditional significance level assigned to a single test. The earlier material on null-path derivations uses this same partition to calculate overall alpha for a specified boundary design.

A short calculation shows why repeatedly using a single-look level can be problematic. Suppose, only for illustration, that two tests under \(H_0\) were independent and each had type I error 0.05. The probability of no false rejection at either test would be \(0.95\times0.95\). Thus the probability of at least one false rejection would be

$$ 1-(1-0.05)^2=1-0.9025=0.0975. $$

This is 9.75%, not 5%. Actual interim statistics are usually dependent, so this independence calculation is not a group sequential design formula. It isolates the basic problem: two opportunities to reject can produce a larger probability of at least one false rejection. Dependence changes the size of the increase, but does not make repeated testing automatically safe. A union bound, \(P_{H_0}(\cup_k R_k)\leq\sum_k P_{H_0}(R_k)\), gives a general conservative control principle; a calibrated sequential design can use the joint null distribution more efficiently.

Worked Example: Two Independent Looks as a Warning

Imagine a hypothetical trial that performs two independent tests under \(H_0\), each rejecting at a nominal level of 0.05. Find the trial-level type I error if either rejection leads to a claim of efficacy.

The probability of no rejection at the first test is \(1-0.05=0.95\). By the stated independence assumption, the probability of no rejection at both tests is \(0.95^2=0.9025\). Therefore,

$$ P_{H_0}(\text{at least one rejection}) =1-P_{H_0}(\text{no rejection at both}) =1-(0.95)(0.95)=0.0975. $$

The hypothetical procedure has a 9.75% overall type I error, so it does not control a 5% trial-level target. The example assumes independence specifically to make the arithmetic transparent; sequential analyses of accumulating trial data are generally dependent, and their overall error must be evaluated using that dependence rather than this calculation.

From Per-Look Testing to Cumulative Spending

A fixed per-look rule might say, for example, “test at 0.01 at each interim analysis.” That instruction does not by itself describe how much of the trial-level error budget has been used after a particular amount of information has accrued. Nor does it naturally adapt if the timing or number of analyses changes. A spending rule instead describes how much cumulative type I error the design allows by a given point in the trial.

Definition: An alpha-spending rule specifies a cumulative allowance for the probability of a false efficacy crossing as information accrues. It is commonly represented by a function \(A(t)\), where \(t\) is the information fraction, from 0 at the start to 1 at the planned maximum information. The cumulative allowance begins at 0 and reaches the trial-level target \(\alpha\) by \(t=1\). The rule concerns cumulative error control; a separate boundary-calibration procedure is needed to obtain test-statistic cutoffs.

The information fraction is the information available at an analysis divided by the information planned at the maximum analysis. In a simple design with fixed variance and sample size proportional to information, it may be approximated by the fraction of the maximum sample size accrued. Information time is not necessarily the same as calendar time: an analysis scheduled after six months is not automatically at the same information fraction in every trial.

A cumulative rule gives meaning to an analysis at an unplanned information time. If a look moves from one information fraction to another, the cumulative allowance can be read at the information actually accrued, rather than being tied only to the ordinal label “look 2.” This addresses a key weakness of a rule that assigns a separate fixed allowance to each planned look. It does not mean that one may change the design arbitrarily after seeing results: the boundary procedure, monitoring plan, and statistical assumptions still matter.

Worked Example: Accounting for First False Crossings

Consider a hypothetical three-look design under \(H_0\). Suppose its calibrated procedure has the following conditional probabilities of a first false rejection: 0.01 at look 1; 0.02 at look 2, conditional on no earlier rejection; and 0.02 at look 3, conditional on no earlier rejection. These are stipulated design probabilities, not estimates from trial data. Calculate the overall type I error and the cumulative error after each look.

At look 1, the probability of first rejection is \(0.01\). The probability of reaching look 2 without an earlier rejection is \(1-0.01=0.99\), so the unconditional probability of first rejection at look 2 is

$$ P_{H_0}(E_2)=0.99(0.02)=0.0198. $$

The probability of reaching look 3 without a rejection is \(0.99(1-0.02)=0.99(0.98)=0.9702\). Thus,

$$ P_{H_0}(E_3)=0.9702(0.02)=0.019404. $$

The events of first rejection are disjoint, so the overall type I error is

$$ 0.0100+0.0198+0.019404=0.049204. $$

The cumulative probability of a false rejection by look 1 is 0.0100; by look 2 it is \(0.0100+0.0198=0.0298\); and by look 3 it is 0.049204. The final value is just below a 0.05 target. This calculation shows what cumulative accounting means. It does not show how to derive the test-statistic boundaries that produce the stipulated conditional probabilities.

Why Index the Rule to Information Time?

Interim schedules can change for operational reasons. Recruitment may be slower or faster than anticipated, an analysis may be delayed, or the team may decide that a planned look should occur after more information has accrued. A rule defined only as an allowance “at look 1, look 2, and look 3” is tied to the original schedule. If a look is added, removed, or moved, the design team must determine how the error budget is to be reassigned and whether the original boundaries still control overall alpha.

An information-time rule makes the intended cumulative allowance a function of information accrued rather than just the number of completed looks. The following simple function is illustrative only; it is not a recommendation for a particular trial. Suppose the target is \(\alpha=0.05\), and an example rule is \(A(t)=0.05t^2\). At information fractions 0.25, 0.50, and 1.00, the cumulative allowances are 0.003125, 0.0125, and 0.05, respectively. If operational circumstances instead place analyses at 0.30, 0.70, and 1.00, the corresponding values from the same illustrative rule are 0.0045, 0.0245, and 0.05. The rule can therefore be evaluated at the actual information fractions.

These values are cumulative allowances, not the nominal significance levels for separate tests, and not test-statistic cutoffs. Constructing boundaries requires accounting for the joint distribution of the sequential statistics and the probability of having crossed earlier boundaries. The later material on cumulative spending and boundary construction develops those steps.

Worked Example: A Look Moves to a Different Information Fraction

A hypothetical trial has target \(\alpha=0.05\) and uses the illustrative spending curve \(A(t)=0.05t^2\). Its second analysis was planned at information fraction \(t=0.50\), but operational delays mean that the analysis occurs at \(t=0.70\). Find the cumulative allowance at each timing and explain the change.

At the planned information fraction,

$$ A(0.50)=0.05(0.50)^2=0.05(0.25)=0.0125. $$

At the actual information fraction,

$$ A(0.70)=0.05(0.70)^2=0.05(0.49)=0.0245. $$

Under this illustrative rule, the cumulative allowance by the delayed analysis is 0.0245 rather than 0.0125. The difference is \(0.0245-0.0125=0.0120\). It is not an extra 0.0120 to add to a nominal test level without further calculation. The sequential boundary must be calibrated so that the probability of crossing by the actual look is controlled consistently with the rule and the earlier data-dependent testing history.

Alternatives, Diagnostics, and Limits

A design with a fixed, pre-specified schedule can use classical calibrated boundaries: the cutoffs are chosen jointly so the overall null rejection probability is the desired \(\alpha\) for that schedule. This can be effective when the planned looks and assumptions remain appropriate. If the schedule changes, the original calibration may no longer apply, and a new analysis of the design may be needed. A conservative alternative is to use a multiplicity adjustment such as Bonferroni, limiting the sum of per-look error probabilities to \(\alpha\). This can provide control without relying on a detailed dependence calculation, but may spend the budget inefficiently. Spending rules offer a way to express cumulative error control over information time; they still require a valid procedure for converting that rule into boundaries.

Several checks help identify when the planned error control may be in danger:

  • Compare the actual and planned information times. Record information accrued at each analysis, not only its calendar date or look number.
  • Count every efficacy opportunity. An extra unplanned look can increase the chance of a false crossing if it is not included in the error-control procedure.
  • Check what triggered the analysis. A schedule change based on external operations is different from one triggered by emerging treatment results. Data-dependent timing may require additional justification; a spending curve does not automatically validate any stopping or analysis rule.
  • Separate error control from power. A rule that controls overall type I error does not, by itself, ensure adequate power, a desired expected sample size, or acceptable operating characteristics under clinically relevant alternatives.
  • Revisit the assumptions and calibration. Changes in the statistical model, information estimates, or analysis method can affect the joint null distribution used to calibrate boundaries.

The main limitation is that “spend alpha over time” is a design principle, not a complete testing algorithm. The spending rule states how the cumulative error allowance is indexed; it does not specify the test statistic, the boundary at each look, or the consequences of every possible operational deviation. Those must be handled by the full sequential design and analysis plan.

A Common Mistake

Wrong reasoning: “The trial has a 5% alpha level, so each interim look can use a 5% test; the 5% applies separately every time.” This confuses a single-analysis error rate with the probability of at least one false rejection over the whole trial. Repeated testing creates multiple opportunities to cross an efficacy boundary.

Correction: Define the trial-level rejection event as crossing at any look, then control its probability under \(H_0\) at the chosen \(\alpha\). Calibrated fixed boundaries or a suitable spending-based procedure can do this. Do not infer overall control from the nominal level at one look, and do not assume that simply dividing \(\alpha\) equally is necessary or optimal.

Key takeaway: Interim looks consume a trial’s type I error budget through the cumulative probability of a first false efficacy crossing. A cumulative allowance indexed to information time provides a principled way to address changed look timing, but boundary calibration and the validity of the monitoring plan remain essential.

Check Your Understanding

Answer each question, then compare your reasoning with the solutions below.

  1. In a three-look trial, why is overall type I error not necessarily three times the nominal level at one look?
  2. Under independence, two tests each at level 0.025 are performed, and either can lead to rejection. What is the probability of at least one rejection under \(H_0\)?
  3. A design has first-crossing probabilities 0.008, 0.012, and 0.020 at its three looks. What is the overall type I error, and what is the cumulative error by look 2?
  4. Why can a spending rule indexed only by look number be awkward if the timing of analyses changes?
  5. Does specifying a cumulative spending curve alone give the test-statistic boundary at each look? Explain.

Solutions. (1) The rejection events across looks are dependent and overlap; overall error is the probability of their union, not generally the sum of identical nominal levels. It must be calculated or controlled for the sequential procedure. (2) Independence gives \(1-(1-0.025)^2=1-0.950625=0.049375\), or 4.9375%. (3) The overall error is \(0.008+0.012+0.020=0.040\), or 4.0%, because the stated probabilities are for mutually exclusive first-crossing events. By look 2 it is \(0.008+0.012=0.020\), or 2.0%. (4) The same numbered look may occur at a different amount of information, and adding or moving a look can leave the original per-look allocation ambiguous. Indexing cumulative allowance to information time directly addresses that timing distinction. (5) No. The curve specifies cumulative error allowance; obtaining test-statistic boundaries requires a sequential calibration using the null distribution and earlier crossing history.

Clinical Biostats