Why IBD Uncertainty Belongs in the Likelihood
In a family linkage analysis, marker data may not identify exactly which alleles are identical by descent (IBD) at a quantitative-trait locus. Instead, they provide probabilities over possible locus-specific IBD configurations. A phenotype likelihood should account for that uncertainty. Treating the most likely configuration as known, or replacing the uncertain sharing with its mean, can give a different likelihood and can understate what the data leave unresolved.
The key operation is to average the phenotype likelihood over configurations, weighting each by its probability conditional on the marker data. This is not the same as first averaging IBD and then calculating a Gaussian likelihood. The distinction arises because the likelihood is a nonlinear function of its covariance parameters.
The weights \(q(z\mid M)\) are nonnegative and sum to one. They describe uncertainty about IBD after using the marker data; they are not phenotype likelihood contributions. The phenotype density for each configuration supplies that contribution. Once phenotypes are observed, configurations with larger density can receive greater posterior probability, but the likelihood itself averages the densities using the marker-based weights.
Gaussian Family Model With Latent IBD
For a family with \(n\) observed members, let \(Y\) be the \(n\)-vector of quantitative phenotypes and let \(X\beta\) be its mean. A commonly used variance-components model, conditional on configuration \(z\), is $$ Y\mid Z=z \sim N(X\beta,V_z), \qquad V_z=2\sigma_A^2\Phi+\sigma_Q^2\Pi_z+\sigma_e^2 I. $$ Here \(\Phi\) is the pedigree kinship matrix, \(\Pi_z\) is the matrix of pairwise IBD sharing at the QTL under configuration \(z\), and \(I\) is the identity matrix. The parameters \(\sigma_A^2,\sigma_Q^2,\sigma_e^2\) are respectively the polygenic, QTL, and residual variance components. The diagonal entries of \(\Pi_z\) are one; its off-diagonal entries represent the IBD fractions for member pairs under \(z\).
This model assumes that, conditional on \(z\), the family phenotype vector is multivariate normal with the stated mean and covariance, and that the residual component has covariance \(\sigma_e^2 I\). It also assumes that the marker-based probabilities \(q(z\mid M)\) correctly represent uncertainty about locus-specific IBD. Other covariance terms or mean structures may be appropriate in other applications, but they must be specified rather than silently absorbed into the likelihood.
For a fixed configuration, the density is $$ f(Y\mid z;\theta)= \frac{\exp\!\left[-\frac12(Y-X\beta)^\mathsf{T}V_z^{-1}(Y-X\beta)\right]} {(2\pi)^{n/2}|V_z|^{1/2}}. $$ Thus each configuration can change both the quadratic fit to the observed phenotypes and the determinant that scales the density. The marginal likelihood is a weighted sum of these densities, not a density evaluated at an average configuration.
Worked Example: Averaging Over Two IBD Configurations
Consider a hypothetical pair of relatives with centered, standardized phenotypes \(Y=(1,1)^\mathsf{T}\). For simplicity, suppose there are two possible IBD configurations. The marker data assign probability \(0.5\) to each. Under the first configuration, the phenotype correlation is \(0\); under the second, it is \(0.8\). In both cases the marginal variances are one and the conditional model is bivariate normal. These assumptions make the covariance matrices positive definite because both correlations lie strictly between \(-1\) and \(1\).
For a bivariate standard normal vector with correlation \(\rho\), the density at \((1,1)\) is $$ f(1,1\mid \rho)= \frac{1}{2\pi\sqrt{1-\rho^2}} \exp\!\left(-\frac{1}{1+\rho}\right). $$ At \(\rho=0\), this gives $$ f(1,1\mid 0)=\frac{\exp(-1)}{2\pi}\approx 0.05855. $$ At \(\rho=0.8\), it gives $$ f(1,1\mid 0.8)= \frac{\exp(-1/1.8)}{2\pi\sqrt{1-0.8^2}} \approx 0.1522. $$
The phenotype likelihood conditional on these marker data is the weighted average: $$ L=0.5(0.05855)+0.5(0.1522)=0.105375\approx 0.1054. $$ The result is a density value, not a probability of observing exactly \((1,1)\). It is the likelihood contribution of this hypothetical pair under the specified model and marker-based IBD uncertainty.
Phenotypes Can Update Configuration Probabilities
Although the likelihood weights configurations by their probabilities given markers, the phenotypes can also inform which configuration is more plausible. Bayes’ rule gives the configuration probability conditional on both marker and phenotype data: $$ P(Z=z\mid Y,M;\theta)= \frac{q(z\mid M)f(Y\mid z;\theta)} {\sum_{z'}q(z'\mid M)f(Y\mid z';\theta)}. $$ This conditional probability is different from the marker-only weight \(q(z\mid M)\). It is useful for interpreting the latent configurations, but calculating it does not replace the marginal likelihood.
Worked Example: Posterior IBD Probabilities After Observing Phenotypes
Use the same hypothetical pair and model as in the previous example. The marker probabilities are \(0.5\) for each configuration, and the densities are \(0.05855\) for correlation \(0\) and \(0.1522\) for correlation \(0.8\). The joint marker-and-phenotype contribution for the correlation-\(0.8\) configuration is $$ 0.5(0.1522)=0.07610. $$ Dividing by the total likelihood gives $$ P(Z=\text{correlation }0.8\mid Y,M) =\frac{0.07610}{0.105375} \approx 0.7222. $$
For the correlation-\(0\) configuration, the corresponding contribution is \(0.5(0.05855)=0.029275\), so $$ P(Z=\text{correlation }0\mid Y,M) =\frac{0.029275}{0.105375} \approx 0.2778. $$ The two posterior probabilities sum to one, up to rounding. The phenotype pair makes the higher-correlation configuration more plausible under this model, but that does not mean it was certain from the markers or that the association is causal.
Why Expected IBD Is Not Generally Enough
A tempting shortcut is to average the IBD configuration matrices first, using $$ \overline{\Pi}=\sum_z q(z\mid M)\Pi_z, $$ and then evaluate a single Gaussian likelihood with covariance \(2\sigma_A^2\Phi+\sigma_Q^2\overline{\Pi}+\sigma_e^2I\). This produces a plug-in likelihood. It can be convenient, but it is not generally the likelihood obtained by integrating over the uncertain configuration.
The distinction can be seen directly in the two-configuration example. The average correlation is \(0.5(0)+0.5(0.8)=0.4\). The single Gaussian density at that correlation is $$ f(1,1\mid 0.4)= \frac{\exp(-1/1.4)}{2\pi\sqrt{1-0.4^2}} \approx 0.08501. $$ The integrated likelihood was approximately \(0.105375\), not \(0.08501\). In this example the plug-in value is lower, but there is no universal direction: depending on the observations and covariance values, it may be higher or lower.
This difference is about the likelihood model, not merely numerical rounding. Integration retains the distribution over possible IBD states. The plug-in approach collapses that distribution to its expected sharing and imposes a single Gaussian form. It may be a useful approximation in some settings, but it should be identified as an approximation and not described as exact marginalization.
Worked Example: Combining Independent Families
Suppose two hypothetical, independent families each contribute the same phenotype pair and marker probabilities used above. Assume the families are independent conditional on the shared model parameters, and that each family has its own latent IBD configuration with the stated marker probabilities. For each family, the integrated likelihood contribution is approximately \(0.105375\). The joint likelihood is the product of the family contributions: $$ L_{\mathrm{joint}}=0.105375\times 0.105375 =0.0111039\approx 0.01110. $$
Using the expected-correlation plug-in calculation separately for each family would instead give $$ L_{\mathrm{plug\text{-}in}}=0.08501\times0.08501 =0.0072267\approx 0.007227. $$ These are different likelihoods under different treatments of IBD uncertainty. The calculation assumes independent families; if families share observations or other dependence, their joint likelihood cannot be formed by this simple product.
For multiple families, the correct structure under independence is a product of family-specific sums: $$ L(\theta)=\prod_{f=1}^{F}\left\{\sum_{z_f}q_f(z_f\mid M_f)f(Y_f\mid z_f;\theta)\right\}. $$ Each family’s latent configuration is summed out within its own likelihood contribution. The product is taken after those sums, not by multiplying one arbitrary configuration’s density across the entire data set.
Practical Checks and Common Pitfalls
A reliable calculation starts by listing the configurations and verifying that their marker-based probabilities sum to one. For each configuration, use the same phenotype model and parameter values, changing only the IBD-dependent covariance terms. Check that each covariance matrix is positive definite so its Gaussian density is defined. Then calculate each density, multiply by its marker weight, and sum.
For a pedigree with several relatives, configurations are joint states of the family’s inheritance pattern. Pairwise IBD probabilities are summaries of those states; they do not necessarily determine the full joint distribution of configurations. If only marginal probabilities are available, do not treat all pairwise sharing indicators as independent unless that independence is justified by the inheritance model. Use the multipoint IBD probabilities or configuration weights that preserve the dependence implied by the pedigree and marker data.
- Mistake: substitute the most likely configuration. The configuration with the largest marker probability need not dominate the phenotype likelihood. The correct likelihood averages all supported configurations with their weights.
- Mistake: evaluate at expected IBD and call it integrated. A density at average covariance is generally not an average of densities. Label this as a plug-in approximation when it is used.
- Mistake: use phenotype-updated weights as the original likelihood weights. The marginal likelihood uses \(q(z\mid M)\); phenotype-updated probabilities arise only after applying Bayes’ rule to the completed likelihood.
- Mistake: interpret a density as a probability. For continuous phenotypes, the density at a point is not the probability of observing exactly that point. It is a likelihood contribution relative to other parameter values or models.
State the conditional mean, covariance, parameters, and assumptions for each possible IBD configuration.
List \(q(z\mid M)\) for the locus-specific configurations and check that the weights sum to one.
Evaluate \(f(Y\mid z;\theta)\) under each configuration using the observed family phenotypes.
Sum weighted densities within each family; under independence, multiply the resulting family contributions.
Check Your Understanding
Answer each question using the distinction between marker uncertainty and phenotype likelihood.
- In the expression \(L(\theta;Y\mid M)=\sum_z q(z\mid M)f(Y\mid z;\theta)\), what does each factor represent?
- Why is a Gaussian density evaluated at the expected covariance generally different from the integrated likelihood?
- In the two-configuration example, why did the probability of the correlation-\(0.8\) state change from \(0.5\) given markers to approximately \(0.7222\) given markers and phenotypes?
- Under what condition can family-specific integrated likelihood contributions be multiplied to form a joint likelihood?
- Why can a set of pairwise marginal IBD probabilities fail to specify the full configuration distribution for a pedigree?