Why Generate the Outcomes Sequentially?
When a participant discontinues study treatment, several scheduled outcomes may remain unobserved. Imputing each missing visit separately can give plausible marginal distributions but fail to represent the fact that outcomes from the same participant are related. A sequential procedure instead generates one outcome conditional on the participant’s available history, then generates the next conditional on that history and the value just drawn.
This tutorial develops that procedure for copy-reference (CR) imputation. After dropout, the conditional distribution is based on the reference arm. The CR assumption retains the treatment-versus-reference mean difference at dropout as a location shift in the post-dropout trajectory. Dependence between future visits comes from the reference arm’s conditional covariance structure.
The formulas below assume a specified dropout visit and a multivariate normal model. They describe how to generate an individual trajectory conditional on the observed history; they do not address uncertainty in the fitted model parameters.
Model and Notation
Here \(\mu_{A,s}\) and \(\mu_{R,s}\) are the treatment- and reference-arm means at dropout visit \(s\). The shift \(\delta_s\) is in the outcome’s units. A positive value shifts each reference-based post-dropout conditional mean upward by that amount; a negative value shifts it downward. This formulation copies the reference conditional distribution’s dependence and variability while retaining a constant mean offset anchored at dropout.
For a joint multivariate normal reference model, partition the reference mean and covariance into observed-history and future blocks. The conditional reference moments are
The matrix \(\Sigma_{R,HH}\) must be invertible for these expressions as written. In practice, the reference model must also provide a defensible estimate of the means and covariance blocks, and the covariance matrix must be valid. These are substantive modeling requirements: the equations do not make an unsuitable reference arm or an unsupported normal approximation appropriate.
From a Joint Conditional Distribution to Sequential Draws
The conditional distribution above concerns the entire missing vector. A sequential implementation factors it into one-visit conditional distributions. First compute the CR conditional mean vector \(m^*_{F\mid H}=m^R_{F\mid H}+\delta_s\mathbf{1}\) and covariance \(V^*_{F\mid H}=V^R_{F\mid H}\). For each successive visit, condition on the observed history and all previously generated future outcomes.
For the first future visit, \(P\) is empty, so the draw has mean \(m^*_k\) and variance \(V^*_{kk}\). At later visits, the generated values update the conditional mean. The conditional variance also changes because uncertainty about a later outcome is reduced by knowing earlier outcomes. This is the key to retaining dependence: the procedure uses the joint reference covariance, not a separate independent draw at every visit.
Why the Sequential Rule Gives the Intended Joint Distribution
For a multivariate normal vector, conditioning one block on another gives a normal distribution with the conditional mean and covariance shown above. Apply that result first to \(Z_k\) given \(Z_P\), then factor the joint conditional density as a product of successive conditional densities:
Each factor is precisely the one-visit normal distribution in the sequential rule. Therefore, drawing in visit order from those conditionals produces the specified joint normal distribution, rather than only matching its marginal means and variances. This also explains why the earlier generated draws must be retained and used in subsequent conditional means.
Worked Example: Deriving Two Successive CR Draws
Suppose a hypothetical participant drops out after visit 1. Conditional on the observed history, the fitted reference model gives future outcomes at visits 2 and 3 the conditional mean vector \((5,4)^T\) and covariance matrix
Suppose the estimated treatment-minus-reference mean difference at dropout is \(\delta_1=2\) units. The CR conditional mean is therefore \((5+2,4+2)^T=(7,6)^T\); the covariance remains the reference conditional covariance.
At visit 2, draw \(Z_2\sim N(7,4)\). If the illustrative draw is \(Z_2=9\), then the conditional mean for visit 3 is
The conditional variance at visit 3 is \(3-2^2/4=2\), so \(Z_3\mid Z_2=9\sim N(7,2)\). For example, if a standard-normal draw for this step is \(0.5\), then \(Z_3=7+0.5\sqrt{2}\approx7.707\) units. The second draw responds to the first: its conditional mean is not fixed at 6 after observing \(Z_2=9\).
Worked Sequential Calculation
Worked Example: Generating a Three-Visit Future Trajectory
Consider a hypothetical participant whose history ends at visit 2, with three future visits. Suppose the reference model’s conditional distribution given that history has mean \((10,9,8)^T\) units and covariance
Assume \(\delta_2=1.5\) units. Under the stated CR model, the future conditional mean becomes \((11.5,10.5,9.5)^T\), while the covariance matrix is unchanged. The first future draw is from \(N(11.5,4)\). Suppose the draw is \(Z_1=13.5\) units.
For the second future visit, the covariance with \(Z_1\) is 2 and the variance of \(Z_1\) is 4. Thus its conditional mean and variance are
So \(Z_2\mid Z_1=13.5\sim N(11.5,3)\). Suppose a standard-normal draw of \(-0.5\) is used. Then \(Z_2=11.5-0.5\sqrt{3}\approx10.634\) units.
For the third future visit, the covariance of that visit with \((Z_1,Z_2)^T\) is \((1,2)\). The covariance matrix of the first two future outcomes is \(\begin{pmatrix}4&2\\2&4\end{pmatrix}\), whose inverse is \(\frac{1}{12}\begin{pmatrix}4&-2\\-2&4\end{pmatrix}\). The regression coefficients are therefore \((1,2)\frac{1}{12}\begin{pmatrix}4&-2\\-2&4\end{pmatrix}=(0,0.5)\). The third conditional mean is
Its conditional variance is \(4-(0,0.5)(1,2)^T=3\). Thus the third outcome is drawn from approximately \(N(9.567,3)\). If the standard-normal draw is \(0.2\), the imputed value is \(9.567+0.2\sqrt{3}\approx9.913\) units. These are one illustrative sequence of random draws, not uniquely determined imputations. A different set of random draws would produce a different, but model-consistent, trajectory.
What the Anchor Means—and What It Does Not
The CR shift distinguishes this construction from jump-to-reference (J2R). Under the formulation here, the reference conditional mean is shifted by the treatment-versus-reference difference at dropout. J2R instead specifies a transition to the reference mean behavior without retaining that same constant offset. The two assumptions can therefore yield different post-dropout means even when they use a reference-based covariance structure.
The shift is an assumption about the post-dropout location, not a claim that an individual’s treatment effect is known. In applications, \(\delta_s\) is estimated from arm-level model quantities. It is also not a command to add \(\delta_s\) to a realized outcome at dropout and copy that exact value forward. Future outcomes remain random, and their conditional means may change as the observed history and previously drawn values enter the reference conditional model.
The formulas require a coherent reference distribution for the relevant visits and a suitable conditional model for the participant’s observed history. In particular, the normal conditional formulas assume a joint normal model (or use of that model as an approximation), a nonsingular history covariance block, and a positive-definite conditional covariance. They also presume that the reference-arm relationship between histories and future outcomes is a reasonable basis for prediction in the treatment-arm participants after dropout.
Diagnostics and Failure Modes
A numerical algorithm can run successfully while the assumed trajectory is inappropriate. Useful checks focus on both the distribution and the resulting paths:
- Check the covariance structure. Verify symmetry, positive definiteness, and the expected conditional variances. Negative conditional variances indicate an invalid covariance estimate or a calculation error.
- Check the anchoring. Confirm that the same \(\delta_s\) is added to every future conditional reference mean under this specified CR formulation, and that the reference covariance is not inadvertently shifted or replaced by independent variances.
- Inspect trajectories in outcome units. Compare generated paths with plausible ranges and with observed reference trajectories. A constant location offset can produce implausible late-visit values if outcomes have strong ceilings, floors, or nonlinear time trends.
- Check visit ordering and conditioning history. Each draw after the first must condition on the observed pre-dropout history and all previously generated post-dropout outcomes. Omitting a prior draw changes the conditional distribution.
- Look for weak reference information. Sparse data at later visits or an unstable reference covariance can make conditional predictions unreliable, even when the formulas are evaluated correctly.
A particularly common mistake is to generate each missing outcome independently from its CR marginal distribution. That preserves individual visit means and variances but removes the specified cross-visit covariance. The correction is to draw from the sequential conditional distributions, using each generated value in the next step. Another mistake is to apply the dropout-time shift to the covariance; in this formulation, \(\delta_s\) changes location only.
Scope and Practical Interpretation
Sequential CR imputation is useful when the analysis requires complete post-dropout trajectories and the scientific assumption is that the reference arm’s conditional evolution applies after discontinuation, while the treatment-versus-reference mean difference at dropout is retained as a constant offset. It makes the dependence structure explicit and ensures that imputed repeated outcomes are not treated as unrelated.
It does not establish that this post-dropout behavior is true, nor does it remove the need to assess sensitivity to alternative assumptions. Results can depend on the reference arm, the mean and covariance models, the dropout visit, and the chosen CR location shift. A model may be algebraically valid yet extrapolate poorly. Interpret the imputation as a consequence of the stated assumption, not as observed evidence about the missing outcomes.
Check Your Understanding
Answer each question, then compare with the solutions below.
- A participant drops out with \(\delta_s=-1\) unit. If a conditional reference mean for a future visit is 12 units, what is the CR conditional mean under this formulation?
- For two future outcomes, suppose the CR conditional mean is \((6,5)^T\) and covariance is \(\begin{pmatrix}9&3\\3&4\end{pmatrix}\). If the first draw is 9, find the conditional mean and variance for the second draw.
- Why is drawing each future outcome independently from its marginal CR distribution generally not equivalent to sequential CR imputation?
- Name two assumptions or checks that should be considered before trusting a sequential CR trajectory.
Solutions. (1) The mean is \(12+(-1)=11\) units. (2) The conditional mean is \(5+(3/9)(9-6)=6\) units, and the conditional variance is \(4-3^2/9=3\) squared units. Thus the second draw is from \(N(6,3)\). (3) Independent draws discard the reference cross-visit covariance; sequential draws condition on the earlier generated value and reproduce the specified joint dependence. (4) Examples include checking that the reference covariance is valid and yields positive conditional variances, assessing whether the normal model and reference history-to-future relationship are credible, and inspecting trajectories for implausible values.