General Methods for Evolutionary Quantitative Genetic Inference from Generalized Mixed Models

Methods for inference and interpretation of evolutionary quantitative genetic parameters, and for prediction of the response to selection, are best developed for traits with normal distributions. Many traits of evolutionary interest, including many life history and behavioral traits, have inherently nonnormal distributions. The generalized linear mixed model (GLMM) framework has become a widely used tool for estimating quantitative genetic parameters for nonnormal traits. However, whereas GLMMs provide inference on a statistically convenient latent scale, it is often desirable to express quantitative genetic parameters on the scale upon which traits are measured. The parameters of fitted GLMMs, despite being on a latent scale, fully determine all quantities of potential interest on the scale on which traits are expressed. We provide expressions for deriving each of such quantities, including population means, phenotypic (co)variances, variance components including additive genetic (co)variances, and parameters such as heritability. We demonstrate that fixed effects have a strong impact on those parameters and show how to deal with this by averaging or integrating over fixed effects. The expressions require integration of quantities determined by the link function, over distributions of latent values. In general cases, the required integrals must be solved numerically, but efficient methods are available and we provide an implementation in an R package, QGglmm. We show that known formulas for quantities such as heritability of traits with binomial and Poisson distributions are special cases of our expressions. Additionally, we show how fitted GLMM can be incorporated into existing methods for predicting evolutionary trajectories. We demonstrate the accuracy of the resulting method for evolutionary prediction by simulation and apply our approach to data from a wild pedigreed vertebrate population.

non-Gaussian traits will hence be very useful for quantitative genetic studies of adaptation.
For the analysis of Gaussian traits, linear mixed model (LMM)-based inferences of genetic parameters, using the "animal model," have become common practice in animal and plant breeding (Thompson 2008;Hill and Kirkpatrick 2010), but also in evolutionary studies on wild populations (Kruuk 2004;Wilson et al. 2010). Recently, the use of generalized linear mixed models (GLMMs) to analyze non-Gaussian traits has been increasing (e.g., Milot et al. 2011;Wilson et al. 2011;Morrissey et al. 2012;de Ayers et al. 2013;Villemereuil et al. 2013). Whereas LMM analysis directly estimates additive genetic parameters on the scale on which traits are expressed and selected, and upon which we may most naturally consider their evolution, this is not the case for GLMMs. In this article, we offer a comprehensive description of the assumptions of GLMMs and their consequences in terms of quantitative genetics and a framework to infer quantitative genetic parameters from GLMMs output. This work applies and extends theory in Morrissey (2015), to handle the effects of (nonlinear) relationships among the scale upon which inference is conducted in a GLMM and the scale of data and to accommodate the error structures that arise in GLMM analysis. These results generalize existing expressions for specific models [threshold model and Poisson with a log link Robertson 1950;Foulley and Im 1993)]. We show that fixed effects in GLMMs raise special complications and we offer some efficient approaches for dealing with this issue.
While it will undoubtedly be desirable to develop a comprehensive method for making data-scale inferences of quantitative genetic parameters with GLMMs, such an endeavor will not yield a system for predicting evolution in response to natural or artificial selection, even if a particular empirical system is very well served by the assumptions of a GLMM. This is because systems for evolutionary prediction, specifically the breeder's equation (Fisher 1924;Lush 1937) and the Lande equation (Lande 1979;Lande and Arnold 1983), assume that breeding values (and in most applications, phenotypes) are multivariate normal or make assumptions such as linearity of the parent-offspring regression, which are unlikely to hold for nonnormal traits (Walsh and Lynch 2003). Even if it is possible to estimate additive genetic variances of traits on the scale upon which traits are expressed, we show that these quantities are not strictly usable for evolutionary prediction. However, we will see that the scale on which estimation is performed in a GLMM does, by definition, satisfy the assumptions of the breeder's and Lande equations. Thus, for the purpose of predicting evolution, it may be useful to be able to express selection of non-Gaussian traits on this scale. Such an approach will yield a system for evolutionary prediction of characters that have been modeled with a GLMM, requiring no more assumptions than those that are already made in applying the statistical model.
The main results in this article are arranged in four sections. First, we describe the GLMM framework: its relationship to the more general (Gaussian) LMM and especially to the Gaussian animal model (Henderson 1973;Kruuk 2004;Wilson et al. 2010), how GLMMs can be usefully viewed as covering three scales, and how some special interpretational challenges arise and are currently dealt with. Second, we propose a system for making inferences of quantitative genetic parameters on the scale upon which traits are expressed for arbitrary GLMMs. We show how to estimate genotypic and additive genetic variances and covariances on this scale, accounting for fixed effects as necessary. We lay out the formal theory underlying the system and apply it to an empirical data set. The relationships between existing analytical formulas and our general framework are also highlighted. Third, we illustrate the issues when inferring quantitative genetic parameters using a GLMM with an empirical example on Soay sheep (Ovis aries) and how our framework can help to overcome them. Fourth, we outline a system of evolutionary prediction for non-Gaussian traits that capitalizes on the fact that the latent scale in a GLMM satisfies the assumptions of available equations for the prediction of evolution. We show in a simulation study that (i) evolutionary predictions using additive genetic variances on the observed data scale represent approximations and can, in fact, give substantial errors, and (ii) making inferences via the latent scale provides unbiased predictions, insofar as a GLMM may provide a pragmatic model of variation in non-Gaussian traits. The framework introduced here (including both quantitative genetic parameter inference and evolutionary prediction) has been implemented in an R package (R Core Team 2015), QGglmm, and is available at https://cran.r-project.org/.

