Tutorials › Joint Modeling of Longitudinal and Time-to-Event Data › Comparing Association Structures by Predictive Performance

Calibration and Prediction Validation · Tutorial 580 of 697

Comparing Association Structures by Predictive Performance

Compare joint-model association structures by evaluating their out-of-sample predictions for the same people, landmarks, horizons, and prespecified performance measures.

Advanced 10 min read

What You'll Learn

  • Define current-value, slope, and cumulative association structures in a joint model.
  • Express dynamic event-risk predictions at a shared landmark and prediction horizon.
  • Compare candidate structures using paired Brier and logarithmic scores.
  • Aggregate performance across prespecified horizons without changing the prediction target.
  • Identify validation design, censoring, and model-fitting problems that can distort comparisons.

Why Compare Association Structures by Prediction?

A joint model links a longitudinal marker to an event process. Its survival submodel may associate event risk with the marker’s current underlying level, its rate of change, or its accumulated history. These structures describe different ways the marker may be related to the event hazard, so they can produce different predictions even when they use the same longitudinal data.

The predictive question is not which association term has the most appealing interpretation or the smallest in-sample likelihood criterion. It is which candidate gives better predictions for a prespecified target in data not used to fit it. A fair comparison therefore holds the target population, landmark times, prediction horizons, validation observations, and scoring rules fixed. A better validation score supports better predictive performance for those targets; it does not establish that the association is causal or that the selected structure is universally best.

Candidate Association Structures and the Prediction Target

