Why the Timing of Dropout Dependence Matters
In a longitudinal study, dropout can be associated with a participant’s outcome at the visit when follow-up ends, or with the participant’s previously observed outcome. These may sound like small variations in a dropout model, but they imply different distributions for outcomes that were never recorded. If outcomes continue to evolve after dropout, the assumptions also imply different post-dropout trajectories.
The distinction depends on exactly when dropout is defined. Here, \(R_{it}=1\) means participant \(i\)'s outcome at visit \(t\) is observed, and \(R_{it}=0\) means it is missing. Dropout is monotone: once a participant stops, later outcomes are also missing. We define \(D_{it}=1\) when a participant who was observed at visit \(t-1\) drops out before their visit-\(t\) outcome is recorded. Thus \(Y_{it}\) is unobserved for someone with \(D_{it}=1\), while \(Y_{i,t-1}\) is observed. A different study may record the visit-\(t\) outcome before classifying a participant as withdrawn; the model labels must then be adjusted to match that timing.
Write \(H_{i,t-1}\) for the observed outcome and covariate history through visit \(t-1\), and \(X_i\) for baseline covariates. A simple pair of candidate hazards, for participants still under observation after visit \(t-1\), is
These equations are illustrative specifications, not universal models. In an applied comparison, candidate models should use compatible baseline covariates and time effects so that the main difference is which outcome drives dropout. The coefficients need not be numerically comparable: the two outcome variables can have different distributions, and the model parameters may be weakly identified.
What Each Assumption Implies for Missing Outcomes
For a participant with history \(H_{i,t-1}\), let \(f_t(y\mid H_{i,t-1})\) denote the modelled distribution of the current outcome before conditioning on dropout. Under a current-outcome model, define \(\pi_t(y,H)=P(D_{it}=1\mid Y_{it}=y,H_{i,t-1}=H)\). Conditioning on dropout changes the outcome distribution by weighting each possible outcome by its dropout probability:
This follows from Bayes’ rule: the joint density of \(Y_{it}=y\) and dropout, given history, is \(f_t(y\mid H)\pi_t(y,H)\); dividing by the probability of dropout given that history normalizes the density. Outcomes with higher dropout probabilities consequently receive more weight among the missing current outcomes. If \(\pi_t(y,H)\) increases with \(y\), the missing outcomes tend to be higher than the pre-dropout outcomes at that history, though the size of the difference depends on both the outcome distribution and the dropout model.
Under a lagged-outcome model, at a fixed observed history the dropout probability does not vary with \(Y_{it}\). If \(D_{it}\) is conditionally independent of \(Y_{it}\) given that history, then
This is an ignorable, or missing at random, dropout assumption for the current outcome, provided the history includes the variables needed to make the conditional independence statement true and the usual distinct-parameter and likelihood conditions hold. It does not mean dropout is unrelated to outcomes: dropout can vary substantially with the observed last outcome. It means that within a given recorded history, dropout supplies no additional selection on the unobserved current outcome.
Worked Example: Selection Changes the Missing-Outcome Mean
Suppose, at a fixed observed history, the current outcome \(Y_{it}\) is either 8 or 12 units, each with probability 0.5 before dropout. Consider a current-outcome model in which the dropout probabilities are 0.2 at \(Y_{it}=8\) and 0.6 at \(Y_{it}=12\). Assume these probabilities apply to every participant in this history and that dropout is defined before the current outcome is recorded.
The overall probability of dropout at this history is \(0.5(0.2)+0.5(0.6)=0.4\). The conditional probabilities of the two outcomes among dropouts are
Thus the mean current outcome among dropouts is \(0.25(8)+0.75(12)=11\) units. Before conditioning on dropout, its mean was \(0.5(8)+0.5(12)=10\) units. For comparison, if dropout instead depended only on the observed history and had probability 0.4 at this history, both outcome values would retain probability 0.5 among dropouts, giving a missing-outcome mean of 10 units. The difference comes from the current-outcome selection assumption, not from a change in the pre-dropout outcome distribution.
Consequences for Post-Dropout Trajectories
A dropout model alone does not specify later outcomes. Trajectory predictions also require an outcome model that describes how outcomes evolve across visits. For example, suppose the conditional mean at the next visit is \(E(Y_{i,t+1}\mid Y_{it})=6+0.5Y_{it}\), with the same relationship for participants after dropout. This is an extrapolation assumption: no later outcomes from the dropout group are available to verify it directly.
Worked Example: Different Assumptions, Different Later Means
Continue the previous hypothetical example, and suppose the next-visit outcome follows \(Y_{i,t+1}=6+0.5Y_{it}+\varepsilon_{i,t+1}\), where the error has conditional mean zero. Under the current-outcome model, the mean missing current outcome among dropouts is 11 units. Therefore,
Under the lagged-outcome model at the same history, suppose dropout has probability 0.4 independent of the current outcome, as above. The missing current-outcome mean is then 10 units, so the next-visit mean is \(6+0.5(10)=11.0\) units. The 0.5-unit difference in the predicted next-visit means is induced by the difference in the two missing-current-outcome distributions. It is conditional on the assumed outcome transition and should not be interpreted as evidence that dropout causes a change in the outcome.
The effect may grow, shrink, or reverse over later visits. That depends on the outcome transition, on whether the effect of earlier outcomes persists, and on how the dropout model is specified at each later risk set. A current-outcome dependence assumption does not by itself imply a steadily increasing or decreasing trajectory.
Comparing Models Without Confusing Fit and Extrapolation
Dropout indicators and recorded histories are observed, but the outcome that would have been measured after dropout is not. Consequently, agreement in observed dropout rates does not establish agreement about missing outcomes. The following example separates those two questions.
Worked Example: Matching an Overall Dropout Rate
Consider 100 hypothetical participants at risk before visit 3. Suppose the outcome at visit 2 divides them into two equally sized groups. A lagged-outcome model assigns dropout probabilities of 0.2 and 0.6 to those groups. It predicts \(50(0.2)+50(0.6)=40\) dropouts, or 40% overall.
Now consider the current-outcome specification from the earlier example: at each participant’s observed history, \(Y_{i3}\) is 8 or 12 with equal probability and the corresponding dropout probabilities are 0.2 and 0.6. Its marginal dropout probability at each such history is \(0.5(0.2)+0.5(0.6)=0.4\), also predicting 40 dropouts overall among 100 participants. Yet the first model predicts different dropout rates in the two visit-2 groups, whereas this current-outcome specification predicts a 40% marginal rate in each group under its stated equal-probability outcome assumption. In addition, the current-outcome model gives a dropout-group mean of 11 at visit 3, compared with 10 under the lagged model at fixed history.
These are model-implied expectations, not a claim that an observed sample must contain exactly those counts. The example shows why an overall dropout proportion can be compatible with distinct conditional mechanisms and distinct missing-outcome predictions. Stratified dropout summaries by observed history can help assess whether a proposed lagged model describes observed dropout patterns. They cannot reveal the unobserved current outcomes of those who dropped out.
The current-outcome model requires an outcome distribution and a selection mechanism to jointly describe the observed data and the missing outcomes. Because the current outcomes for dropouts are absent, the strength of information about the dependence parameter can be limited; in some specifications, additional restrictions or sensitivity assumptions are needed. The lagged model is more directly connected to observed histories, but its apparent convenience does not prove that the missingness assumption is true. Both models can be compared as alternative extrapolations, as in the earlier material on selection and pattern-mixture extrapolations, while keeping their observed-data implications distinct from their unobserved-data implications.
Assumptions, Diagnostics, and Failure Modes
A useful comparison begins by stating the assumptions explicitly. In particular, check that the visit order really makes \(Y_{it}\) unobserved at dropout and \(Y_{i,t-1}\) observed. Then specify the outcome model, the dropout risk set, and the history and covariates each hazard conditions on. If the lagged model omits an observed predictor of both dropout and the current outcome, its conditional-independence claim may be inadequate. If the current model assigns high dropout probability to outcomes that are extremely rare under the outcome model, estimates and predictions may be sensitive to model form.
Diagnostics can assess observed-data compatibility, but cannot directly test the current-outcome dependence for dropouts. Useful checks include comparing predicted and observed dropout rates across visits and observed-history strata, examining whether the fitted outcome model describes observed outcomes in relevant histories, and checking that simulated probabilities and predictions are numerically sensible. Large disagreement among plausible current-outcome specifications is a warning that conclusions depend on extrapolation. Conversely, similar fitted dropout rates do not show that the missing-outcome distributions agree.
Keep the main alternatives distinct:
- Current-outcome dependence permits dropout to select directly on the outcome that is missing at that visit. Its missing-outcome distribution follows from the selection weighting and the outcome model.
- Lagged-outcome dependence uses a recorded outcome to explain dropout. Given a sufficiently rich observed history, it implies no additional selection on the current outcome.
- Pattern-mixture specifications describe outcome distributions conditional on dropout pattern directly. They offer a different parameterization of extrapolation; they do not make the unobserved outcomes empirically known.
Neither dependence structure is universally preferable. The current-outcome model is scientifically relevant when people may leave because of their current, unrecorded condition, but the defining dependence is difficult to verify from observed data. The lagged model is easier to relate to recorded histories, but may miss dependence on a worsening current condition that has not yet been measured. Reporting both can clarify how conclusions change; it does not eliminate the need to justify the outcome model, covariates, timing, and sensitivity assumptions.
State which outcome is the first unobserved one and which outcome is the last observed one when dropout occurs.
Show whether the hazard uses the current missing outcome or only the observed history, while holding other model components as comparable as possible.
For current-outcome dependence, weight the outcome distribution by the dropout probability; for lagged dependence, state the conditional-independence assumption.
Calculate how each missing-outcome distribution affects later means or other trajectory summaries, and identify which predictions require extrapolation.
Check Your Understanding
Answer each question using the visit-timing convention defined above. Solutions are included for checking your reasoning.
- If dropout before visit \(t\) depends only on \(Y_{i,t-1}\) and a complete observed history, what conditional statement links \(D_{it}\) and \(Y_{it}\)?
- At a fixed history, the current outcome takes values 2 and 6 with equal probability. Dropout probabilities are 0.1 and 0.5, respectively. What is the mean current outcome among dropouts?
- Why can two models with the same overall predicted dropout rate imply different post-dropout means?
- Suppose \(E(Y_{i,t+1}\mid Y_{it})=3+0.8Y_{it}\). If two models imply missing-current-outcome means of 5 and 7, what are their corresponding next-visit means under this transition model?
Solutions. (1) The lagged model asserts \(D_{it}\mathrel{\perp}Y_{it}\mid H_{i,t-1},X_i\), under the stated complete-history and model assumptions. (2) The dropout probability is \(0.5(0.1)+0.5(0.5)=0.3\). The dropout-group probabilities are \(0.5(0.1)/0.3=1/6\) at 2 and \(0.5(0.5)/0.3=5/6\) at 6, so the mean is \((1/6)(2)+(5/6)(6)=5.333\) units. (3) An overall rate averages over outcomes and histories; different conditional hazards can yield the same average while selecting different outcomes among dropouts. (4) The means are \(3+0.8(5)=7.0\) and \(3+0.8(7)=8.6\) units, respectively. These are model-based predictions, conditional on the stated transition assumption.