The Generalized Linear Mixed Model Framework
Linear mixed models for Gaussian traits For Gaussian traits, a linear mixed model allows various analyses of factors that contribute to the mean and variance of phenotype. In particular, a formulation of a linear mixed model called the animal model provides a very general method for estimating additive genetic variances and covariances, given arbitrary pedigree data, and potentially accounting for a range of different types of confounding variables, such as environmental effects, measurement error, or maternal effects. A general statement of an animal model analysis decomposing variation in a trait, z; into additive genetic and other components would be where m is the model intercept; b is a vector of fixed effects such as sex and age, relating potentially both continuous and categorical effects to observations via the fixed effects design matrix X; just as in an ordinary linear model; and e is the vector of normally distributed residuals. An arbitrary number of random effects can be modeled, with design matrices Z; where effects (a; u 1 . . .u k ) are assumed to be drawn from normal distributions with variances to be estimated. The key feature of the animal model is that it includes individual additive genetic effects, or breeding values, conventionally denoted a: These additive genetic effects and, critically, their variance are estimable given relatedness data, which can be derived from pedigree data or, more recently, from genomic estimates of relatedness (Sillanpää 2011). The covariances of breeding values among individuals can be modeled according to a Nð0; AV A Þ; (2) where A is the additive genetic relatedness matrix derived from the pedigree and V A is the genetic additive variance.

Common issues with non-Gaussian traits
Many non-Gaussian traits, however, cannot be strictly additive on the scale on which they are expressed. Consider, for example, survival probability that is bounded at 0 and 1 so that effects like the substitution effect of one allele for another necessarily must be smaller when expressed in individuals that otherwise have expected values near 0 or 1. In such a scenario, it may be reasonable to assume that there exists an underlying scale, related to survival probability, upon which genetic and other effects are additive. In addition to inherent nonadditivity, many non-Gaussian traits will have complex patterns of variation. Over and above sources of variation that can be modeled with fixed and random effects, as in an LMM (e.g., using Equations 1 and 2), residual variation may include both inherently stochastic components and components that correspond to unmodeled systematic differences among observations. In an LMM, such differences are not distinguished, but contribute to residual variance. However, for many non-Gaussian traits it may be desirable to treat the former as arising from some known statistical distribution, such as the binomial or Poisson distribution, and to deal with additional variation via a latent-scale residual (i.e., an overdispersion term). Separation of these two kinds of variation in residuals may be very generally useful in evolutionary quantitative genetic studies.
The scales of the generalized linear mixed model GLMM analysis can be used for inference of quantitative genetic parameters and provides pragmatic ways of dealing with inherent nonadditivity and with complex sources of variation. The GLMM framework can be thought of as consisting of three distinct scales on which we can think of variation in a trait occurring (see Figure 1). A latent scale is assumed (Figure 1, top), on which effects on the propensity for expression of some trait are assumed to be additive. A function, called a "link function," is applied that links expected values for a trait to the latent scale. For example, a trait that is expressed in counts, say, number of behaviors expressed in a unit time, is a strictly nonnegative quantity. As depicted in Figure 1, a strictly positive distribution of expected values may be related to latent values ranging from 2N to þN by a function such as the log link. Finally, a distribution function (e.g., binomial, Poisson, etc.) is required to model the "noise" of observed values around the expected value (Figure 1, bottom). Different distributions are suitable for different traits. For example, with a count trait such as that depicted in Figure 1, observed values may be modeled using the Poisson distribution, with expectations related to the latent scale via the log-link function.
More formally, these three scales of the GLMM can be written where Equation 3a is just as for an LMM (Equation 1), except that it describes variation on the latent scale ℓ; rather than the response directly. Note that we now refer to the "residual" (denoted e in Equation 1) as "overdispersion" (denoted o; with a variance denoted V O ), since residuals (variation around expected values) are defined by the distribution function, D; in this model. Just as for the LMM (Equation 1), all random effects are assumed to follow normal distributions with variances to be estimated on the latent scale. Particularly, the variance of additive genetic effects a is assumed to follow Equation 2 on the latent scale. Equation 3b formalizes the idea of the link function. Any link function has an associated inverse link function, g 21 ; Figure 1 Example of the relationships between the three scales of the GLMM using a Poisson distribution and a logarithm-link function. Deterministic relationships are denoted with shaded solid arrows, whereas stochastic relationships are denoted with shaded dashed arrows. Note that the latent scale is depicted as a simple Gaussian distribution for the sake of simplicity, whereas it is a mixture of Gaussian distributions in reality.
which is often useful for converting specific latent values to expected values. The expected values h constitute what we call the expected data scale. For example, where the log-link function translates expected values to the latent scale, its inverse, the exponential function, translates latent values to expected values. Finally, Equation 3c specifies the distribution by which the observations z scatter around the expected values according to some distribution function that may involve parameters (denoted u) other than the expectation. We call this the observed data scale. Some quantities of interest, such as the mean, are the same on the expected data scale and on the observed data scale. When parameters are equivalent on these two scales, we refer to them together as the data scales.
The distinction we make between the expected and observed data scales is one of convenience as they are not different scales per se. However, this distinction allows for more biological subtlety when interpreting the output of a GLMM. The expected data scale can be thought of as the "intrinsic" value of individuals (shaped by both genes and the environment), but this intrinsic value can be studied only through random realizations. As we will see, because breeding values are intrinsic individual values, the additive genetic variance is the same for both scales, but, due to the added noise in observed data, the heritabilities are not. The choice of which scale to calculate heritability depends on the underlying biological question. For example, individuals (given their juvenile growth and genetic value) might have an intrinsic annual reproductive success of 3.4, but can produce only an integer number of offspring each year (say 2, 3, 4, or 5): Heritabilities of both intrinsic expectations and observed numbers can be computed, but their values and interpretations will differ. Current practices and issues with computing quantitative genetic parameters from GLMM outputs Genetic variance components estimated in a generalized animal model are obtained on the latent scale. Hence, the "conventional" formula to compute heritability, where V RE is the summed variance of all random effects apart from the additive genetic variance, and V O is the overdispersion variance, is the heritability on the latent scale, not on the observed data scale . Here, and throughout this article, V A;ℓ stands for the additive genetic variance on the latent scale. Although it might sometimes be sensible to measure the heritability of a trait on the latent scale (for example, in animal breeding, where selection might be based on latent breeding values), it is natural to seek inferences on the scale upon which the trait is expressed and on which we may think of selection as acting. Some expressions exist by which various parameters can be obtained or approximated on the observed data scale. For example, various expressions for the intraclass correlation coefficients on the data scale exist (reviewed in Nakagawa and Schielzeth 2010), but, contrary to the LMM, heritabilities on the data scales within a GLMM framework cannot be considered as intraclass correlation coefficients. Exact analytical expressions exist for the additive genetic variance and heritability on the observed data scale for two specific and important families of GLMMs (i.e., combinations of link functions and distribution functions): for a binomial model with a probit link function [i.e., the "threshold model" ] and for a Poisson model with a logarithm link function (Foulley and Im 1993). However, a general system for calculating genetic parameters on the expected and observed data scales for arbitrary GLMMs is currently lacking.
In addition to handling the relationship between observed data and the latent trait via the link and distribution functions, any system for expected and observed scale quantitative genetic inference with GLMMs will have to account for complex ways in which fixed effects can influence quantitative genetic parameters. It is currently appreciated that fixed effects in LMMs explain variance and that variance associated with fixed effects can have a large influence on summary statistics such as repeatability  and heritability (Wilson 2008). This principle holds for GLMMs as well, but fixed effects cause additional, important complications for interpreting GLMMs. While random and fixed effects are independent in a GLMM on the latent scale, the nonlinearity of the link function renders them interrelated on the expected and observed scales. Consequently, and unlike in an LMM or in a GLMM on the latent scale, variance components on the observed scale in a GLMM depend on the fixed effects. Consider, for example, a GLMM with a log-link function. Because the exponential is a convex function, the influence of fixed and random effects will create more variance on the expected and observed data scales for larger values than for smaller values.

