Why random-effect variability matters for design
A population design can contain many subjects and still provide limited precision for a typical value if subjects differ substantially from one another. The reason is that individual observations vary not only because of residual error, but also because each subject has a latent deviation from the population typical value. The approximate population Fisher matrix makes this effect explicit: random-effect variance contributes to the covariance of the observations, and that covariance determines how much information the data carry about typical values.
There is a second, distinct question: how much information do the data carry about the random-effect variance itself? A larger variance changes the sensitivity of the observation distribution to that parameter, but its Fisher information depends on the scale used to represent the parameter. For example, information for a variance and information for its logarithm are not interchangeable. The direction of change must therefore be stated for a specified parameterization and model.
The approximate population Fisher formula
For subject \(i\), let \(y_i\) be the vector of observations at the subject's specified measurement times and covariate values. Let \(\theta\) denote population typical-value parameters, and let \(\eta_i\) be the subject's random effects, with mean zero and covariance matrix \(\Omega\). A first-order approximation linearizes the subject-specific mean response around \(\eta_i=0\):
Here \(f_i(\theta)\) is the response at the typical values, \(J_i\) is the derivative of the response with respect to the random effects, \(\epsilon_i\) is residual error with covariance \(R_i\), and \(V_i\) is the resulting approximate marginal covariance of \(y_i\). Under this approximation, the observations for a subject are treated as multivariate normal. Subjects are assumed independent, the relevant covariance matrices are nonsingular, and the design and nominal parameter values are fixed for the calculation.
Write \(\psi\) for the vector of population parameters being considered. It can include typical values and parameters describing \(\Omega\) or \(R_i\). Let \(m_i\) be the approximate mean of \(y_i\), and use subscripts to denote derivatives with respect to a parameter. The approximate expected Fisher information contributed by subject \(i\) is:
The first term is information carried by changes in the mean; the second is information carried by changes in the covariance. The total population information is the sum of the subject contributions, \(\mathcal{I}=\sum_i\mathcal{I}_i\). This is a local approximation: its value depends on the nominal parameters used to calculate the derivatives and covariance.
Why larger covariance reduces mean information
Suppose a scalar typical-value parameter \(\theta\) affects the approximate mean through a derivative vector \(d\), while the covariance is fixed with respect to \(\theta\). Its information is \(d^\mathsf{T}V^{-1}d\). If increasing a random-effect variance changes \(V\) to \(V+A\), where \(A\) is positive semidefinite, then the new covariance is no smaller in any direction. For positive definite \(V\), the inverse reverses this ordering:
Thus, under these conditions, added covariance cannot increase mean information for that fixed sensitivity direction. The inequality can be equality if the added variability does not affect the direction that informs the parameter. This result concerns the mean-information term with a fixed derivative and a covariance increase; it is not a general claim that every entry or every parameter's information must decline whenever any random-effect variance increases.
A short derivation of the Fisher formula also clarifies its two parts. For a multivariate normal observation with mean \(m\) and covariance \(V\), the score for parameter \(\psi_a\) has a mean component \(m_{,a}^{\mathsf{T}}V^{-1}(y-m)\) and a covariance component formed from the centered quadratic quantity in \(y-m\). Taking expected products of scores gives the mean term \(m_{,a}^{\mathsf{T}}V^{-1}m_{,b}\) and the covariance term \(\tfrac12\operatorname{tr}(V^{-1}V_{,a}V^{-1}V_{,b})\). The cross-product has expectation zero because centered normal observations have zero third central moments. The result assumes the normal approximation and differentiable mean and covariance functions; in a nonlinear mixed-effects model it is approximate because the response has been linearized in the random effects.
Worked Example: One Observation per Subject
Consider a hypothetical study with 40 independent subjects and one measurement per subject. Suppose the first-order model is \(y_i=\theta+b_i+\epsilon_i\), with \(b_i\sim N(0,\omega)\), \(\epsilon_i\sim N(0,1)\), and independent random effects and residual errors. The measurement variance is one squared measurement unit, and \(\omega\) is the random-intercept variance in the same squared units. Compare \(\omega=0.25\) with \(\omega=1\).
For one subject, the marginal mean is \(\theta\), its derivative is 1, and the marginal variance is \(V=\omega+1\). The total information for \(\theta\) is therefore \(40/V\). The derivative of \(V\) with respect to \(\omega\) is 1, so the information for the variance parameter \(\omega\) is \(40/(2V^2)\).
At \(\omega=0.25\), \(V=1.25\). Hence:
At \(\omega=1\), \(V=2\), giving:
For this model, greater random-intercept variance reduces information about both the typical value and the absolute variance parameter \(\omega\). The approximate standard error for \(\theta\), calculated as \(1/\sqrt{\mathcal{I}_{\theta\theta}}\), increases from \(0.1768\) to \(0.2236\) measurement units. These are local Fisher approximations, not guarantees of the standard errors from a finite-sample fit.
Now consider the log-variance parameter \(\lambda=\log(\omega)\). The derivative \(d\omega/d\lambda=\omega\), so information for \(\lambda\) is \(\omega^2\mathcal{I}_{\omega\omega}\). It is \(0.8000\) at \(\omega=0.25\) and \(5.000\) at \(\omega=1\). Thus the conclusion about information for the variability parameter changes with its scale. The model and observations are unchanged; only the parameterization differs.
Repeated measurements and shared random effects
With repeated measurements, a random effect can induce covariance among observations from the same subject. The information then depends on the full covariance matrix, not only on a single marginal variance. In a random-intercept model, repeated observations share the same subject-specific deviation. This shared component does not disappear by taking more measurements from that subject; its effect on population information differs from that of independent measurement noise.
Worked Example: Three Measurements with a Random Intercept
Suppose a hypothetical design has 30 independent subjects, each measured three times. The model is \(y_{ij}=\mu+b_i+\epsilon_{ij}\), where \(b_i\sim N(0,\omega)\), and independent residuals have variance \(\sigma^2=4\) squared measurement units. Compare random-intercept variances \(\omega=0.25\) and \(\omega=1\).
For one subject, the mean vector is \(\mu\mathbf{1}\), and the covariance is \(V=\omega\mathbf{1}\mathbf{1}^{\mathsf{T}}+4I\), where \(\mathbf{1}\) is a vector of three ones. Since \(\mathbf{1}\) is an eigenvector of \(V\) with eigenvalue \(4+3\omega\), the information for \(\mu\) per subject is \(3/(4+3\omega)\). The covariance derivative for \(\omega\) is \(\mathbf{1}\mathbf{1}^{\mathsf{T}}\), giving information per subject \(\tfrac12[3/(4+3\omega)]^2\).
At \(\omega=0.25\), \(4+3\omega=4.75\). Across 30 subjects:
At \(\omega=1\), \(4+3\omega=7\), so:
Increasing the random-intercept variance reduces information about the population mean and about the absolute variance parameter in this design. The repeated observations are correlated through \(b_i\), so treating all 90 measurements as independent would give an incorrect information calculation. This example uses the covariance structure directly; it does not imply that every variability parameter in every model behaves in the same way.
Which typical values are affected?
When random effects affect different parts of a response differently, increasing one component of \(\Omega\) can primarily reduce information about the typical-value contrast aligned with that component. For example, random-intercept variability most directly affects level information, whereas random-slope variability affects information about change across a covariate or time. Whether other parameter directions are also affected depends on the design and on correlations among random effects.
Worked Example: A Random Slope and Two Design Points
Consider a hypothetical linear model with 20 independent subjects, each measured at \(x=-1\) and \(x=1\): \(y_{ij}=\beta_0+\beta_1x_j+b_{0i}+b_{1i}x_j+\epsilon_{ij}\). Assume independent random intercepts and slopes with variances \(\omega_0=0.5\) and \(\omega_1\), and independent residual errors with variance 1. Compare \(\omega_1=0.25\) with \(\omega_1=1\).
The two design vectors for the intercept and slope, \((1,1)^\mathsf{T}\) and \((-1,1)^\mathsf{T}\), are orthogonal. The corresponding covariance eigenvalues are \(1+2\omega_0\) and \(1+2\omega_1\). Consequently, per subject the information for \(\beta_0\) is \(2/(1+2\omega_0)\), and the information for \(\beta_1\) is \(2/(1+2\omega_1)\). The variance parameter \(\omega_1\) has information \(2/(1+2\omega_1)^2\) per subject.
The intercept information is \(2/(1+2(0.5))=1.000\) per subject for either value of \(\omega_1\), so its total information is 20.00. At \(\omega_1=0.25\), slope information per subject is \(2/1.5=1.333\), or \(26.67\) across the study. Information for \(\omega_1\) per subject is \(2/(1.5)^2=0.8889\), or \(17.78\) total.
At \(\omega_1=1\), slope information per subject is \(2/3=0.6667\), or \(13.33\) total. Information for \(\omega_1\) is \(2/3^2=0.2222\) per subject, or \(4.444\) total. In this balanced, symmetric design, increasing slope variability reduces information about the typical slope and the absolute slope variance, while leaving information about the typical intercept unchanged. A different design, such as one with uncentered or unbalanced measurement points, need not separate these directions so cleanly.
Reading the result, checking assumptions, and avoiding overclaims
These examples illustrate useful patterns, not a universal monotonicity rule for every element of a population Fisher matrix. Before interpreting a change, check which parameter is varied, which parameter is the target, whether the response sensitivities change with the nominal values, and whether random-effect covariance or correlations also change. If \(J_i\) depends on the parameters, increasing a variance may change both \(V_i\) and its derivatives. If the parameterization changes from a variance to a log-variance, apply the chain rule before comparing information.
A practical diagnostic is to calculate the information at more than one plausible nominal variance, holding the design and all other nominal values fixed. Confirm that the covariance remains positive definite and that the derivative used for the variability parameter matches the parameterization. Check whether repeated observations were represented with their induced covariance. If small changes to the nominal variance cause implausibly large changes in the approximate information, the local linearization may be inadequate or the model may be near a boundary such as zero variance. In those cases, the approximation should be treated cautiously rather than as a reliable ranking of designs.
The Fisher calculation is a local, model-based measure of expected curvature; it does not establish that the fitted model is correct or that an estimator will behave well in a small sample. A larger random-effect variance can make typical values harder to estimate while making a relative variability parameter more informative under some parameterizations. Conversely, information for an absolute variance can decline as the variance grows, as in the examples. Interpret each statement with its target parameter and units.
The main alternative to this approximate calculation is to use a less approximated likelihood-based information calculation, for example one that evaluates the marginal likelihood without linearizing the response in the random effects. That can be more faithful to a nonlinear model, but may require substantially more computation and still depends on the assumed model. The first-order Fisher formula is useful for understanding local mechanisms and comparing candidate designs efficiently; it should not be mistaken for an exact, model-free measure of information.
Check Your Understanding
For each question, first identify the relevant term of the approximate Fisher formula. Then compare your reasoning with the solutions.
- In the one-observation model, with 20 subjects, residual variance 1 and random-intercept variance \(\omega=1\), what are the information values for \(\theta\) and \(\omega\)?
- Why does the random-intercept example with repeated measurements use a covariance matrix rather than treating each measurement as independent?
- In the two-point random-slope design, what happens to information for the typical intercept when only the random-slope variance increases? Give the design-specific reason.
- Does a decrease in information for \(\omega\) necessarily mean a decrease in information for \(\log(\omega)\)? Explain using the chain rule.
Solutions. (1) Here \(V=1+1=2\). Thus \(\mathcal{I}_{\theta\theta}=20/2=10.00\) and \(\mathcal{I}_{\omega\omega}=20/[2(2)^2]=2.500\). (2) The same random intercept contributes to every measurement for a subject, inducing covariance between those measurements; the marginal covariance is \(V=\omega\mathbf{1}\mathbf{1}^{\mathsf{T}}+I\), not a diagonal matrix. (3) Its information is unchanged in this symmetric design because the intercept and slope design vectors are orthogonal, and the covariance eigenvalue in the intercept direction depends on \(\omega_0\), not \(\omega_1\). (4) No. If \(\lambda=\log(\omega)\), then \(\mathcal{I}_{\lambda\lambda}=\omega^2\mathcal{I}_{\omega\omega}\). The factor \(\omega^2\) can change the direction of the comparison, so information must be reported for the stated parameterization.