- Research article
- Open Access
- Published:

# Models and partition of variance for quantitative trait loci with epistasis and linkage disequilibrium

*BMC Genetics*
**volume 7**, Article number: 9 (2006)

## Abstract

### Background

A genetic model about quantitative trait loci (QTL) provides a basis to interpret the genetic basis of quantitative traits in a study population, such as additive, dominance and epistatic effects of QTL and the partition of genetic variance. The standard quantitative genetics model is based on the least squares partition of genetic effects and also genetic variance in an equilibrium population. However, over years many specialized QTL models have also been proposed for applications in some specific populations. How are these models related? How to analyze and partition a QTL model and genetic variance when both epistasis and linkage disequilibrium are considered?

### Results

Starting from the classical description of Cockerham genetic model, we first represent the model in a multiple regression setting by using indicator variables to describe the segregation of QTL alleles. In this setting, the definition of additive, dominance and epistatic effects of QTL and the basis for the partition of genetic variance are elaborated. We then build the connection between this general genetic model and a few specialized models (a haploid model, a diploid *F*_{2} model and a general two-allele model), and derive the genetic effects and partition of genetic variance for multiple QTL with epistasis and linkage disequilibrium for these specialized models.

### Conclusion

In this paper, we study extensively the composition and property of the genetic model parameters, such as genetic effects and partition of genetic variance, when both epistasis and linkage disequilibrium are considered. This is the first time that both epistasis and linkage disequilibrium are considered in modeling multiple QTL. This analysis would help us to understand the structure of genetic parameters and relationship of various genetic quantities, such as allelic frequencies and linkage disequilibrium, on the definition of genetic effects, and will also help us to understand and properly interpret estimates of the genetic effects and variance components in a QTL mapping experiment.

## Background

Modeling quantitative trait loci (QTL) started with Yule [1, 2] and Pearson [3] (see [4, 5] for the early history of quantitative genetics). However, it was Fisher [6] who laid the firm foundation for quantitative genetics. Fisher defined gene effects (additive, dominance and epistatic effects) based on the partition of genetic variance. He partitioned the genetic variance into a portion due to additive effects (averaged allelic substitution effects), a portion due to dominance effects (allelic interactions), and a portion due to epistatic effects (non-allelic interactions) of genes. He then studied the correlation between relatives using the model. Cockerham [7] used the orthogonal contrasts to redefine the additive and dominance effects of QTL and, by extending the contrasts to include epistatic effects, he partitioned the epistatic variance of two loci into those due to additive × additive, additive × dominance, dominance × additive and dominance × dominance effects of QTL. Cockerham then generalized the model to multiple loci. This was further generalized by Kempthorne [8, 9] to multiple alleles. This model has been used as the basis for studying quantitative genetics ever since.

However, over years, many specialized models have also been proposed. Some are just special cases of the general genetic model and some are simplified variants tailored for particular applications or interpretations. With the propagation of numerous quantitative genetic models, there have also been some confusions in literature on the definition and interpretation of additive, dominance and epistatic effects of QTL and their relationship to the partition of genetic variance. Also, there has never been a study that considers both epistasis and linkage disequilibrium in the partition of genetic variance for multiple QTL. In this paper, we try to build the connection between the general genetic model and a few other commonly used genetic models to clarify the basis for the interpretation of different genetic models.

We start with an introduction of the genetic model as expressed in [7] in the context of variance components. Then by introducing an indicator variable for each QTL allele, we represent the model in a multiple regression setting and examine the definition and meaning of the genetic effects (additive, dominance and epistatic effects) of QTL and partition of the genetic variance in an equilibrium population and also in a disequilibrium population. Most of previous studies on modeling QTL discuss epistasis only in reference to an equilibrium population. An examination of properties of a model with both epistasis and linkage disequilibrium is important for QTL analysis in both experimental and natural populations. This is another goal of the paper and is studied in great detail here. We discuss a few reduced models used for QTL analysis, such as backcross model (essentially a haploid model) and *F*_{2} model. We also give details for a general two-allele model which may be useful for studying the genetic architecture in a natural population using single nucleotide polymorphisms (SNPs).

Previously, in [10], we compared *F*_{2} model and the general two-allele model with another commonly used genetic model, called *F*_{∞} model. By specifying the basis of definition for each model, we compared the properties of these models in the estimation and interpretation of QTL effects including epistasis and discussed a few potential problems of using *F*_{∞} model in a segregating population for QTL analysis. Similarly, we also compared these models with another model proposed by Cheverud [11, 12].

An important result of [10] is that the genetic effects defined in reference to an equilibrium population also apply to a disequilibrium population. The partial regression coefficients, that define the genetic effects in a disequilibrium population, equal to the simple regression coefficients in a corresponding equilibrium population – the usual basis to define and interpret a genetic effect including an epistatic effect. Hardy-Weinberg and linkage disequilibria only introduce covariances between different genetic effects. With this result, in this paper our discussion on epistasis and linkage disequilibrium is focused on the partition and composition of genetic variances and covariances between different genetic effects in different populations.

## Results

### The genetic model

A general genetic model for the partition of genetic variance (particularly epistatic variance) in a random mating population was first given by Cockerham [7, 13] and extended to multiple alleles by Kempthorne [8, 9], following the basic genetic model formulated by Fisher [6]. The model for two loci **A** and **B** with multiple alleles was expressed as follows

$\begin{array}{c}{G}_{jl}^{ik}=\mu +{\alpha}^{i}+{\alpha}_{j}+{\delta}_{j}^{i}+{\beta}^{k}+{\beta}_{l}+{\gamma}_{l}^{k}+({\alpha}^{i}{\beta}^{k})\\ +({\alpha}^{i}{\beta}_{l})+({\alpha}_{j}{\beta}^{k})+({\alpha}_{j}{\beta}_{l})+({\alpha}^{i}{\gamma}_{l}^{k})\\ +({\alpha}_{j}{\gamma}_{l}^{k})+({\delta}_{j}^{i}{\beta}^{k})+({\delta}_{j}^{i}{\beta}_{l})+({\delta}_{j}^{i}{\gamma}_{l}^{k})\end{array}\phantom{\rule{0.5em}{0ex}}\left(1\right)$