Quantitative Genetic Parameters in GLMMs
Although all examples and most equations in this article are presented in a univariate form, all our results are applicable to multivariate analysis, which is implemented in our software. Unless stated otherwise, the equations below assume that no fixed effects (apart from the intercept) were included in the GLMM model.

Phenotypic mean and variances
Expected population mean: The expected mean phenotype z on the data scale (i.e., applying to both the mean expected value and the mean observed value) is given by where f N ðℓ; m; V A;ℓ þ V RE þ V O Þ is the probability density of a normal distribution with mean m and variance V A;ℓ þ V RE þ V O evaluated at latent value ℓ: Expected-scale phenotypic variance: Phenotypic variance on the expected data scale can be obtained analogously to the data scale population mean. Having obtained z; the phenotypic variance is Observed-scale phenotypic variance: Phenotypic variance of observed values is the sum of the variance in expected values and variance arising from the distribution function. Since these variances are independent by construction in a GLMM, they can be summed. This distribution variance is influenced by the latent trait value, but might also depend on additional distribution parameters included in u (see Equation 3c). Given a distribution-specific variance function v, Genotypic variance on the data scales, arising from additive genetic variance on the latent scale Because the link function is nonlinear, additive genetic variance on the latent scale is manifested as a combination of additive and nonadditive variance on the data scales. Following Falconer (1960), the total genotypic variance on the data scale is the variance of genotypic values on that scale. Genotypic values are the expected data scale phenotypes, given latent scale genetic values. The expected phenotype of an individual with a given latent genetic value a, i.e., its genotypic value on the data scales E½zja; is given by The total genotypic variances on the expected and observed data scales are the same, since genotypic values are expectations that do not change between the expected and observed scales. The total genotypic variance on both the expected and observed data scales is then This is the total genotypic variance on the data scale, arising from strictly additive genetic variance on the latent scale. If nonadditive genetic effects are modeled on the latent scale, they would be included in the expectations and integrals in Equations 8 and 9.
Additive genetic variance on the data scales The additive variance on the data scales is the variance of breeding values computed on the data scales. Following Robertson (1950;see also Fisher 1918), breeding values on the data scales, i.e., a exp and a obs ; are the part of the phenotype z that depends linearly on the latent breeding values.
The breeding values on the data scale can then be defined as the predictions of a least-squares regression of the observed data on the latent breeding values, whereẑ is the value of z predicted by the regression, a is the latent breeding value, and m and b are the parameters of the regression. Thus, we have V A;obs ¼ b 2 V A;ℓ and, from standard regression theory, Because of the independence between the expected values of z [i.e., the expected data scale g 21 ðℓÞ] and the distribution noise (see Equation 7), we can obtain the result that covðz; aÞ ¼ covðg 21 ðℓÞ; aÞ; and hence Stein's (1973) lemma states that if X and Y are bivariate normally distributed random variables, then the covariance of Y and some function of X, f ðXÞ; is equal to the expected value of f 9ðXÞ times the covariance between X and Y, so To avoid confusion with various uses of b as other forms of regression coefficients, and for consistency with Morrissey (2015), we denote the average derivative of expected value with respect to latent value as C: The additive genetic variances on the expected and observed scales are still the same and are given by Including fixed effects in the inference General issues: Because of the nonlinearity introduced by the link function in a GLMM, all quantitative genetic parameters are directly influenced by the presence of fixed effects. Hence, when fixed effects are included in the model, it will often be important to marginalize over them to compute accurate population parameters. There are different approaches to do so. We first describe the simplest approach (i.e., directly based on GLMM assumptions).
Averaging over predicted values: In a GLMM, no assumption is made about the distribution of covariates in the fixed effects. Given this, we can marginalize over fixed effects by averaging over predicted values (marginalized over the random effects, i.e., Xb; whereb are the fixed effects estimates). Note that, doing so, we implicitly make the assumption that our sample is representative of the population of interest. Using this approach, we can compute the population mean in Equation 5 as where N is the number of predicted latent values inl ¼ Xb: Typically, X will be the fixed-effects design matrix used when fitting the generalized animal model (Equations 1-3), and N will be the number of data observations. Furthermore, this assumes that all fixed effects represent biologically relevant variation, rather than being corrections for the observation process or experimental condition. Cases may arise where some fixed effects are biologically interesting (e.g., habitat characteristics, potentially) and others are not (e.g., some correction associated with the instrument used to make phenotypic measurements). In such cases it may be desirable to integrate over those fixed effects that are biologically interesting and fix others at some sensible value (e.g., their mean, or zero, when zero is interpretable as a lack of effect). From this estimate of z; we can compute the expected-scale phenotypic variance: Note that we are not averaging over variances computed for each predicted value, as the value of the mean z is the same across the computation. Equations 7-9 and 15 are modified accordingly to compute all parameters, including C: This approach has the advantages of being simple and making a direct use of the GLMM inference without further assumptions.
Sampled covariates are not always representative of the population: The distribution of covariate values in X may not be representative of the population being studied. In such cases, integration over available values of fixed effects may be inappropriate. For example, a population may be known (or assumed) to have an equal sex ratio, but one sex may be easier to catch and therefore overrepresented in any given data set. In such a situation, incorporation of additional assumptions or data about the distribution of covariates (e.g., of sex ratio) may be useful. A first approach is to predict values according to a new set of covariates constructed to be representative of the population (e.g., with balanced sex ratio). Given these new predicted values, the above approach can readily be used to compute quantitative genetic parameters of interest. A drawback of this approach is that it requires one to create a finite sample of predicted values instead of a full distribution of the covariates. A second approach requires one to specify such a distribution for fixed covariates, here noted f X ðXÞ: In this case, Equation 17 can be modified as follows: All relevant equations (Equations 6-9 and 15) are modified accordingly. This approach is the most general one, but requires the ability to compute f X ðXÞ: Note that this distribution should also account for potential covariance between covariates.

