Why Model Several Markers Together?
A participant in a longitudinal study may contribute several outcomes, such as a laboratory marker and a symptom score, measured at different times. The marker panel is not necessarily observed on a common schedule: one marker may be measured at every visit while another is recorded only at selected visits. The earlier material on representing unequally spaced marker panels motivates keeping the marker identity and its actual measurement time explicit.
A multivariate linear mixed model gives each marker its own population trajectory and allows a participant’s departures from those trajectories to be represented jointly. The model is useful for describing the longitudinal panel and its dependence structure. Here the focus is its specification and interpretation, not a survival component or a particular parameterization of the covariance matrices.
Model Setup and Assumptions
Suppose there are \(n\) participants and \(K\) markers. Let \(Y_{ikj}\) be the measurement of marker \(k\) for participant \(i\) at that marker’s \(j\)th observed time, \(t_{ikj}\), where \(j=1,\ldots,n_{ik}\). The number and timing of observations may differ across markers and participants. Let \(x_i\) be a participant-level covariate, such as an indicator for treatment group.
For a linear time trend and a binary covariate, one useful specification is
The \(\beta\) coefficients are fixed effects: they describe the population-average trajectory conditional on the covariate. The \(b_{0ik}\) and \(b_{1ik}\) terms are participant-specific random intercept and slope departures for marker \(k\). The residual \(\varepsilon_{ikj}\) is the remaining measurement-level deviation. The time origin and units must be stated because the intercept is the expected outcome at \(t=0\), and the slope is change per unit of time.
Here \(b_i=(b_{0i1},b_{1i1},\ldots,b_{0iK},b_{1iK})^\mathsf{T}\) is a \(2K\)-dimensional random-effects vector. Its covariance matrix \(G\) describes variation and dependence among participant-specific marker trajectories. The vector \(\varepsilon_i\) stacks the residuals for participant \(i\), and \(R_i\) is its covariance matrix. Both covariance matrices must be symmetric and positive semidefinite; a nonsingular covariance is needed for an ordinary nondegenerate Gaussian density. The specific structures for these matrices should be selected and justified for the study rather than inferred from the mean model.
The Gaussian assumption applies to the random effects and residual vector conditional on the design. It does not require the observed outcomes themselves to be independent: shared random effects induce dependence. The time and covariate design is treated as given, and the model assumes the stated mean and covariance adequately describe the outcomes. In a simple working specification, residuals are independent with marker-specific variances, but that assumption is not automatic and should be checked against the measurement process.
Worked Example: Marker-Specific Population Trends
Suppose two hypothetical markers, A measured in units and B measured in points, follow the fixed-effects portions
For a participant with \(x_i=1\), at time \(t=3\), the fitted population mean for A is \(10+2(3)+3(1)-0.5(1)(3)=17.5\) units. For B it is \(4-0.4(3)+1.5(1)+0.2(1)(3)=4.9\) points.
The group contrast is time-dependent when the interaction coefficient is nonzero. At \(t=3\), the A contrast is \(3-0.5(3)=1.5\) units: the \(x=0\) mean is \(10+2(3)=16\), while the \(x=1\) mean is 17.5. For B, the contrast is \(1.5+0.2(3)=2.1\) points: the corresponding means are 2.8 and 4.9. These are model-based mean differences, not causal effects unless the study design and assumptions support a causal interpretation.
Population Trajectories and Participant Departures
For marker \(k\), the population mean at covariate value \(x_i\) is \(\beta_{0k}+\beta_{1k}t+\beta_{2k}x_i+\beta_{3k}x_it\). Its time slope is \(\beta_{1k}+\beta_{3k}x_i\). A participant’s conditional trajectory adds \(b_{0ik}+b_{1ik}t\), so that participant’s slope is \(\beta_{1k}+\beta_{3k}x_i+b_{1ik}\). The random intercept is the participant’s departure at the chosen time origin; it is not necessarily a meaningful baseline value if \(t=0\) is outside the observed range.
The joint distribution of \(b_i\) permits participant departures for different markers to be related. For instance, a participant’s unusually high intercept for one marker may tend to accompany a high or low intercept for another. Such dependence is a property of the model’s random-effects covariance, not a claim that one marker causes another. Marker-specific fixed effects do not imply that the markers are statistically independent.
Worked Example: A Participant’s Random Trajectories
Continue with the hypothetical fixed effects above. Consider a participant with \(x_i=0\), whose random effects are \(b_{0iA}=1.2\) units and \(b_{1iA}=-0.3\) units per time unit, and \(b_{0iB}=-0.5\) points and \(b_{1iB}=0.1\) points per time unit.
For marker A, the population slope is 2 units per time unit. This participant’s slope is \(2+(-0.3)=1.7\) units per time unit. At \(t=2\), the population mean is \(10+2(2)=14\) units; adding the participant’s random effects gives \(14+1.2+(-0.3)(2)=14.6\) units.
For marker B, the population slope is \(-0.4\) points per time unit, and this participant’s slope is \(-0.4+0.1=-0.3\) points per time unit. At \(t=2\), the population mean is \(4-0.4(2)=3.2\) points. The conditional trajectory is \(3.2+(-0.5)+0.1(2)=2.9\) points. These calculations describe the participant-specific latent mean; an observed measurement also includes its residual.
Stacked Form and Marginal Mean and Covariance
For compactness, stack all observed outcomes for participant \(i\) into a vector \(Y_i\), in a stated order, such as marker by marker and then time within marker. The fixed-effects design matrix \(X_i\) contains the covariate and time columns for each marker; the random-effects design matrix \(Z_i\) places the appropriate \(1\) and \(t_{ikj}\) entries in the columns for that marker’s random intercept and slope. The model is
This representation accommodates unequal schedules: each participant’s matrices have rows only for the outcomes actually observed, with their actual times. It also makes clear that marker-specific coefficients are placed in separate parts of \(\beta\); using a shared coefficient instead is a substantive restriction, not merely a different data layout.
To justify the result, take expectations and covariances conditional on the design. Since \(E(b_i)=0\) and \(E(\varepsilon_i)=0\), linearity gives \(E(Y_i)=X_i\beta\). For the covariance, subtract the mean and expand:
The two cross-covariance terms are zero because the random effects and residuals are independent. A linear transformation and sum of jointly Gaussian vectors is Gaussian, giving the stated marginal distribution. This derivation also shows why a conditional model with independent residuals can still imply correlated repeated outcomes through \(Z_iGZ_i^\mathsf{T}\).
Worked Example: Covariance From a Random Intercept and Slope
For illustration, suppose one marker has a random intercept variance of \(4\) outcome-units squared, a random slope variance of \(0.25\) outcome-units squared per time-unit squared, and zero intercept-slope covariance. Assume independent residuals with variance \(1\) outcome-units squared. Consider measurements at \(t=1\) and \(t=3\).
The random-effects design row at time \(t\) is \((1,t)\). Therefore, the covariance between the two outcomes due to the random effects is \((1,1)\begin{pmatrix}4&0\\0&0.25\end{pmatrix}(1,3)^\mathsf{T} =4+0.25(3)=4.75\) outcome-units squared. The independent residuals add no covariance between these distinct measurements, so the marginal covariance is 4.75 outcome-units squared.
At \(t=1\), the marginal variance is \(4+0.25(1^2)+1=5.25\) outcome-units squared. At \(t=3\), it is \(4+0.25(3^2)+1=7.25\) outcome-units squared. The resulting correlation is \(4.75/\sqrt{5.25(7.25)}\approx0.770\). This calculation depends on the illustrative covariance assumptions; it is not a universal covariance pattern for marker panels.
Design Checks, Alternatives, and Limitations
Before interpreting or estimating a model, check whether its design can support its parameters. Each marker needs enough observations across participants to estimate its fixed time trend; estimating participant-specific slopes also requires useful within-participant time variation. The fixed-effects design must have full column rank: for example, a treatment indicator cannot be separated from an intercept if everyone is in the same group. Random-effects covariance parameters can be weakly identified when there are few participants, sparse repeated measurements, or little variation in times. Centering time at a clinically meaningful point can make intercepts interpretable and may reduce numerical dependence between intercept and slope parameters.
Residual plots and participant-level trajectory plots can reveal curvature, changing spread, outlying trajectories, or systematic departures by marker. A linear time trend is not suitable merely because it is convenient: inspect whether it captures the observed trajectory over the time range. Check whether residual dependence assumptions are plausible for the measurement schedule, and whether estimated covariance matrices are near singular or yield implausible variability. Such warning signs call for revisiting the mean or covariance specification, not simply reporting the fit unchanged.
Separate univariate mixed models are simpler to specify and may be appropriate when cross-marker dependence is not of interest. They do not estimate the joint random-effects distribution across markers. A pooled model that imposes common fixed effects can be more parsimonious, but it asserts that the markers share those effects on their modeled scales. The multivariate model here instead allows marker-specific means and a joint random-effects distribution, at the cost of more parameters and greater data demands. It does not, by itself, correct informative observation times, missingness, nonlinear trajectories, or measurement error beyond the specified model.
Check Your Understanding
Answer each question, then compare with the solutions below.
- In the marker-specific model, what is the time slope for marker \(k\) when \(x_i=1\), before adding the participant’s random slope?
- If the time origin is shifted, which interpretation of the random intercept changes?
- Why can repeated outcomes be correlated even when the residuals are independent?
- For one marker, let the random-intercept variance be 9, the random-slope variance be 1, their covariance be 0, and the residual variance be 4 with independent residuals. What is the marginal variance at \(t=2\)?
Solutions. (1) The population slope is \(\beta_{1k}+\beta_{3k}\), because \(x_i=1\). The participant-specific slope additionally includes \(b_{1ik}\). (2) The random intercept is the departure at \(t=0\), so changing the time origin changes the point at which that departure is defined. (3) The shared random effects contribute \(Z_iGZ_i^\mathsf{T}\) to the marginal covariance even when \(R_i\) is diagonal. (4) The marginal variance is \(9+1(2^2)+4=17\) outcome-units squared.