Abstract
Given a sample of genome sequences from an asexual population, can one predict its evolutionary future? Here we demonstrate that the branching patterns of reconstructed genealogical trees contains information about the relative fitness of the sampled sequences and that this information can be used to predict successful strains. Our approach is based on the assumption that evolution proceeds by accumulation of small effect mutations, does not require species specific input and can be applied to any asexual population under persistent selection pressure. We demonstrate its performance using historical data on seasonal influenza A/H3N2 virus. We predict the progenitor lineage of the upcoming influenza season with near optimal performance in 30% of cases and make informative predictions in 16 out of 19 years. Beyond providing a tool for prediction, our ability to make informative predictions implies persistent fitness variation among circulating influenza A/H3N2 viruses.
https://doi.org/10.7554/eLife.03568.001eLife digest
When viruses multiply, they copy their genetic material to make clones of themselves. However, the genetic material in the clone is often slightly different from the genetic material in the original virus. These mutations can be caused by mistakes made during copying or by radiation or chemicals. Further mutations arise when the clones multiply, which means that, after many generations, there will be quite large differences in the genetic material carried by many members of the population. Most mutations have little or no effect on the ‘fitness’ of an individual  that is, on its ability to survive and multiply  but some mutations do have an influence.
Some viruses, like seasonal influenza (flu) viruses, can mutate so rapidly that the most common strains change from year to year. This is why new flu vaccines are needed every year. To date most attempts to predict the evolution of seasonal flu viruses have focused on identifying specific features within the genetic sequences that might indicate fitness. However, such approaches require lots of information about the viruses, and this information is often not available.
To address this problem, Neher, Russell and Shraiman have developed a more general method to predict fitness from virus genetic sequences. First, a ‘family tree’ for a virus population  which shows how each strain of the virus is related to other strains  was constructed by comparing the genetic sequences.
The next step was based on the observation that as long as differences in fitness arise from the accumulation of multiple mutations, the branching structure of this family tree will bear a visible imprint of the natural selection process as it unfolds. Using this insight and methods borrowed from statistical physics, Neher et al. then analyzed the shape and branching pattern of the tree to work out the fitness of the different strains relative to each other.
Neher et al. tested the method using historical influenza A virus data. In 16 of the 19 years studied, the family tree approach made meaningful predictions about which viruses were most likely to give rise to future epidemics. The ability to predict influenza virus evolution from tree shape alone suggests that influenza virus evolution may be more predictable than previously expected.
https://doi.org/10.7554/eLife.03568.002Introduction
A general method to predict the evolutionary trajectories of asexual populations would be extremely valuable for understanding the population dynamics of pathogens or of malignant cells. For example, the vaccine against seasonal influenza needs to be updated frequently since virus populations evolve to evade increasing immunity among humans (Hampson, 2002; Nelson and Holmes, 2007). Reliable prediction of the strains most likely to circulate in the upcoming season, and particularly the ability to predict antigenic change, would be transformative to the vaccine strain selection process.
Predictability from genetic sequence data requires heritable fitness variation among the sampled sequences. Neutral evolution  population dynamics in the absence of selective pressure  is by definition unpredictable: all sequences are equally fit. Yet even when selection determines the success of individual lineages, predictability depends on the effect size of fitnessaltering mutations. Two competing scenarios of adaptive evolution are illustrated in Figure 1. If evolution proceeds via rare mutations with large phenotypic effects, the population is homogeneous in fitness most of the time (Figure 1A). In this case large effect mutations can convert any genome into the fittest in a single generation. Prediction from sequence alone is only possible if the time of sampling happens to be during a brief sweep of a large effect mutation. In contrast, continuous accumulation of small effect mutations (Figure 1B) results in a gradual change in fitness of lineages and persistent variation in fitness (Tsimring et al., 1996). A genealogical tree then potentially contains predictable patterns: the fitness of most lineages decreases over time (movement to the left in Figure 1), due to a changing environment or the accumulation of weakly deleterious mutations. Only a few adapt rapidly enough to stay among the most fit in the population (Rouzine et al., 2003; Brunet et al., 2007; Desai and Fisher, 2007; Hallatschek, 2011; Goyal et al., 2012; Desai et al., 2013; Neher and Hallatschek, 2013) and thus have a chance to continue into the future.
In the specific context of human seasonal influenza A/H3N2 viruses, the study of their antigenic evolution has identified specific aminoacid substitutions with large phenotypic effects (Koel et al., 2013), that have been responsible for the observed stepwise replacement of antigenic variants over time (Smith et al., 2004). Yet, the evolution of seasonal influenza viruses is also marked by the continuous accumulation of mutations that have small or no antigenic effects but nevertheless potentially affect fitness (Bhatt et al., 2011; Strelkowa and Lässig, 2012), for example compensatory or permissive mutations (Gong et al., 2013). Previous attempts at predicting the evolution of seasonal influenza viruses have tried to identify molecular signatures that are predictive of future success (Bush et al., 1999) or used clustering approaches based on amino acid sequences (Plotkin et al., 2002). Recently, Łuksza and Lässig (2014) constructed an explicit fitness model based on sequence data from the hemagglutinin (HA1) surface protein. The utility of these explicit models depend on the availability of extensive historical data or a detailed understanding of the influenza virus sequencetofitness map.
Rather than constructing an explicit fitness model, which is currently impossible for most organisms, we developed a general algorithm to infer fitness from the shape of reconstructed genealogical trees without using any molecular information. Our approach is based on a simple idea: since high (Malthusian) fitness implies many offspring, which in turn implies branching, the shape of the tree can be exploited to infer fitness (Dayarian and Shraiman, 2014). Here, we developed a quantitative model of fitness dynamics on genealogical trees, which is based on recent progress in understanding the statistical structure of genealogies in adapting populations (Neher and Hallatschek, 2013). Following Neher and Hallatschek (2013), our model assumes: 1) that the population is under persistent directional selection and 2) fitness changes along lineages in small steps through the continuous accumulation of small effect mutations (Figure 1B). This fitness model resembles the wellknown infinitesimal model of quantitative genetics (Falconer and Mackay, 1996) in the sense that many small effect mutations give rise to a bellshaped fitness distribution on which selection acts (Neher, 2013). However, the infinitesimal model itself provides no insight into the relationship between the structure of genealogical trees and fitness: this insight stems from the more recent work on the dynamics of adaptation in large asexual populations (Tsimring et al., 1996; Rouzine et al., 2003; Desai and Fisher, 2007; Desai et al., 2013 ; Neher and Hallatschek, 2013) and in populations with occasional reassortment (Neher and Shraiman, 2011). After testing the algorithm on simulated data we apply our algorithm to historical data on human seasonal influenza A/H3N2 virus hemagglutinin sequences. Despite multiple confounding factors – discussed below – we find that our algorithm makes informative predictions about influenza virus evolution.
Results
The fitness distribution on a tree
Intuitively, we expect that an exceptionally fit internal node in a genealogical tree will be at the root of a rapidly branching, and hence expanding, clade (e.g. node 2 in Figure 2A). Similarly, extant individuals with high fitness are likely to be recent descendants of internal nodes with high fitness (e.g. node 3 in Figure 2A). By tracing fitness along lineages and integrating across the tree, the algorithm described below makes this intuition precise and quantitative.
As input, our algorithm requires a genealogical tree, e.g. a tree reconstructed from a sample of genomic sequences. For a given tree T, we derived the joint probability distribution $P\left(\mathbf{x}T\right)$ for the fitnesses $\mathbf{x}={x}_{0},{x}_{1},\dots $ of all internal nodes (corresponding to reconstructed ancestral sequences) and external nodes (corresponding to the sampled genomes). Fitness x_{i} of each node i is measured relative to the population mean fitness at the time when the corresponding individual was sampled. $P\left(\mathbf{x}T\right)$ is given by a product of propagators $g(\xb7\xb7)$ for each branch
where ${p}_{0}\left(x\right)$ is the fitness distribution in the population (see ‘Materials and methods’ for details) and the index i runs from 0 (the root) through all ${n}_{\text{int}}$ internal nodes. The indices ${i}_{1}$ and ${i}_{2}$ denote the two children of node i, while $Z\left(T\right)$ ensures normalization of the distribution. Eq. (1) has a structure similar to the expression for the likelihood of sampled sequences, given a tree T, defined in phylogenetic analysis (Felsenstein, 2003). The main difference is that instead of defining the probability of mutation from one character state to another, the branch propagator $g\left({x}_{j},\text{\hspace{0.17em}}{t}_{j}{x}_{i},\text{\hspace{0.17em}}{t}_{i}\right)$ describes the likelihood of the lineage to connect an ancestor with fitness ${x}_{i}$ at time ${t}_{i}$ to a child with fitness ${x}_{j}$ at a later time ${t}_{j}$ (child in sense of a subclade in the tree, rather than direct offspring). Note that a branch connecting nodes i and j implies that all sampled descendants of i are also descendants of j, i.e., the ‘branch does not branch’. This nonbranching condition is part of the branch propagator which therefore depends on the fraction ω of the total population that is represented in the sample (see ‘Materials and methods’ for details).
Figure 2A illustrates the propagator as function of child fitness ${x}_{j}$, which describes the fitness distribution of children, conditioned on ancestral fitness ${x}_{i}$. At small $\text{\Delta}t={t}_{j}{t}_{i}$, the distribution is peaked around the ancestor. At long times, memory of ancestral fitness is lost and the propagator approaches the population distribution. Backwards in time, $g\left({x}_{j},\text{\hspace{0.17em}}{t}_{j}{x}_{i},\text{\hspace{0.17em}}{t}_{i}\right)$ describes (using the Bayesian inversion formula [Felsenstein, 2003]) the fitness distribution of the ancestor i given a sampled child with fitness ${x}_{j}$ at time ${t}_{j}$. Far in the past, the ancestor fitness distribution converges to a narrow peak in the high fitness tail (Rouzine and Coffin, 2007; Neher and Hallatschek, 2013). See ‘Materials and methods’ for a more detailed discussion.
The fitness dynamics along a lineage resemble a random walk on which each step corresponds to a mutation with a certain effect on fitness. This walk is biased towards high fitness by selection, which makes fitter lineages more likely to survive and eventually be sampled. If many mutations contribute, the dynamics of fitness along branches can be approximated by selectionbiased diffusion (SBD) as described in ‘Materials and methods’, Equation (9) – Equation (11). The fitness diffusion constant of a branch is given by $D=u\langle {s}^{2}\rangle /2$, where u is the genome wide mutation rate, and $\langle \xb7\rangle $ denotes the average over the effect sizes of mutations (Tsimring et al., 1996). Fitness diffusion and stochasticity due to finite populations determine the fitness variance ${\sigma}^{2}$ in the population (Cohen et al., 2005).
Based on the SBD approximation derived in ‘Materials and methods’, we implemented a program that numerically solves for the branch propagator and, by going up and down the tree using a ‘Message Passing’ (similar to dynamic programming) technique (Mézard and Montanari, 2009), calculates the marginal fitness distribution for each node as illustrated in Figure 2A, for details see ‘Materials and methods’.
Fitness inference is insensitive to model assumptions
To explore the extent to which the idealized SBD model assuming infinitesimal mutations is able to infer fitness when evolution happens via discrete mutations, we simulated a simple model of evolution with fixed fitness variance ($\sigma =0.03$) (Zanini and Neher, 2012). In order to mimic adaptive evolution in a changing environment we introduced sites in the simulated genome that allow for beneficial mutations at rate ${n}_{A}=0.02,\dots ,0.16$ per generation in a genome otherwise dominated by deleterious mutations. Every 200 generations, we took a random sample of sequences from the simulated population. We recorded the fitness of each sampled sequence, which we will compare with our inferences below.
In order to apply the fitness inference method to a reconstructed tree, we needed to parameterize the model and convert branch length measured as similarity between sequences into time. When measuring time in units of ${\sigma}^{1}$, the SBD model has only one free dimensionless parameter $\text{\Gamma}=D{\sigma}^{3}$ that describes the relative importance of selection and stochastic processes. $\text{\Gamma}$ is inversely proportional to the square root of the logarithm of the population size and hence does not vary greatly (Tsimring et al., 1996; Cohen et al., 2005). We used $\text{\Gamma}=0.2$ and 0.5 corresponding to moderate and more rapid diffusion relative to selection, respectively. Coalescent theory of adapting population connects pairwise sequence similarity to $\text{\Gamma}$. The choice of $\text{\Gamma}$ fixes the conversion from branch length to time via Equation (20) (Neher and Hallatschek, 2013). In addition to $\text{\Gamma}$ we need to fix ω. Since we used a sample of 200 sequences out of a total of $N=20000$ sequences, $\omega =0.01$ (ultimately, $\omega /\sigma $ enters the algorithm, see ‘Materials and methods’). Using these parameters, we applied our method to a reconstructed tree and report the mean posterior fitness as ‘inferred fitness’ for each internal and external node.
Figure 2B shows the inferred vs true fitness for a typical simulation. The rank order of fitness is well predicted (Spearman's correlation coefficients around 0.5). Figure 2C shows that fitness rankings improve with increasing mutation rates. This is expected, since increased mutation rates correspond to a larger number of mutations that contribute to fitness and make the SBD model a better approximation. This behavior is consistent across different rates of adaptive mutations and depends weakly on our choice of $\text{\Gamma}$ (Figure 2—figure supplement 1). Large $\text{\Gamma}$ performs better at low mutation rates when fitness diversity is dominated by only a few mutations, corresponding to more rapid fitness diffusion relative to selection and coalescence.
High inferred fitness predicts progenitor sequences
Next, we asked whether sequences that we predict to have high fitness are close in sequence to the progenitor lineage of future populations. Figure 2D shows the Hamming distance $\text{\Delta}\left(\text{prediction}\right)$ of the sequence of the individual with the highest fitness estimate to the population 200 generations in the future vs the $\text{\Delta}\left(\text{minimal}\right)$ for the posthoc optimal pick. The measure $\text{\Delta}\left(\text{sequence}\right)$ is normalized to the average Hamming distance between the present and future population. In 40 out of 100 simulations, the topranked sequence is an almost optimal pick (points close to the diagonal in Figure 2D). In 8 out of 100 cases, the prediction is better than a random pick (points below the dashed line Figure 2D).
The fitness inferences shown in Figure 2B–C used 200 sequences sampled from the same generation. However, the influenza data to which we apply our algorithm below is continuously sampled throughout the year. In Figure 2—figure supplement 2 we reproduce panels B–C using 200 sequences sampled from the simulation over a time interval of 100 generation. This gives highly similar results.
Local branching density as a heuristic ranking
In general, faithful inference of the posterior fitness distribution requires numerical solution for the branch propagators and knowledge of the parameters $\text{\Gamma}$ and $\omega /\sigma $. We observed, however, that the ranking of nodes by fitness and the prediction of progenitor lineages depends little on these parameters. This insensitivity suggests that the fitness ranking depends primarily on a more universal quantity on which the inference algorithm builds.
In ‘Materials and methods’, we show that the fitness estimates of internal nodes increase with the total branch length downstream of these nodes–at least for short time periods. The downstream tree length acts as a “polarizer” that pushes the fitness distribution of the node away from the population mean towards high fitness. For given number of descendants, the length of a subtree is maximal if it is starlike. This is intutive, as starlike subtrees indicate rapid branching (or multiple mergers backwards in time) which is expected for high fitness nodes. Conversely, prolonged absence of branching of a lineage indicates relatively low fitness.
If fitness changes gradually along lineages, high fitness of a node will coincide with both upstream and downstream branching–at least within a certain neighborhood of the tree. The relevant size of the neigborhood will depend on how rapidly fitness decorrelates along lineages. Based on this intuition, we developed a modelindependent heuristic ranking algorithm: for each internal and terminal node i, we calculate a local branching index (LBI) ${\lambda}_{i}\left(\tau \right)$ defined as total surrounding tree length exponentially discounted with increasing distance from the focal node. The scale τ of the exponential discounting corresponds to the size of the relevant tree neighborhood or the time over which fitness is ‘remembered’ across the tree. Within the SBD model, τ corresponds to the equilibration time scale of lineage fitness in the high fitness tail, which is of the order ${T}_{c}/\sqrt{\text{log}N}$, where ${T}_{c}$ is the coalescence time scale (Neher and Hallatschek, 2013).
The LBI can be efficiently calculated with the same message passing techniques we used to calculate the posterior fitness distribution. Remarkably, rankings obtained by this simple heuristic are almost as accurate as fitness inference using the more complex SBD model. Figure 3 shows Spearman’s correlation coefficient of ${\lambda}_{i}\left(\tau \right)$ with true fitness as a function of pairwise difference for different memory time scales τ and compares it to the ranking via mean inferred fitness. The heuristic ${\lambda}_{i}\left(\tau \right)$ not only correlates well with true fitness in simulations but sequences with the highest ${\lambda}_{i}\left(\tau \right)$ also tend to be close to the progenitor of future populations (Figure 3—figure supplement 1). Comparing the performance of the LBI to the full fitness inference in Figure 3, we concluded that a neighborhood size should be $\tau \approx 0.0625$ of the average pairwise distance in the sample.
Prediction of seasonal influenza A/H3N2 progenitor lineages
Having validated our algorithm on simulated data and presented a model independent method to rank sequences, we attempted to predict progenitor sequences of seasonal influenza A/H3N2 viruses. We used samples of influenza A/H3N2 virus hemagglutinin (HA1) sequences from one year (May–February, Asia and North America, at most 100 sequence from each region) to predict the closest relative of the population circulating in the following (northern hemisphere) winter (October–March, Asia and North America) for the years 1995–2013. All HA1 domain sequences used for our analysis came from the public domain and are available from Influenza Research Database (www.fludb.org (Squires et al., 2012)). Next, we built maximum likelihood trees using fasttree (Price et al., 2009), collapsed zerolength branches into polytomies, and ranked external and internal nodes using the LBI. We set the memory time scale to $\tau =0.0625$ in units of average pairwise distance as suggested by the simulation data. Details of the data sets used for making predictions and discussion of potential biases are given in ‘Materials and methods’. Figure 4A&B show example trees of the prediction and test sets for 2007.
Figure 4C shows the nucleotide distance of our prediction to the A/H3N2 virus population of the next season, both for the topranked internal and external node of each year. Using the highest ranked external node (Figure 3C, black squares) is similar to using the highest ranked internal node (Figure 3C, red diamonds) in all years but 1997. The highest ranked internal node predict years 1997–1999, 2003, 2006–2009, and 2013, reasonably well. Notably, they fail in 1995, 1996, and 2002, while being of intermediate accuracy in the remaining years. The dependence of the prediction accuracy on the neighborhood size τ is shown in Figure 4—figure supplement 1. We also predicted successful progenitor strains using the fitness inference based on the SBD model which yields results very similar to the ranking by LBI–sometimes slightly better, sometimes worse depending on parameter choice.
We compared our predictions to vaccine strain predictions obtained by Łuksza and Lässig (2014) who predict progenitors of future epidemics as we do here, albeit using an influenza specific model with four parameters, two of which are trained for each individual prediction on data from several preceding years. On average, using the same time cutoffs for prediction (February to predict October) as we used above, Łuksa and Lässig achieve an accuracy comparable to our parameterfree ranking based (see Figure 4—figure supplement 2). Interestingly, these two rather different approaches yield very similar predictions on a year to year basis. One potential explanation for this concordance is an ad hoc aspect of Łuksa and Lässig's model meant to capture epistatic interactions: the total number of synonymous mutations downstream of each clade is used as an additional predictor. The number of synonymous mutations is strongly correlated with tree length and hence with ${\lambda}_{i}\left(\tau \right)$.
To quantify prediction quality across years, we define the distance measure $d=\left(\text{\Delta}\right(\text{prediction})\text{\Delta}(\text{minimal}\left)\right)/(1\text{\Delta}(\text{minimal}\left)\right)$ such that an optimal prediction has $d=0$ and a random pick has $d=1$. The average of d over all years is denoted by $\overline{d}$. Figure 5 shows bootstrap distributions of $\overline{d}$ for our methods and compares it to Łuksza and Lässig (2014) as well as two naive prediction methods: (i) a growth rate estimate of individual clades obtained by fitting an exponential curve to the fraction of the total sequences that are part of this clade in three time intervals between May and February, and (ii) the sequence of the most advanced node in a ladderized tree. Predictions with the method described here and by Łuksza and Lässig (2014) are comparable within errorbars, while the two naive estimators do substantially worse on average. The dependence of the average predictive power of the LBI on the neighborhood size τ is shown in Figure 5—figure supplement 1.
Inferred fitness increases are associated with epitope mutations
Changes in fitness along branches can be associated with the types of mutations on those branches. We found that branches corresponding to the top quartile of differentials of ${\lambda}_{i}\left(\tau \right)$ are enriched for nonsynonymous substitutions over synonymous mutations. Restricting nonsynonymous mutations to the epitopes A–D (used in (Łuksza and Lässig, 2014) and defined in (Shih et al., 2007)) increases this enrichment to approximately 2fold, see Table 1. Further restriction to the 7 loci identified Koel et al. increases the enrichment slightly, but their number is small and the power to detect additional enrichment is low. These findings are consistent with the notion that influenza evolution is driven by antigenic novelty (Wiley et al., 1981; Hampson, 2002; Smith et al., 2004) and provide independent confirmation of the power of the sequences ranking and fitness inference algorithm.
Discussion
Starting with a model of adaptive evolution, we developed a probabilistic description of the fitness dynamics on genealogical trees and presented an algorithm to infer fitness of individual nodes in the tree. We validated this algorithm using trees reconstructed from simulated sequences and showed that the sequence with the highest inferred fitness tends to be a close match to the progenitor of future populations. Analysis of the model revealed that a simple quantity–the local branching index (LBI)–determines the fitness estimates and can be used to rank sequences by fitness with similar accuracy as the full fitness inference algorithm. The only parameter of the LBI is the size of the neighborhood on the tree and a suitable value can be chosen from simulated data.
Our fitness inference framework is based on the selectionbiased diffusion model that assumes evolution proceeds via accumulation of many small effect mutations. As expected, its predictive power increases with increasing level of nonneutral genetic diversity (Figure 2C). However, predictive power is retained down to rather low pairwise distances, see Figure 2—figure supplement 1, where the model is a poor approximation. This suggests that the relationship between fitness and the structure of genealogical trees is more universal than the specific details of the mutation effect distribution that drive evolutionary dynamics (Neher and Hallatschek, 2013). The essence of this relationship between fitness and tree shape is picked up by the LBI. When applied to influenza A/H3N2 viruses sequences, a ranking by LBI predicts progenitor lineages with high accuracy.
One of the dominant paradigms for influenza A/H3N2 virus evolution has been the exploration of ‘neutral’ networks, punctuated by bursts of rapid adaptation through large effect mutations (Koelle et al., 2006; Nimwegen et al., 1999). In contrast, our ability to make meaningful predictions from the shape of genealogical trees of influenza virus sequences suggests that fitness variation persists in A/H3N2 populations. Fitness in the context of seasonal influenza viruses includes antigenic evolution as well as compensatory and deleterious mutations–within HA and other segments–that may contribute to fitness variation, shape the genealogies, and be determinants of future success. This conclusion is consistent with other existing evidence for ubiquitous selection in A/H3N2 populations (Bhatt et al., 2011; Strelkowa and Lässig, 2012). The applicability of our fitness inference scheme and the LBI ranking is further supported by the substantial enrichment in the number of nonsynonymous substitutions at epitope loci in the lineages with predicted high relative fitness. These epitopes historically have high $dn/ds$ suggesting positive selection. Our model is agnostic to sequence and protein structure but nevertheless associates branches containing these mutations with increasing fitness.
It is also clear that large effect mutations, such as the ones associated with antigenic cluster transitions (Koel et al., 2013) can play an important role in the evolution of human seasonal influenza viruses. Many of the years in which our predictions are suboptimal (e.g., 1995, 2002, and 2004) correspond to antigenic cluster transitions in which antigenic properties changed drastically via specific large effect mutations. We tried to improve predictions by assigning additional positive fitness increments to substitutions at those loci identified by Koel et al. While this did improve results in some years, it also resulted in false positives which erased the overall improvement in predictive power. In some years in which these mutations are important, they tend to occur on many genetic backgrounds. This could explain why these mutations be themselves are not very predictive in our framework.
The fact that the branching patterns of reconstructed influenza A/H3N2 trees are predictive is surprising. In addition to occasional large effect effect mutations, e.g. those that cause substantial antigenic change, confounders such as the heterogeneity of sampling, complicated migration patterns, and demographic substructure should hamper prediction. The insensitivity to local oversampling is expected from the structure of our algorithm which senses the total length of subtrees (rather then the number of leaves). Local oversampling will add many very short branches that perturb the total tree length only slightly. Subpopulations of different size, seasonality, and migration patterns, however, will perturb the coalescence patterns in parts of the reconstructed tree and should decrease predictability. Successful prediction therefore reinforces the conclusion that circulating influenza A/H3N2 populations harbor fitness variation. On the other hand, predictions might be improved by combining the shape of genealogical trees with antigenic information (Bedford et al., 2014), biophysical and structural knowledge (Koel et al., 2013), patterns of past evolution (Łuksza and Lässig, 2014), and plausible geographic sources (Russell et al., 2008; Lemey et al., 2014). However, each of these refinements introduces additional parameters into the model that need to be trained if not known a priori.
A defining feature of our method to predict evolution is that it can operate on a static set of sequences from a single time point and does not require historical data. We use historical data for influenza A/H3N2 only to validate the predictions. In Figure 5, we compare our results to a method that explicitly uses historical data (available for the influenza A/H3N2) to identify low frequency but expanding clades. By extrapolating their expansion into the future, one can anticipate the dominant strains of next year. Interestingly we found that prediction based on the reconstructed genealogy not only captures similar information, but also performs comparably if not better, even without access to historical data.
In summary, we have shown that the shape of reconstructed genealogies holds information about the relative fitness of the sampled individuals that can be exploited to predict the genetic composition of future populations, at least when fitness differences depend on multiple mutations. Since our algorithm requires nothing but a reconstructed genealogy as input, it should be applicable in many scenarios ranging from RNA viruses to cancer cell populations.
Materials and methods
Derivation of the fitness inference algorithm
Request a detailed protocolOur algorithm is based on a branching process approximation to replicating clones within a finite population. Here, we first show how we use this approximation to calculate the probability that offspring of an individual with a certain fitness are sampled. From there, we derive an equation for the branch propagators, that we solve numerically, and combine the propagators into the expression for the posterior fitness distribution given in Equation (1).
Offspring number distributions
Request a detailed protocolThe quantitative probabilistic description of clonal propagation is provided by the distribution $P\left(nx,\text{\hspace{0.17em}}t\right)$ of the number of offspring n after time t given the ancestor had fitness x. Using a ‘1ststep’ equation, that is, writing an equation for infinitesimal changes at the initial point $\left(y,\text{\hspace{0.17em}}t\right)$, we find for the backwards master equation for $P\left(nx,\text{\hspace{0.17em}}t\right)$
where the death rate is set to one and the birth rate is given by $1+x$ (see also (Neher and Hallatschek, 2013)). The first term corresponds to the probability of nothing happening in the time interval $\text{\Delta}t$ and the second term in $\langle \xb7\rangle $ corresponds to mutations averaged over the distribution $\mu \left(s\right)$ of possible fitness effects s with the total mutation rate given by $u={\displaystyle \int}\text{\hspace{0.17em}}ds\text{\hspace{0.17em}}\mu \left(s\right)$. The last term corresponds to replication of the individual. At the earlier time point $t+\text{\Delta}t$, fitness x was larger by $\text{\Delta}tv$ due to the deterioration of the environment with velocity v. So far, this equation holds for arbitrary distribution of fitness effects. To make analytical progress, we assume that the distribution of mutational effects is shorttailed (exponential or steeper) and that the total mutation rate u is large compared to the typical effect. In this case, Equation (2) can be rearranged into a differential equation where mutations are captured by the mean mutational effect and the mutational variance (Tsimring et al., 1996; Cohen et al., 2005; Neher and Hallatschek, 2013).
The second term on the right hand side corresponds to the directional effect of mutations on fitness, while the third term to the diffusive dynamics of fitness due to mutations. To further analyze the behavior of $P\left(nx,\text{\hspace{0.17em}}t\right)$, it is useful to consider the generating function ${\psi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right)={\displaystyle {\sum}_{n}{\left(1\omega \right)}^{n}}P\left(nx,\text{\hspace{0.17em}}t\right)$, which obeys
Defining ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right)=1{\psi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right)$, the fitness diffusion constant $D=u\langle {s}^{2}\rangle /2$, and the variance in fitness ${\sigma}^{2}=vu\langle s\rangle $, we have
with initial condition ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}0\right)=\omega $. This equation for the generating function can be solved numerically or analytically in limiting cases. To approximate the fitness distribution on a given tree, we will solve this equation numerically.
It is also useful to explicitly define the ‘reproductive value’ $R\left(x,\text{\hspace{0.17em}}t\right)$ defined as the expected number of offspring of a genotype with fitness x after t generations, $R\left(x,\text{\hspace{0.17em}}t\right)={{\displaystyle \sum}}_{n}nP\left(nx,\text{\hspace{0.17em}}t\right)$. From the definition of the generating function it follows that $R\left(x,\text{\hspace{0.17em}}t\right)={\partial}_{\omega}{\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right){}_{\omega =0}$. Differentiating Equation (5) w.r.t. ω and noting that ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right){}_{\omega =0}=0$ yields a linear equation for $R\left(x,\text{\hspace{0.17em}}t\right)$ (essentially Equation (5) without the term ${\varphi}^{2}$) which can be readily integrated. The expected number of offspring of one individual after time t given it initially had fitness x is
This approximation is only valid for times short compared to the coalescence time ${T}_{c}$, but it offers important insight into the dynamics of lineages: Initially, the lineage grows into a clone with rate x. The second term in the exponent describes how this growth slows since the remainder of the population is adapting with rate ${\sigma}^{2}$. The last term accounts for the fact that the offspring we consider can themselves change in fitness through mutations, the action of which is captured by the fitness diffusion constant D.
Lineage sampling probability
Request a detailed protocolThe generating function ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right)$ derived above has the interpretation of the probability that a lineage is represented in a sample of size M from a population of size N with $\omega =M/N$. From its definition, we have
Each term ${\left(1\omega \right)}^{n}$ is the probability that none of the n offspring are in the sample. By summing over the distribution of n and subtracting the sum from 1, one obtains the probability of at least one offspring being sampled. The generating function can be accurately approximated in regimes where ${\varphi}_{\omega}$ is small and the nonlinear term in Equation (5) can be neglected, as well as the regime of large enough x where ϕ ‘saturates’: ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}t\right)\approx x$, see (Neher and Hallatschek, 2013). These two asymptotic solutions can be combined to yield the approximation
Note that this approximation satisfies the initial condition ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}0\right)=\omega $, correctly tends to x for $x>0$ at long times, and recovers the neutral behavior ${\varphi}_{\omega}\left(0,\text{\hspace{0.17em}}t\right)=\omega /\left(1+\omega t\right)$ in the $x={\sigma}^{2}=D=0$ limit.
Branch propagator
Request a detailed protocolHaving calculated the lineage sampling probability, we are now in a position to derive equations governing the behavior of the branch propagator, that is, the probability of there being an individual with fitness x at time $t\prime $ (the child), given it descends from an ancestor with fitness y at time t and all sampled descendants of the ancestor are also descendants of the child. The latter condition amounts to the requirement that in a tree the link between the ancestor and the child does not branch. Using a ‘1ststep’ equation similar to Equation (2), we have
The last term describes a ‘birth’ event in the ancestral lineage with one of the branches surviving up to $t\prime $ (at which time its fitness is in the $[x,x+dx]$ interval) while the other one is not sampled, which occurs with probability $1{\varphi}_{\omega}\left(y,\text{\hspace{0.17em}}t\right)$ at a sampling density ω. The $y\to y+{\sigma}^{2}\text{\Delta}t$ shift in the argument of the term on the lefthandside parametrizes the translation of the mean fitness in time $\text{\Delta}t$. Equation (9) reduces to the differential equation
which is complemented with the initial condition $g\left(x,\text{\hspace{0.17em}}ty,\text{\hspace{0.17em}}t\right)=\delta \left(xy\right)$. In deriving this condition, we have assumed that $y\ll 1$, which is a good assumption when σ (the standard deviation in fitness) is small. The fitness differences in a single generation are small in most populations, such that this assumption is not restrictive. Furthermore, violation of this assumption does not change the qualitative behavior of the $g(\xb7\xb7)$. When inferring fitness on trees, we will generally solve this equation numerically. Some limits, however, can be addressed analytically as we will see below.
Numerical solutions of $g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ are shown in Figure 6. For a fixed ancestor at $\left(y,\text{\hspace{0.17em}}t\right)$, $g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ is the density of offspring with fitness x at time $t\prime $ subject to the following condition: Only one individual from this group of offspring contributes to the sample at present (this is the condition that the lineage connecting $\left(x,\text{\hspace{0.17em}}t\prime \right)$ and $\left(y,\text{\hspace{0.17em}}t\right)$ is unbranched). The propagator $g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ broadens in x as $tt\prime $ increases as shown in Figure 6A for a case of high (red, $y>2$) and low (blue, $y=0$) initial fitness. Figure 6B shows how the integral $\int}dx\hspace{0.17em}g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ increases with t for $y>0$ but decreases for $y<0$. The integral of $\int}dx\hspace{0.17em}g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ differs from the reproductive value $R\left(y,\text{\hspace{0.17em}}tt\prime \right)$, shown as dashed lines in Figure 6B, only in the additional sampling condition.
At fixed $\left(x,\text{\hspace{0.17em}}t\prime \right)$, $g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ is peaked around x for small $tt\prime $ and this peak move to higher fitness as as $tt\prime $ increases and converges against a steady distribution far in the past. This is seen in Figure 6C, where the $g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ is plotted as a function of y. Far in the past $g\left(x,\text{\hspace{0.17em}}t\prime y,\text{\hspace{0.17em}}t\right)$ has a well defined maximum at $y\approx 3\sigma $. This steady distribution is shaped by two opposing trends: Fit ancestors (large y) leave more offspring and are hence more likely sampled. Too fit ancestors, on the other hand, should leave many individuals at time $t\prime $ that ultimately contribute to the sample. The width of the steady state distribution is determined the diffusion constant D.
As a special case, we will sometimes be interested in a terminal branch propagator, which takes the lineage all the way to the present generation, $t\prime =0$. Marginalizing and multiplying by the sampling probability $\omega =M/N\ll 1$ defines the probability of the $\left(y,\text{\hspace{0.17em}}t\right)$ ancestor to be a direct progenitor of a sampled genome: $G\left(y,\text{\hspace{0.17em}}t\right)=\omega {{\displaystyle \int}}^{\text{}}dx\text{\hspace{0.17em}}g\left(x,\text{\hspace{0.17em}}0y,\text{\hspace{0.17em}}t\right)$. Interestingly, for positive y, one expects this probability to initially increase with increasing t because the reproductive value  i.e. expected number of surviving offspring  for relatively fit individuals increases with time, so that their offspring constitute a larger fraction of the population and are therefore more likely to appear in the sample. At longer times however $G\left(y,\text{\hspace{0.17em}}t\right)$ is expected to start decreasing, because it is increasingly unlikely that the lineage emanating from a highly fit ancestor far in the past, remains unbranched (i.e., has only a single descendant in the sample).
For small times and moderate parental fitness y, the term enforcing nonbranching in Equation (10) can be neglected. In this case, the terminal branch propagator simplifies to
and is hence identical to the reproductive value Equation (6).
Treebased inference
Request a detailed protocolArmed with branch propagators we can now write down a joint probability of ancestral fitness on any given tree. Let ${x}_{i}$ denote the fitness of node i starting with $i=0$ at the root of the tree, $i=1,\dots ,{n}_{\text{int}}$ for internal nodes, and $i={n}_{\text{int}}+1,\dots ,{n}_{\text{int}}+{n}_{ext}$ for external nodes. Furthermore, denote the children of node i by ${i}_{j}$, where j runs over the number of children. The joint probability distribution of all nodes in the tree is then given by
where $Z\left(T\right)$ is a normalization factor, ${p}_{0}\left(x\right)$ is the fitness distribution in the population, and the second product runs over all j children of node i. In contrast to Equation (1), Equation (12) allows for polytomies in the tree. In writing down Equation (12), we have made the approximation that the total population size is unconstrained and that different branches of the tree do not interact. In populations dominated by selection, this is a good approximation since coalescent properties depend only weakly on the population size.
This joint probability lives in a too high dimensional space to be practically useful, however, the tree structure makes it easy to marginalize the distribution. We commence ‘integrating out’ the independent fitness variables of the leaves, followed by integrating over the fitness values of the parents of these leaves until we arrive at the root of the tree. This defines an iterative ‘message passing’ process (Mézard and Montanari, 2009) in which the ‘message’ node i sends to its parent ${p}_{i}$ is calculated via
where the product is over all children j of node i (note that the times ${t}_{i}$ and ${t}_{{p}_{i}}$ are fixed properties of the tree). For terminal nodes i without children, ${m}_{\uparrow i}\left({x}_{{p}_{i}}\right)$ is simply the terminal branch propagator. Similarly, we calculate “messages” passed downstream to child j of node i:
The integrand is the product of the downstream message from the parental node and the upstream messages from all children of node i other than child j. This product is further multiplied by the branch propagator to child j and integrated over the fitness of node i.
Having calculated the up and down messages for each branch, we can simply calculate the marginal distributions of fitness ${x}_{i}$ by multiplying all messages going into a node i.
where ${Z}_{i}$ assures normalization. Our inference uses the mean marginal fitness to rank internal and external nodes.
For a preterminal node, the ‘upmessage’ (Equation (13)) involves multiplying the terminal branch propagators of all its children. If the node is recent, we can use approximation Equation (11) and obtain
where ${T}_{tot}$ is total tree length downstream of node i, which polarizes the fitness of node i towards the high fitness edge. For a given number of descendants, this total tree length is maximized by a star topology. This corresponds to recent findings that multiple mergers in genealogies are associated with rapid expansion of clones founded by exceptionally fit individuals (Brunet et al., 2007; Desai et al., 2013; Neher and Hallatschek, 2013).
Calculating the local branching index (LBI)
Request a detailed protocolThe LBI defined as the integrated exponentially discounted tree length surrounding a node can be calculated in a very similar way to the message passing framework used above to evaluate the fitness distributions. The corresponding ‘up’messages to the parent of node i is simply
where ${b}_{i}$ is the branch length of node i and the sum runs over the children ${i}_{j}$ of node i. Similarly, the down message from a parent i to child ${i}_{j}$
After having calculated all up and down messages, the exponentially discounted tree length is given by
Implementation of the inference algorithm
View detailed protocolThe fitness inference algorithm is implemented in Python using the libraries SciPy and NumPy (Oliphant, 2007). Roughly, we have implemented one class, survival_gen_func, that integrates the fitness propagator on a discrete fitness grid. This class is used by the class fitness_inference to calculate the marginal distribution of fitness at each external and internal node of a given tree. The calculation of the marginals is done using a message passing approach (Mézard and Montanari, 2009). This fitness inference class is then subclassed to accommodate influenza specific features. All code associated with this manuscript is available at https://github.org/rneher/FitnessInference.
To predict the sequence closest to the future population in a multiple sequence alignment, we build a maximum likelihood tree using fasttree (Price et al., 2009) (the fasttree code was modified slightly to resolve short branches better). The reconstructed tree was passed to the fitness inference class. Following fitness inference, internal or external nodes were ranked by their expected fitness and we report the top ranked node as our prediction.
The branch propagator depends on fitness diffusion constant D, the standard deviation in fitness σ, and the sampling fraction ω. For the numerical implementation, we measure time in unites of ${\sigma}^{1}$ and selection strength in units of σ and the dimensional fitness diffusion constant is $\text{\Gamma}=D{\sigma}^{3}$. The initial condition for the generating function is ${\varphi}_{\omega}\left(x,\text{\hspace{0.17em}}0\right)=\omega /\sigma $ in these units.
In order to apply our algorithm to a tree reconstructed from sequences, we need to convert branch length into time in units of ${\sigma}^{1}$. Given an alignment, we can calculate the average pairwise nucleotide distance $\pi \approx 2\mu \langle {T}_{2}\rangle $, where $\langle {T}_{2}\rangle $ is the average pair coalescent time and μ is the per site mutation rate. For an adapting population in the SBD model, we have $\langle {T}_{2}\rangle \sigma \approx {\text{\Gamma}}^{1}$ (Neher and Hallatschek, 2013). Given a choice for $\text{\Gamma}$, the conversion factor β from nucleotide distance to ${\sigma}^{1}$ units is determined by
In addition to estimating fitness from the tree, we also measure the frequency changes of clades over time. For influenza A/H3N2 virus data, we partition sequences into three intervals of equal length between May and February and calculate the fraction of sequences that are below every internal nodes in each of these intervals (using a pseudocount of 5). From these three frequency values, we estimate the expansion rate by fitting a line to the logarithm of the frequencies.
Simulations
Request a detailed protocolWe use the population genetics library FFPopSim (Zanini and Neher, 2012) to implement an individual based simulation with fixed fitness variance $\sigma =0.03$. Mutations are introduced at random sites in random individuals with rate μ. We varied the total genomic mutation rate $u=L\mu $ between 0.016 and 0.256, where the total number of simulated sites is $L=2000$. Mutations at all sites are by default deleterious, with effects drawn from an exponential distribution. To emulate a changing environment, we redraw the fitness effect of random positions within the first 500 sites at random with a total rate of ${n}_{A}=0.02,\dots ,0.16$ per generation. Beneficial effects are drawn from a gamma distribution with shape parameter 2 and the same scale as the deleterious mutations. Every 200 generations, a random sample of 200 sequences is written to file and later used to predict the sequence closest to the next sample. The simulation code is provided as flusim.cpp in the above mentioned repository.
Influenza data
Request a detailed protocolAll sequences of influenza A/H3N2 viruses from human hosts from 1968 to 2014 that cover the entire HA1 domain were downloaded from IRD and aligned using the alignment feature provided by IRD with default settings (Squires et al., 2012). The alignment was inspected by eye and trimmed to the HA1 domain. A few obvious outliers, lab strains, and sequences with indels or more than 4 ambiguous nucleotides were removed manually. For each strain the location information was converted to longitude and latitude at the country level and the strain was classified into rough geographic regions based on longitude and latitude. Only sequences with geographic information at the country level and date information with at least month accuracy were used. To avoid sampling bias, we subsampled the data to at most 100 sequences from either North America and Asia and used repeated subsamples to assess the robustness of the predictions. In years where less than 100 sequences are available from one of the geographic regions, we repeatedly used 70% of the available data. Increasing the sample size has negligible effect on prediction accuracy beyond a sample size of 100.
References

