Why Invert the Stopped Sampling Law?
When a trial can stop early, the observed estimate is selected through a rule that depends on interim data. Its sampling distribution is therefore generally different from the distribution it would have had at a fixed sample size. An estimate that ignores this distinction can be biased, and a confidence interval based on the fixed-sample law can have incorrect coverage. The central idea here is to use the distribution generated by the actual stopping rule for both estimation and interval construction.
Let \(\theta\) denote a scalar treatment effect, and let \(D\) denote all data observed up to stopping, including the stopping stage. Choose a scalar statistic \(T=T(D)\), with larger values representing evidence for larger treatment effects. Write \(F_\theta(t)=P_\theta(T\le t)\) for its cumulative distribution function when the true effect is \(\theta\), with probabilities taken under the complete, pre-specified stopping rule. The observed value is \(t_{\mathrm{obs}}\). The distribution must describe the statistic as actually recorded, not as though observation had continued to a fixed maximum sample size.
A median-unbiased estimate is a statement about the repeated-sampling median, not the mean. It need not equal the ordinary observed treatment-effect estimate, and it need not be the midpoint of a confidence interval. Its interpretation also depends on which statistic and which stopping rule define \(F_\theta\).
Conditions for Inversion and Confidence-Interval Duality
The simple inversion formula relies on several conditions. The parameter is scalar and ordered. The statistic has a continuous distribution under each candidate value of \(\theta\). At the observed statistic, \(F_\theta(t_{\mathrm{obs}})\) varies continuously and strictly decreases as \(\theta\) increases. Finally, its limits as \(\theta\) ranges over the parameter space must reach the probabilities being inverted. These conditions give a unique solution for the median and for the two confidence limits. If the model has nuisance parameters, the probabilities must be calibrated in a way that accounts for them; plugging in an unaccounted-for nuisance estimate does not automatically preserve coverage.
For a central confidence interval with nominal level \(1-\alpha\), invert the two tail probabilities of the stopped law. At the lower endpoint, the observed statistic is at the upper \(1-\alpha/2\) quantile under that candidate parameter. At the upper endpoint, it is at the lower \(\alpha/2\) quantile. The endpoint equations and the interval set are:
Because \(F_\theta(t_{\mathrm{obs}})\) decreases with \(\theta\), the first equation gives the lower limit and the second gives the upper limit. For a fixed true \(\theta\), continuity of the distribution implies that \(F_\theta(T)\) is uniform on \([0,1]\). Thus the probability that the true value belongs to the inverted set is \(P_\theta(\alpha/2\le F_\theta(T)\le 1-\alpha/2)=1-\alpha\). This is unconditional coverage under the specified stopping rule: the probability averages over all possible stopping stages and outcomes generated by that rule.
Define \(T\) from the data that would actually be reported, including the stopping stage where relevant.
For each candidate treatment effect, compute \(F_\theta(t)\) under the full monitoring and stopping design.
Solve the median equation for the point estimate and the two tail equations for the confidence limits, checking monotonicity and existence.
Worked Example: Inverting a Hypothetical Stopped-Law Model
Suppose a hypothetical two-look design reports a stopped statistic \(T\) measured in treatment-effect points. For this illustration, assume its exact unconditional stopped-law CDF is \(F_\theta(t)=1/\{1+\exp[-(t-\theta-0.30)/0.80]\}\). This is a deliberately simple model for demonstrating inversion, not a universal distribution for group sequential trials. Assume the law is continuous, the treatment effect can range over the real line, and the observed statistic is \(t_{\mathrm{obs}}=2.40\) points.
For the median-unbiased estimate, set the CDF to \(0.50\). A logistic CDF equals \(0.50\) when its exponent argument is zero, so \((2.40-\tilde{\theta}-0.30)/0.80=0\), giving \(\tilde{\theta}=2.10\) points. The stopping-aware median estimate is therefore 2.10 treatment-effect points.
For a 90% interval, \(\alpha=0.10\), so the endpoint CDF values are \(0.95\) and \(0.05\). The logit of \(0.95\) is \(\log(0.95/0.05)=2.944\). Therefore the lower endpoint solves \((2.40-\theta_L-0.30)/0.80=2.944\), which gives \(\theta_L=2.10-(0.80)(2.944)=-0.2556\) points. The upper endpoint solves the same expression equal to \(-2.944\), giving \(\theta_U=2.10+(0.80)(2.944)=4.456\) points. The 90% interval is approximately \((-0.256,\ 4.456)\) treatment-effect points. Under the assumed stopped-law model, this construction has 90% unconditional coverage; it does not mean there is a 90% probability that this particular interval contains the fixed true effect.
Why the Duality Works
The confidence interval is obtained by accepting candidate parameter values whose observed stopped statistic is not too extreme in either tail. The same CDF used to define the median estimate supplies these tail probabilities. The connection can be checked directly. For any continuous \(F_\theta\), the probability integral transform gives \(F_\theta(T)\sim\mathrm{Uniform}(0,1)\) when \(\theta\) is true. Retaining candidate values for which this transformed statistic lies between \(\alpha/2\) and \(1-\alpha/2\) therefore retains the true value with probability \(1-\alpha\).
The median estimate is the value for which the transformed observed statistic equals \(1/2\). The interval limits instead correspond to the two tail cutoffs. They are symmetric in probability scale, but not necessarily symmetric in treatment-effect units. A skewed stopped-law distribution can give unequal distances from the median estimate to the two limits.
This is the confidence-interval duality: confidence limits are obtained by inverting tests of candidate parameter values. Here the tests use the stopped-law tail probabilities. The equal-tailed intervals from the stopped sampling law use the same principle; the additional point-estimation perspective identifies the parameter value that makes the observed statistic a median. Neither procedure licenses replacing the stopped law with a fixed-sample distribution.
Worked Example: Checking Coverage From the Probability Scale
Continue with the hypothetical logistic stopped-law model, but consider a true treatment effect of \(\theta=2.10\) points and a 90% interval procedure. Under this true value, \(F_\theta(T)\) is uniform on \([0,1]\). The true effect is included precisely when the transformed statistic lies between \(0.05\) and \(0.95\).
The inclusion probability is therefore \(P(0.05\le F_\theta(T)\le0.95)=0.95-0.05=0.90\). This calculation uses the distribution of the statistic across all outcomes allowed by the stopping rule. It does not condition on reaching a particular look. If a calculation instead uses probabilities conditional on the stopping stage, it answers a different coverage question.
The same transform explains median unbiasedness. At the true \(\theta\), half the probability lies below \(F_\theta(T)=0.50\) and half above it. Under the stated monotonicity condition, the estimate obtained by solving \(F_{\tilde{\theta}}(T)=0.50\) is consequently no greater than the true effect in half the repetitions and no less than it in half.
Discrete Laws, Diagnostics, and Limits
If \(T\) is discrete, \(F_\theta(T)\) is not continuously uniform. Ties create jumps, so solving an equation such as \(F_\theta(t_{\mathrm{obs}})=1/2\) may have no solution or may produce more than one. A median can still be defined by the two inequalities \(P_\theta(T\le t_{\mathrm{obs}})\ge1/2\) and \(P_\theta(T\ge t_{\mathrm{obs}})\ge1/2\). The resulting set of candidate values can be an interval or a more complicated set. Similarly, nonrandomized tail inversion can yield coverage greater than the nominal level because attainable probabilities jump over the desired cutoffs. Exact nominal coverage in a discrete model may require randomization; a nonrandomized construction should report its actual coverage guarantee rather than claim exact equality.
Before trusting an inversion, check that candidate CDF values move in the required direction and that each root exists within the parameter space. A flat region, multiple roots, or a root outside the allowed parameter range signals nonuniqueness or a boundary limit, not permission to select a convenient answer without explanation. Also check that the computation includes the actual efficacy and futility rules, the maximum sample size, and the distributional assumptions for the endpoint. If the standard error is estimated or nuisance parameters are present, the stated coverage result requires a method that accounts for that uncertainty.
A frequent mistake is to calculate a fixed-sample confidence interval from the observed sample size and call it a stopped-law interval. That calculation uses the wrong distribution whenever the monitoring rule changes the sampling behavior. The correction is to evaluate candidate effects under the pre-specified full stopping rule and invert those probabilities. Another mistake is to assume that a median-unbiased estimate must be the interval midpoint. It is the solution to a 50% CDF equation; the interval endpoints are solutions to two different tail equations.
Median inversion is useful because it gives a clear central estimate aligned with the sampling distribution relevant to the stopped design, while its tail inversion provides a principled uncertainty interval. Its limitations are equally important: uniqueness depends on ordering and continuity, coverage depends on correct calibration of the stopped law, and a scalar statistic may not capture all features of the observed data. Different choices of statistic or conditioning target can produce different valid procedures.
Worked Example: A Discrete Median Set
Consider a hypothetical stopped experiment whose reported statistic \(T\) takes values \(0,1,2\), with probabilities \(P_\theta(T=0)=0.40-0.20\theta\), \(P_\theta(T=1)=0.20\), and \(P_\theta(T=2)=0.40+0.20\theta\), where \(0\le\theta\le1\). The probabilities are nonnegative and sum to one throughout this parameter range. Suppose the observed value is \(T=1\).
For this observation, \(P_\theta(T\le1)=0.40-0.20\theta+0.20=0.60-0.20\theta\), while \(P_\theta(T\ge1)=0.20+0.40+0.20\theta=0.60+0.20\theta\). The first probability is at least one half exactly when \(0.60-0.20\theta\ge0.50\), or \(\theta\le0.50\). The second is at least one half for every \(\theta\) in \([0,1]\). Thus the observed value is a median for the candidate-parameter set \(0\le\theta\le0.50\), not for a unique value. The equation \(P_\theta(T\le1)=0.50\) selects the boundary \(\theta=0.50\), but reporting it as the unique median-unbiased value would conceal the nonuniqueness. This example also shows why continuous-law coverage arguments cannot be applied unchanged to discrete data.
Check Your Understanding
Answer each question using the stopped-law definitions and conditions above. Brief solutions follow the questions.
- In a continuous ordered model, what equation defines the median-unbiased estimate from \(t_{\mathrm{obs}}\)?
- For a 95% central interval, which CDF values define the lower and upper limits?
- Why does the continuous inversion procedure have unconditional coverage \(1-\alpha\)?
- What is a warning sign that a unique median estimate cannot be obtained by simple inversion?
- Why might a nonrandomized interval based on a discrete stopped statistic have coverage above its nominal level?
Solutions. (1) Solve \(F_{\tilde{\theta}}(t_{\mathrm{obs}})=0.50\). (2) The lower limit solves \(F_{\theta_L}(t_{\mathrm{obs}})=0.975\), and the upper solves \(F_{\theta_U}(t_{\mathrm{obs}})=0.025\). (3) Under the true effect, \(F_\theta(T)\) is uniform, so the probability it falls between \(\alpha/2\) and \(1-\alpha/2\) is \(1-\alpha\). (4) Nonmonotonicity, a flat region, multiple roots, or no root in the parameter space prevents straightforward unique inversion. (5) Discrete tail probabilities jump, so a nonrandomized rule may include more probability than the nominal cutoff requires.