From a Linearized Population Model to a Subject Likelihood
For population design, the data from one subject are a vector of observations collected under that subject’s sampling schedule. A subject-level likelihood is the probability density assigned to that vector by a model, viewed as a function of the population parameters. In the approximation considered here, the vector is modeled as multivariate normal, with its mean and covariance obtained from the linearized population model. Earlier material on approximate population means and covariances supplies those model quantities; the task here is to assemble them into a likelihood and understand its two central terms.
This is an approximation to the marginal distribution of a subject’s observations. It is not generally the exact likelihood obtained by integrating a nonlinear mixed-effects model over its random effects. The approximation can be useful when the linearization is adequate, but the likelihood inherits any weaknesses in that approximation.
The positive-definiteness condition is essential: it ensures that the covariance has positive variances in every nonzero direction, that its determinant is positive, and that its inverse exists. The observation times and design are treated as fixed when evaluating this subject’s density. Within-subject observations need not be independent; their covariance is represented by the off-diagonal elements of \(\boldsymbol{\Sigma}_i\).
The Density and Its Logarithm
Under the stated approximation, the density for the observed vector is
Here \(L_i(\theta)\) denotes the subject-level likelihood contribution, evaluated at the observed \(\mathbf y_i\). Its logarithm is
The log form turns products and powers in the density into sums. It also separates the likelihood into a dimension-dependent normalizing constant, a covariance determinant term, and a residual quadratic form. The determinant term is not optional: evaluating only how close the observations are to the mean does not give the Gaussian likelihood.
The determinant and quadratic form must be considered together. A covariance matrix that is enlarged can reduce the quadratic penalty for a fixed residual, but it also increases the determinant penalty. Thus, simply increasing model variances cannot improve the log-likelihood without limit.
Why the Two Terms Appear
A short change-of-variables argument explains the structure. For a fixed positive-definite covariance matrix, write its Cholesky factorization as \(\boldsymbol{\Sigma}_i=LL^T\), where \(L\) is lower triangular with positive diagonal entries. Define the whitened residual \(\mathbf z=L^{-1}\mathbf r_i\). Then
The transformed residual has a standard multivariate normal density, proportional to \(\exp(-\mathbf z^T\mathbf z/2)\). Transforming that density back to the original observation coordinates multiplies it by the absolute Jacobian determinant \(\lvert L\rvert^{-1}\). Since \(\lvert\boldsymbol{\Sigma}_i\rvert=\lvert L\rvert^2\), this factor is \(\lvert\boldsymbol{\Sigma}_i\rvert^{-1/2}\). The standard \(m_i\)-dimensional normalizing constant is \((2\pi)^{-m_i/2}\). Taking logarithms yields the determinant and quadratic-form terms in \(\ell_i\). This derivation assumes \(L\) exists, which is guaranteed by positive definiteness.
Whitening is also a useful interpretation: the quadratic form is the ordinary squared Euclidean length of the residual after the covariance structure has been removed. It is not generally the sum of the squared raw residuals divided by one common variance.
Worked Example: A One-Observation Gaussian Approximation
Suppose one hypothetical subject has one measurement \(y_i=2.4\) units. At a specified parameter value, the approximate mean is \(2.0\) units and the variance is \(0.25\) square units. The covariance is positive, so the scalar normal density is well-defined. The residual is \(r_i=2.4-2.0=0.4\) units.
For one observation, the log-likelihood is
Since \(-\tfrac12\log(2\pi\cdot0.25)\approx-0.2258\) and the quadratic contribution is \(-0.3200\), \(\ell_i\approx-0.5458\). The density is therefore \(\exp(-0.5458)\approx0.5794\) per unit of measurement. The density’s units are inverse measurement units; it is not itself a probability of observing exactly \(2.4\).
Worked Example: Computing the Two-Dimensional Likelihood
Consider hypothetical measurements for one subject with residual vector \(\mathbf r_i=[0.3,-0.2]^T\) units and approximate covariance matrix, in squared units,
The matrix is symmetric. Its determinant is \(0.20(0.13)-(0.08)^2=0.0260-0.0064=0.0196\), which is positive; its first diagonal entry is also positive, so this \(2\times2\) matrix is positive definite. Its inverse is
The quadratic form is
There are \(m_i=2\) measurements, so
The likelihood density is approximately \(\exp(-0.6192)\approx0.5384\) per squared unit of the two-dimensional measurement vector. This density is a likelihood contribution at the stated parameter value, not the probability of a point observation.
How Covariance Changes the Likelihood
The next hypothetical comparison holds the residual vector fixed at \([0.3,-0.2]^T\) units and changes only the covariance. Compare the correlated matrix from the preceding example with the diagonal matrix having the same marginal variances. Both matrices are positive definite: their diagonal entries are positive, and their determinants are positive.
Worked Example: Comparing Correlated and Independent Errors
For the correlated covariance, the determinant is \(0.0196\), the quadratic form is \(1.4949\), and the log-likelihood is approximately \(-0.6192\). For the diagonal covariance
the determinant is \(0.20(0.13)=0.0260\), and the quadratic form is
Thus the diagonal-covariance log-likelihood is
For these data and these parameter values, the diagonal covariance gives the larger log-likelihood (\(-0.3919>-0.6192\)). The correlated matrix has a smaller determinant, which by itself would increase density, but its larger quadratic form more than offsets that advantage. This comparison illustrates why neither the determinant nor the residual penalty alone ranks covariance models correctly.
Assumptions, Diagnostics, and Limits
The calculation is valid as the stated Gaussian approximation when the model provides an appropriate approximate mean and covariance for the subject’s observation vector, and when the covariance at the parameter value is symmetric positive definite. If a population likelihood across subjects is formed by multiplying subject densities, this additionally assumes subjects are independent under the population model. Dependence among observations within a subject is allowed and must be represented in that subject’s covariance.
Several checks help detect numerical or modeling problems:
- Check symmetry and positive definiteness of \(\boldsymbol{\Sigma}_i\). A nonpositive determinant or failed Cholesky factorization prevents a valid nonsingular Gaussian density.
- Check the determinant and quadratic form separately. A negative computed quadratic form indicates a numerical or implementation error when the covariance is positive definite.
- Verify the residual order matches the row and column order of the covariance matrix. A correctly computed determinant cannot protect against pairing observations with the wrong covariance entries.
- Use a stable numerical method, such as Cholesky factorization, rather than explicitly forming a matrix inverse in software. The displayed inverse formula is useful for hand calculations, but direct inversion can be less stable computationally.
- Assess whether a Gaussian approximation is credible for the model and design. Strong nonlinearity, highly skewed marginal distributions, or behavior poorly captured by a first-order linearization can make the approximate likelihood misleading even when the covariance is mathematically valid.
The main alternative is the exact marginal likelihood, which integrates the conditional observation density over the random-effects distribution. In nonlinear mixed-effects models that integral may require numerical integration or approximation methods. The Gaussian approximation instead summarizes the subject’s marginal distribution through its approximate mean and covariance and inserts those quantities into a multivariate normal density. It is computationally direct, but it does not become exact merely because the mean and covariance have been calculated accurately.
Common Mistake and Practical Interpretation
A frequent error is to calculate only \(-\tfrac12\mathbf r_i^T\boldsymbol{\Sigma}_i^{-1}\mathbf r_i\) and call it the log-likelihood, or to omit the determinant because it does not involve the residual. That reasoning is incorrect whenever the covariance depends on model parameters: changing the covariance changes both terms. Even when comparing models with different covariance structures, the determinant remains part of the density normalization.
Another mistake is to interpret a likelihood density as a probability for an exact continuous observation. A point has probability zero under a continuous distribution; the density describes relative support per unit of measurement. Probabilities require integration over a region. Finally, \(\ell_i\) may be negative without indicating a poor or invalid model: continuous densities can be below one, and log densities can consequently be negative.
Check Your Understanding
Answer each question, then compare with the solutions below.
- For \(m_i=3\), what coefficient multiplies \(\log(2\pi)\) in the subject’s log-likelihood?
- Why is a symmetric covariance matrix with determinant zero not suitable for the nonsingular Gaussian density used here?
- For a scalar residual of \(0.5\) units and variance \(0.25\) square units, calculate the quadratic-form contribution before the factor of \(-\tfrac12\).
- If the residual vector is unchanged but the covariance is multiplied by a positive constant greater than one, what happens to the determinant term and the quadratic form?
- Does a log-likelihood of \(-0.62\) imply that the probability of the observed continuous data is negative or that the model is invalid? Explain.
Solutions. (1) The coefficient is \(-m_i/2=-3/2\), so the constant term is \(-\tfrac32\log(2\pi)\). (2) A zero determinant means the covariance is singular, so the inverse and ordinary full-dimensional density do not exist. (3) The quadratic form is \(0.5^2/0.25=1.00\); its contribution to the log-likelihood is \(-0.500\). (4) If the covariance is multiplied by \(c>1\) in \(m_i\) dimensions, its determinant is multiplied by \(c^{m_i}\), so the log-determinant increases by \(m_i\log c\), while the quadratic form is divided by \(c\). The net likelihood change depends on both terms. (5) No. A log density can be negative, and a continuous observation has probability zero as a point; the density is not a point probability. A negative log-likelihood alone does not establish model invalidity.