The genomic rate of molecular adaptation of the human influenza A virusMolecular Biology and Evolution 28:2443–2451.https://doi.org/10.1093/molbev/msr044

Effect of selection on ancestry: an exactly soluble case and its phenomenological generalizationPhysical review E Statistical, nonlinear and soft matter physics 76:041104.https://doi.org/10.1103/PhysRevE.76.041104

Front propagation up a reaction rate gradientPhysical review. E, Statistical, nonlinear, and soft matter physics 72:066126.https://doi.org/10.1103/PhysRevE.72.066126

The noisy edge of traveling wavesProceedings of the National Academy of Sciences of USA 108:1783–1787.https://doi.org/10.1073/pnas.1013529108

Genetic Draft, Selective Interference, and Population Genetics of Rapid AdaptationAnnual review of Ecology, evolution, and Systematics 44:195–215.https://doi.org/10.1146/annurevecolsys110512135920

Genealogies of rapidly adapting populationsProceedings of the National Academy of Sciences of USA 110:437–442.https://doi.org/10.1073/pnas.1213113110

The evolution of epidemic influenzaNature Reviews Genetics 8:196–205.https://doi.org/10.1038/nrg2053

Neutral evolution of mutational robustnessProceedings of the National Academy of Sciences 96:9716–9720.https://doi.org/10.1073/pnas.96.17.9716