Summary statistics and multivariate extensions
Equations 5-16 give the values of different parameters that are useful for deriving other evolutionary quantitative genetic parameters on the observed data scale. Hence, from them, other parameters can be computed. The narrow-sense heritability on the observed data scale can be written as Replacing V P;obs by V P;exp will lead to the heritability on the expected data scale h 2 exp : Recalling that V A;obs ¼ V A;exp ; but V P;obs 6 ¼ V P;exp ; note that the two heritabilities above differ. Parameters such as additive genetic coefficient of variance and evolvability (Houle 1992) can be just as easily derived. The coefficients of variation on the expected and observed data scales are identical and can be computed as and the evolvability on the expected and observed data scales will be ; i.e., G obs ¼ CG ℓ C T : Here, G ℓ is the latent G matrix and C is the average gradient matrix of the vector-valued link function, which is a diagonal matrix of C values for each trait (simultaneously computed from a multivariate version of Equation 15).

Relationships with existing analytical formulas
Binomial distribution and the threshold model: Heritabilities of binary traits have a long history of analysis with a threshold model (Wright 1934;Robertson 1950), whereby an alternate trait category is expressed when a trait on a latent "liability scale" exceeds a threshold. Note that this liability scale is not the same as the latent scale hereby defined for the GLMM (see Supplemental Material, Figure S1). However, it can be shown (see File S1, section A) that a GLMM with a binomial distribution and a probit-link function is exactly equivalent to such a model, only with slightly differently defined scales. For threshold models, heritability can be computed on this liability scale by adding a so-called "link variance" V L to the denominator (see, for example, Nakagawa and Schielzeth 2010;de Villemereuil et al. 2013): Because the probit-link function is the inverse of the cumulative standard normal distribution function, the link variance V L is equal to one in this case. One can think of the link variance as arising in this computation because of the reduction from three scales (in the case of a GLMM) to two scales (liability and observed data in the case of a threshold model): The liability scale includes the link function. When the heritability is computed using the threshold model,  and Robertson (1950) derived an exact analytical formula relating this estimate to the observed data scale, where p is the probability of occurrence of the minor phenotype and t is the density of a standard normal distribution at the pth quantile (see also Roff 1997). It can be shown (see File S1, section A) that this formula is an exact analytical solution to Equations 5-21 in the case of a GLMM with binomial distribution and a probit link. When fixed effects are included in the model, it is still possible to use these formulas by integration over the marginalized predictions (see File S1, section A). Note that Equation 25 applies only to analyses conducted with a probit link; it does not apply to a binomial model with a logit-link function.
Poisson distribution with a logarithm link: For a log-link function and a Poisson distribution, both the derivative of the inverse link function and the variance of the distribution are equal to the expected value. Consequently, analytical results are obtainable for a log/Poisson model for quantities such as broad-and narrow-sense heritabilities. Foulley and Im (1993) derived an analytical formula to compute narrowsense heritability on the observed scale, where l is the data scale phenotypic mean, computed analytically as Again, it can be shown (see File S1, section B) that these formulas are exact solutions to Equation 5-21 when assuming a Poisson distribution with a log link. The inclusion of fixed effects in the model makes the expression slightly more complicated (see File S1, section B). These results can also be extended to the negative-binomial distribution with log link with slight modifications of the analytical expressions (see File S1, section B). The component of the broad-sense heritability on the observed data scale that arises from additive genetic effects on the latent scale can be computed as an intraclass correlation coefficient (i.e., repeatability) for this kind of model (Foulley and Im 1993;Nakagawa and Schielzeth 2010): year. Months of mortality for sheep of all ages are generally known from direct observation, and day of mortality is typically known. Furthermore, every lamb included in this analysis had a known sex and twin status (whether or not it had a twin) and a mother of a known age. Pedigree information is available for the St. Kilda Soay sheep study population. Maternal links are known from direct observation, with occasional inconsistencies corrected with genetic data. Paternal links are known from molecular data. Most paternity assignments are made with very high confidence, using a panel of 384 SNP markers, each with high minor allele frequencies, and spread evenly throughout the genome. Details of marker data and pedigree reconstruction are given in Bérénos et al. (2014). The pedigree information was pruned to include only phenotyped individuals and their ancestors. The pedigree used in our analyses thus included 4687 individuals with 4165 maternal links and 4054 paternal links.
We fitted a generalized linear mixed model of survival with a logit-link function and a binomial distribution function. We included fixed effects of individual's sex and twin status and linear, quadratic, and cubic effects of maternal age (matAge i ). Maternal age was mean centered by subtracting the overall mean. We also included an interaction of sex and twin status and an interaction of twin status with maternal age. We included random effects of breeding value (as for Equation 2), maternal identity, and birth year. Because the overdispersion variance V O in a binomial GLMM is unobservable for binary data, we set its variance to one. The model was fitted in MCMCglmm (Hadfield 2010), with diffuse independent normal priors on all fixed effects and parameter-expanded priors for the variances of all estimated random effects.
We identified important effects on individual survival probability; i.e., several fixed effects were substantial and also each of the additive genetic, maternal, and among-year random effects explained appreciable variance (Table 1). The model intercept corresponds to the expected value on the latent scale of a female singleton (i.e., not a twin) lamb with an averageaged (4.8 years) mother. Males have lower survival than females, and twins have lower survival than singletons. There were also substantial effects of maternal age, corresponding to a rapid increase in lamb survival with maternal age among relatively young mothers and a negative curvature, such that the maximum survival probabilities occur among offspring of mothers aged 6 or 7 years. The trajectories of maternal age effects in the cubic model are similar to those obtained when maternal age is fitted as a multilevel effect.
To illustrate the consequences of accounting for different fixed effects on expected and observed data scale inferences, we calculated several parameters under a series of different treatments of the latent scale parameters of the GLMM. We calculated the phenotypic mean, the additive genetic variance, the total variance of expected values, the total variance of observed values, and the heritability of survival on the expected and observed scales.
First, we calculated parameters using only the model intercept (m in Equations 1 and 3a). This intercept, under default settings, is arbitrarily defined by the linear modeling software implementation and is thus software dependent. In the current case, due to the details of how the data were coded, the intercept is the latent scale prediction for female singletons with average-aged (4.8 years) mothers. In an average year, singleton females with average-aged mothers have a probability of survival of 80%. The additive genetic variance V A;obs ; calculated with Equation 16, is 0.005 and corresponds to heritabilities on the expected and observed scales of 0.096 and 0.051 (Table 2).
In contrast, if we wanted to calculate parameters using a different (but equally arbitrary) intercept, corresponding to twin males, we would obtain a mean survival rate of 0.37 and an additive genetic variance that is approximately twice as large, but similar heritabilities ( Table 1). Note that we have not modeled any systematic differences in genetic parameters between females and males or between singletons and twins. These differences in parameter estimates arise from the exact same estimated variance components on the latent scale, as a result of different fixed effects.
This first comparison has illustrated a major way in which the fixed effects in a GLMM influence inferences on the expected and observed data scales. For linear mixed models, it has been noted that variance in the response is explained by the fixed predictors and that this may inappropriately reduce the phenotypic variance and inflate heritability estimates for some purposes (Wilson 2008). However, in the example so far, we have simply considered two different intercepts (i.e., no difference in explained variance): female singletons vs. male twins, in both cases, assuming focal groups of individuals are all born to average-aged mothers. Again these differences in phenotypic variances and heritabilities arise from differences in intercepts, not from any differences in variance explained by fixed effects. All parameters on the expected and observed value scales are dependent on the intercept, including the mean, the additive genetic variance, and the total variance generated from random effects. Heritability is modestly affected by the intercept, because additive genetic and total variances are similarly, but not identically, influenced by the model intercept.
Additive genetic effects are those arising from the average effect of alleles on phenotype, integrated over all background genetic and environmental circumstances in which alternate alleles might occur. Fixed effects, where they represent biologically relevant variation, are part of this background. Following our framework (see Equation 17), we can solve the issue of the influence of the intercept by integrating our calculation of C and ultimately V A;obs over all fixed effects. This approach has the advantage of being consistent for any chosen intercept, as the value obtained after integration will not depend on that intercept. Considering all fixed and random effects, quantitative genetic parameters on the expected and observed scales are given in Table 2, fourth column. Note that additive genetic variance is not intermediate between the two extremes (concerning sex and twin status) that we previously considered. The calculation of V A;obs now includes an average slope calculated over a wide range of the steep part of the inverse-link function (near 0 on the latent scale and near 0.5 on the expected data scale) and so is relatively high. The observed total phenotypic variance V P;obs is also quite high. The increase in V P;obs has two causes. First, the survival mean is closer to 0.5, so the random effects variance is now manifested as greater total variance on the expected and observed scales. Second, there is now variance arising from fixed effects that is included in the total variance.
Given this, which estimates should be reported or interpreted? We have seen that when fixed effects are included in a GLMM, the quantitative genetic parameters calculated without integration are sensitive to an arbitrary parameter: the intercept. Hence integration over fixed effects may often be the best strategy for obtaining parameters that are not arbitrary. In the case of survival analyzed here, h 2 obs is the heritability of realized survival, whereas h 2 exp is the heritability of intrinsic individual survival. Since realized survival is the one "visible" by natural selection, h 2 obs might be a more relevant evolutionary parameter. Nonetheless, we recommend that V P;exp and V P;obs are both reported.