Let \(m_i(t)\) denote the latent, underlying longitudinal marker trajectory for person \(i\), and let \(m_i'(t)\) be its derivative with respect to time. Let \(h_i(t)\) denote the event hazard. For illustration, candidate survival submodels may share the same baseline hazard and covariates but differ in their association term:

$$ \begin{aligned} \text{Current value:}\quad &h_i(t)=h_0(t)\exp\{\gamma^\top w_i+\alpha_v m_i(t)\},\\ \text{Slope:}\quad &h_i(t)=h_0(t)\exp\{\gamma^\top w_i+\alpha_s m_i'(t)\},\\ \text{Cumulative value:}\quad &h_i(t)=h_0(t)\exp\left\{\gamma^\top w_i+\alpha_c\int_0^t m_i(v)\,dv\right\}. \end{aligned} $$

Here \(h_0(t)\) is the baseline hazard, \(w_i\) is a vector of baseline covariates, and \(\alpha_v,\alpha_s,\alpha_c\) are association parameters in their respective models. The cumulative term depends on the marker’s accumulated level from the chosen time origin. Its numerical scale and interpretation depend on the marker units, time units, and time origin. Those conventions must be fixed consistently before comparing models. A model may include more than one association term, but the comparison here concerns candidates that use current value, slope, or cumulative value as alternative structures.

A common dynamic prediction target is the probability of an event by \(s+u\), conditional on being event-free at landmark \(s\), the person’s longitudinal history through \(s\), and relevant covariates. Write this risk under candidate model \(k\) as \(R_{ik}(s,u)\). In a shared-parameter joint model, prediction accounts for uncertainty about the person’s random effects \(b_i\). In particular,

$$ R_{ik}(s,u) = 1- E_k\left[ \frac{S_{ik}(s+u\mid b_i)}{S_{ik}(s\mid b_i)} \;\middle|\; T_i>s,\;Y_i(s),\;w_i \right], $$

where \(S_{ik}(t\mid b_i)\) is the survival probability conditional on the random effects, \(Y_i(s)\) denotes longitudinal observations available through \(s\), and the expectation uses the model-specific distribution of \(b_i\) given the observed history and survival to \(s\). The ratio is the probability of surviving from \(s\) to \(s+u\) conditional on \(b_i\); taking its conditional expectation and subtracting from one gives the predicted event risk. This is one reason a plug-in prediction based only on a single estimated random effect can understate uncertainty.

Definition: A comparison of association structures evaluates predictions from candidate joint models on the same prespecified prediction targets using the same validation data and scoring rules. The candidates may differ in their longitudinal-to-event association term, but the comparison is interpretable only if differences in targets, validation samples, and scoring procedures do not explain the score differences.

Conditions for an Interpretable Comparison

Before calculating a score, specify what each prediction is meant to predict. For a dynamic risk, this includes the landmark \(s\), horizon \(u\), eligible population at \(s\), and event definition. A model assessed at a 6-month horizon among people event-free at 3 months is not being assessed on the same target as one assessed at a 2-year horizon among people event-free at baseline. A single association structure need not perform best at every horizon.

For a credible comparison, the following conditions matter:

  • Use held-out or appropriately resampled predictions. Each person’s validation outcome should not have been used to fit the model that predicts it. When tuning or choosing among structures within cross-validation, selection must occur inside the training data, not on the outer validation fold.
  • Use the same validation people and prediction times. Paired score differences then compare predictions against the same outcomes rather than differences in case mix.
  • Handle censoring appropriately. If an outcome is not fully observed by the horizon, use a prespecified censoring-aware scoring procedure, such as an inverse-weighted score, with its censoring assumptions and positivity requirements satisfied. Apply the same procedure to each candidate.
  • Fit each candidate without information leakage. Longitudinal observations after the landmark cannot be used to predict from that landmark. Preprocessing, model fitting, and any tuning must be performed using only the appropriate training data.
  • Prespecify the primary metric and target. Selecting whichever horizon or score favors a preferred candidate after seeing results makes the comparison difficult to interpret.

The association forms also need to be estimable with the available data. A slope association requires enough longitudinal information, at relevant times, to estimate trajectory derivatives. A cumulative association requires a defensible time origin and adequate observations over the accumulation period. Sparse follow-up, an overly rigid trajectory model, or substantial measurement error can make either term poorly determined. A lower score does not repair a misspecified longitudinal trajectory or invalid censoring adjustment.

Scoring Predictions on Common Targets

For a fully observed binary outcome \(Y_i(s,u)\), equal to 1 if person \(i\) experiences the event in \((s,s+u]\) and 0 otherwise, the Brier score for predicted risks \(p_i\) is the mean squared prediction error. The logarithmic score, reported here as negative log score or log loss, penalizes a prediction according to the negative log probability assigned to the observed outcome. Both are loss measures, so smaller values indicate better performance.

$$ \operatorname{BS} = \frac{1}{n}\sum_{i=1}^n\{Y_i(s,u)-p_i\}^2, \qquad \operatorname{LogLoss} = -\frac{1}{n}\sum_{i=1}^n \left[ Y_i(s,u)\log(p_i) + \{1-Y_i(s,u)\}\log(1-p_i) \right]. $$

A short derivation clarifies why paired differences are natural here. For two candidates, A and B, evaluated on the same \(n\) outcomes, define each person’s Brier-loss difference as \(d_i=L_{iB}-L_{iA}\). Then

$$ \overline{d} = \frac{1}{n}\sum_{i=1}^n(L_{iB}-L_{iA}) = \frac{1}{n}\sum_{i=1}^n L_{iB} - \frac{1}{n}\sum_{i=1}^n L_{iA} = \operatorname{BS}_B-\operatorname{BS}_A. $$

Thus the difference in average scores is the average of within-person differences. Its sign directly states which candidate has lower loss: \(\overline{d}<0\) favors B on that metric and target. Uncertainty should likewise be assessed with paired methods that preserve the common validation observations; a confidence interval for the difference helps distinguish an observed advantage from sampling variability.

When performance over time is the target, an integrated Brier score averages Brier scores over a prespecified time range with specified weights. The same range and weighting must be used for all association structures. A metric can summarize overall prediction error, but it does not replace checking performance at clinically relevant individual horizons. A proper score rewards accurate probabilistic predictions on average; it does not by itself identify why one candidate performs better.

Worked Example: Comparing Current-Value and Slope Predictions

Suppose two candidate models predict event risk by 12 months after the same landmark for four hypothetical validation participants. Their event outcomes are fully observed, so no censoring adjustment is needed. Candidate A uses current value; candidate B uses slope.

ParticipantOutcome \(Y\)Risk ARisk B
110.700.60
200.300.20
310.600.80
400.200.10

For participant 1, the squared errors are \((1-0.70)^2=0.09\) for A and \((1-0.60)^2=0.16\) for B. The four Brier losses for A are \(0.09, 0.09, 0.16,\) and \(0.04\), giving

$$ \operatorname{BS}_A=(0.09+0.09+0.16+0.04)/4=0.095. $$

For B, the losses are \(0.16, 0.04, 0.04,\) and \(0.01\), so

$$ \operatorname{BS}_B=(0.16+0.04+0.04+0.01)/4=0.0625, \qquad \operatorname{BS}_B-\operatorname{BS}_A=-0.0325. $$

On these four hypothetical cases and this single target, B has the lower Brier score by 0.0325. This small example demonstrates the arithmetic, not a reliable general performance conclusion: uncertainty is substantial with only four validation participants.

Worked Example: Comparing Cumulative-Value and Current-Value Predictions by Log Loss

Consider three hypothetical participants at a common landmark and horizon, with fully observed outcomes \(Y=(1,0,1)\). The current-value model predicts risks \((0.80,0.70,0.40)\), and the cumulative-value model predicts \((0.70,0.20,0.60)\). For an event, the contribution to log loss is \(-\log(p)\); for a non-event it is \(-\log(1-p)\).

For the current-value model, the three contributions are \(-\log(0.80)=0.2231\), \(-\log(1-0.70)=1.2040\), and \(-\log(0.40)=0.9163\). Therefore,

$$ \operatorname{LogLoss}_{\text{current}} = (0.2231+1.2040+0.9163)/3 = 0.7811. $$

For the cumulative-value model, the contributions are \(-\log(0.70)=0.3567\), \(-\log(1-0.20)=0.2231\), and \(-\log(0.60)=0.5108\). Thus,

$$ \operatorname{LogLoss}_{\text{cumulative}} = (0.3567+0.2231+0.5108)/3 = 0.3635. $$

The cumulative-value predictions have lower average log loss for these data. The relatively high loss for the current-value model’s second prediction occurs because it assigned a 0.70 event risk to a participant who did not experience the event. Log loss is especially sensitive to confident predictions that assign low probability to the observed outcome. These results do not establish that cumulative association is preferable at other horizons or in another population.

Worked Example: Prespecified Performance Across Two Horizons

Suppose a validation plan specifies equal weighting of 6-month and 12-month Brier scores for the same eligible population. The hypothetical validation estimates are:

Association structure6-month Brier score12-month Brier score
Current value0.0800.140
Slope0.1050.090
Cumulative value0.1000.085

The prespecified equal-weight averages are \((0.080+0.140)/2=0.110\) for current value, \((0.105+0.090)/2=0.0975\) for slope, and \((0.100+0.085)/2=0.0925\) for cumulative value. On this summary, cumulative value has the lowest average loss. But the horizon-specific scores show that current value has the lowest loss at 6 months, while cumulative value has the lowest at 12 months. The average answers the prespecified overall question; it should not obscure the fact that the ranking depends on horizon.

Reading the Comparison and Diagnosing Problems

For each association structure, report the target-specific score, the paired difference from a prespecified reference candidate, and uncertainty for that difference. If several association structures are compared, pairwise differences can help describe the ranking, but the primary comparison should remain clear. A small numerical difference with an interval that includes zero is not strong evidence of a predictive advantage. Conversely, a lower estimated score should not be described as a meaningful improvement without considering its uncertainty and practical size.

A prespecified Brier or log score is a direct comparison of overall probabilistic accuracy. Other measures answer different questions. Discrimination summarizes how well predictions rank people with different outcomes; it does not assess the accuracy of their predicted probabilities in the same way as a proper score. Likelihood-based criteria assess model fit with a complexity adjustment, but they are not substitutes for validation performance on the intended prediction target. Comparing candidates on multiple summaries can be informative, provided those summaries and their roles are specified rather than selected after inspecting the results.

Warning signs include a score advantage that disappears when the same participants and horizons are used, large differences between apparent and validation performance, unstable predictions from the slope model when marker follow-up is sparse, or extreme cumulative-term effects tied to the time origin or marker scaling. Check that censoring weights are stable and that the censoring assumptions are plausible. Review whether the marker trajectory can support the proposed slope or cumulative term. If model predictions fail at a particular horizon, report that rather than relying only on an overall average.

A common mistake is to say, “The slope model has the smallest in-sample information criterion, so slope is the best predictor.” This confuses a model-fitting criterion with out-of-sample predictive performance and may also compare candidates on no common prediction target. The correction is to generate held-out predictions for the same people, landmarks, and horizons, apply the same prespecified validation metric, and quantify paired uncertainty. Even then, the conclusion is limited to predictive performance for the evaluated targets and validation population.

The main alternative approaches are complementary rather than interchangeable: likelihood criteria summarize relative fit with a complexity penalty; discrimination measures ranking; and proper scoring rules assess probabilistic accuracy. None makes the others unnecessary. The choice among current value, slope, and cumulative value is therefore an empirical predictive comparison guided by the intended use, not a universal contest with one winning structure.

Key takeaway: Compare association structures using out-of-sample predictions for identical, prespecified dynamic targets and scoring rules. Interpret any score advantage as target- and population-specific predictive evidence, and report its uncertainty.

Check Your Understanding

Answer each question, then compare with the solution provided.

  1. A current-value model and a slope model are evaluated at different prediction horizons. Is their Brier-score difference a clean comparison of association structures? Why?
    Solution: No. The models are evaluated on different targets. Generate predictions for the same eligible participants and the same landmark and horizon, then score them identically.
  2. On the same validation set, a candidate has Brier score 0.12 and a reference has Brier score 0.15. What is the candidate-minus-reference difference, and which has lower loss?
    Solution: The difference is \(0.12-0.15=-0.03\). The candidate has lower Brier loss by 0.03 on that evaluated target; the difference alone does not show whether the advantage is precise or important.
  3. Why can a slope association be difficult to compare fairly when longitudinal measurements are sparse?
    Solution: Sparse measurements may give imprecise estimates of the latent trajectory derivative. The resulting predictions can be unstable or overly dependent on trajectory-model assumptions. Examine measurement timing and prediction stability, and report the limitation.
  4. A cumulative-value model has the lowest average score across two horizons but a worse score than the current-value model at the shorter horizon. Is this a contradiction?
    Solution: No. The prespecified average summarizes performance across both horizons, while the horizon-specific score describes performance at one target. Report both so the average does not conceal the differing rankings.
  5. Why should censoring be handled with the same prespecified procedure for every candidate?
    Solution: Otherwise, score differences may reflect different handling of unobserved outcomes rather than differences in predictions. The censoring adjustment must also have appropriate assumptions and adequate positivity for the target population.
Clinical Biostats