Why Vary the Feasibility Bound?
EWOC uses a bound on posterior risk to limit how far above the maximum tolerated dose (MTD) a trial assigns participants. The bound is a design choice: a more conservative value can restrict assignment to lower doses, while a larger value permits more posterior probability that the assigned dose exceeds the MTD. Assessing sensitivity means varying this bound while keeping the prior, toxicity target, observed data, and dose-assignment rules fixed. It does not mean refitting the model or changing the evidence.
This distinction matters in practice. If a small change in the bound causes the recommended dose to jump several levels, the assignment is sensitive to that choice. If a dose remains selected across a broad range of plausible bounds, the decision is more robust to this particular design choice. Neither finding establishes that the posterior model is correct; sensitivity analysis isolates one source of variation rather than resolving all uncertainty.
The strict inequality \(M<d_j\) describes assignment above the MTD; a dose equal to the MTD is not counted as exceeding it. The posterior distribution of \(M\) is computed from the model, prior, target, and data. In this tutorial, those ingredients stay fixed, so each \(r_j\) stays fixed as \(\xi\) changes. Because the events \(\{M<d_j\}\) are nested as dose increases, the probabilities satisfy \(r_1\leq r_2\leq\cdots\leq r_J\).
Assignment Thresholds and Monotonicity
Each candidate dose has a fixed threshold \(r_j\): it becomes feasible at precisely the bounds \(\xi\geq r_j\). Since EWOC selects the highest feasible dose, the assignment changes only when \(\xi\) reaches one of these thresholds. Between consecutive distinct thresholds, the selected dose stays the same. If two or more doses have the same threshold, the rule can move past them together.
To justify the result, let \(F(\xi)=\{j:r_j\leq\xi\}\) be the set of feasible dose indices. If \(j\in F(\xi_1)\), then \(r_j\leq\xi_1\leq\xi_2\), so \(j\in F(\xi_2)\). Thus \(F(\xi_1)\subseteq F(\xi_2)\). When the sets are nonempty, their largest indices obey \(\max F(\xi_1)\leq\max F(\xi_2)\). If the first set is empty, the rule stops; the second set is either also empty or permits an assignment. This argument relies only on the fixed probabilities and the rule of selecting the highest feasible dose.
For a strictly increasing sequence of thresholds, dose \(d_j\), for \(j<J\), is selected when \(r_j\leq\xi<r_{j+1}\); the highest dose \(d_J\) is selected when \(\xi\geq r_J\). If the lowest candidate dose is not feasible, stopping occurs when \(\xi<r_1\). Equal thresholds can make some of these intervals empty. These boundaries make sensitivity easy to summarize: the threshold list, rather than a long list of arbitrary trial runs, fully describes how assignments vary with \(\xi\).
Worked Example: Mapping Assignments Across Bounds
Suppose a hypothetical trial has four ordered candidate doses. With its prior, target, and observed data fixed, the posterior MTD has the following distribution: \(P(M=d_1\mid\mathcal D)=0.10\), \(P(M=d_2\mid\mathcal D)=0.25\), \(P(M=d_3\mid\mathcal D)=0.40\), and \(P(M=d_4\mid\mathcal D)=0.25\). Find the selected dose at several feasibility bounds.
The MTD is never below \(d_1\), so \(r_1=0\). For the higher doses, add the posterior masses at lower MTD values:
At \(\xi=0.05\), only \(d_1\) is feasible, so EWOC selects \(d_1\). At \(\xi=0.34\), \(d_2\) is feasible because \(0.10\leq0.34\), but \(d_3\) is not because \(0.35>0.34\); the selection is \(d_2\). At \(\xi=0.35\), equality makes \(d_3\) feasible, so the selection rises to \(d_3\). At \(\xi=0.75\), \(d_4\) is also feasible and is selected. The assignment changes exactly at the thresholds \(0.10\), \(0.35\), and \(0.75\), not gradually between them.
Stopping Is Also Sensitive to the Bound
The stopping rule is part of the same threshold structure. If even the lowest candidate dose has \(r_1>\xi\), no dose is feasible. Increasing \(\xi\) to \(r_1\) makes that lowest dose feasible; the decision then changes from stopping to assigning. This is a consequence of the specified feasibility rule, not evidence that the posterior model has changed. In particular, stopping at a given bound should not be interpreted as proof that every dose is toxic; it means only that no allowed candidate dose satisfies this EWOC constraint at that bound.
Worked Example: Finding the Bound at Which Stopping Ends
Consider a hypothetical candidate grid \(d_1<d_2<d_3<d_4\). The fixed posterior puts probability \(0.18\) on an MTD below \(d_1\), \(0.22\) at \(d_1\), \(0.30\) at \(d_2\), \(0.20\) at \(d_3\), and \(0.10\) at \(d_4\). Determine the decision at bounds \(0.15\), \(0.18\), \(0.39\), and \(0.40\).
The feasibility probabilities are cumulative probabilities below each candidate:
At \(\xi=0.15\), \(r_1=0.18>0.15\), so no candidate dose is feasible and EWOC stops. At \(\xi=0.18\), the lowest dose becomes feasible at equality, while \(d_2\) is not; select \(d_1\). At \(\xi=0.39\), \(d_1\) remains the highest feasible dose because \(0.40>0.39\). At \(\xi=0.40\), \(d_2\) becomes feasible and is selected. Thus stopping ends at the threshold \(0.18\), and the next assignment change occurs at \(0.40\).
Assessing Robustness and Diagnosing Problems
A useful sensitivity report gives the fixed \(r_j\) values, the assignment intervals they imply, and the range of bounds considered plausible for the design. If the entire range lies within one assignment interval, the dose choice is robust to changes in \(\xi\) over that range. If the range crosses one or more thresholds, report which assignments occur and where the changes happen. A single recommended bound can still be required by the protocol, but the threshold analysis makes the consequence of that choice explicit.
Worked Example: Identifying a Robustness Range
For a hypothetical trial with fixed data, suppose the posterior masses are \(0.04\) below \(d_1\), \(0.12\) at \(d_1\), \(0.27\) at \(d_2\), \(0.35\) at \(d_3\), and \(0.22\) at \(d_4\). Find the selected dose as the feasibility bound varies from \(0.20\) to \(0.45\).
Cumulative addition gives \(r_1=0.04\), \(r_2=0.04+0.12=0.16\), \(r_3=0.16+0.27=0.43\), and \(r_4=0.43+0.35=0.78\). At the lower end, \(\xi=0.20\), dose \(d_2\) is feasible but \(d_3\) is not, so \(d_2\) is selected. For every bound from \(0.20\) up to, but not including, \(0.43\), \(d_2\) remains the highest feasible dose. At \(\xi=0.43\), \(d_3\) becomes feasible; it remains selected through \(\xi=0.45\), because \(r_4=0.78\).
Therefore the selection is not constant across the full range \(0.20\) to \(0.45\): it is \(d_2\) below \(0.43\) and \(d_3\) from \(0.43\) onward. If the design instead considered bounds only from \(0.20\) through \(0.40\), the selected dose would be \(d_2\) throughout. The boundary value \(0.43\) is the relevant point to report; evaluating only the two endpoints could miss a change inside a range.
The main alternative is to select a dose by how closely its estimated toxicity probability matches the target, as in target-probability CRM. That criterion and EWOC answer different decision questions: target matching emphasizes proximity to the target, whereas EWOC imposes a bound on the posterior probability that the MTD lies below the assigned dose. A dose can be close to the target estimate yet fail the EWOC feasibility constraint. Sensitivity to \(\xi\) should therefore be evaluated using the EWOC rule itself, rather than inferred from a target-matching recommendation.
Several checks help diagnose an analysis that may be going wrong:
- Check cumulative ordering. Since \(d_j\) increase, the events \(M<d_j\) are nested. A reported sequence with \(r_{j+1}<r_j\) signals a calculation, indexing, or implementation error.
- Check the fixed inputs. If the posterior probabilities change across the sensitivity runs, something besides the feasibility bound has changed, contrary to the intended comparison.
- Check the equality rule. This tutorial treats \(r_j=\xi\) as feasible. Using a strict inequality instead changes decisions exactly at threshold values.
- Check the candidate set. A protocol restriction can remove doses from consideration. The highest feasible dose then means the highest among the allowed candidates, not necessarily every dose on the original grid.
Sensitivity analysis has limits. It does not assess sensitivity to the prior, toxicity model, target, or observed data; those require separate analyses. Nor does a broad interval of \(\xi\) with an unchanged assignment guarantee a safe or effective dose. It establishes only that the discrete assignment is insensitive to the feasibility bound over that interval, conditional on the fixed posterior and candidate set.
Check Your Understanding
Use the EWOC rule defined above. In each question, treat the posterior probabilities and candidate doses as fixed.
- If \(r_1=0.08\), \(r_2=0.22\), and \(r_3=0.61\), what does EWOC select at \(\xi=0.22\)?
- If the lowest candidate dose has feasibility probability \(0.27\), for which bounds does the rule stop?
- Can increasing \(\xi\) change the selected dose from \(d_3\) to \(d_2\)? Explain briefly.
- Why must the probabilities \(r_j\) be held fixed when the goal is to isolate sensitivity to the feasibility bound?
Solutions. (1) \(d_2\): equality makes it feasible, while \(d_3\) is infeasible because \(0.61>0.22\). (2) It stops for \(\xi<0.27\); at \(\xi=0.27\), the lowest dose is feasible. (3) No. Raising \(\xi\) expands or preserves the feasible set, so the highest feasible index cannot decrease. (4) If the \(r_j\) values also change, the comparison mixes the effect of changing the bound with a change in posterior evidence or model inputs; it no longer isolates bound sensitivity.