Data availability
The data analyzed (individual identity, first year survival, maternal identity and all covariates, and the pedigree) in this example are archived and available via the following DOI: 10.17605/OSF.IO/SCZPR.

Evolutionary Prediction
Systems for predicting adaptive evolution in response to phenotypic selection assume that the distribution of breeding values is multivariate normal and, in most applications, that the joint distribution of phenotypes and breeding values is multivariate normal (Lande 1979;Lande and Arnold 1983;Walsh and Lynch 2003;Morrissey 2014). The distribution of breeding values is assumed to be normal on the latent scale in a GLMM analysis, and therefore the parent-offspring regression will also be normal on that scale, but not necessarily on the data scale. Consequently, evolutionary change predicted directly using data-scale parameters may be distorted. The breeder's and Lande equations may hold approximately and may perhaps be useful. However, having taken up the nontrivial task of pursuing GLMM-based quantitative genetic analysis, the investigator has at his or her disposal inferences on the latent scale. On this scale, the assumptions required to predict the evolution of quantitative traits hold. In this section we first demonstrate by simulation how application of the breeder's equation will generate biased predictions of evolution. We then proceed to an exposition of some statistical machinery that can be used to predict evolution on the latent scale (from which evolution on the expected and observed scale can subsequently be calculated, using Equation 5), given inference of the function relating traits to fitness.

