Two Ways to Create Rejection Opportunities
A monitoring plan can specify a finite set of analysis times, or it can allow the test statistic to trigger a decision at any time in a monitoring interval. These plans create different rejection opportunities. With a finite schedule, a false positive occurs if at least one scheduled test rejects under \(H_0\). With continuous monitoring, it occurs if the statistic crosses a boundary at any time in the interval. In either case, the relevant error rate concerns the whole monitoring rule, not just one test considered in isolation.
This distinction does not mean that continuous monitoring is automatically invalid, or that a finite schedule automatically controls error. It means that the rejection rule must match the opportunities to reject. The introductory material on repeated significance testing establishes why repeated testing can inflate false-positive risk; here we compare the form of the opportunities and clarify what can, and cannot, be inferred just by counting them.
For a finite schedule, write \(A_k\) for the event that look \(k\) rejects under \(H_0\). The any-look event is the union \(A_1\cup\cdots\cup A_K\). If the tests are independent and each has false-positive probability \(\alpha\), the probability of no rejection is \((1-\alpha)^K\), so the any-look probability is \(1-(1-\alpha)^K\). If they are dependent, that independence formula does not apply. A general upper bound is \(P(A_1\cup\cdots\cup A_K)\leq\sum_{k=1}^K P(A_k)\), which follows because the indicator of a union cannot exceed the sum of the indicators of its component events. Dependence affects the actual union probability, even when the individual tests have the same size.
Finite Schedules: Count the Opportunities, Then Account for Dependence
The independent-test formula gives a useful benchmark, not a universal answer. For cumulative analyses of a growing data set, later test statistics share much of the earlier data. Their rejection events are therefore generally dependent. More looks still add possible rejection events, but the size of the increase depends on how those events overlap. A new look can add little risk if its rejection event largely coincides with earlier ones; it can add more when it contributes a substantial chance of rejection on paths that did not reject before.
Worked Example: Five Independent Scheduled Tests
Suppose a hypothetical monitoring plan conducts five independent tests under \(H_0\), each at a two-sided significance level of \(\alpha=0.05\). Find the probability of at least one false rejection.
Independence and equal per-test error rates are the assumptions required for the formula. The probability that one test does not reject is \(1-0.05=0.95\). Thus the probability that none of the five tests rejects is \(0.95^5\):
The any-look false-positive probability is about 22.62%, not 5%. This result is specific to five independent tests with a 5% error probability at each test. It should not be reported as the exact error rate for five cumulative analyses of the same accumulating data, because those tests are not independent.
Worked Example: A Dependence-Aware Upper Bound
Consider a hypothetical schedule with four tests, each having false-positive probability 0.025 under \(H_0\). Suppose their dependence is unknown. Find a valid upper bound for the probability of at least one rejection.
The union bound does not require independence. Substituting the four marginal probabilities gives:
Therefore, the any-look error probability is at most 10%. This calculation does not establish that the actual probability is 10%; strong overlap between rejection events could make it lower. Nor does the bound use the schedule's particular dependence structure to give a sharper value. It is a safe bound based only on the marginal test sizes.
Continuous Monitoring: A Maximum Over Time
A continuous rule defines a statistic \(Z(t)\) and a boundary, then rejects if \(Z(t)\) crosses that boundary at any time \(t\) in a stated interval. For a two-sided rule with constant boundary \(c\), the false-positive event is \(\{\sup_{t_0\leq t\leq T}|Z(t)|\geq c\}\). The lower limit \(t_0\) matters: a statistic may not be defined, stable, or suitably approximated at the very start of data collection. In many sequential models, standardization at time zero is undefined.
A useful idealized null model is \(Z(t)=B(t)/\sqrt{t}\), for \(t>0\), where \(B(t)\) is standard Brownian motion: it starts at zero, has continuous paths and independent increments, and \(B(t)-B(s)\sim N(0,t-s)\) for \(t>s\). Under this model each \(Z(t)\) has a standard normal distribution, but the values at different times are dependent because they are built from the same process. Continuous monitoring on \([t_0,T]\), with \(t_0>0\), asks whether the maximum absolute value of this entire path reaches \(c\). It is not equivalent to performing infinitely many independent tests.
The finite-schedule and continuous events can be compared directly when they use the same statistic and boundary. If the scheduled times \(t_1,\ldots,t_K\) lie in \([t_0,T]\), every path that crosses at one of those scheduled times also crosses during the full interval. Consequently, the continuous-monitoring event contains the scheduled any-look event, and its probability cannot be smaller. This comparison relies on keeping the process, boundary and monitoring interval the same. A different boundary or a different test definition changes the comparison.
Worked Example: Comparing Scheduled and Continuous Monitoring by Simulation
Suppose a hypothetical null simulation generates 100,000 paths from \(Z(t)=B(t)/\sqrt{t}\) on \(1\leq t\leq4\), and uses the two-sided boundary \(c=1.96\). The design compares two scheduled looks at \(t=1\) and \(t=4\) with monitoring at every time in the interval. Assume the simulation checks the full simulated paths finely enough to approximate the continuous maximum. It records 8,610 paths crossing at one or both scheduled times and 11,840 crossing somewhere in the interval.
The estimated scheduled any-look error is:
The estimated continuous-monitoring error is:
The estimated increase is \(11.84\%-8.610\%=3.230\) percentage points. It is consistent with the event-inclusion argument: continuous monitoring allows crossings between the two scheduled times as well as at them. These are simulation estimates, not exact error probabilities. For the continuous estimate, the approximate Monte Carlo standard error is \(\sqrt{0.1184(1-0.1184)/100{,}000}=0.00102\), or about 0.102 percentage points. This quantifies simulation noise, not uncertainty in the model or its suitability.
The simulation assumes the stated Brownian null process, the specified time interval and boundary, and an adequately fine path approximation. If the simulation only checked a coarse grid, it could miss crossings between grid points and underestimate the continuous-monitoring probability. Refining the grid and checking that the estimated rate stabilizes is a useful diagnostic.
Why the Number of Opportunities Is Not the Whole Story
For fixed marginal test sizes, adding a scheduled look cannot remove an existing rejection event: the new any-look event contains the old one. Thus its false-positive probability cannot decrease. But the number of looks alone does not determine how much it increases. The dependence between looks, their timing, the test statistic, the boundary and the monitoring interval all matter. For continuous monitoring, the opportunities are described by a path and a crossing rule rather than by a finite count.
A tempting but incorrect argument is that continuous monitoring has infinitely many looks, so its false-positive probability must be 100%. The error is treating infinitely many highly dependent evaluations as if they were independent tests with a fixed positive rejection probability. A continuous path's crossing probability is determined by its joint behavior over time and by the boundary; it is not obtained by substituting an infinite number into the independent-look formula. Conversely, using a per-time threshold without considering the whole path does not guarantee that the full monitoring procedure has the intended error rate.
Continuous monitoring also has practical qualifications. A real system observes data at finite resolution, so its implemented rule may in fact check at discrete times. The timing and frequency of those checks should be stated. When there is a gap between checks, a crossing could occur and disappear between them. In a model with continuous paths, a sufficiently fine grid can approximate the maximum, but a grid calculation is still an approximation unless its error is assessed. If the data-generating process, variability, or boundary differs from the assumed model, the simulated or calculated crossing probability may not describe actual performance.
Check Your Understanding
Answer each question before reading the solutions.
- Three independent tests each have false-positive probability 0.04. What is the probability of at least one false rejection?
- Four tests each have size 0.02, but their dependence is unknown. What upper bound does the union bound give for the any-look error?
- Why is it incorrect to calculate the error rate for continuous monitoring by treating every time point as an independent test?
- For the same statistic and boundary, why can a continuous-monitoring false-positive probability not be less than the probability for a schedule whose times lie inside the continuous interval?
- Name two assumptions or implementation details that should be checked when using simulation to estimate a continuous crossing probability.
Solutions. (1) \(1-(1-0.04)^3=1-0.884736=0.1153\), or about 11.53%. (2) The bound is \(4(0.02)=0.08\), so the probability is at most 8%; the actual value may be lower. (3) The statistics at nearby times are dependent, so the independent-test formula does not apply; the risk is determined by the joint path and boundary. (4) Any path crossing at a scheduled time also crosses somewhere in the full interval, so the scheduled event is a subset of the continuous event. (5) Valid checks include whether the null process and boundary represent the intended rule, whether the interval starts at a time when the statistic is well-defined, and whether the simulated time grid is fine enough to detect crossings between checks.