Why Sparse Data Need Their Own Assessment
A design can look satisfactory in an average-performance summary while producing a meaningful number of trials with too little information to support the planned analysis. This is especially important when the planned sample is small or the outcome is binary and uncommon. An adaptive design may allocate very unevenly, and a rare outcome may leave one or both arms with no observed events even when participants were randomized to both arms.
The simulation comparison should therefore track more than the average estimate or rejection rate. It should record whether an arm is empty, whether events are absent, whether the planned estimator or test can be calculated, and how often these events occur. The comparison is informative only if both designs face the same trial size, outcome-generating conditions, analysis rules, and definition of a failed or non-estimable replicate.
For a simulation comparison, specify the data-generating mechanism (DGM), the randomization rules, and the analysis procedure before summarizing results. A typical setup generates outcomes according to a stated model, assigns each participant using the design’s sequential allocation rule, and then applies the same prespecified analysis to each simulated trial. Under the null DGM, the treatment effect is set to its null value; the simulated rejection proportion estimates the procedure’s type I error for that particular design and scenario.
Empty Arms Under Fixed and Adaptive Allocation
In a fixed design that independently assigns each of \(n\) participants to either of two arms with probability \(1/2\), the probability that all participants go to one arm is \(2(1/2)^n\). The two all-in-one-arm events are mutually exclusive when \(n>0\). Under unequal fixed assignment probabilities, the corresponding probability is \(p^n+(1-p)^n\), where \(p\) is the probability of assignment to one arm.
For an adaptive design, allocation probabilities depend on the preceding trial history. The chance of an empty arm must therefore be calculated along the assignment path that produces that event. In particular, the probability that all assignments are to B is
Each factor is conditional on all preceding assignments being to B. It is not generally correct to multiply probabilities averaged over histories that include assignments to A. In a simulation, the direct and usually simplest assessment is to record the arm counts in every replicate and estimate the empty-arm frequency.
Worked Example: Comparing Empty-Arm Probabilities
Consider eight participants. In a hypothetical fixed design, each participant independently has probability \(1/2\) of assignment to either arm. In a hypothetical adaptive policy, the first participant has probability \(1/2\) of assignment to either arm. Along the path where all previous assignments are B, each later participant has conditional probability \(0.8\) of assignment to B. Along the path where all previous assignments are A, each later participant has conditional probability \(1/2\) of assignment to A. The policy may use other probabilities for other histories; they are not needed for the all-in-one-arm paths.
For the fixed design, \(P(\text{empty arm})=2(1/2)^8=2/256=0.007813\).
For the adaptive policy, the probability of all B is \(P(B_1,\ldots,B_8)=0.5(0.8)^7=0.1049\). The probability of all A is \(P(A_1,\ldots,A_8)=0.5(0.5)^7=0.003906\). These events are disjoint, so the probability of an empty arm is \(0.1049+0.003906=0.1088\), to four significant figures. In this specified example, the adaptive policy has a substantially higher chance of an empty arm than the fixed design. This calculation illustrates why the assignment path matters; it is not a general claim about adaptive designs.
Rare Outcomes and Non-Estimable Replicates
An empty arm is an allocation failure, whereas a zero-event arm is an outcome-data pattern. A trial can have participants in both arms and still have no events in one or both arms. For a fixed arm size \(m\), if outcomes are independent Bernoulli variables with event probability \(p\), the probability of zero events in that arm is \((1-p)^m\). This calculation applies under those fixed-size, independent-outcome assumptions. Under response-adaptive allocation, the arm size may depend on earlier outcomes, so a binomial calculation conditional on the final arm size need not describe the zero-event probability. Simulate the whole sequential process instead.
Zero events can make some summaries or procedures undefined or unstable. For example, an observed risk is defined as zero when the arm has participants but no events; however, a log risk ratio involving that zero risk is not finite without an additional method. A zero cell can also cause separation or numerical problems in some fitted models. Do not silently replace such results with extreme finite values, omit those replicates, or treat a zero-event arm as an empty arm. State the estimator and its handling rule in advance.
Report both the proportion of all simulated replicates that are non-estimable and, when useful, performance among the estimable replicates. The latter is a conditional summary: it describes only the subset where the procedure returned a result. It cannot stand in for performance across all intended trials. For tests, specify what happens if the planned test cannot be computed. Counting a failed test as a non-rejection can affect the rejection rate; excluding it can also distort that rate if failure is related to the simulated data. Report the failure proportion alongside any rejection rate based on a defined subset.
Worked Example: Measuring Zero-Event Risk in a Simulation
Suppose 2,000 hypothetical replicates are generated for each of two designs under the same rare-event DGM. In these runs, the fixed design has 1,420 replicates with at least one arm containing participants but no events; the adaptive design has 1,600. The estimated frequencies are
The Monte Carlo standard error (MCSE) for an estimated simulation proportion \(\hat p\) based on \(R\) independent replicates is estimated by \(SE_{\mathrm{MC}}=\sqrt{\hat p(1-\hat p)/R}\). Thus, for the fixed design, \(\sqrt{0.7100(0.2900)/2000}=\sqrt{0.00010295}\approx0.01015\). For the adaptive design, \(\sqrt{0.8000(0.2000)/2000}=\sqrt{0.00008000}\approx0.008944\).
Suppose the replicates were paired by using the same simulated trial conditions for both designs. There are 280 replicates with this pattern for the zero-event indicator: fixed has the outcome and adaptive does not. There are 460 with the reverse pattern. The paired estimated difference, adaptive minus fixed, is \((460-280)/2000=0.09000\), agreeing with \(0.8000-0.7100\). The result estimates a nine-percentage-point higher zero-event frequency for the adaptive design in this hypothetical scenario. It does not establish that adaptive allocation generally raises this frequency.
Compare Error Rates With Paired Replicates
Small-sample analyses may not attain their nominal error rate, even when their assumptions appear reasonable. The relevant type I error is the probability that the prespecified test rejects \(H_0\) under the null DGM. Estimate it by the fraction of replicates with a rejection, using the intended analysis and significance level \(\alpha\). The finite-sample rate is a property of the combination of DGM, design, analysis, and sample size—not just the test name.
When the same simulated conditions are used for both designs, the comparison can use paired rejection indicators. Let \(I_{Ar}\) equal 1 if the adaptive design’s test rejects in replicate \(r\), and 0 otherwise; define \(I_{Fr}\) similarly for the fixed design. Write \(D_r=I_{Ar}-I_{Fr}\). The estimated difference in rejection probabilities is \(\bar D\). Since \(D_r\) is 1 for adaptive-only rejections, -1 for fixed-only rejections, and 0 otherwise, \(D_r^2\) is 1 exactly when the decisions disagree. Therefore \(E(D_r^2)=P(\text{discordant decisions})\), while \(\operatorname{Var}(D_r)=E(D_r^2)-[E(D_r)]^2\). Estimating these quantities by their paired sample proportions gives the MCSE below.
where \(\hat p_{10}\) is the proportion of adaptive-only rejections and \(\hat p_{01}\) is the proportion of fixed-only rejections. This paired MCSE reflects the replicate-level association between the two designs; calculating separate MCSEs and treating the design estimates as independent discards that information.
Worked Example: A Small-Sample Type I Error Comparison
In 5,000 paired hypothetical null replicates at nominal \(\alpha=0.05\), the fixed-design test rejects 325 times and the adaptive-design test rejects 460 times. The estimated type I error rates are \(325/5000=0.06500\) and \(460/5000=0.09200\). Their individual MCSEs are \(\sqrt{0.06500(0.9350)/5000}\approx0.003486\) and \(\sqrt{0.09200(0.9080)/5000}\approx0.004087\).
Suppose adaptive-only rejection occurs in 395 replicates and fixed-only rejection in 260. Then \(\bar D=(395-260)/5000=0.02700\), which is the difference \(0.09200-0.06500\). The paired MCSE is \[ \sqrt{\frac{395/5000+260/5000-(0.02700)^2}{5000}} =\sqrt{\frac{0.07900+0.05200-0.000729}{5000}} \approx0.005104. \] The estimated adaptive-minus-fixed difference is 0.02700, or 2.700 percentage points, with a paired MCSE of 0.5104 percentage points. This comparison suggests that the adaptive test rejects more often under this null scenario. It is not by itself evidence that the difference will persist under other conditions.
For scale, the adaptive rate’s approximate 95% Monte Carlo interval is \(0.09200\pm1.96(0.004087)\), or about \([0.0840,0.1000]\). This describes simulation uncertainty about the estimated operating characteristic, not uncertainty about whether \(H_0\) is true. The interval is well above the nominal 0.05 in this example, so ordinary Monte Carlo fluctuation alone is not a plausible explanation for the observed excess. The analysis should still be checked against its specified assumptions and implementation.
Diagnostics, Alternatives, and Limitations
A useful sparse-data assessment examines replicate-level counts and analysis status before relying on aggregate metrics. Check that the arm-size totals equal the planned sample size, that zero-event counts are based on participants actually assigned, and that all simulated replicates are accounted for. Summarize the distribution of arm sizes, not just their average: the minimum, maximum, and frequency of very small arms can reveal allocation patterns obscured by the mean. For binary outcomes, record the number of events per arm and flag any estimator or test that fails to return its prespecified output.
Several complementary approaches answer different questions. Direct simulation of the full sequential allocation and outcome process accommodates history-dependent assignment and is usually the primary method for the operating characteristics of interest. Exact enumeration can be useful when the sample and state space are sufficiently small, and can verify a simulation in a simplified case. Large-sample formulas may provide a benchmark, but should not be trusted as the sole assessment when expected counts are sparse or estimates approach boundaries. Fixed allocation is a comparator, not a cure for rare outcomes: it may avoid some allocation extremes but cannot guarantee events in every arm.
Monte Carlo uncertainty also limits what a simulation can establish. Increasing the number of replicates reduces simulation error, but it does not repair a misspecified DGM, an inappropriate analysis, or a poorly defined failure rule. Conversely, a wide MCSE means the operating characteristic is estimated imprecisely; it does not mean the design itself has high variability among patients. Interpret those two sources of variation separately.
- Common mistake: Treating every arm with no observed events as an empty arm. Correction: Verify the randomized arm count; an arm with participants and zero events is a zero-event arm.
- Common mistake: Excluding non-estimable replicates and reporting the remaining rejection rate as though it applied to all trials. Correction: Report the non-estimable proportion and the denominator for every performance summary.
- Common mistake: Using a binomial zero-event formula for a response-adaptive arm after conditioning only on its final size. Correction: If allocation depends on observed outcomes, simulate the joint sequential process or justify the conditional model explicitly.
- Common mistake: Concluding that two designs differ because their separate estimates differ. Correction: Quantify Monte Carlo uncertainty for the difference, using paired replicate information when the simulations are paired.
Check Your Understanding
Answer each question, then compare your reasoning with the solutions.
- With six independent fixed assignments and probability \(1/2\) to each arm, what is the probability of an empty arm?
- An arm has 12 randomized participants and no events. Is it empty? What is the probability of zero events if outcomes are independent with event probability \(p=0.10\)?
- In paired simulations, adaptive-only rejections occur in 30 of 1,000 replicates and fixed-only rejections in 10. What is the estimated adaptive-minus-fixed rejection-rate difference?
- Why can dropping non-estimable replicates change the interpretation of a reported rejection rate?
Solutions. (1) The two disjoint all-in-one-arm events have total probability \(2(1/2)^6=2/64=0.03125\). (2) It is not empty: it has 12 participants. Under the stated independent Bernoulli model, the zero-event probability is \((1-0.10)^{12}=0.9^{12}\approx0.2824\). (3) The estimate is \((30-10)/1000=0.02000\), or two percentage points. (4) The retained replicates may be a selected subset with different data patterns from all simulated trials. The resulting rate is conditional on estimability, so report the failure frequency and identify the denominator rather than presenting it as the overall rate.