Direct application of the breeder's and Lande equations on the data scale
To explore the predictions of the breeder's equation applied at the level of observed phenotype, we conducted a simulation in which phenotypes were generated according to a Poisson GLMM (Equations 3a-3c, with a Poisson distribution function and a log-link function) and then selected the largest observed count values (positive selection) with a range of proportions of selected individuals (from 5% to 95%, creating a range of selection differentials), a range of latent-scale heritabilities (0.1, 0.3, 0.5, and 0.8, with a latent phenotypic variance fixed to 0.1), and a range of latent means m (from 0 to 3). We simulated 10,000 replicates of each scenario, each composed of a different array of 10,000 individuals. For each simulation, we simulated 10,000 offspring. For each offspring, a breeding value was simulated according to a ℓ;i N ðða ℓ;d þ a ℓ;s Þ=2; V A;ℓ =2Þ; where a ℓ;i is the focal offspring's breeding value, a ℓ;d and a ℓ;s are the breeding values of simulated dams and sires, and V A;ℓ =2 represents the segregational variance, assuming parents are not inbred. Dams and sires were chosen at random with replacement from among the pool of simulated selected individuals. For each scenario, we calculated the realized selection differential arising from the simulated truncation selection, S obs ; and the average evolutionary response across simulations, R obs : For each scenario, we calculated the heritability on the observed scale, using Equation 20. If the breeder's equation was strictly valid for a Poisson GLMM on the observed scale, the realized heritability R obs =S obs would be equal to the observedscale heritability h 2 obs : The correspondence between R obs =S obs and h 2 obs is approximate ( Figure 2) and strongly depends on the selection differential (controlled here by the proportion of selected individuals). Note that, although the results presented here depict a situation where the ratio R obs =S obs is very often larger than h 2 obs ; this is not a general result (e.g., this is not the case when using negative instead of positive selection; data not shown). In particular, evolutionary predictions are poorest in absolute terms for large m and large (latent) heritabilities. However, because we were analyzing simulation data, we could track the selection differential of latent values (by calculating the difference in its mean between simulated survivors and the mean simulated before selection). We can also calculate the mean latent breeding value after selection. Across all simulation scenarios, the ratio of the change in mean breeding value after selection to the change in breeding value before selection was equal to the latent heritability (see Figure 2), showing that evolutionary changes could be accurately predicted on the latent scale.
Evolutionary change on the latent scale and associated change on the expected and observed scales In an analysis of real data, latent (breeding) values are, of course, not measured. However, given an estimate of the effect of traits on fitness, say via regression analysis, we can derive the parameters necessary to predict evolution on the latent scale. The idea is thus to relate measured fitness on the observed data scale to the latent scale, compute the evolutionary response on the latent scale, and finally compute the evolutionary response on the observed data scale.
To relate the measured fitness on the observed scale to the latent scale, we need to compute the expected fitness W exp given latent trait value ℓ; which is where W P ðkÞ is the measure of fitness for the kth data scale category (assuming the observed data scale is discrete as in most GLMMs). Population mean fitness can then be calculated in an analogous way to Equation 5: These expressions comprise the basic functions necessary to predict evolution. Given a fitted GLMM, and a given estimate of the fitness function W P ðkÞ; each of several approaches could give equivalent results. For simplicity, we proceed via application of the breeder's equation at the level of the latent scale. The change in the mean genetic value of any character due to selection is equal to the covariance of breeding value with relative fitness (Robertson , 1968). Using Stein's (1973) lemma once more, this covariance can be obtained as the product of the additive genetic variance of latent values and the average derivative of expected fitness with respect to latent value, i.e., E½dW exp =dℓ Evolution on the latent scale can therefore be predicted by In the case of a multivariate analysis, note that the derivative above should be a vector of partial derivatives (partial first-order derivative with respect to latent value for each trait) of fitness.
If fixed effects need to be considered, the approach can be modified in the same way as integration over fixed effects is accomplished for calculating other quantities; i.e., the expression (32) would be used in calculations of mean fitness and the average derivative of expected fitness with respect to latent value. Phenotypic change caused by changes in allele frequencies in response to selection is calculated as Or, if fixed effects are included in the model, Note that, in Equation 34, z must be computed as in Equation  17 and that this equation assumes that the distribution of fixed effects for the offspring generation is the same as for the parental one. Table 2 Estimates of expected and observed scale phenotypic mean and variances and additive genetic variance, for three different treatments of the fixed effects modeled on the linear scale with a GLMM and reported in Table 1 Quantity Arbitrary intercept (singleton female) Arbitrary intercept (twin male) Averaging over all fixed effects Additive genetic variance and heritability on the latent scales are also reported for comparison. Note that h 2 lat is slightly lower when averaging over fixed effects, since the variance they explain is then accounted for.
Another derivation of the expected evolutionary response using the Price-Robertson identity ) is given in the File S1 (section C).

The simulation study revisited
Using the same replicates as in the simulation study above, we used Equations 29-34 to predict phenotypic evolution. This procedure provides greatly improved predictions of evolutionary change on the observed scale (Figure 3, top row). However, somewhat less response to selection is observed than is predicted. This deviation occurs because, in addition to producing a permanent evolutionary response in the mean value on the latent scale, directional selection creates a transient reduction of additive genetic variance due to linkage disequilibrium. Because the link function is nonlinear, this transient change in the variance on the latent scale generates a transient change in the mean on the expected and observed scales. Following several generations of random mating, the evolutionary change on the observed scale would converge on the predicted values. We simulated such a generation at equilibrium by simply drawing breeding values for the postselection sample from a distribution with the same variance as in the parental generation. This procedure necessarily generated a strong match between predicted and simulated evolution (Figure 3, bottom row). Additionally, the effects of transient reduction in genetic variance on the latent scale could be directly modeled, for Figure 2 Simulated R=S (evolutionary response over selection differential or the realized heritability) on the latent (top panels) or observed (bottom panels) data scales against the corresponding scale heritabilities. Each data point is the average over 10,000 replicates of 10,000 individuals for various latent heritabilities h 2 lat (0.1, 0.3, 0.5, 0.8), latent population mean (m from 0 to 3, from left to right), and proportion of selected individuals (5%, 10%, 20%, 30%, 50%, 70%, 80%, 90%, and 95%, varying from black to blue). The 1:1 line is plotted in black. The breeder's equation is predictive on the latent scale (top panels), but approximate on the observed data scale (bottom panels), because phenotypes and breeding values are not jointly multivariate normal on that scale. example, using Bulmer's (1971) approximations for the transient dynamics of the genetic variance in response to selection.