Python for Scientific ComputingComputing in Science & Engineering 9:10–20.https://doi.org/10.1109/MCSE.2007.58

Hemagglutinin sequence clusters and the antigenic evolution of influenza A virusProceedings of the National Academy of Sciences of USA 99:6263–6268.https://doi.org/10.1073/pnas.082110799

FastTree: computing large minimum evolution trees with profiles instead of a distance matrixMolecular Biology and Evolution 26:1641–1650.https://doi.org/10.1093/molbev/msp077

Highly fit ancestors of a partly sexual haploid populationTheoretical population biology 71:239–250.https://doi.org/10.1016/j.tpb.2006.09.002

The solitary wave of asexual evolutionProceedings of the National Academy of Sciences of USA 100:587–592.https://doi.org/10.1073/pnas.242719299

Simultaneous amino acid substitutions at antigenic sites drive influenza A hemagglutinin evolutionProceedings of the National Academy of Sciences of USA 104:6283–6288.https://doi.org/10.1073/pnas.0701396104

Influenza research database: an integrated bioinformatics resource for influenza research and surveillanceInfluenza and Other Respiratory Viruses 6:404.https://doi.org/10.1111/j.17502659.2011.00331.x

RNA virus evolution via a fitnessspace modelPhysical Review Letters 76:4440–4443.https://doi.org/10.1103/PhysRevLett.76.4440
Decision letter

