Why Separate These Sensitivity Questions?
A shared-parameter model connects a repeated outcome process and dropout through latent effects. The conclusions can therefore depend on two different modeling choices: how those latent effects are distributed across individuals, and how a latent effect changes the dropout hazard. These choices are related in the likelihood, but they are not the same assumption. Varying both at once makes it difficult to tell what caused a change in the results.
The aim here is a controlled sensitivity analysis. First compare latent-effect distributions with the dropout link fixed. Then compare dropout links with the latent-effect distribution fixed. Finally, fit combinations of the choices to see whether their effects interact. This is a way to assess dependence on model specification; it does not establish which untestable specification is true.
Write \(Y_{it}\) for the outcome of individual \(i\) at time \(t\), \(D_{it}=1\) if dropout occurs in interval \(t\), and \(b_i\) for an individual-level latent effect. Let \(D_{it}=0\) denote remaining under observation through interval \(t\). A representative discrete-time shared-parameter model has an outcome distribution conditional on \(b_i\), and a dropout hazard \(h_{it}=P(D_{it}=1\mid D_{i,t-1}=0,Y_{i,\mathrm{obs}},b_i)\). The observed-data likelihood integrates over the distribution of \(b_i\), as in the earlier material on integrating random effects in the observed-data likelihood.
For example, a dropout model may have \(h_{it}=g^{-1}(\eta_{it})\), where \(\eta_{it}=\gamma_0+\boldsymbol{\gamma}^{\mathsf T}\mathbf{x}_{it}+\alpha b_i\). Here \(g^{-1}\) is the inverse link, \(\mathbf{x}_{it}\) contains observed predictors, and \(\alpha\) describes the association of the latent effect with dropout on the linear-predictor scale. A distributional comparison changes the distribution of \(b_i\); a link comparison changes \(g^{-1}\). The outcome model, covariates, and time structure should otherwise be held consistent unless there is a stated reason to vary them too.
Why Equal Moments Do Not Ensure Equal Hazards
The population-average dropout hazard is an average of conditional hazards, not generally the hazard evaluated at the average latent effect. For a fixed linear predictor apart from \(b_i\), it is \(E\{g^{-1}(\eta+\alpha b_i)\}\). Because inverse links are nonlinear, this expectation can depend on features of the distribution beyond its mean and variance. Skewness, tail weight, or multiple modes can matter, particularly when the link is steep over values with appreciable probability.
A short Taylor expansion makes the role of distributional shape explicit. Put \(f(x)=g^{-1}(x)\) and suppose the derivatives and moments used below exist. Expanding \(f(\eta+\alpha b_i)\) around \(\eta+\alpha\mu_b\), where \(\mu_b=E(b_i)\), and taking expectations gives, to second order,
The linear term vanishes because \(E(b_i-\mu_b)=0\). Higher-order terms involve higher moments, such as skewness and kurtosis. Thus matching the first two moments removes neither the curvature effect nor the influence of distributional shape on the exact marginal hazard.
Worked Example: Same Mean and Variance, Different Average Hazards
Consider a hypothetical interval in which the conditional dropout hazard is logistic, \(h(b)=1/\{1+\exp(-b)\}\). Compare two distributions for the latent predictor \(b\). Distribution A puts probability \(0.5\) at \(-3\) and probability \(0.5\) at \(0\). Distribution B puts probabilities \(0.5,0.25,0.25\) at \(-1.5\), \(-1.5+1.5\sqrt{2}\), and \(-1.5-1.5\sqrt{2}\), respectively. These are deliberately illustrative discrete distributions, not data from a study.
For A, the mean is \(\{(-3)+0\}/2=-1.5\), and the variance is \(\{(-3+1.5)^2+(0+1.5)^2\}/2=2.25\). For B, the mean is \(-1.5\), since the two equally weighted deviations \(1.5\sqrt{2}\) and \(-1.5\sqrt{2}\) cancel. Its variance is \(0.5(0)^2+0.25(1.5\sqrt{2})^2+0.25(-1.5\sqrt{2})^2=2.25\). Thus the distributions have the same mean and variance.
Under A, the average hazard is \(0.5h(-3)+0.5h(0)\). Substitution gives \([1/(1+\exp(3))+0.5]/2=(0.0474259+0.5)/2=0.273713\).
Under B, the average hazard is \(0.5h(-1.5)+0.25h(-1.5+1.5\sqrt{2})+0.25h(-1.5-1.5\sqrt{2})\). Substitution gives \(0.5(0.182426)+0.25(0.6505)+0.25(0.02606)\approx0.260355\). The average under A exceeds the average under B by about \(0.273713-0.260355=0.01336\), or 1.336 percentage points.
This difference arises despite identical latent means and variances. The calculation isolates the mathematical effect of changing distributional shape while retaining the same logistic link and the same latent-predictor scale. It does not claim that either discrete distribution is an adequate model for any particular data set.
Varying the Dropout Link
A link determines how changes in the linear predictor translate into conditional hazards. Two common discrete-time choices are the logit link, with inverse link \(\operatorname{expit}(\eta)=1/\{1+\exp(-\eta)\}\), and the complementary log-log link, with inverse link \(1-\exp\{-\exp(\eta)\}\). The latter is often useful when discrete intervals represent grouped event times under a proportional-hazards interpretation. Their functional forms differ, so the same numerical predictor need not imply the same hazard.
A fair link comparison keeps the distribution of \(b_i\), the outcome model, covariates, time indexing, and other structural choices fixed. It should also make clear whether parameters are merely re-estimated under each link or whether some predictors are held at specified values for a conditional comparison. Coefficients on different link scales are not directly comparable as if they had the same units.
Worked Example: Two Links at the Same Predictors
For a hypothetical individual and interval, suppose the dropout linear predictor is \(\eta=-2\). With the logit link, the conditional hazard is \(1/\{1+\exp(2)\}=1/(1+7.389)=0.1192\), or about 11.92%.
With the complementary log-log link at the same predictor, the hazard is \(1-\exp\{-\exp(-2)\}=1-\exp(-0.1353)=1-0.8734=0.1266\), or about 12.66%. The difference is approximately 0.0074, or 0.74 percentage points.
At \(\eta=0\), the logit hazard is \(0.5000\), whereas the complementary log-log hazard is \(1-\exp(-1)=0.6321\). These calculations establish a conditional contrast at fixed predictors. They are not, by themselves, a comparison of fitted models: in fitted models, coefficients and intercepts are estimated, and the resulting marginal hazards also average over \(b_i\).
If the scientific question concerns differences in marginal dropout risk, compute or estimate those risks under each fitted model by integrating over its latent-effect distribution. A conditional hazard at \(b_i=0\) is not generally the population-average hazard. When comparing links, consider reporting risks or other quantities on a common, interpretable scale alongside the link-scale coefficients.
Crossed Comparisons and a Worked Sensitivity Analysis
A crossed design fits every combination of the selected distributions and links. For instance, use a normal and a two-point latent-effect distribution, each with a logit and a complementary log-log dropout link. The two distribution contrasts at fixed link show distribution sensitivity; the two link contrasts at fixed distribution show link sensitivity. If those contrasts differ, the effect of one choice depends on the other, indicating an interaction in the sensitivity analysis.
Worked Example: Separating Distribution and Link Effects
Suppose four hypothetical fits to the same longitudinal data estimate an adjusted outcome contrast in points. Each fit uses the same outcome specification and covariates, but re-estimates its parameters under the stated distribution and link. The standard errors and estimates below are hypothetical model outputs, not findings from a real study.
| Latent-effect distribution | Dropout link | Estimated contrast (points) | SE (points) |
|---|---|---|---|
| Normal | Logit | 4.0 | 1.8 |
| Two-point | Logit | 3.6 | 1.9 |
| Normal | Complementary log-log | 3.8 | 1.8 |
| Two-point | Complementary log-log | 3.4 | 2.0 |
Using a normal-approximation Wald interval, the normal-distribution/logit estimate has interval \(4.0\pm1.96(1.8)=4.0\pm3.528\), or \(0.472\) to \(7.528\) points. The two-point/logit estimate has interval \(3.6\pm1.96(1.9)=3.6\pm3.724\), or \(-0.124\) to \(7.324\) points.
At the logit link, changing the distribution shifts the estimate by \(4.0-3.6=0.4\) points. At the complementary log-log link, the corresponding shift is \(3.8-3.4=0.4\) points. Changing the link shifts the estimate by \(4.0-3.8=0.2\) points under the normal distribution and \(3.6-3.4=0.2\) points under the two-point distribution. In this illustration, these contrasts are consistent across the crossed fits; the interaction contrast is \((4.0-3.6)-(3.8-3.4)=0\) points.
The intervals in the table do not all exclude zero: for example, the two-point/logit interval includes zero. The results therefore do not support a claim that the contrast is clearly separated from zero under every specification. The numerical shifts describe sensitivity of the point estimate, while the intervals describe sampling uncertainty within each fitted model. Neither calculation alone establishes which model is correct.
In a real analysis, alternatives should be scientifically plausible and estimable. For a distribution comparison, specify how location and scale are handled. A common strategy is to impose a mean-zero latent effect and estimate its variance under each candidate distribution; if scales are instead fixed, explain why. For a link comparison, refit parameters under each link rather than interpreting a coefficient from one link as though it were on the other link’s scale. Record convergence and integration accuracy for every fit, since an apparent sensitivity can be caused by numerical failure.
Assumptions, Diagnostics, and Failure Modes
These comparisons inherit the assumptions of the shared-parameter model. In particular, the chosen outcome and dropout models must be appropriate conditional on their covariates and latent effects; the latent effects must be integrated using the specified distribution; and any conditional-independence assumptions used to construct the likelihood must be defensible. The sensitivity analysis varies selected assumptions; it does not repair a misspecified outcome model, an omitted predictor, or a poorly identified association structure.
Some checks are especially important when varying distributions and links:
- Check comparable parameterization. Confirm that the latent effect has a consistent meaning and scale across candidate distributions. Centering and variance constraints should be stated, not silently changed.
- Check integration and optimization. Compare numerical integration settings, quadrature stability, convergence information, and parameter estimates from reasonable starting values. A fit that fails to converge is not evidence of sensitivity to that scientific model.
- Check extreme latent-effect regions. Heavy tails or discrete support points can place probability where the hazard is near zero or one. Inspect whether estimates, standard errors, or marginal risks are driven by a small amount of tail mass.
- Check identification. The dropout intercept, latent-effect scale, and association parameter can compensate for one another. A boundary estimate, a nearly flat likelihood, or large changes in these parameters across fits may signal weak identification rather than a stable distinction between models.
- Check the target scale. Compare estimates of the same scientific quantity, such as a marginal risk difference or adjusted outcome contrast. Raw coefficients from different links are on different scales.
Sensitivity results should be summarized by both the chosen model and the substantive conclusion: direction, magnitude, uncertainty, and whether the conclusion changes across plausible specifications. If a key conclusion changes, report that dependence directly. If it remains similar, state the range of estimates and uncertainty rather than implying that sensitivity analysis proves robustness to every possible model.
Comparison and Limitations
A single preferred parametric model is efficient and can be interpretable, but it conceals dependence on its distributional and link assumptions. A crossed sensitivity analysis makes that dependence visible and helps locate its source. Flexible latent-effect distributions can represent skewness or heavy tails, but add parameters and may be weakly identified. Alternative links allow different hazard shapes, but can change coefficient interpretation and may be difficult to distinguish with limited dropout information. No comparison can identify a unique model if the observed data provide little information about the unobserved outcomes or latent heterogeneity.
A common mistake is to change the random-effect distribution and the dropout link simultaneously, observe a different estimate, and attribute the entire change to “non-normal random effects.” The comparison does not justify that explanation: the link changed too. The correction is to fit controlled comparisons, first varying one specification at a time and then crossing the choices. Another mistake is to infer equal marginal dropout from equal latent-effect means and variances. The worked example shows why this fails: nonlinear averaging depends on distributional shape as well.
These sensitivity fits are model-based analyses of the same observed data, not independent replications. Their spread is not a confidence interval for uncertainty over all possible models. It is evidence about how the chosen conclusions respond to the specific, defensible alternatives that were examined.
Check Your Understanding
Answer each question, then compare your reasoning with the solutions.
- Why can two latent-effect distributions with the same mean and variance yield different average dropout hazards?
- In a comparison of logit and complementary log-log links, what should be held fixed, and why are the link-scale coefficients not directly comparable?
- In the crossed example, what is the estimated distribution effect at each link, and what is the interaction contrast?
- A fitted model does not converge under one alternative distribution. Should its estimate be reported as evidence of sensitivity? Explain.
- Why is the range of estimates across the sensitivity fits not automatically a confidence interval?
Solutions. (1) The hazard is a nonlinear function of the latent effect, so its expectation depends on distributional shape, not only the first two moments. (2) Keep the outcome specification, covariates, latent-effect distribution, and other structural choices consistent; coefficients are on link-specific scales, so compare quantities such as marginal risks or outcome contrasts instead. (3) The normal-versus-two-point difference is \(0.4\) points under each link, and the interaction contrast is \(0\) points. (4) No. A nonconverged fit is not a reliable estimate; investigate optimization and integration, and report the failure rather than treating it as a substantive result. (5) The fitted models are alternative specifications of the same data, and their range does not have the repeated-sampling coverage interpretation of a confidence interval.