Implementation
The framework developed here (including univariate and multivariate parameters computation and evolutionary predictions on the observed data scale) is implemented in the R package QGglmm available via the R comprehensive archive network, https://cran.r-project.org/. The package does not perform any GLMM inference but rather implements the hereby introduced framework for analysis posterior to a GLMM inference. While the calculations we provide will often (i.e., when no analytical formula exists) be more computationally demanding than calculations on the latent scale, they will be direct ascertainments of specific parameters of interest, since the scale of evolutionary interest is likely to be the observed data scale, rather than the latent scale (unless some artificial selection is applied to predicted latent breeding values as in modern animal breeding). Most applications should not be onerous. Computations of means and (additive genetic) variances took ,1 sec on a 1.7-GHz processor when using our R functions on the Soay sheep data set. Summation over fixed effects and integration over 1000 posterior samples of the fitted model took several minutes. When analytical expressions are available (e.g., for Poisson/log, binomial/ probit, and negative-binomial/log, see File S1 and R package documentation), these computations are considerably accelerated.

Conclusion
The general approach outlined here for quantitative genetic inference with GLMMs has several desirable features: (i) It is a general framework, which should work with any given GLMM and especially any link and distribution function; (ii) it provides mechanisms for rigorously handling fixed effects, which can be especially important in GLMMs; and (iii) it can be used for evolutionary prediction under standard GLMM assumptions about the genetic architecture of traits.
Currently, with the increasing application of GLMMs, investigators seem eager to convert to the observed data scale. It seems clear that conversions between scales are generally useful. However, it is of note that the underlying assumption when using GLMMs for evolutionary prediction is that predictions hold on the latent scale. Hence, some properties of heritabilities for additive Gaussian traits, particularly the manner in which they can be used to predict evolution, do not hold on the data scale for non-Gaussian traits, even when expressed on the data scale. Yet, given an estimate of a fitness function, no further assumptions are necessary to predict evolution on the data scale, via the latent scale (as with Equations 29, 31, and 33), over and above those that are made in the first place upon deciding to pursue GLMM-based quantitative genetic analysis. Hence we recommend using this framework to produce accurate predictions about evolutionary scenarios.
We have highlighted important ways in which fixed effects influence quantitative genetic inferences with GLMMs and developed an approach for handling these complexities. In LMMs, the main consideration pertaining to fixed effects is that they explain variance, and some or all of this variance might be inappropriate to exclude from an assessment of V P when calculating heritabilities (Wilson 2008). This aspect of fixed effects is relevant to GLMMs, but furthermore, all parameters on the expected and observed scales, not just means, are influenced by fixed effects in GLMMs; these include additive genetic and phenotypic variances. This fact necessitates particular care in interpreting GLMMs. Our work clearly demonstrates that consideration of fixed effects is essential, and the exact course of action needs to be considered on a case-bycase basis. Integrating over fixed effects would solve, in particular, the issue of intercept arbitrariness illustrated with the Soay sheep example. Yet cases may often arise where fixed effects are fitted, but where one would not want to integrate over them (e.g., because they represent experimental rather than natural variability). In such cases, it will be important to work with a biologically meaningful intercept, which can be achieved for example by centering covariates on relevant values (Schielzeth 2010). Finally, note that this is not an all-or-none alternative: In some situations, it could be relevant to integrate over some fixed effects (e.g., of biological importance) while some other fixed effects (e.g., those of experimental origins) would be left aside.
One of the most difficult concepts in GLMMs seen as a nonlinear developmental model (Morrissey 2015) is that an irreducible noise is attached to the observed data. This is the reason why we believe that distinguishing between expected and observed data scales does have a biological meaning. Researchers using GLMMs need to realize that this kind of model can assume a large variance in the observed data with very little variance on the latent and expected data scales. For example, a Poisson/log GLMM with a latent mean m ¼ 0 and a total latent variance of 0.5 will result in observed data with a variance V P;obs ¼ 2:35: Less than half of this variance lies in the expected data scale (V P;exp ¼ 1:07); the rest is residual Poisson variation. Our model hence assumes that more than half of the measured variance comes from totally random noise. Hence, even assuming that the whole latent variance is composed of additive genetic variance, the heritability will never reach a value .0.5. Whether this random noise should be accounted for when computing heritabilities (i.e., whether we should compute h 2 exp or h 2 obs ) depends on the evolutionary question under study. In many instances, it is likely that natural selection will act directly on realized values rather than their 1292 P. de Villemereuil et al.
expectations, in which case h 2 obs should be preferred. We recommend however, that, along with V A;obs ; all other variances (including V O ; V P;exp and V P;obs ) are reported by researchers.
The expressions given here for quantitative genetic parameters on the expected and observed data scales are exact, given the GLMM model assumptions, in two senses. First, they are not approximations, such as might be obtained by linear approximations (Browne et al. 2005). Second, they are expressions for the parameters of direct interest, rather than convenient substitutes. For example, the calculation (also suggested by Browne et al. 2005) of variance partition coefficients (i.e., intraclass correlations) on an underlying scale provides only a value of the broad-sense heritability (e.g., using the genotypic variance arising from additive genetic effects on the latent scale). ) against the simulated R obs ; via evolutionary predictions applied on the latent scale. Each data point is the average over 10,000 replicates of 10,000 individuals for various latent heritabilities h 2 lat (0.1, 0.3, 0.5, 0.8), latent population mean (m from 0 to 3), and proportion of selected individuals (5%, 10%, 20%, 30%, 50%, 70%, 80%, 90%, and 95%, varying from black to blue). The 1:1 line is plotted in black. The top panels ("Immediate") show simulations for the response after a single generation, which include both a permanent and a transient response to selection arising from linkage disequilibrium. The bottom panels ("Permanent") show simulation results modified to reflect only the permanent response to selection.