Gil McVeanReviewing Editor; Oxford University, United Kingdom
eLife posts the editorial decision letter and author response on a selection of the published articles (subject to the approval of the authors). An edited version of the letter sent to the authors after peer review is shown, indicating the substantive concerns or comments; minor concerns are not usually shown. Reviewers have the opportunity to discuss the decision before the letter is sent (see review process). Similarly, the author response typically shows only responses to the major concerns raised by the reviewers.
Thank you for sending your work entitled “Predicting evolution from the shape of genealogical trees” for consideration at eLife. Your article has been favorably evaluated by Chris Ponting (Senior editor) and 3 reviewers, one of whom is a member of our Board of Reviewing Editors.
The Reviewing editor and the other reviewers discussed their comments before we reached this decision, and the Reviewing editor has assembled the following comments to help you prepare a revised submission.
All reviewers agreed that inferring fitness from a phylogeny is an interesting and promising approach. The principal innovations were considered to be: (a) The likelihood function, which is an approximation to a birthdeath process with variable (and evolving) birth rate; (b) the evaluation of the method through simulation; (c) the application to the influenza data sets, showing the information about fitness inherent in tree shape; (d) the comparison of the method to the recent work from Luksza and Lassig, which focused on key sites in key immunological proteins; and, (e) the elaboration of the method to include addition information about sites of known importance and longitudinal information within a year that can help spot growing clades.
Nevertheless, there was no clear consensus among the reviewers with regard to its suitability for publication and they would like to consider a revised version of the manuscript, which should not require much extra work but should adequately address the three comments and criticisms below.
1) The conclusion of many minoreffect mutations will need to be supported by better evidence or to be formulated differently. Whilst you claim that the results support the notion that a substantial fraction of adaptive evolution is through a quantitative (infinitessimalstyle) response, it appears feasible that the primary driver of genealogical history/selection is indeed through HA/NM, but acts in a structured population. If so, and there is a semineutral accumulation of mutations along the branches, the genealogy becomes a proxy for the relative fitness of cryptic subpopulations within the species. The fact that the Luksza and Lassig results are so similar suggests that the two approaches take advantage of very similar information. The reviewers were also sceptical about the inclusion of Koel mutations into the prediction scheme. The sites of these mutations have been identified in a very recent publication through their importance for antigenic substitutions (Koel et al., 2013). Hence, for most of the prediction period, they introduce posterior information into the prediction; this caveat should at least be noted. We ask you to consider including results for the model with temporal information (clade growth rates), but without the Koel term; this will quantify the contribution of that term to the full prediction. If the net contribution of the Koel term remains limited, the message of the paper might become stronger by making exactly that point. This is of relevance for influenza research because the current analysis focuses to a large extent on the identification of few largeeffect antigenic changes. Finally, please comment further on the inference of small effects: it may be circular since it is an input assumption of your method.
2) Inadequate discussion of model assumptions and impact of data structure (temporal spread, spatial structure, sampling inhomogeneities). (a) The model contains a parameter lambda that scales the branch lengths of the coalescent tree. Is this a canonical scale parameter within the traveling wave theory or a heuristic extension? If so, it should be marked as such. (b) Similarly, is the form of the propagator for branches with Koel mutations, eq. (2), supported by the theory with heterogeneous effects or a heuristic? (c) The additional weighing of clade frequency changes (growth rates) rho_i via eq. (3) appears to us foreign to the coalescent approach, which should predict this change rather than using it as a separate input. In other words, we would expect the frequency change term to be either redundant or to measure deviations from the coalescent model. The relationship between these two model components should be explained and quantified by a scatter plot showing coalescentpredicted (from the twoparameter model) vs. measured clade growth rates rho_i. (d) We noted that the best model for influenza, which includes the Koel reward and the clade growth term, uses four parameters; this should be made explicit in the main text. (e) Can one relate the fitness diffusion constant D to standard populationgenetic parameters, such as the rate and effect distribution of beneficial mutations? Note that the mean coalescent time T2 and the speed of the fitness wave (via the average lifetimes of polymorphisms destined for fixation?) can at least roughly be estimated from the data. Are these estimates consistent with the model input parameters?
Furthermore: (f) What are the effects of sampling inhomogeneities on the tree, as they exist in the influenza case? If a given clade is oversampled, this may produce a spurious fitness signal in the authors' method. To what extent is the method robust to such fluctuations, and where are the limits of applicability? (g) What are the effects of the temporal spread of input data within a given year? Note that the influenza data are strains from a full year; they deviate from the model assumption of input at a given point in time. How strongly? i.e., how does this time interval compare to the other characteristic time scales of the problem? The effects of these inhomogeneities on model predictions can best be assessed by simulations of the kind already performed in this work and described in the results Section. (h) It may be worth stressing that the prediction scheme works for a limited time into the future. This time can probably be estimated from the model parameters (fitness diffusion constant...). It would be interesting to quote this prediction time for influenza.
3) Whilst the motivation of the paper is intuitive and the paper easy to understand for nonexperts, this simplicity masked many assumptions of the model which was considered problematic. For example, the Methods section should explain more fully the inference algorithm (Neher and Hallatschek), especially its critical assumptions. This is important because the predictions on simulated data can be rather bad or even misleading (see figure 2B low mutation rates), and it will be important to assess its applicability to other data. In addition, in deriving equation 10, it seems that there is an assumption of small fitness effects (x approx 0), such that (1x) phi^2 = phi^2. On the other hand, you state that for large enough x, phi = x. Then you plot fitnesses in the range (4 sigma, 4 sigma) (Figure 4). Does this put a very stringent restriction on sigma^2? It is possible that there is a mathematically solid justification for this, but you should make it easier for the reader to understand. Finally, in the methods (and as discussed above under point 2), you also briefly comment on how your assumption of “nonsampling” affects fitness estimates. What does this mean for the sample sizes in the case of influenza? Is it necessary to use a small sampling fraction to obtain a reliable prediction? Also, would sampling bias have a large effect on the predictions. If a certain clade is overrepresented in the sample, the algorithm would infer higher fitness for that clade, correct?
https://doi.org/10.7554/eLife.03568.017Author response
The main points raised during the review were (i) the suggestion that small effect mutations are important for influenza A/H3N2 adaptation, and (ii) model assumptions, parameter dependence, and lack of intuition for the inference algorithm.
To address the first point, we examined the dependence of predictive power on the number of mutations contributing to fitness variation and included this as a supplement to Figure 2. While predictive power increases when more mutations with smaller effects contribute, predictability is retained down to relatively small number of mutations contributing to fitness differentials. Prediction capacity is retained because Selectionbiased Diffusion, which describes fitness dynamics along lineages in the “infinitesimal” limit (of many small effect mutations), holds approximately even in the case when only a few mutations contribute.
Predictability alone therefore not an unequivocal argument for many small effect mutations. Nevertheless, predictability requires that the population has persistent fitness variation distributed over a number of loci, in effect behaving closer to the infinitesimal case, than to the case of periodic sweeps. We have adapted the manuscript to reflect this insight.
To address the concerns regarding model assumptions, parameter fitting, and the lack of intuitive insight into the inference algorithm, we now discuss in greater detail the analytic result that downstream tree length is the most important determinant of fitness of young nodes. We extended this argument for all nodes on the tree and introduced a local branching index (LBI) defined as the length of the tree surrounding a node in its neighborhood (implemented as exponential weighting). Local tree length increases with branching, which in turn is indicative of high fitness. This intuitive connection captures the essence of the fitness inference algorithm. Moreover, the LBI predicts the progenitor lineages almost as well as the full probabilistic fitness inference when applied to simulation data. We used simulation data to fix the ‘only’ free parameter of the LBI – the size of the neighbourhood – and applied it to influenza without any fitting parameters whatsoever. The predictions obtain this way are almost as good as those obtained previously with the full fitness inference. Since that latter required choosing at least 2 parameters, we feel that the LBI is superior in practice even though it misses one year where the fitness inference did well (1996: there is little data in this early year anyway).
To accommodate these improvements, we have included a section on the LBI and redid the influenza analysis using the LBI to rank isolates. All conclusions remain the same, but the nature of fitness inference and progenitor prediction have become much more transparent through the identification of the local tree length as the essence of fitness prediction. We have streamlined the manuscript and removed the discussion of the gamma parameter (no longer needed when using the simpler predictor) and no longer show the results including the Koel mutations (which didn't add much to the predictions anyway).
We included one additional year (2013) of influenza predictions, as data to evaluate this prediction have become available since our initial submission (both the full fitness inference and the LBI predict this year well). In addition, we have further streamlined and commented the code that has been deposited on github. We feel that these revisions have greatly improved our manuscript. We provide a point by point response to all referee comments below.
1) The conclusion of many minoreffect mutations will need to be supported by better evidence or to be formulated differently. Whilst you claim that the results support the notion that a substantial fraction of adaptive evolution is through a quantitative (infinitessimalstyle) response, it appears feasible that the primary driver of genealogical history/selection is indeed through HA/NM, but acts in a structured population. If so, and there is a semineutral accumulation of mutations along the branches, the genealogy becomes a proxy for the relative fitness of cryptic subpopulations within the species.
In the previous version of the manuscript, we stated that predictability of influenza using a model assuming many small effect mutations suggests that influenza A/H3N2 evolution is in part dominated by such dynamics. We now quantify, using simulations, how predictability varies with the number of segregating mutations in the sample (Figure 2–figure supplement 1). Good predictions require several segregating mutations, but some predictability is retained down to low numbers. Hence, we cannot provide a reliable lower bound on the number of mutations contributing to fitness in any given year and we have reworded the relevant parts of the text to stress that our ability to make meaningful predictions stems from persistent variations in virus fitness.
If we understand the alternative scenario correctly, the structured population would merely reduce competition between different lineages on time scales shorter than the one year (H3N2 viruses do not persist locally between epidemics). Without persistent heritable differences between strains, we do not see how it would be possible for our method to make meaningful predictions. Furthermore, the 2fold enrichment of nonsynonymous mutations at 50 epitope positions on branches with high inferred Delta fitness suggests that our algorithm picks up a genetic signature.
The fact that the Luksza and Lassig results are so similar suggests that the two approaches take advantage of very similar information.
Luksza and Laessig include an adhoc predictor meant to account for nonlinear or epistatic effects that counts the number of synonymous mutations below an internal node. This component of their model accounts for a substantial fraction of the predictive power. Incidentally, the number of synonymous mutations is a proxy for the total branch length below a node, which is intimately connected to the inferred fitness of internal nodes. The addition of the local branching index makes this essential feature of fitness prediction explicit.
The reviewers were also sceptical about the inclusion of Koel mutations into the prediction scheme. The sites of these mutations have been identified in a very recent publication through their importance for antigenic substitutions (Koel et al., 2013). Hence, for most of the prediction period, they introduce posterior information into the prediction; this caveat should at least be noted. We ask you to consider including results for the model with temporal information (clade growth rates), but without the Koel term; this will quantify the contribution of that term to the full prediction. If the net contribution of the Koel term remains limited, the message of the paper might become stronger by making exactly that point. This is of relevance for influenza research because the current analysis focuses to a large extent on the identification of few largeeffect antigenic changes.
We agree that inclusion of the Koel mutation introduces afterthefact information into our prediction. The predictive power of the Koel mutations is limited and improvement restricted to a few years. In some years, predictions become worse because Koel mutations appear multiple times on the tree and are mostly false leads. We did not claim Koel mutations to be predictive, but merely sought to show how flu specific knowledge can be combined with our general inference scheme. We now clearly state that within our framework the predictive power gained from looking at the occurrence of Koel mutations is not worth the extra parameter needed to include them (and have removed the predictions utilizing them). We still discuss the Koel mutations as potential large effect mutations beyond the scope of our model.
Finally, please comment further on the inference of small effects: it may be circular since it is an input assumption of your method.
As pointed out above, we now emphasize that persistent fitness variation is a prerequisite for prediction but that we cannot put a lower bound on the number of mutations contributing to fitness. We added a supplementary figure showing how predictive capacity depends on the genetic diversity in the sample (Figure 2–figure supplement 1).
2) Inadequate discussion of model assumptions and impact of data structure (temporal spread, spatial structure, sampling inhomogeneities). (a) The model contains a parameter lambda that scales the branch lengths of the coalescent tree. Is this a canonical scale parameter within the traveling wave theory or a heuristic extension? If so, it should be marked as such.
The parameter gamma has become obsolete since we now use the simpler algorithm (Local Branching Index) to rank influenza sequences. Within the selectionbiased diffusion model, the conversion of branch length to time is fixed by theory and gamma=1. LBI has a single phenomenological parameter (setting the local scale) which we choose by comparing LBI to the full inference algorithm on simulated data.
(b) Similarly, is the form of the propagator for branches with Koel mutations, eq. (2), supported by the theory with heterogeneous effects or a heuristic?
The parameter for branches with Koel mutation was adhoc. It could be made more principled, but this would involve an additional integration over the possible times at which this mutation could have arisen. Given that the value of the Koel mutations for prediction seems limited, we have removed this altogether.
(c) The additional weighing of clade frequency changes (growth rates) rho_i via eq. (3) appears to us foreign to the coalescent approach, which should predict this change rather than using it as a separate input. In other words, we would expect the frequency change term to be either redundant or to measure deviations from the coalescent model. The relationship between these two model components should be explained and quantified by a scatter plot showing coalescentpredicted (from the twoparameter model) vs. measured clade growth rates rho_i.
The fitness inference or LBI can indeed be used to predict clade expansion into the next season. We included a figure supplement to Figure 4 (formerly Figure 3) that shows how highly ranked clades tend to expand.
We have also included a comparison of our predictions with predictions based solely on growth rate and another naive predictor based on ladderization of the tree. Neither of these predictors come close to the predictive power of our approach, likely because both of them are highly sensitive to sampling biases while our approach is much less so.
(d) We noted that the best model for influenza, which includes the Koel reward and the clade growth term, uses four parameters; this should be made explicit in the main text.
We no longer use this model as the improvement of the predictions did not warrant the two extra parameters. We explicitly discuss the tradeoff between improved predictions and additional parameters. Our simplified local Branching Index ranking has only single parameter (the neighbourhood size), which we choose based on simulated data.
(e) Can one relate the fitness diffusion constant D to standard populationgenetic parameters, such as the rate and effect distribution of beneficial mutations? Note that the mean coalescent time T2 and the speed of the fitness wave (via the average lifetimes of polymorphisms destined for fixation?) can at least roughly be estimated from the data. Are these estimates consistent with the model input parameters?
Yes, the fitness diffusion constant has a straightforward interpretation in terms of mutations rates and fitness effects. D is half the product of the mutation rate and the second moment of the effect size of mutations. Since time is measured in units of 1/\sigma, both the mutation rate the effect size are also measured in units of sigma. We now explicitly state this. In units of sigma, \Gamma = D\sigma^{3} is proportional to the inverse sqrt(log N), which varies only slowly.
Furthermore: (f) What are the effects of sampling inhomogeneities on the tree, as they exist in the influenza case? If a given clade is oversampled, this may produce a spurious fitness signal in the authors' method. To what extent is the method robust to such fluctuations, and where are the limits of applicability?
Sampling can affect the fitness inference in exactly the direction suggested. But as we now discuss, our algorithm and the LBI are fairly insensitive to sampling biases. Since the algorithm senses the total length of subtrees, local over sampling and the addition of many similar sequences (with short branches) has little impact on our inferences. We tried to avoid sampling biases by using at most 100 sequences from Asia or North America – Asia being the primary source region for seasonal H3N2 viruses and North America being a sink region. More sophisticated corrections for sampling biases (i.e. by factoring in surveillance efforts in different countries) could be envisioned, but require additional data currently not available to us.
(g) What are the effects of the temporal spread of input data within a given year? Note that the influenza data are strains from a full year; they deviate from the model assumption of input at a given point in time. How strongly? i.e., how does this time interval compare to the other characteristic time scales of the problem? The effects of these inhomogeneities on model predictions can best be assessed by simulations of the kind already performed in this work and described in the results Section.
We had already tested the effect of continuous sampling in simulation data. The results are now included as Figure 2–figure supplement 2 and are very similar to data sampled from only one time point. Our influenza sequences come from a 10 month interval from May to February.
(h) It may be worth stressing that the prediction scheme works for a limited time into the future. This time can probably be estimated from the model parameters (fitness diffusion constant ...). It would be interesting to quote this prediction time for influenza.
We now clearly state that the scope of our method is predicting a progenitor of the future, rather than predicting future evolution. The progenitor lineage is independent of the time horizon on which the prediction is evaluated. On very short time scales (a few months), predicting clade growth rather than progenitors might be more appropriate.
3) Whilst the motivation of the paper is intuitive and the paper easy to understand for nonexperts, this simplicity masked many assumptions of the model which was considered problematic. For example, the Methods section should explain more fully the inference algorithm (Neher and Hallatschek), especially its critical assumptions. This is important because the predictions on simulated data can be rather bad or even misleading (see figure 2B low mutation rates), and it will be important to assess its applicability to other data.
We have extended the Methods section and included relevant details and assumptions. The lower quality of predictions at low mutation rates stems from the fact that fitness diversity in the population depends on few mutations. The resulting granularity of the fitness distribution (and the large effect size of mutations) make prediction difficult. We have extended the discussion of the toy data results, included a figure supplement that explicitly shows the quality of fitness inference as a function of the genetic diversity in the sample. Furthermore, we point out the crucial assumptions when deriving the fitness inference algorithm.
In addition, in deriving equation 10, it seems that there is an assumption of small fitness effects (x approx 0), such that (1x) phi^2 = phi^2. On the other hand, you state that for large enough x, phi = x. Then you plot fitnesses in the range (4 sigma, 4 sigma) (Figure 4). Does this put a very stringent restriction on sigma^2? It is possible that there is a mathematically solid justification for this, but you should make it easier for the reader to understand.
We do indeed make an assumption of small x, that fitness differences in one generation are assumed to be <<1. Influenza lineage turnover happens on the scale of 1 to 2 years, suggesting that fitness differential in one generation (a few days) is on the order of a few percent. Even if this assumption is not justified, the qualitative behavior of all equations remains unchanged. The high fitness tail of phi changed from phi∼x to phi∼x/(1+x). We now point the constraints on the strength of selection, i.e., sigma, more carefully.
Finally, in the methods (and as discussed above under point 2.), you also briefly comment on how your assumption of “nonsampling” affects fitness estimates. What does this mean for the sample sizes in the case of influenza? Is it necessary to use a small sampling fraction to obtain a reliable prediction? Also, would sampling bias have a large effect on the predictions. If a certain clade is overrepresented in the sample, the algorithm would infer higher fitness for that clade, correct?
The results depend only very weakly (square root of a logarithm) on the sampling size entering the nonsampling factor. Increasing omega (the assumed sampling fraction) by a large factor pushes all fitness estimates down, but has little effect on the relative ranking. When chosen correctly, the fitness estimates of terminal nodes should scatter around 0 consistent with the population distribution. For the simulated data, we know how to set omega, for the influenza data we now use the LBI to rank sequence which does not depend on the sampling fraction. As discussed above, our algorithm is fairly insensitive to sampling bias and we try to avoid sampling bias by down sampling that data to similar numbers of sequences from different geographic regions.
https://doi.org/10.7554/eLife.03568.018Article and author information
Author details
Funding
European Research Council (ERCStg260686)
 Richard A Neher
Royal Society (University Research Fellowship)
 Colin A Russell
National Institutes of Health (R01 GM086793)
 Boris I Shraiman
The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication.
Acknowledgements
We are grateful to Michael Elowitz, Paul Rainey and Eric Siggia for critical reading of the manuscript.
Reviewing Editor
 Gil McVean, Oxford University, United Kingdom
Publication history
 Received: June 3, 2014
 Accepted: September 30, 2014
 Version of Record published: November 11, 2014 (version 1)
Copyright
© 2014, Neher et al.
This article is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use and redistribution provided that the original author and source are credited.
Metrics

 6,505
 Page views

 891
 Downloads

 71
 Citations
Article citation count generated by polling the highest count across the following sources: Crossref, Scopus, PubMed Central.