Why Ties and Small Gaps Need Separate Attention
Adaptive allocation is often described as if one treatment is best and every other treatment is inferior. That description can be misleading. Two treatments may have exactly the same expected reward, or their expected rewards may be so close that the available data cannot reliably distinguish them. In the first case, favoring one tied treatment over another need not sacrifice expected reward. In the second, the treatments differ in expectation, but identifying which is better may require substantial sampling.
These cases matter for two distinct goals. Cumulative reward concerns the cost of assigning patients to treatments with lower expected reward over the course of a trial. Best-arm identification concerns whether a procedure can name a treatment whose expected reward is maximal. A small gap can make identification difficult even when the potential regret from confusing the treatments is modest.
Model, Ties, and Reward Gaps
Suppose there are \(K\) treatments, indexed by \(i=1,\ldots,K\), and a fixed horizon of \(T\) assignments. On each assignment, the policy chooses treatment \(i\) using the assignments and outcomes observed so far. For this tutorial, assume each treatment has a stationary reward distribution: whenever treatment \(i\) is assigned, its reward has mean \(\mu_i\), and successive rewards are independent conditional on the chosen treatments. For the concentration bound below, assume rewards lie in \([0,1]\). These are mathematical assumptions about the reward model; whether a particular clinical outcome should be represented as a reward is a separate question.
The gap is measured in reward units. A treatment in \(\mathcal{O}\) has gap zero; an inferior treatment has a positive gap. If rewards are binary, the mean is a success probability and gaps are measured in probability units. Equal means do not require equal outcome distributions: two treatments can have the same expected reward but different variability.
Let \(A_t\) denote the treatment assigned at time \(t\), and let \(N_i(T)\) be the number of assignments to treatment \(i\) by time \(T\). The expected cumulative pseudo-regret is
The equality follows by grouping the summands according to the assigned treatment and taking expectations. This quantity measures expected loss relative to receiving the optimal expected reward on every assignment; it is not the same as the observed difference between two sample averages.
Worked Example: Allocation Between Exactly Tied Treatments
Suppose two treatments have expected rewards \(\mu_1=\mu_2=0.60\), and a policy assigns 80 of 100 patients to treatment 1 and 20 to treatment 2. Assume the stated means are the true stationary means.
Both treatments are optimal, so \(\mu^*=0.60\), \(\Delta_1=0\), and \(\Delta_2=0\). The cumulative pseudo-regret for this allocation is
Thus the imbalance does not create expected reward regret under these assumptions. It may still be undesirable for other reasons, such as precision for a treatment comparison or constraints on allocation, but those considerations are not captured by this regret calculation. The result also does not mean that the observed outcomes must be equal: random samples from the two outcome distributions can differ.
What a Small Gap Does to Identification
When there is a unique best treatment, selecting a different treatment is an identification error. With a tie, selecting one optimal treatment rather than another is not an error if the goal is to return any maximizer. A procedure that is judged against a unique-best target is therefore not automatically appropriate when the true means are tied. The target and the evaluation rule must match.
For a small positive gap, sample averages can easily reverse the true ordering. The following bound makes the dependence on the gap explicit for a simple fixed-sample comparison. Suppose there are two treatments, each is sampled exactly \(n\) times, rewards are independent across assignments and treatments, and rewards lie in \([0,1]\). Write \(\bar{X}_i\) for the sample mean from treatment \(i\). Suppose \(\mu_1-\mu_2=\Delta>0\), and select the treatment with the larger sample mean, resolving a sample-mean tie in any fixed way.
If the selection is wrong, the sample means have reversed or tied their true ordering. This requires at least one estimate to be at least \(\Delta/2\) away from its true mean. Hoeffding's inequality gives \(P(|\bar{X}_i-\mu_i|\geq \Delta/2)\leq 2\exp(-n\Delta^2/2)\). Applying the union bound to the two treatments yields the conservative guarantee
This bound need not be sharp. Its value here is that it shows the scale of the difficulty: reducing \(\Delta\) makes the exponential decrease slower, so more observations are needed to control the probability of misidentification. The bound is for this fixed-sample comparison under the stated assumptions; it is not a general guarantee for every adaptive stopping or selection rule.
Worked Example: A Conservative Sample-Size Requirement
Suppose two treatments have means 0.52 and 0.50, so the gap is \(\Delta=0.02\) reward units. We want the preceding conservative upper bound on selecting the inferior treatment to be no more than 0.05. Assume independent rewards in \([0,1]\), and plan to sample each treatment the same fixed number \(n\) of times.
Set the bound no greater than 0.05 and solve:
Because \(n\) must be an integer, at least 21,911 observations per treatment are required for this particular bound. At \(n=21{,}910\), the bound is approximately \(4\exp(-4.382)=0.0500013\), just above 0.05. At \(n=21{,}911\), it is approximately \(4\exp(-4.3822)=0.0499913\), below 0.05.
This large number is a conservative mathematical guarantee, not a claim that every trial needs this many patients. It illustrates how a small gap challenges reliable identification and how a valid upper bound must be interpreted as a bound rather than an exact error probability.
Regret and Identification Can Point in Different Directions
A mistaken choice between nearly tied treatments can have a small per-assignment regret, while still being an identification error. Conversely, sampling a clearly inferior treatment can create substantial regret even if the best treatment is easy to identify. The objectives should therefore not be treated as interchangeable.
Worked Example: Small Regret Despite a Wrong Identification
Suppose treatment 1 has mean 0.52 and treatment 2 has mean 0.50. A final analysis selects treatment 2, even though treatment 1 is uniquely optimal. Separately, suppose an allocation policy assigns 70 patients to treatment 1 and 30 to treatment 2 during a 100-patient horizon.
For the final selection, choosing treatment 2 is an identification error because \(\mathcal{O}=\{1\}\). The regret per assignment to treatment 2 is \(\Delta_2=0.52-0.50=0.02\). The allocation's cumulative pseudo-regret is
in reward units. The computed allocation regret does not determine whether the final identification was correct: here the identification is wrong, but the gap is small. If the means were exactly tied, selecting treatment 2 would instead be a correct identification under the target of returning any optimal treatment, and assignments to it would incur no pseudo-regret.
This distinction explains why a single performance measure can give an incomplete account of allocation. A regret-focused policy is judged by how much reward it accumulates, whereas an identification procedure is judged by whether its reported treatment belongs to \(\mathcal{O}\). When ties are possible, the identification criterion should explicitly allow any member of \(\mathcal{O}\), rather than demanding an arbitrary ranking among equal means.
Diagnostics, Alternatives, and Limitations
Observed sample means are noisy estimates, not proof that one treatment has a larger true mean. Near a tie, small changes in the observed outcomes can change their ranking. A ranking that repeatedly switches as data accumulate, or a difference that remains small relative to the uncertainty in the estimates, is a warning against treating the current leader as clearly superior. Under a tie, a difference in sample means is expected to occur by chance; it does not show that the true means differ.
The main alternatives address different goals. Explore-then-commit allocates a planned initial sample to each treatment and then commits, making the distinction between sampling and choosing explicit. UCB-style allocation uses uncertainty in its index to continue exploring treatments that may be competitive. Successive elimination removes treatments whose evidence is sufficiently unfavorable, while best-arm identification procedures are designed to return a treatment under a fixed budget or a fixed-confidence goal. These approaches can behave differently near ties, but none can guarantee easy identification of a tiny positive gap with little data. Under an exact tie, elimination or selection rules should avoid treating a random sample-mean ordering as evidence that one tied treatment is truly inferior.
Several limitations are important. First, the concentration calculation assumes bounded, independent rewards with fixed means. Dependence, changing treatment effects over time, or outcomes outside the assumed range can invalidate that bound. Second, the bound is conservative and does not account for additional distributional information that might yield a sharper calculation. Third, when the gap is exactly zero, there is no unique best treatment to identify; the meaningful target is the set \(\mathcal{O}\). Finally, a reward mean alone does not describe every clinical consideration. This tutorial's calculations apply to the specified expected-reward objective and do not establish that the chosen reward adequately represents clinical benefit.
Check Your Understanding
Answer each question using the definitions and assumptions in this tutorial. Brief solutions follow the questions.
- Three treatments have means 0.70, 0.70, and 0.64. Identify \(\mathcal{O}\) and each gap. Does assigning a patient to the second treatment incur pseudo-regret?
- Two treatments have means 0.55 and 0.51. If 25 assignments go to the lower-mean treatment, what is their total pseudo-regret contribution?
- Why can selecting one treatment over another be an identification error when their means differ slightly, even if the allocation's pseudo-regret is small?
- For a two-treatment fixed-sample comparison with gap \(\Delta=0.10\) and \(n=100\) per treatment, evaluate the conservative bound \(4\exp(-n\Delta^2/2)\). State its role correctly.
Solutions. (1) \(\mathcal{O}=\{1,2\}\); the gaps are \(0,0,0.06\). Assignment to treatment 2 contributes zero pseudo-regret because its gap is zero. (2) The contribution is \(25(0.55-0.51)=25(0.04)=1.00\) reward unit. (3) Identification asks whether the selected treatment is truly maximal, so selecting the inferior treatment is an error for every positive gap; regret per assignment is only the size of that gap. (4) The bound is \(4\exp[-100(0.10)^2/2]=4\exp(-0.5)\approx 2.426\). Since a probability cannot exceed 1, this bound is uninformative here; it is a conservative upper bound, not an error-probability estimate of 2.426.