Supplementary Information
Throughout this document, when the mean and variance of the Normal distribution probability and cumulative density functions are not mentioned, they are assumed equal to 0 and 1, respectively for the mean and variance. Hence, by default, f N ( ) and Φ N ( ) correspond to a standard Normal distribution.

A Proof for analytical solutions for binary traits
Equivalence between a Binomial/Probit GLMM and the threshold model We consider the probability of the observed data z to be 1, knowing that the latent trait value is (hence from the GLMM perspective): where X is a random variable following a standard Normal distribution. Let be a variable such that = −X, then also follows a standard Normal distribution. This allows us to rewrite the above equation as: which is the probability defined from the threshold model perspective. The addition of the term, which has a variance of 1, explains the appearance of the so-called "link variance". Note that the exact same reasoning apply to the logit link function, which inverse function is the cumulative distribution function of a logistic distribution of location 0 and scale 1. Thus, the "link variance" associated with a logit link is π 3 /2. This equivalence, and the fact that the liability and expected data scales are different is illustrated in Fig. S1.

Latent scale
Expected data scale  Figure S1: Comparison between a Binomial/probit model (left) and a threshold model (right). GLMMs are characterised by a probit-link transformation followed by a Binomial distribution, whereas the threshold model uses a threshold on the liability scale to directly define the observed binary values. Deterministic relationships are denoted using grey plain arrows, whereas stochastic relationships are denoted using grey dashed arrows.
Observed phenotypic mean Let p be the average phenotype (as well as the probability of 1, which is an equivalent definition). Note that because of the equivalence between the GLMM and the threshold model: which provides a quick analytical way to compute p. If fixed effects are included in the model, p is simply this calculation averaged over the elements of Xb: Observed phenotypic variance The observed variance of the phenotype only depends on the mean p and is p(1 − p). This is a property of a binomial distribution with only one trial and is consistent with Eq. ??: This very simple analytical solution allows to easily compute V P,obs . Of course, when fixed effects are included, p should be computed using Eq. S4.  equation and the threshold model framework, one would compute the observed-scale heritability as:

Consistency with Dempster & Lerner equation Using
Note that the V P + 1 arise because of the addition of the so-called "link variance" . The term t is the probability density of a standard normal distribution evaluated at the pth quantile. Hence (standardising the latent distribution): On the other hand, using our framework, one would compute the observed heritability by computing Ψ as in Eq. ??, and combine it with Eqs. ??&??: By comparing Eqs. S6&S8, one can see the identity holds if, and only if: In order to prove this identity, let us compute the ratio between the two: Note that, if fixed effects are included in the model, Ψ can be computed by averaging over them, as in Eq. S4: Ψ = 1 N i f N (0, µ + (Xb) i , V P + 1) (S11)

B Proof for analytical solutions for Poisson traits
Observed phenotypic mean The observed phenotypic mean, hereafter noted λ, is the quantity (in absence of fixed effects): λ = exp( )f N ( , µ, V P )d = exp(µ + V P /2) (S12) after simplifications in Mathematica. Again, when fixed effects are included, it suffices to average over them: where λ i is the observed mean conditional to (Xb) i .
Expected-scale variance In absence of fixed effects, the expected-scale variance is defined as follow (using Keonig's formula): which, using Mathematica, simplifies into: When fixed effects, are included in the model, the formula does not simplify as much, because of the averaging: V P,exp = exp(V P ) 1 N i exp(2µ + 2(Xb) i + V P ) − λ 2 (S16) Note that λ should be computed according to Eq. S15 in that case. Let us define the parameter Λ as so that V P,exp = Λ exp(V P ) − λ 2 . The parameter Λ is the average of the squared values of λ i . Unfortunately, Λ = λ 2 , hence there is no further simplification.
Distribution variance Because the variance of a Poisson distribution is equal to the mean, the distribution variance reduces to λ: V dist = exp( )f N ( , µ, V P )d = λ (S18) When fixed effects are included in the model, λ should be computed as in Eq. S15.
Observed-scale additive variance In order to compute the observed-scale additive variance, we need the parameter Ψ defined in Eq. ?? in the main text. Again, because the derivative of an exponential is an exponential, the calculation reduces to λ: Once again, when fixed effects are included in the model, λ should be computed as in Eq. S15. The observed-scale additive variance is then computed as Ψ 2 V A = λ 2 V A .
Observed-scale heritability In presence of fixed effects in the model, the heritability is consequently the "simple" following ratio: Negative-Binomial distribution All the above results can be extended to the Negative-Binomial distribution, which, compared to the Poisson distribution, includes an overdispersion parameter (hereby noted θ). The new parameter θ only affects the distribution variance such as: h 2 obs = λ 2 V A Λ exp(V P ) − λ 2 + λ + exp(2(µ + V P ))/θ (S21)

C Calculation of the Price-Robertson identity
The Price-Robertson identity Double-integration can be difficult to solve, but we can simplify further the computation by noticing that: Noting that we can simplify Eq. S24 into ∆µ = cov(a, W exp ) = aE[W exp |a]f N (a, 0, V A )da.
This computation of the expected response on the latent scale is the one implemented in the QGglmm R package.

D Code for the R package QGglmm
The up-to-date code of the package can be found at the following GitHub repository: https://github.com/devillemereuil/qgglmm The package can be downloaded and installed in R from the same repository. It requires the packages mvtnorm and R2Cuba.