where the genotypic value ${G}_{jl}^{ik}$ is the expected phenotype of an individual carrying alleles *A*_{
i
}, *A*_{
j
}, *B*_{
k
}, and *B*_{
l
}with phased genotype *A*_{
i
}*B*_{
k
}/*A*_{
j
}*B*_{
l
}formed by the union of a paternal gamete *A*_{
i
}*B*_{
k
}and a maternal gamete *A*_{
j
}*B*_{
l
}. The model partitions the total genotypic value into a number of genetic effects which include additive effects of each allele (*α*'s and *β*'s), dominance effects between two alleles at each locus (*δ*'s and *γ*'s), additive × additive interactions between two alleles at two loci ((*αβ*)'s), additive × dominance interactions involving three alleles ((*αγ*)'s and (*δβ*)'s), and dominance × dominance interaction involving all four alleles ((*δγ*)'s).

As an ANOVA model, it is known that not all the parameters in model (1) are estimable. A number of constraint conditions on these parameters are therefore needed. Let *p*^{i}, *q*^{k}denote allelic frequencies for alleles on paternal gametes, and *p*_{
j
}, *q*_{
l
}allelic frequencies for alleles on maternal gametes. It is usually assumed that a weighted summation of genetic effects is zero over any index for each genetic component as a deviation from the mean. Some examples are

$\begin{array}{l}{\displaystyle \sum _{i}{p}^{i}{\alpha}^{i}=0,\phantom{\rule{0.5em}{0ex}}{\displaystyle \sum _{i}{p}^{i}{\delta}_{j}^{i}=0,\phantom{\rule{0.5em}{0ex}}{\displaystyle \sum _{j}{p}_{j}{\delta}_{j}^{i}=0,}}}\hfill \\ {\displaystyle \sum _{i}{p}^{i}({\alpha}^{i}{\beta}^{k})=0,}\phantom{\rule{0.5em}{0ex}}{\displaystyle \sum _{k}{p}^{k}({\alpha}^{i}{\beta}^{k})=0,}\hfill \\ {\displaystyle \sum _{j}{p}_{j}({\delta}_{j}^{i}{\beta}^{k})=0,\phantom{\rule{0.5em}{0ex}}{\displaystyle \sum _{k}{q}^{k}({\delta}_{j}^{i}{\beta}^{k})=0,}}\phantom{\rule{0.5em}{0ex}}\cdots \cdots \hfill \end{array}\phantom{\rule{0.5em}{0ex}}\left(2\right)$

Under the assumption of *random mating and linkage equilibrium* and allowing for different allelic frequencies in paternal and maternal gametes, the mean and genetic effects can be expressed as follows based on the least squares principle:

$\begin{array}{l}\mu ={\displaystyle \sum _{i,j,k,l}{p}^{i}{p}_{j}{q}^{k}{q}_{l}{G}_{jl}^{ik}}\phantom{\rule{0.5em}{0ex}}\left(3\right)\\ {\alpha}^{i}={G}_{\mathrm{..}}^{i.}-{G}_{\mathrm{..}}^{\mathrm{..}},\phantom{\rule{0.5em}{0ex}}{\beta}^{k}={G}_{\mathrm{..}}^{.k}-{G}_{\mathrm{..}}^{\mathrm{..}},\\ {\alpha}_{j}={G}_{j.}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}},\phantom{\rule{0.5em}{0ex}}{\beta}_{l}={G}_{.l}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}},\\ {\delta}_{j}^{i}={G}_{j.}^{i.}-{G}_{\mathrm{..}}^{i.}-{G}_{j.}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}},\\ {\gamma}_{l}^{k}={G}_{.l}^{.k}-{G}_{\mathrm{..}}^{.k}-{G}_{.l}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\alpha}^{i}{\beta}^{k})={G}_{\mathrm{..}}^{ik}-{G}_{\mathrm{..}}^{i.}-{G}_{\mathrm{..}}^{.k}+{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\alpha}^{i}{\beta}_{l})={G}_{.l}^{i.}-{G}_{\mathrm{..}}^{i.}-{G}_{.l}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\alpha}_{j}{\beta}^{k})={G}_{j.}^{.k}-{G}_{j.}^{\mathrm{..}}-{G}_{\mathrm{..}}^{.k}+{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\alpha}_{j}{\beta}_{l})={G}_{jl}^{\mathrm{..}}-{G}_{j.}^{\mathrm{..}}-{G}_{.l}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\alpha}^{i}{\gamma}_{l}^{k})={G}_{.l}^{ik}-{G}_{\mathrm{..}}^{ik}-{G}_{.l}^{i.}-{G}_{.l}^{.k}+{G}_{\mathrm{..}}^{i.}+{G}_{\mathrm{..}}^{.k}\\ +{G}_{.l}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\alpha}_{j}{\gamma}_{l}^{k})={G}_{jl}^{.k}-{G}_{j.}^{.k}-{G}_{.l}^{.k}-{G}_{jl}^{\mathrm{..}}+{G}_{j.}^{\mathrm{..}}+{G}_{\mathrm{..}}^{.k}\\ +{G}_{.l}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\delta}_{j}^{i}{\beta}^{k})={G}_{j.}^{ik}-{G}_{\mathrm{..}}^{ik}-{G}_{j.}^{i.}-{G}_{j.}^{.k}+{G}_{\mathrm{..}}^{i.}+{G}_{\mathrm{..}}^{.k}\\ +{G}_{j.}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\delta}_{j}^{i}{\beta}_{l})={G}_{jl}^{i.}-{G}_{j.}^{i.}-{G}_{.l}^{i.}-{G}_{jl}^{\mathrm{..}}+{G}_{\mathrm{..}}^{i.}+{G}_{j.}^{\mathrm{..}}\\ +{G}_{.l}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}},\\ ({\delta}_{j}^{i}{\gamma}_{l}^{k})={G}_{jl}^{ik}-{G}_{j.}^{ik}-{G}_{.l}^{ik}-{G}_{jl}^{i.}+{G}_{jl}^{.k}+{G}_{\mathrm{..}}^{ik}\\ +{G}_{jl}^{\mathrm{..}}+{G}_{j.}^{i.}+{G}_{.l}^{.k}+{G}_{j.}^{.k}+{G}_{.l}^{i.}-{G}_{\mathrm{..}}^{i.}\\ -{G}_{\mathrm{..}}^{.k}-{G}_{j.}^{\mathrm{..}}-{G}_{.j}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}}\end{array}$

where ${G}_{\mathrm{..}}^{\mathrm{..}}={\displaystyle {\sum}_{i,j,k,l}{p}^{i}{p}_{j}{q}^{k}{q}_{l}{G}_{jl}^{ik}}$, ${G}_{\mathrm{..}}^{i.}={\displaystyle {\sum}_{j,k,l}{p}_{j}{q}^{k}{q}_{l}{G}_{jl}^{ik}}$, and so on. The total genetic variance is ${V}_{G}={\displaystyle {\sum}_{i,j,k,l}{p}^{i}{p}_{j}{p}^{k}{p}_{l}{({G}_{jl}^{ik}-\mu )}^{2}}$, and has an orthogonal partition under random mating and linkage equilibrium

$\begin{array}{l}{V}_{G}={V}_{{A}_{1}}+{V}_{{A}_{2}}+{V}_{{D}_{1}}+{V}_{{D}_{2}}+{V}_{{A}_{1}{A}_{2}}+{V}_{{A}_{1}{D}_{2}}\phantom{\rule{0.5em}{0ex}}\left(4\right)\\ +{V}_{{D}_{1}{A}_{2}}+{V}_{{D}_{1}{D}_{2}}\end{array}$

with

$\begin{array}{l}{V}_{{A}_{1}}={\displaystyle \sum _{i}{p}^{i}{({\alpha}^{i})}^{2}}+{\displaystyle \sum _{j}{p}_{j}{({\alpha}_{j})}^{2}}\\ {V}_{{D}_{1}}={\displaystyle \sum _{i,j}{p}^{i}{p}_{j}{({\delta}_{j}^{i})}^{2}}\\ {V}_{{A}_{2}}={\displaystyle \sum _{k}{q}^{k}{({\beta}^{k})}^{2}}+{\displaystyle \sum _{l}{q}_{l}{({\beta}_{l})}^{2}}\\ {V}_{{D}_{2}}={\displaystyle \sum _{k,l}{q}^{k}{q}_{l}{({\gamma}_{l}^{k})}^{2}}\\ {V}_{{A}_{1}{A}_{2}}={\displaystyle \sum _{i,k}{p}^{i}{q}^{k}{({\alpha}^{i}{\beta}^{k})}^{2}}+{\displaystyle \sum _{j,l}{p}_{j}{q}_{l}{({\alpha}_{j}{\beta}_{l})}^{2}}\\ +{\displaystyle \sum _{i,l}{p}^{i}{q}_{l}{({\alpha}^{i}{\beta}_{l})}^{2}}+{\displaystyle \sum _{j,k}{p}_{j}{q}^{k}{({\alpha}_{j}{\beta}^{k})}^{2}}\\ {V}_{{A}_{1}{D}_{2}}={\displaystyle \sum _{i,k,l}{p}^{i}{q}^{k}{q}_{l}{({\alpha}^{i}{\gamma}_{l}^{k})}^{2}}+{\displaystyle \sum _{j,k,l}{p}_{j}{q}^{k}{q}_{l}{({\alpha}_{j}{\gamma}_{l}^{k})}^{2}}\\ {V}_{{D}_{1}{A}_{2}}={\displaystyle \sum _{i,j,k}{p}^{i}{p}_{j}{q}^{k}{({\delta}_{j}^{i}{\beta}^{k})}^{2}}+{\displaystyle \sum _{i,j,l}{p}^{i}{p}_{j}{q}_{l}{({\delta}_{j}^{i}{\beta}_{l})}^{2}}\\ {V}_{{D}_{1}{D}_{2}}={\displaystyle \sum _{i,j,k,l}{p}^{i}{p}_{j}{q}^{k}{q}_{l}{({\delta}_{j}^{i}{\gamma}_{l}^{k})}^{2}}\end{array}$

Using indicator variables, we can represent model (1) in another form. Assume that the two loci **A** and **B** have alleles *A*_{
i
}, *i* = 1, 2, ..., *n*_{1}; and *B*_{
k
}, *i* = 1, 2, ..., *n*_{2}, respectively. We define the following indicator variables to represent the segregation of alleles in a population.

$\begin{array}{l}{z}_{{M}_{i}}^{(1)}=\{\begin{array}{ll}1,\hfill & \text{for}{A}_{i}\text{allelefrompaternalgamete}\hfill \\ 0,\hfill & \text{otherwise}.\hfill \end{array}\\ {z}_{{F}_{j}}^{(1)}=\{\begin{array}{ll}1,\hfill & \text{for}{A}_{j}\text{allelefrommaternalgamete}\hfill \\ 0,\hfill & \text{otherwise}.\hfill \end{array}\end{array}$

for *i*, *j* = 1, 2, ..., *n*_{1} at locus **A**, and

$\begin{array}{l}{z}_{{M}_{k}}^{(2)}=\{\begin{array}{ll}1,\hfill & \text{for}{B}_{k}\text{allelefrompaternalgamete}\hfill \\ 0,\hfill & \text{otherwise}.\hfill \end{array}\\ {z}_{{F}_{l}}^{(2)}=\{\begin{array}{ll}1,\hfill & \text{for}{B}_{l}\text{allelefrommaternalgamete}\hfill \\ 0,\hfill & \text{otherwise}.\hfill \end{array}\end{array}$

for *k*, *l* = 1, 2, ..., *n*_{2} at locus **B**. In terms of these indicator variables, we have the following.

• Hardy-Weinberg equilibrium (HWE) implies that {${z}_{{M}_{i}}^{(1)}$, *i* = 1, 2, ..., *n*_{1}} are independent of {${z}_{{F}_{j}}^{(1)}$, *j* = 1, 2, ..., *n*_{1}}, and {${z}_{{M}_{k}}^{(2)}$, *k* = 1, 2, ..., *n*_{2}} are independent of {${z}_{{F}_{l}}^{(2)}$, *l* = 1, 2, ..., *n*_{2}}.

• Linkage equilibrium (LE) implies that {${z}_{{M}_{i}}^{(1)}$, *i* = 1, 2, ..., *n*_{1}} are independent of {${z}_{{M}_{k}}^{(2)}$, *k* = 1, 2, ..., *n*_{2}}, and {${z}_{{F}_{j}}^{(1)}$, *j* = 1, 2, ..., *n*_{1}} are independent of {${z}_{{F}_{l}}^{(2)}$, *l* = 1, 2, ..., *n*_{2}}.

• There is another type of disequilibrium; i.e., the so-called genotypic disequilibrium [14] for two alleles on different gametes and at different loci. So, the genotypic equilibrium (GE) here means that {${z}_{{M}_{i}}^{(1)}$, *i* = 1, 2,..., *n*_{1}} are independent of {${z}_{{F}_{l}}^{(2)}$, *l* = 1, 2, ..., *n*_{2}}, and {${z}_{{F}_{j}}^{(1)}$, *j* = 1, 2, ..., *n*_{1}} are independent of {${z}_{{M}_{k}}^{(2)}$, *k* = 1, 2, ..., *n*_{2}}.

It is known that under random mating we have both HWE and GE, which together are called gametic phase equilibrium. Now, let *G* denote the genotypic value of a progeny drawn randomly from the current population. Based on Cockerham model, *G* can be expressed as

$\begin{array}{l}G=\mu +{\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{z}_{{M}_{i}}^{(1)}}+{\displaystyle \sum _{j=1}^{{n}_{1}}{\alpha}_{j}{z}_{{F}_{j}}^{(1)}}+{\displaystyle \sum _{i,j}{\delta}_{j}^{i}{z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}}\\ +{\displaystyle \sum _{k=1}^{{n}_{2}}{\beta}^{k}{z}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{l=1}^{{n}_{2}}{\beta}_{l}{z}_{{F}_{l}}^{(2)}}+{\displaystyle \sum _{k,l}{\gamma}_{l}^{k}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}\\ +[{\displaystyle \sum _{i,k}({\alpha}^{i}{\beta}^{k}){z}_{{M}_{i}}^{(1)}{z}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{i,l}({\alpha}^{i}{\beta}_{l}){z}_{{M}_{i}}^{(1)}{z}_{{F}_{l}}^{(2)}}\\ +{\displaystyle \sum _{j,k}({\alpha}_{j}{\beta}^{k}){z}_{{F}_{j}}^{(1)}{z}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{j,l}({\alpha}_{j}{\beta}_{l}){z}_{{F}_{j}}^{(1)}{z}_{{F}_{l}}^{(2)}}]\\ +[{\displaystyle \sum _{i,k,l}({\alpha}^{i}{\gamma}_{l}^{k}){z}_{{M}_{i}}^{(1)}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}+{\displaystyle \sum _{j,k,l}({\alpha}_{j}{\gamma}_{l}^{k}){z}_{{F}_{j}}^{(1)}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}]\\ +[{\displaystyle \sum _{i,j,k}({\delta}_{j}^{i}{\beta}^{k}){z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}{z}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{i,j,l}({\delta}_{j}^{i}{\beta}_{l}){z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}{z}_{{F}_{l}}^{(2)}}]\\ +{\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k}){z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}\phantom{\rule{0.5em}{0ex}}\left(5\right)\end{array}$

This is simply a different presentation of Cockerham model with the same constraint conditions applied on the coefficient parameters. For a given individual with genotype *A*_{
i
}*B*_{
k
}/*A*_{
j
}*B*_{
l
}, *G* will take the same value of ${G}_{jl}^{ik}$ as before. However, this expression is helpful for us to understand some details about each component of genetic effects. We can see this more clearly in the examination of some reduced models later.

In general, the genetic effects can be defined separately for alleles that are paternally and maternally transmitted to account for possible biological differences. As a fully parameterized model for ${G}_{jl}^{ik}$, model (3) may give ${G}_{jl}^{ik}\ne {G}_{jk}^{il}\ne {G}_{il}^{jk}\ne {G}_{ik}^{jl}$ depending on how genetic effects are defined. If locus **A** has *n*_{1} alleles, and locus **B** has *n*_{2} alleles, there are *N* = ${n}_{1}^{2}{n}_{2}^{2}$ possible phased genotypes in total with the partition of the degrees of freedom given in Table 1.

If we assume that the union of paternal gamete *A*_{
i
}*B*_{
k
}with maternal gamete *A*_{
j
}*B*_{
l
}have the same mean effect as that of paternal gamete *A*_{
j
}*B*_{
l
}with maternal gamete *A*_{
i
}*B*_{
k
}(i.e., ${G}_{jl}^{ik}={G}_{ik}^{jl}$), the coupling and repulsion heterozygotes have the same genotypic value (i.e., ${G}_{jl}^{ik}={G}_{jk}^{il}$), and paternal and maternal gametes have the same gametic frequency distribution, we do not need to distinguish paternal and maternal effects. In this case, the two loci can be regarded as 2 factors and each factor has ${n}_{i}^{2}$ (*i* = 1, 2) levels produced by the allelic combinations of *n*_{
i
}alleles (cf. [7]). The total number of genotypes is *N* = *n*_{1}(*n*_{1} + 1)*n*_{2}(*n*_{2} + 1)/4 and the partition of degrees of freedom is shown in Table 2. Since in this case, *α*^{i}= *α*_{
i
}, *β*^{k}= *β*_{
k
}, ..., and so on, the model can also be expressed as follows

$\begin{array}{l}G=\mu +{\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}_{i}({z}_{{M}_{i}}^{(1)}+{z}_{{F}_{i}}^{(1)})}+{\displaystyle \sum _{i,j}{\delta}_{j}^{i}{z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}}\\ +{\displaystyle \sum _{k=1}^{{n}_{2}}{\beta}_{k}({z}_{{M}_{k}}^{(2)}+{z}_{{F}_{k}}^{(2)})}+{\displaystyle \sum _{k,l}{\gamma}_{l}^{k}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}\\ +{\displaystyle \sum _{i,k}({\alpha}_{i}{\beta}_{k})}({z}_{{M}_{i}}^{(1)}+{z}_{{F}_{i}}^{(1)})({z}_{{M}_{k}}^{(2)}+{z}_{{F}_{k}}^{(2)})\\ +{\displaystyle \sum _{i,k,l}({\alpha}_{i}{\gamma}_{l}^{k})}({z}_{{M}_{i}}^{(1)}+{z}_{{F}_{i}}^{(1)}){z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}\\ +{\displaystyle \sum _{i,j,k}({\delta}_{j}^{i}{\beta}_{k})}{z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}({z}_{{M}_{k}}^{(2)}+{z}_{{F}_{k}}^{(2)})\\ +{\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k})}{z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)})\phantom{\rule{0.5em}{0ex}}\left(6\right)\end{array}$

For the case of an arbitrary number of loci, the situation will become more complicated. In addition to the additive and dominance effects at each locus and two locus interactions (additive × additive, additive × dominance, dominance × additive, dominance × dominance, with a total number of 2^{2} terms), there are 3 locus interactions (additive × additive × additive, additive × additive × dominance, ..., with a total number of 2^{3} terms), 4 locus interactions (additive × additive × additive × additive, ..., with a total number of 2^{4} terms), and so on. Though the extension is straightforward, the total number of terms will increase dramatically. We will show some models with multiple loci in later examples by ignoring trigenic and higher order epistasis.

### Effects and variance components

Let *p*^{i}, *p*_{
j
}(*i*, *j* = 1, 2, ..., *n*_{1}) be allelic frequencies of paternal and maternal gametes at locus **A**, respectively. Let also *q*^{k}, *q*_{
l
}(*k*, *l* = 1, 2, ..., *n*_{2}) denote allelic frequencies of paternal and maternal gametes at locus **B**, respectively. In the analysis of variance for the model, it is convenient to use deviations of the indicator variables ${z}_{{M}_{i}}^{(1)}$, ${z}_{{F}_{i}}^{(1)}$, ${z}_{{M}_{j}}^{(2)}$ and ${z}_{{F}_{j}}^{(2)}$ from their expected values. That is

$\begin{array}{l}{x}_{{M}_{i}}^{(1)}={z}_{{M}_{i}}^{(1)}-E({z}_{{M}_{i}}^{(1)})={z}_{{M}_{i}}^{(1)}-{p}^{i}\\ =\{\begin{array}{ll}1-{p}^{i},\hfill & \text{for}{A}_{i}\text{allelefrompaternalgamete}\hfill \\ -{p}^{i},\hfill & \text{otherwise}\hfill \end{array}\end{array}$

Similarly, define

$\begin{array}{l}{x}_{{F}_{j}}^{(1)}={z}_{{F}_{j}}^{(1)}-E({z}_{{F}_{j}}^{(1)})={z}_{{F}_{j}}^{(1)}-{p}_{j}\\ {x}_{{M}_{k}}^{(2)}={z}_{{M}_{k}}^{(2)}-E({z}_{{M}_{k}}^{(2)})={z}_{{M}_{k}}^{(2)}-{q}^{k}\\ {x}_{{F}_{l}}^{(2)}={z}_{{F}_{l}}^{(2)}-E({z}_{{F}_{l}}^{(2)})={z}_{{F}_{l}}^{(2)}-{q}_{l}\end{array}$

Taking the constraint conditions on the genetic effects into account, we can show that,

$\begin{array}{c}{\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{x}_{{M}_{i}}^{(1)}}={\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{z}_{{M}_{i}}^{(1)}}\\ {\displaystyle \sum _{i,j}{\delta}_{j}^{i}{x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}}={\displaystyle \sum _{i,j}{\delta}_{j}^{i}{z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}}\\ {\displaystyle \sum _{i,k,l}({\alpha}^{i}{\gamma}_{l}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}}={\displaystyle \sum _{i,k,l}({\alpha}^{i}{\gamma}_{l}^{k}){z}_{{M}_{i}}^{(1)}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}\\ {\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}}={\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k}){z}_{{M}_{i}}^{(1)}{z}_{{F}_{j}}^{(1)}{z}_{{M}_{k}}^{(2)}{z}_{{F}_{l}}^{(2)}}\end{array}$

and so on. For example,

$\begin{array}{l}{\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{x}_{{M}_{i}}^{(1)}}={\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}({z}_{{M}_{i}}^{(1)}-{p}^{i})}\\ ={\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{z}_{{M}_{i}}^{(1)}}-{\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{p}^{i}={\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{z}_{{M}_{i}}^{(1)}}}\end{array}$

as ${\sum}_{i=1}^{{n}_{1}}{\alpha}^{i}{p}^{i}}=0$ by the constrain condition (2). Therefore, model (5) can be rewritten as

$\begin{array}{l}G=\mu +{\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{x}_{{M}_{i}}^{(1)}}+{\displaystyle \sum _{j=1}^{{n}_{1}}{\alpha}^{i}{x}_{{F}_{j}}^{(1)}}+{\displaystyle \sum _{i,j}{\delta}_{j}^{i}{x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}}\\ +{\displaystyle \sum _{k=1}^{{n}_{2}}{\beta}^{k}{x}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{l=1}^{{n}_{2}}{\beta}_{l}{x}_{{F}_{l}}^{(2)}}+{\displaystyle \sum _{k,l}{\gamma}_{l}^{k}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}}\\ +[{\displaystyle \sum _{i,k}({\alpha}^{i}{\beta}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{i,l}({\alpha}^{i}{\beta}_{l}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{l}}^{(2)}}\\ +{\displaystyle \sum _{j,k}({\alpha}_{j}{\beta}^{k}){x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{j,l}({\alpha}_{j}{\beta}_{l}){x}_{{F}_{j}}^{(1)}{x}_{{F}_{l}}^{(2)}]}\\ +[{\displaystyle \sum _{i,k,l}({\alpha}^{i}{\gamma}_{l}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)}}{x}_{{F}_{l}}^{(2)}+{\displaystyle \sum _{j,k,l}({\alpha}_{j}{\gamma}_{l}^{k}){x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}}{x}_{{F}_{l}}^{(2)}]\\ +[{\displaystyle \sum _{i,j,k}({\delta}_{j}^{i}{\beta}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}}{x}_{{M}_{k}}^{(2)}+{\displaystyle \sum _{i,j,l}({\delta}_{j}^{i}{\beta}_{l}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}}{x}_{{F}_{l}}^{(2)}]\\ +{\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}\phantom{\rule{0.5em}{0ex}}\left(7\right)\end{array}$

When we deal with some reduced models in the next section, we will find that the model of this form is especially helpful as it makes the model parameter constraints built into regression variables which is suited for genetic interpretation. The form of model (7) can also facilitate the demonstration that under Hardy-Weinberg, linkage and genotypic equilibria, the regression coefficients (genetic effects) are Cockerham's least squares effects (3) (Appendix A), and the genotypic variance *V*_{
G
}has the orthogonal partition (4) (Appendix B).

Now we discuss the properties of model in a disequilibrium situation. As stated in [14], there are three types of disequilibria

• Typel: between alleles on the same gametes but at different loci

• Type2: between alleles at the same locus but on different gametes

• Type3: between alleles on different gametes and at different loci.

If we denote ${P}_{jl}^{ik}$ as the genotypic frequency of *A*_{
i
}*B*_{
k
}/*A*_{
j
}*B*_{
l
}, ${P}_{j.}^{i.}$ as the genotypic frequency of *A*_{
i
}/*A*_{
j
}, and so on, following [14], the digenic disequilibria can be written as

$\begin{array}{l}{D}_{\mathrm{..}}^{ik}=\text{Cov}({z}_{{M}_{i}}^{(1)},{z}_{{M}_{k}}^{(2)})=E({x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)})={P}_{\mathrm{..}}^{ik}-{p}^{i}{q}^{k}\\ {D}_{jl}^{\mathrm{..}}=\text{Cov}({z}_{{F}_{j}}^{(1)},{z}_{{F}_{l}}^{(2)})=E({x}_{{F}_{j}}^{(1)}{x}_{{F}_{l}}^{(2)})={P}_{jl}^{\mathrm{..}}-{p}_{j}{q}_{l}\\ {D}_{j.}^{i.}=E({x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)})={P}_{j.}^{i.}-{p}^{i}{p}_{j}\\ {D}_{.l}^{.k}=E({x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)})={P}_{.l}^{.k}-{q}^{k}{q}_{l}\\ {D}_{.j}^{i.}=E({x}_{{M}_{i}}^{(1)}{x}_{{F}_{l}}^{(2)})={P}_{.l}^{i.}-{p}^{i}{q}_{l}\\ {D}_{j.}^{.k}=E({x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)})={P}_{j.}^{.k}-{p}_{j}{q}^{k}.\end{array}$

And the trigenic disequilibria

$\begin{array}{c}{D}_{j.}^{ik}=E({x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)})\\ ={P}_{j.}^{ik}-{p}^{i}{P}_{j.}^{.k}-{q}^{k}{P}_{j.}^{i.}-{p}_{j}{P}_{\mathrm{..}}^{ik}+2{p}^{i}{p}_{j}{q}^{k}\\ {D}_{.l}^{ik}=E({x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)})\\ ={P}_{.l}^{ik}-{p}^{i}{P}_{.l}^{.k}-{q}^{k}{P}_{.l}^{i.}-{q}_{l}{P}_{\mathrm{..}}^{ik}+2{p}^{i}{q}^{k}{q}_{l}\\ {D}_{jl}^{i.}=E({x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{F}_{l}}^{(2)})\\ ={P}_{jl}^{i.}-{p}^{i}{P}_{jl}^{\mathrm{..}}-{p}_{j}{P}_{\mathrm{..}}^{i.}-{q}_{l}{P}_{j.}^{i.}+2{p}^{i}{p}_{j}{q}_{l}\\ {D}_{jl}^{.k}=E({x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)})\\ ={P}_{jl}^{.k}-{p}_{j}{P}_{.l}^{.k}-{q}^{k}{P}_{j.}^{.l}-{q}_{l}{P}_{j.}^{.k}+2{p}_{j}{q}^{k}{q}_{l}\end{array}$

Similarly for the quadrigenic disequilibrium, we may define

$\begin{array}{c}{D}_{jl}^{ik}=E({x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)})\\ ={P}_{jl}^{ik}-{p}^{i}{P}_{jl}^{.k}-{p}_{j}{P}_{.l}^{ik}-{q}^{k}{P}_{jl}^{i.}-{q}_{l}{P}_{j.}^{ik}\\ +{p}^{i}{p}_{j}{P}_{.l}^{.k}-{p}^{i}{q}^{k}{P}_{jl}^{\mathrm{..}}+{p}^{i}{q}_{l}{P}_{j.}^{.k}+{p}_{j}{q}^{k}{P}_{.l}^{i.}\\ +{p}_{j}{q}_{l}{P}_{\mathrm{..}}^{ik}+{q}^{k}{q}_{l}{P}_{j.}^{i.}-3{p}^{i}{p}_{j}{q}^{k}{q}_{l}.\end{array}$

If we express ${D}_{jl}^{ik}$ as a function of lower-order linkage disequilibria, we have

$\begin{array}{c}{D}_{jl}^{ik}={P}_{jl}^{ik}-{p}^{i}{D}_{jl}^{.k}-{p}_{j}{D}_{.l}^{ik}-{q}^{k}{D}_{jl}^{i.}-{q}_{l}{D}_{j.}^{ik}\\ -{p}^{i}{p}_{j}{D}_{.l}^{.k}-{p}^{i}{q}^{k}{D}_{jl}^{\mathrm{..}}-{p}^{i}{q}_{l}{D}_{j.}^{.k}-{p}_{j}{q}^{k}{D}_{.l}^{i.}\\ -{p}_{j}{q}_{l}{D}_{\mathrm{..}}^{ik}-{q}^{k}{q}_{l}{D}_{j.}^{i.}-{p}^{i}{p}_{j}{q}^{k}{q}_{l}.\end{array}$

This definition is the same as that given by [15, 16]. Note that ${\sum}_{i}{z}_{{M}_{i}}^{(1)}}=1$. Then, we have

$\begin{array}{l}{\displaystyle \sum _{i}{D}_{jl}^{ik}}=E[({\displaystyle \sum _{i}{x}_{{M}_{i}}^{(1)}){x}_{{F}_{j}}^{(1)}}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}]\\ =E[{\displaystyle \sum _{i}({z}_{{M}_{i}}^{(1)}-{p}^{i}){x}_{{F}_{j}}^{(1)}}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}=0\end{array}$

In general, ${D}_{jl}^{ik}$ is summed to zero over any allele involved, so are ${D}_{j.}^{ik}$ and other disequilibrium measurements.

With Hardy-Weinberg and genotypic equilibria but linkage disequilibrium, model (7) leads to the following expression for the overall mean

$\begin{array}{c}E(G)=\mu +{\displaystyle \sum _{i,k}({\alpha}^{i}{\beta}^{k}){D}_{\mathrm{..}}^{ik}}+{\displaystyle \sum _{j,l}({\alpha}_{j}{\beta}_{l}){D}_{jl}^{\mathrm{..}}}\\ +{\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k}){D}^{ik}{D}_{jl}}\end{array}$

where *μ* is the mean genotypic value under linkage equilibrium, and ${\Delta}_{\mu}={\displaystyle {\sum}_{i,k}({\alpha}^{i}{\beta}^{k})}{D}_{\mathrm{..}}^{ik}+{\displaystyle {\sum}_{j,l}({\alpha}_{j}{\beta}_{l})}{D}_{jl}^{\mathrm{..}}+{\displaystyle {\sum}_{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k})}{D}_{\mathrm{..}}^{ik}{D}_{jl}^{\mathrm{..}}$ represents the departure from *μ* due to linkage disequilibrium and epistasis. If there is no epistasis, linkage disequilibrium does not affect the mean genotypic value. Similar results were given by [17]. Note that for marginal means of the genotypic values, we have

$\begin{array}{l}{G}_{\mathrm{..}}^{\mathrm{..}}={\displaystyle \sum _{i,j,k,l}{P}_{\mathrm{..}}^{ik}{P}_{jl}^{\mathrm{..}}{G}_{jl}^{ik},\phantom{\rule{0.5em}{0ex}}{G}_{\mathrm{..}}^{i.}=\frac{1}{{p}^{i}}{\displaystyle \sum _{j,k,l}{P}_{\mathrm{..}}^{ik}{P}_{jl}^{\mathrm{..}}{G}_{jl}^{ik}}},\\ {G}_{\mathrm{..}}^{ik}={\displaystyle \sum _{j,l}{P}_{jl}^{\mathrm{..}}{G}_{jl}^{ik},\phantom{\rule{0.5em}{0ex}}{G}_{j.}^{i.}=\frac{1}{{p}^{i}{p}_{j}}{\displaystyle \sum _{k,l}{P}_{jl}^{\mathrm{..}}{P}_{\mathrm{..}}^{ik}{G}_{jl}^{ik},}}\\ {G}_{j.}^{ik}=\frac{1}{{p}_{j}}{\displaystyle \sum _{l}{P}_{jl}^{\mathrm{..}}{G}_{jl}^{ik},\phantom{\rule{0.5em}{0ex}}\mathrm{...}}\end{array}$

and so on.

Then the question is what the genetic effects are in a disequilibrium population. Do Hardy-Weinberg and linkage disequilibria change the definition and values of genetic effects? The short answer to this question is "no" in a fully characterized model, but "yes" in a model that ignores some QTL or genetic effects. This is proved and discussed in [10]. With Hardy-Weinberg and linkage disequilibria, the genetic effects no longer correspond to the deviations from marginal means of genotypic values in a disequilibrium population. In a multiple regression model (7), the genetic effects are partial regression coefficients. These partial regression coefficients correspond to the simple regression coefficients, or deviations from marginal means of genotypic values, only in an equilibrium population. In a disequilibrium population, a direct analysis on the partial regression coefficients can be very complex (see the appendix of [10] for a relatively simple example). However, in a full model which includes all relevant loci and genetic effects, the model parameters depend only on how the regressors, i.e. *x* variables in (7), are defined and are independent of correlations between *x* variables, i.e. Hardy-Weinberg and linkage disequilibria. So, the genetic effects are still the same as those defined in the equilibrium population, although the population mean and marginal means of genotypic values are changed in a disequilibrium population.

Hardy-Weinberg and linkage disequilibria introduce correlation between *x* variables, thus covariances between different genetic effect components. Define

$\begin{array}{l}{A}_{1}={\displaystyle \sum _{i=1}^{{n}_{1}}{\alpha}^{i}{x}_{{M}_{i}}^{(1)}}+{\displaystyle \sum _{j=1}^{{n}_{1}}{\alpha}_{j}{x}_{{F}_{j}}^{(1)}}\\ {D}_{1}={\displaystyle \sum _{i,j}{\delta}_{j}^{i}{x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}}\\ {A}_{2}={\displaystyle \sum _{k=1}^{{n}_{2}}{\beta}^{k}{x}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{l=1}^{{n}_{2}}{\beta}_{l}{x}_{{F}_{l}}^{(2)}}\\ {D}_{2}={\displaystyle \sum _{k,l}{\gamma}_{l}^{k}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}}\\ {A}_{1}{A}_{2}={\displaystyle \sum _{i,k}({\alpha}^{i}{\beta}^{k}){x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)}}+{\displaystyle \sum _{i,l}({\alpha}^{i}{\beta}_{l}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{l}}^{(2)}}\\ +{\displaystyle \sum _{j,k}(}{\alpha}_{j}{\beta}^{k}){x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}+{\displaystyle \sum _{j,l}(}{\alpha}_{j}{\beta}_{l}){x}_{{F}_{j}}^{(1)}{x}_{{F}_{l}}^{(2)}\\ {A}_{1}{D}_{2}={\displaystyle \sum _{i,k,l}({\alpha}^{i}{\gamma}_{l}^{k}}){x}_{{M}_{i}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}\\ +{\displaystyle \sum _{j,k,l}({\alpha}_{j}{\gamma}_{l}^{k}}){x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}\\ {A}_{2}{D}_{1}={\displaystyle \sum _{i,j,k}({\delta}_{j}^{i}{\beta}^{k}}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}\\ +{\displaystyle \sum _{i,j,l}({\delta}_{j}^{i}{\beta}_{l}}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{F}_{l}}^{(2)}\\ {D}_{1}{D}_{2}={\displaystyle \sum _{i,j,k,l}({\delta}_{j}^{i}{\gamma}_{l}^{k}}){x}_{{M}_{i}}^{(1)}{x}_{{F}_{j}}^{(1)}{x}_{{M}_{k}}^{(2)}{x}_{{F}_{l}}^{(2)}\end{array}$

Then we can write

*G* = *μ* + *A*_{1} + *A*_{2} + *D*_{1} + *D*_{2} + *A*_{1}*A*_{2} + *A*_{1}*D*_{2} + *A*_{2}*D*_{1} + *D*_{1}*D*_{2}

In a disequilibrium population, the partition of the genotypic variance becomes

${V}_{G}={\displaystyle \sum _{i=1}^{8}{\displaystyle \sum _{j=1}^{8}{V}_{ij}}}={1}^{T}V1$

where

*V* = (*V*_{
ij
})_{8 × 8}

It is a symmetric matrix. In Appendix C, we give the detailed result for each component of the matrix with linkage disequilibrium, but assuming Hardy-Weinberg equilibrium.

For the rest of paper, when we discuss disequilibrium, we mainly discuss linkage disequilibrium and assume Hardy-Weinberg and genotypic equilibria which can be achieved by random mating in one generation. Hardy-Weinberg disequilibrium can be taken into account which will make results more complex and is thus omitted.

### Reduced models

In many genetic applications, experimental population has some regular genetic structure by design. In these cases, the genetic model can be further simplified to reflect the experimental design structure. Also sometimes we may want to simplify the genetic model by imposing certain constrains or assumptions, such as the number of alleles, to increase the feasibility of analysis. In this section, we give a few reduced genetic models that are relevant to many genetic applications.

#### 1. Backcross population or recombinant inbred population (haploid model)

Backcross population or recombinant inbred population is a common experimental design for QTL mapping study. By crossing two inbred lines, we can create a *F*_{1} population. If we randomly backcross *F*_{1} to one of the inbred lines, we have a backcross population. Let us assume that the cross is *AA* (paternal) × *Aa* (maternal). In a random-mating backcross population, there are only two possible genotypes at each segregating locus *A*_{
r
}*A*_{
r
}or *A*_{
r
}*a*_{
r
}, for *r* = 1, 2, ..., *m*, where *m* is the number of QTL. Since for the paternal gametes,

${z}_{{M}_{1}}^{(r)}=\{\begin{array}{ll}1,\hfill & \text{for}{A}_{r}\text{allelefrompaternalgamete}\hfill \\ 0,\hfill & \text{otherwise}\hfill \end{array}=1,$

and

${z}_{{M}_{2}}^{(r)}=\{\begin{array}{ll}1,\hfill & \text{for}{a}_{r}\text{allelefrompaternalgamete}\hfill \\ 0,\hfill & \text{otherwise}\hfill \end{array}=0,$

thus ${x}_{{M}_{1}}^{(r)}={z}_{{M}_{1}}^{(r)}-1=0$ and ${x}_{{M}_{2}}^{(r)}={z}_{{M}_{2}}^{(r)}=0$ for *r* = 1, 2, ..., *m*. For maternal gametes however,

$\begin{array}{c}{x}_{{F}_{1}}^{(r)}=\{\begin{array}{l}1/2,\text{for}{A}_{r}\text{frommaternalgamete}\hfill \\ -1/2,\text{otherwise}\hfill \end{array}\\ =-{x}_{{F}_{2}}^{(r)},\text{for}r=1,2,\cdot \cdot \cdot ,m.\end{array}$

Thus the model becomes

$\begin{array}{c}G=\mu +{\displaystyle \sum _{r=1}^{m}{a}_{r}{x}_{{F}_{1}}^{(r)}+{\displaystyle \sum _{r<s}{b}_{rs}({x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)})}}\\ +{\displaystyle \sum _{r<s<t}{c}_{rst}({x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)}{x}_{{F}_{1}}^{(t)})+\cdots}\end{array}\phantom{\rule{0.5em}{0ex}}\left(8\right)$

where ${a}_{r}={\alpha}_{1}^{(r)}-{\alpha}_{2}^{(r)}$ is the substitution effect between homozygote genotype *A*_{
r
}*A*_{
r
}and heterozygote genotype ${A}_{r}{a}_{r},{b}_{rs}=({\alpha}_{1}^{(r)}{\alpha}_{1}^{(s)})-({\alpha}_{1}^{(r)}{\alpha}_{2}^{(s)})-({\alpha}_{2}^{(r)}{\alpha}_{1}^{(s)})+({\alpha}_{2}^{(r)}{\alpha}_{2}^{(s)})$ is the interaction effect between loci *r* and $s,{c}_{rst}=({\alpha}_{1}^{(r)}{\alpha}_{1}^{(s)}{\alpha}_{1}^{(t)})-({\alpha}_{1}^{(r)}{\alpha}_{1}^{(s)}{\alpha}_{2}^{(t)})-({\alpha}_{1}^{(r)}{\alpha}_{2}^{(s)}{\alpha}_{1}^{(t)})+({\alpha}_{1}^{(r)}{\alpha}_{2}^{(s)}{\alpha}_{2}^{(t)})-({\alpha}_{2}^{(r)}{\alpha}_{1}^{(s)}{\alpha}_{1}^{(t)})+({\alpha}_{2}^{(r)}{\alpha}_{1}^{(s)}{\alpha}_{2}^{(t)})+({\alpha}_{2}^{(r)}{\alpha}_{2}^{(s)}{\alpha}_{1}^{(t)})-({\alpha}_{2}^{(r)}{\alpha}_{2}^{(s)}{\alpha}_{2}^{(t)})$, ..., and so on. Taking constraint conditions into account, we have *α*_{1} = -*α*_{2}, *β*_{1} = -*β*_{2}, and so on. Then, *a*_{
r
}= $2{\alpha}_{1}^{(r)}$, *b*_{
rs
}= 4(${\alpha}_{1}^{(r)}{\alpha}_{1}^{(s)}$), and *c*_{
rst
}= 8(${\alpha}_{1}^{(r)}{\alpha}_{1}^{(s)}{\alpha}_{1}^{(t)}$), and so on. With linkage equilibrium, the genetic effects as the partial regression coefficients of the model correspond to the simple regression coefficients. For example, for the substitution effect of locus *r*, *a*_{
r
}, it is the covariance between genotypic value *G* and substitution effect design variable ${x}_{{F}_{1}}^{(r)}$ divided by the variance of ${x}_{{F}_{1}}^{(r)}$. So in general, we have

$\begin{array}{c}{a}_{r}=E[(G-\mu ){x}_{{F}_{1}}^{(r)}]/E({x}_{{F}_{1}}^{(r)2})\\ =E[G({z}_{{F}_{1}}^{(r)}-1/2)]/(1/4)\\ =2[E(G|{z}_{{F}_{1}}^{(r)}=1)-E(G)]\\ {b}_{rs}=E[(G-\mu ){x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)}]/[E({x}_{{F}_{1}}^{(r)2})E({x}_{{F}_{1}}^{(s)2})]\\ \begin{array}{l}=4[E(G|{z}_{{F}_{1}}^{(r)}={z}_{{F}_{1}}^{(s)}=1)-E(G|{z}_{{F}_{1}}^{(r)}=1)\\ -E(G|{z}_{{F}_{1}}^{(s)}=1)+E(G)]\end{array}\\ {c}_{rst}=E[(G-\mu ){x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)}{x}_{{F}_{1}}^{(t)}]/\\ [E({x}_{{F}_{1}}^{(r)2})E({x}_{{F}_{1}}^{(s)2})E({x}_{{F}_{1}}^{(t)2})]\\ \begin{array}{l}=8[E(G|{z}_{{F}_{1}}^{(r)}={z}_{{F}_{1}}^{(s)}={z}_{{F}_{1}}^{(t)}=1)\\ -E(G|{z}_{{F}_{1}}^{(r)}={z}_{{F}_{1}}^{(s)}=1)\\ -E(G|{z}_{{F}_{1}}^{(r)}={z}_{{F}_{1}}^{(t)}=1)\\ -E(G|{z}_{{F}_{1}}^{(s)}={z}_{{F}_{1}}^{(t)}=1)\\ +E(G|{z}_{{F}_{1}}^{(r)}=1)+E(G|{z}_{{F}_{1}}^{(s)}=1)\\ +E(G|{z}_{{F}_{1}}^{(t)}=1)-E(G)]\end{array}\end{array}$

The orthogonal partition of the genotypic variance in an equilibrium population is

${V}_{G}=\frac{1}{4}{\displaystyle \sum _{r=1}^{l}{a}_{r}^{2}}+\frac{1}{{4}^{2}}{\displaystyle \sum _{r<s}{b}_{rs}^{2}}+\frac{1}{{4}^{3}}{\displaystyle \sum _{r<s<t}{c}_{rst}^{2}}+\cdots \phantom{\rule{0.5em}{0ex}}\left(9\right)$

As noted above, linkage disequilibrium does not change the values of genetic effects in a full model. The model parameters are still the same as those defined in the equilibrium population. However, in this case there is a simple relationship between the substitution effects at multiple loci and marginal means of genotypic values in a disequilibrium population [18]. This is noted here. Let ${P}_{rs}=P\{{z}_{{F}_{1}}^{(r)}={z}_{{F}_{1}}^{(s)}=1\}$, and the digenic linkage disequilibrium be defined as

${D}_{rs}=\text{Cov(}{z}_{{F}_{1}}^{(r)},{z}_{{F}_{1}}^{(s)})=E({x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)})$

Ignoring trigenic and higher order linkage disequilibria, we have

$E\left[(G-\mu ){x}_{{F}_{1}}^{(r)}\right]=\frac{1}{4}{a}_{r}+{\displaystyle \sum _{r\text{'}\ne r}{D}_{rr\text{'}}{a}_{r\text{'}}}$

$E[(G-\mu ){x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)}]=\frac{1}{{4}^{2}}{b}_{rs}$

Therefore, the digenic interaction effects can be expressed as

$\begin{array}{l}{b}_{rs}={4}^{2}[{P}_{rs}E(G|{z}_{{F}_{1}}^{(r)}={z}_{{F}_{1}}^{(s)}=1)-{D}_{rs}\mu ]\\ -4[E(G|{z}_{{F}_{1}}^{(r)}=1)+E(G|{z}_{{F}_{1}}^{(s)}=1)-E(G)]\end{array}$

Then the substitution effects can be expressed as a function of marginal means in the disequilibrium population as

$\left(\begin{array}{c}{a}_{1}\\ {a}_{2}\\ \vdots \\ {a}_{l}\end{array}\right)={(I+4D)}^{-1}(2q)$

where *I* is a *m* × *m* identity matrix, *D* = (*D*_{
ij
})_{m × m}with all diagonal elements being zeros;

**q** = (*q*_{1}, *q*_{2}, ..., *q*_{
m
},)^{T}, with *q*_{
i
}= *E*(*G*|${z}_{{F}_{1}}^{(i)}$ = 1) - *E*(*G*), for *i* = 1, 2, ..., *m*.

The partition of genetic variance with linkage disequilibrium is complex. Here we give details of the partition of genotypic variance for the following model

$G=\mu +{\displaystyle \sum _{r=1}^{m}{a}_{r}{x}_{{F}_{1}}^{(r)}}+{\displaystyle \sum _{r<s}{b}_{rs}}({x}_{{F}_{1}}^{(r)}{x}_{{F}_{1}}^{(s)})\phantom{\rule{0.5em}{0ex}}\left(10\right)$

Let *x*_{
r
}= ${x}_{{F}_{1}}^{(r)}$ and *x*_{
s
}= ${x}_{{F}_{1}}^{(s)}$ to simplify the notation here. The genotypic variance is

$\begin{array}{l}{V}_{G}=V({\displaystyle \sum _{r}{a}_{r}}{x}_{r})+2\text{Cov(}{\displaystyle \sum _{r}{a}_{r}{x}_{r},{\displaystyle \sum _{r<s}{b}_{rs}{x}_{r}{x}_{s})}}\\ +\text{V}({\displaystyle \sum _{r<s}{b}_{rs}{x}_{r}{x}_{s})}\\ ={\displaystyle \sum _{r}{a}_{r}^{2}{p}_{r}(1-{p}_{r})}+2{\displaystyle \sum _{r<s}{a}_{r}{a}_{s}{D}_{rs}}\\ +2{\displaystyle \sum _{r<s}[{a}_{r}{b}_{rs}(1-2{p}_{r}){D}_{rs}+{a}_{s}{b}_{rs}(1-2{p}_{s}){D}_{rs}]}\\ +2{\displaystyle \sum _{r<s<t}({a}_{r}{b}_{st}+{a}_{s}{b}_{rt}+{a}_{t}{b}_{rs}){D}_{rst}}\\ +{\displaystyle \sum _{r<s}{b}_{rs}^{2}}[(1-2{p}_{r})(1-2{p}_{s}){D}_{rs}\\ +{p}_{r}(1-{p}_{r}){p}_{s}(1-{p}_{s})-{D}_{rs}^{2}]\\ +2{\displaystyle \sum _{r<s<t}\{{b}_{rs}{b}_{rt}[(1-2{p}_{r}){D}_{rst}}\\ -{p}_{r}(1-{p}_{r}){D}_{st}-{D}_{rs}{D}_{rt}]\\ +{b}_{rs}{b}_{st}[(1-2{p}_{s}){D}_{rst}+{p}_{s}(1-{p}_{s}){D}_{rt}-{D}_{rs}{D}_{st}]\\ +{b}_{rt}{b}_{st}[(1-2{p}_{t}){D}_{rst}\\ +{p}_{t}(1-{p}_{t}){D}_{rs}-{D}_{rt}{D}_{st}]\}\\ +2{\displaystyle \sum _{r<s<t<u}[{b}_{rt}{b}_{su}({D}_{rstu}-{D}_{rt}}{D}_{su})\\ +{b}_{ru}{b}_{st}({D}_{rstu}-{D}_{ru}{D}_{st})\\ +{b}_{rs}{b}_{tu}({D}_{rstu}-{D}_{rs}{D}_{tu})]\phantom{\rule{0.5em}{0ex}}\left(11\right)\end{array}$

where

*D*_{
rst
}= *E*(*x*_{
r
}*x*_{
s
}*x*_{
t
}) and *D*_{
rstu
}= *E*(*x*_{
r
}*x*_{
s
}*x*_{
t
}*x*_{
u
})

are three locus and four locus linkage disequilibria. This is a general partition of genetic variance for a haploid model.

For the backcross population, it can be shown that *D*_{
rst
}= 0 (see Appendix D for both backcross and *F*_{2} populations) and *D*_{
rstu
}= *D*_{
rs
}*D*_{
tu
}for loci *r*, *s*, *t* and *u* in this order under the assumption of no crossing-over interference. Also with this assumption, *D*_{
rt
}= 4*D*_{
rs
}*D*_{
st
}and *D*_{
rs
}= (1 - 2*λ*_{
rs
})/4, where *λ*_{
rs
}is the recombination frequency between loci *r* and *s*. Since, *p*_{
r
}= *p*_{
s
}= 1/2, the variance becomes

$\begin{array}{ll}{V}_{G}=\hfill & \frac{1}{4}{\displaystyle \sum _{r}{a}_{r}^{2}+2{\displaystyle \sum _{r<s}{a}_{r}{a}_{s}{D}_{rs}+}}\hfill \\ \frac{1}{16}{\displaystyle \sum _{r<s}{b}_{rs}^{2}(1-16{D}_{rs}^{2})}\hfill \\ +\frac{1}{2}{\displaystyle \sum _{r<s<t}[{b}_{rs}{b}_{rt}(1-16{D}_{rs}^{2}){D}_{st}}\hfill \\ +{b}_{rt}{b}_{st}(1-16{D}_{st}^{2}){D}_{rs}]\hfill \\ +2{\displaystyle \sum _{r<s<t<u}({b}_{rt}{b}_{su}+{b}_{ru}{b}_{st})}\hfill \\ (1-16{D}_{st}^{2}){D}_{rs}{D}_{tu}\hfill & \phantom{\rule{0.5em}{0ex}}\left(12\right)\hfill \end{array}$

In this partition of variance, the first summation term is the genetic variance due to the substitution effect of each QTL, the second summation term is the covariance between substitution effects of QTL pairs due to linkage disequilibrium, the third summation term is the genetic variance due to epistatic effects of QTL, and the fourth and fifth summation terms are the covariance between different epistatic effects of QTL due to linkage disequilibrium. There is no covariance between the main substitution effects and epistatic effects (see also [19]).

For a backcross population, the genetic interpretation of the substitution effect *a*_{
r
}depends on which parental line is backcrossed. In one backcross *AA* × *Aa*, the substitution effect is traditionally defined as the difference between the additive effect and dominance effects, and in the other backcross *Aa* × *aa*, it is the sum of the additive and dominance effects. Only with both backcrosses, can one estimate both additive and dominance effects separately (for example [20]).

The same model also applies to a recombinant inbred population which is another very popular experimental design for QTL mapping study. For a recombinant inbred population, the substitution effects of QTL are the additive effects and the epistatic effects are the additive × additive interaction effects. Statistical methods to map QTL and to estimate various components of the genetic variance due to QTL including epistasis has been developed through the maximum likelihood approach [19, 21]. In a few cases where the method was applied, we estimated, for the first time, how the quantitative genetic variance was partitioned into various components in designed experimental populations. For example, Weber *et al.* [22] reported the result of QTL mapping for wing shape on the third chromosome of *Drosophila melanogaster* from a cross of divergent selection lines. From 519 recombinant inbred lines, 11 QTL were mapped on the third chromosome. Nine QTL pairs showed significant epistatic effects. The total genetic variance amounts to 95.5% of the phenotypic variance in the recombinant inbred lines with phenotypes measured and averaged over 50 male flies for each recombinant inbred line. The partition of the genetic variance is as follows (see Table 6 and 7 of [22]): 27.4% due to the variances of additive effects (equivalent to the first summation term of (12)); 67.3% due to the covariances between additive effects (the second summation term); 7.2% due to the variances of epistatic effects (the third summation term); and -6.0% due to the covariances between epistatic effects (the fourth and fifth summation terms). The covariances between additive and epistatic effects, expected to be 0, account for -0.4% due to sampling. Similar kind of partition of the genetic variance is also observed in a group of 701 second chromosome recombinant inbred lines from a cross of the same divergent selection lines (see Table 4 and 5 of [23]). See also [20] for another example.

#### 2. *F*_{2} population

*F*_{2} is created from a cross between pairs of *F*_{1} individuals. It is also a very popular experimental design for QTL mapping study. The advantage of this design is that both additive and dominance effects of a QTL can be estimated as well as various epistatic effects. The design also has more statistical power for QTL detection as compared to a backcross population. In a random-mating *F*_{2} population, there are only two alleles at each segregating locus and allelic frequencies are expected to be one half if there is no segregation distortion.

Let us consider only two loci first. Let *A* and *a* denote the two alleles at locus 1, and *B* and *b* at locus 2. In this case, ${x}_{{M}_{1}}^{(1)}=-{x}_{{M}_{2}}^{(1)}$ and ${x}_{{F}_{1}}^{(1)}=-{x}_{{F}_{2}}^{(1)}$. Assuming ${G}_{jl}^{ij}={G}_{ik}^{jl}={G}_{jk}^{il}={G}_{il}^{jk}$, it also holds that *α*^{1} = *α*_{1} = -*α*^{2} = -*α*_{2}, ${\delta}_{1}^{1}={\delta}_{2}^{2}=-{\delta}_{1}^{2}$, and so on. The additive term for locus 1 then becomes

${A}_{1}={\alpha}^{1}({x}_{{M}_{1}}^{(1)}-{x}_{{M}_{2}}^{(1)})+{\alpha}_{1}({x}_{{F}_{1}}^{(1)}-{x}_{{F}_{2}}^{(1)})=2{\alpha}_{1}\phantom{\rule{0.5em}{0ex}}{w}_{1}$

with

${w}_{1}={x}_{{M}_{1}}^{(1)}+{x}_{{F}_{1}}^{(1)}=\{\begin{array}{l}1,\text{for}AA\text{atlocus1}\hfill \\ \text{0,for}Aa\text{atlocus1}\hfill \\ -1,\text{for}aa\text{atlocus1}\hfill \end{array}\phantom{\rule{0.5em}{0ex}}\left(13\right)$

and the dominance term is

${D}_{1}=2({\delta}_{1}^{1})({x}_{{M}_{1}}^{(1)}{x}_{{F}_{1}}^{(1)}+{x}_{{M}_{1}}^{(1)}{x}_{{F}_{1}}^{(1)})=(-2)({\delta}_{1}^{1}){v}_{1}$

with

${v}_{1}=(-2){x}_{{M}_{1}}^{(1)}{x}_{{F}_{1}}^{(1)}=\{\begin{array}{c}-1/2,\text{for}AA\text{atlocus1}\\ 1/2,\text{for}Aa\text{atlocus1}\\ -1/2,\text{for}aa\text{atlocus1}\end{array}\phantom{\rule{0.5em}{0ex}}\left(14\right)$

Note that the *v* variable in this section for *F*_{2} differ, by a factor -2, from the *v* variable in the next section for a general two-allele model to conform to the usual definition for the *F*_{2} model. Similarly, for locus 2

*A*_{2} = 2*β*_{1}*w*_{2} and *D*_{2} = (-2)(${\gamma}_{\text{1}}^{\text{2}}$)*v*_{2}

with

${w}_{2}=\{\begin{array}{c}1,\text{for}BB\text{atlocus2}\\ 0,\text{for}Bb\text{atlocus2}\\ -1,\text{for}bb\text{atlocus2}\end{array}$

and

${v}_{2}=\{\begin{array}{c}-1/2,\text{for}BB\text{atlocus2}\\ 1/2,\text{for}Bb\text{atlocus2}\\ -1/2,\text{for}bb\text{atlocus2}\end{array}\phantom{\rule{0.5em}{0ex}}\left(15\right)$

The model can then be written as

$\begin{array}{c}G=\mu +{a}_{1}{w}_{1}+{d}_{1}{v}_{1}+{a}_{2}{w}_{2}+{d}_{2}{v}_{2}\\ +{(aa)}_{12}({w}_{1}{w}_{2})+{(ad)}_{12}({w}_{1}{v}_{2})\\ +{(da)}_{12}({v}_{1}{w}_{2})+{(dd)}_{12}({v}_{1}{v}_{2})\end{array}\phantom{\rule{0.5em}{0ex}}\left(16\right)$

where the parameters are related as *a*_{1} = 2*α*_{1}, *a*_{2} = 2*β*_{2}, *d*_{1} = - $-2{\delta}_{1}^{1}$, *d*_{2} = -$-2{\gamma}_{1}^{1}$, (*aa*)_{12} = 4(*α*_{1}*β*_{1}), (*ad*)_{12} = 8(${\alpha}_{1}{\gamma}_{1}^{1}$), (*da*)_{12} = 8(${\delta}_{1}^{1}{\beta}_{1}$), (*dd*)_{12} = 16(${\delta}_{1}^{1}{\gamma}_{1}^{1}$). With random mating and linkage equilibrium, we have

$\begin{array}{c}{a}_{1}=E[G-\mu ){w}_{1}]/E({w}_{1}^{2})=2({G}_{1.}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}})\\ {d}_{1}=E[(G-\mu ){v}_{1}]/E({v}_{2}^{1})\\ =(-2)({G}_{1.}^{1.}-2{G}_{1.}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}})\\ {a}_{2}=2({G}_{.1}^{\mathrm{..}}-{G}_{\mathrm{..}}^{\mathrm{..}})\\ {d}_{2}=(-2)({G}_{.1}^{.1}-2{G}_{.1}^{\mathrm{..}}+{G}_{\mathrm{..}}^{\mathrm{..}})\\ (aa{)}_{12}=E[(G-\mu \end{array}$