Bayesian random local clocks, or one rate to rule them all

Background Relaxed molecular clock models allow divergence time dating and "relaxed phylogenetic" inference, in which a time tree is estimated in the face of unequal rates across lineages. We present a new method for relaxing the assumption of a strict molecular clock using Markov chain Monte Carlo to implement Bayesian modeling averaging over random local molecular clocks. The new method approaches the problem of rate variation among lineages by proposing a series of local molecular clocks, each extending over a subregion of the full phylogeny. Each branch in a phylogeny (subtending a clade) is a possible location for a change of rate from one local clock to a new one. Thus, including both the global molecular clock and the unconstrained model results, there are a total of 22n-2 possible rate models available for averaging with 1, 2, ..., 2n - 2 different rate categories. Results We propose an efficient method to sample this model space while simultaneously estimating the phylogeny. The new method conveniently allows a direct test of the strict molecular clock, in which one rate rules them all, against a large array of alternative local molecular clock models. We illustrate the method's utility on three example data sets involving mammal, primate and influenza evolution. Finally, we explore methods to visualize the complex posterior distribution that results from inference under such models. Conclusions The examples suggest that large sequence datasets may only require a small number of local molecular clocks to reconcile their branch lengths with a time scale. All of the analyses described here are implemented in the open access software package BEAST 1.5.4 (http://beast-mcmc.googlecode.com/).


Background
In 1967, Allan Wilson and his then doctoral student Vincent Sarich described an "evolutionary clock" for albumin proteins and exploited the clock to date the common ancestor of humans and chimpanzees to five million years ago [1]. Given the limited informativeness of these immunological data, this estimate has survived the intervening years remarkably well. This work was the first prominent application of the concept of a molecular clock [2] and, at the time, the result raised extreme controversy, as the commonly held belief advocated that the common ancestor of humans and African apes was much more ancient. In fact, previous authors had argued that there must have been a slowdown of the rate of albumin evolution in African apes and humans to reconcile their great similarity with the presumed antiquity of their common ancestor.
Researchers have grappled with the tension between molecular and non-molecular evidence for evolutionary time scales ever since. Recently, a number of authors [3][4][5][6][7], have advanced "relaxed molecular clock" methods. These methods accommodate variation in the rate of molecular evolution from lineage to lineage. In addition to allowing non-clock-like relationships among sequences related by a phylogeny, modeling rate variation among lineages in a gene tree also enable researchers to incorporate multiple calibration points that may not be consistent with a strict molecular clock. These calibration points can be associated either with the internal nodes of the tree or the sampled sequences themselves. Furthermore, relaxed molecular clock models appear to fit real data better than either a strict molecular clock or the other extreme of no clock assumption [6]. In spite of these successes, controversy still remains around the particular assumptions underlying some of the popular relaxed molecular clock models currently employed. A number of authors [8][9][10], argue that changes in the rate of evolution do not necessarily occur smoothly nor on every branch of a gene tree. The alternative expounds that large subtrees share the same underlying rate of evolution and that any variation can be described entirely by the stochastic nature of the evolutionary process. These phylogenetic regions or subtrees of rate homogeneity are separated by changes in the rate of evolution. This alternative model may be especially important for gene trees that have dense taxon sampling, in which case there are potentially many short closely related lineages amongst which there is not reason a priori to assume differences in the underlying rate of substitution.
Local molecular clocks are another alternative to the global molecular clock [11]. A local molecular clock permits different regions in the tree to have different rates, but within each region the rate must be the same. Up until now these models have been difficult to employ because their implementations did not permit the modeling of uncertainty in (1) the phylogenetic tree topology or (2) the phylogenetic positions of the rate changes between the local clock regions. For a model that allows one rate change on a rooted tree there are 2n − 2 branches on which the rate change can occur. To consider two rate changes, one must consider (2n − 2) × (2n − 3) possible rate placements. If each branch can have 0 or 1 rate changes then the total number of local clock models that might be considered is 2 2n−2 , where n is the number of sequences under study. For even moderate n this number of local clock models can not be evaluated exhaustively.
In this paper we employ Markov chain Monte Carlo (MCMC) to investigate a Bayesian random local clock (RLC) model, in which all possible local clock configurations are nested. We implement our method in the BEAST 1.x [12] and BEAST 2 (http://code.google.com/ p/beast2/) open software frameworks. The resulting method co-estimates from the sequence data both the phylogenetic tree and the number, magnitude and location of rate changes along the tree. Our method samples a state space that includes the product of all 2 2n− 2 possible local clock models on all possible rooted trees. Because the RLC model includes the possibility of zero rate changes, it also serves to test whether one rate is sufficient to rule all the gene sequences at hand, as was Wilson and Sarich's view of the African primate albumins.

Basic evolutionary model
We begin by considering data Y, consisting of aligned molecular sequences of length S from n taxa. We orientate these data such that we may write Y = (Y 1 , ..., Y S ), where Y s for s = 1, ..., S are the n homologous characters at each site s of the sequence alignment. To model this homology, we follow standard likelihood-based phylogenetic reconstruction practice [13] and assume the data arise from an underlying continuous-time Markov chain (CTMC) process [14] along an unobserved tree τ. The tree τ consists of a rooted, bifurcating topology that characterizes the relatedness among the taxa, the generally unknown historical times when lineages diverge in the topology and up to 2n − 2 rate parameters r k that relate historical time and expected number of substitutions on each branch k. The CTMC process describes the relative rates at which different sequence characters change along the independent branches in τ. We restrict our attention in this paper to nucleotide substitution processes characterized by either the HKY85 [15] or GTR [16] infinitesimal rate matrices Λ and discrete-Gamma distributed across-site rate variation [17] with shape parameter a. However, our approach admits any standardly used CTMC for nucleotides, codons or amino acids.
Letting F = (Λ,a), we write the data sampling density of site s as P(Y s |τ, F). Felsenstein's peeling/pruning algorithm [18] enables computational efficient calculations of P(Y s |τ,F). Assuming that sites are independent and identically distributed given (τ,F) yields the complete data likelihood

Branch-specific rate variation
We take the opinion that variation in the rate of molecular evolution is widespread [5,6], but, following Yoder and Yang [11], we assumed that in any given tree there exist a small number of rate changes. This contrasts with most previous Bayesian MCMC relaxed clock models that favor many small or smoothly changing events [3,7,19,20]. In general, the numerous small changes arise as a modeling consequence, and are not necessarily data-driven. Apart from the induced smoothing, some structure remains quite useful; at certain time scales one expects rate changes to be heritable and persist for some time down the subtree extending from the change-point.

Model parameterization
We introduce the RLC model that allows for sparse, possibly large-scale changes while maintaining spatial correlation along the tree. We start at the unobserved branch leading to the most recent common ancestor (MRCA) of the tree and define the composite rate r MRCA = 1. Substitutions then occur on each branch k = 1, ..., 2n − 2 below the MRCA with normalized rate where pa(k) refers to the parent branch above k, branch-specific rate multipliers = ( 1 ,..., 2n-2 ) and c(·) is a normalization constraint that ensures that r k reflect the expected number of substitutions per unit time. This multiplicative structure on the composite r k = r pa(k) × k builds up a hierarchy of rate multipliers descending towards the tree's tips.
Allowing all elements in to vary independently leads to a completely non-clock-like model with, even worse, far too many free parameters for identifiability with the divergence times in τ. We avoid this problem through specifying a prior P() on the rate multipliers. This prior specifies that only a random number K {0,...,2n-2} of k ≠ 1 such that r k do not inherit their ancestors' rate of change but instead mark the start of a new local clock, where a priori we believe K is small. In effect, we place non-negligible prior probably on K = 0, the state in with one rate rules them all. Further, with most r k = r pa(k) , the prior binds absolute rates equal on branches incident to the same divergence points.

Bayesian stochastic search variable selection
To infer which branch-specific rates r k do or do not inherit their ancestors' rate, we employ ideas from Bayesian stochastic search variable selection (BSSVS) [21]. BSSVS traditionally applies to model selection problems in a linear regression framework. In this framework, the statistician starts with a large number of potential predictors X 1 ,...,X P and asks which among these associate linearly with an N-dimensional outcome variable Y. For example, the full model becomes Y = [X 1 ,...,X P ]b + , where b is a P-dimensional vector of regression coefficients and is an N-dimensional vector of normally distributed errors with mean 0. When b p for p = 1,...,P differs significantly from 0, X p helps predict Y, otherwise X p contributes little additional information and warrants removal from the model via forcing b p = 0. Given potentially high correlation between the predictors, deterministic model search strategies tend not to find the optimal set of predictors unless one explores all possible subsets. This exploration is generally computationally impractical as there exist 2 P such subsets and completely fails for P > N.
Recent work in BSSVS [22,23] efficiently performs the exploration in two steps. In the first step, the approach augments the model state-space with a set of P binary indicator variables δ = (δ 1 ,...,δ P ) and imposes a prior P(b) on the regression coefficients that has expectation 0 and variance proportional to a P × P diagonal matrix with its entries equal to δ. If δ P = 0, then the prior variance on b p shrinks to 0 and enforces b p = 0 in the posterior. In the second step, MCMC explores the joint space of (δ, b) simultaneously.
To map BSSVS into the setting of rate variation, let δ k be the binary indicator that a local clock starts along branch k, such that r k ≠ r pa(k) . Conversely, when δ k = 0, r k = r pa(k) implying that k = 1. So, rate multipliers play an analogous role to the regression coefficients in BSSVS. An important difference is that k [0,∞) and shrinks to 1, while b k (-∞,∞) and shrinks to 0, mandating alternative prior formulations.

Prior specification
To specify a prior distribution over δ = (δ 1 ,...,δ 2n-2 ), we assume that each indicator acts a priori as an independent Bernoulli random variable (RV) with small success probability c. The sum of independent Bernoulli RVs yields a Binomial distribution over their sum . In the limit that K ≪ χ × (2n-2), this prior conveniently collapses to where λ is the prior expected number of rate changes along the tree τ. Choosing λ = log2, for example, sets 50% prior probability on the hypothesis of no rate changes.
Completing the RLC prior specification, we assume that all rate multipliers in are a priori independent and When δ k = 1, then a priori, k has expectation 1 and variance ψ, following in the vein of [24]. However, in light of BSSVS, when δ k = 0, the prior variance collapses to 0 and k = 1.

Normalization
To translate between the expected number of substitutions b k on branch k and real clock-time t k , where μ is the overall substitution rate. The keen eye may observe that, over the entire tree τ, the parameterization in Equation (5) again leads to more degrees-offreedom than are identifiable. We solve this difficulty through a further normalization constraint c(·) on r.
Recall that we wish to measure μ in terms of expected substitutions per unit real time, such that To maintain this scaling, we sum Equation (5) over all branches and substitute the result into Equation (6). This eliminates the unknown μ and yields Posterior simulation We take a Bayesian approach to data analysis and draw inference under the RLC model via MCMC. MCMC straightforwardly generates random draws with firstorder dependence through the construction of a Markov chain that explores the posterior distribution. Via the Ergodic Theorem, simple tabulation of a chain realization {θ (1) ,...,θ (L) } can provide adequate empirical estimates. To generate a Markov chain using the Metropolis-Hastings algorithm [25,26], one imagines starting at chain step ℓ in state θ (ℓ) and randomly proposing a new state θ* drawn from an arbitrary distribution with density q(·|θ (ℓ) ). This arbitrary distribution is commonly called a "transition kernel". Finally the next chain step ℓ + 1 arrives in state The first term in the acceptance probability above is the ratio of posterior densities and the term involving the transition kernel is the Hastings ratio. The beauty of the algorithm is that the posterior densities only appear as a ratio so that intractable normalizing constant cancels out.

Transition kernels
We employ standard phylogenetic transition kernels via a Metropolis-within-Gibbs scheme, as implemented in BEAST [12], to travel through most dimensions in the RLC parameter space. What is unique to the RLC model are transition kernels to explore rate multipliers and all possible local clock indicator δ configurations. Since k [0,∞) we propose new rates * componentwise, such that for a uniform randomly selected k with δ k = 1, where 0 < s f <1 is a tuning constant and the Hastings ratio is 1/U [27].
Transition kernels on δ are more challenging. One natural way to construct a Markov chain on a bit-vector state space, such as δ, involves selecting one random element δ k with uniform probability 1/(2n − 2) and swapping its state   k k  = − 1 with probability 1 [14]. At first glance, the transition kernel density q(δ*|δ) = q(δ|δ*) = 1/(2n -2) appears symmetric leading to a Hastings ratio of 1. However, this view is flawed. One must recall that we introduced the indicators δ as a computational convenience. The number of different local clocks K over-shadows δ as our parameter of interest, upon which we place our truncated-Poisson prior P (K). The correct densities to calculate then become q (K*|K) and q(K|K*). Suppose the swapping event above generates 0 ! 1 so that K* = K + 1. As K approaches 0 the transition kernel finds it more and more difficult to decrease K because the kernel is more likely initially to choose a 0 state for swapping. From this perspective, the kernel is definitely not symmetric in the interchange of K* and K. Assuming symmetry would lead to upwardly biased estimates for K < ⌊n -1⌋. The reverse bias occurs as K approaches 2n − 2 from below.
To determine q(K*|K), we identify that our kernel chooses a δ k = 0 with probability (2n − 2 − K )/(2n − 2) and a δ k = 1 with probability K/(2n − 2). Therefore, if K* = K + 1, q(K*|K) is the former probability and if K* = K -1, q(K*|K) is the latter. Forming the Hastings ratio This derivation provides an important lesson for those new to MCMC implementation; the Hastings ratio may vary depending on the model parameterization; it is, therefore, necessary to calculate the ratio as a function of the same parameterization as the prior.
In cases where the swap event relaxes the prior variance on the rate multiplier k , we simultaneously propose a new value for  k  ≠ 1 . We draw this value from the prior given in Equation (4). Proposals involving changes to the tree topology are based on existing tree proposal moves in the BEAST software framework with a small modification to track the augmented data at the nodes [see Additional file 1].

Model selection
Statistical inference divides into two intertwined approaches: parameter estimation and model selection. For the former, parameter inference relies on empirical estimates of P(θ|Y) that we tabulate from the MCMC draws. Model selection often represents a more formidable task. The natural selection criterion in a Bayesian framework is the Bayes factor [28][29][30]. The Bayes factor B 10 in favor of ℳ 1 over ℳ 0 is the ratio of the marginal likelihoods of ℳ 1 and ℳ 0 , B P P P P P P 10 1 0 and informs the phylogeneticist how she (he) should change her (his) prior belief P(ℳ 1 )/P(ℳ 0 ) about the competing models in the face of the observed data. Involving the evaluation of two different normalizing constants, Bayes factors are often challenging to estimate.
By fortuitous construction, we side-step this computational limitation when estimating the Bayes factor in favor of a global clock (GC) model ℳ GC over the RLC model ℳ RLC . Model ℳ GC occurs when K = 0, conveniently nested within model ℳ RLC . Consequentially, the P (K = 0|ℳ RLC ) equals the prior probability of ℳ GC , and P(K = 0|Y,ℳ RLC ) yields P(ℳ GC |Y). Given this, a Bayes factor test of ℳ GC only requires simulation under the RLC model. The Bayes factor in favor of a global clock To calculate the ratio of marginal likelihoods we need only an estimator P ∧ of P(K =0|Y, ℳ RLC ). The Ergodic Theorem suggests that we let where 1{·} is the indicator function. Occasionally P ∧ becomes a poor estimator when P(K = 0|Y,ℳ RLC ) decreases below or increases above 1 -for ≈ 1/L. In such situations, there are alternatives that depend on MCMC chains generated under several different prior probabilities P(K = 0|ℳ RLC ) [31]. The Bayes factor then provides the mechanism to combine results from the multiple chains and to rescale back to a believable prior.

Results
To explore the utility of the RLC model, we consider three well-studied examples that span the evolutionary scales from millions of years down to annual seasons. The first example investigates rate variation of several nuclear genes across the radiation of mammals [32]. Previous analyses fit these data under an unrooted phylogenetic model, and then rely on post hoc heuristics while conditioning on the maximum likelihood tree to identify local molecular clocks. We exploit the RLC model to simultaneously infer both the tree and locations of local clocks. We then turn our attention to mtDNA evolution within primates [33,34] and examine a subset of the original data in which multiple studies endorse a molecular clock [15,35,36] and demonstrate the ease in which one can formally test for a global clock via the RLC model. In both examples, the RLC model performs consistently with expectations. We conclude with a survey of the temporal patterns of rate variation in hemagglutinin gene evolution and uncover a signature of multiple epochs of increasing rate without specifying prior knowledge of their existence.

Radiation of rodents and other mammals punctuated by local clocks
[32] investigate the existence of local molecular clocks during the radiation of mammals with an eye to reconciling molecular divergence dates with fossil evidence. In their study, [32] condition on a fixed evolutionary tree and perform multiple pair-wise or local rate heterogeneity tests to construct an ad hoc ensemble of clock models. We re-examine the same first and second codon positions of ADRA2B, IRBP and vWF nuclear genes (2422 alignment sites) from 42 mammals under the RLC model. Following [32], we assume the GTR model for nucleotide substitution with discrete-Γ site-to-site rate variation and ignore process heterogeneity across genes. Figure 1 presents the Bayesian consensus tree for these data. Major groupings persist across tree estimates; examples include the marsupial/placental divide and major placental clades. Small topological differences are not surprising given data uncertainty and that researchers inferred the original tree under an unrooted model whereas our estimate is based on a local-clockconstrained model of phylogenetic trees.
Amongst the very small collection of local clock models that [32] explore, they identity their best-fitting model as embracing five local clocks. This result matches surprisingly well with RLC model estimates that support between six to twelve local clocks (Figure 2(a)). Our estimate of the number of clocks integrates over all possible local clock assignments and trees and is naturally larger. We color branches in Figure 1 according to their branchspecific rates. Consistent with [32], the sloth (Bradypus ), hedgehog (Erinaceus ) and two geomyoid rodents (Dipodomys and Thomomys ) exhibit higher rates of substitution. Comparing the posterior to prior probability that the number of rate changes K = 0 in Figure 2(a) clearly rejects a global clock within these data.
Anthropoids' global clock [33] and [34] present partial mtDNA sequences from nine primates, including two prosimians and seven anthropoids (monkeys/apes). The sequences comprise the protein coding regions for subunits 4 and 5 of the enzyme NADH-dehydrogenase and three tRNAs and contain 888 sites after the removal of alignment gaps. Since their publication, these data appear as molecular clock examples in several phylogenetic software releases [37][38][39]. [35,36] explore the strict molecular clock assumption in these data using a Bayesian approach and find good support for a clock among the anthropoids, but not between the anthropoids and prosimians, nor within the prosimians. The Bayes factor tests developed in these former studies require complicated calculations that lend themselves poorly to general use by evolutionary biologists. The RLC model provides a simple solution.
As an example in which a global clock should hold, we re-examine the seven anthropoids sequences under the RLC model. We employ the HKY85 [15] model for nucleotide substitution with discrete-Γ site-to-site rate variation. To keep exposition simple, we ignore structured rate heterogeneity between the concatenated genes and across codon position with genes; however, these important modeling aspects remain straight-forward to include and do not complicate the final Bayes factor calculations. To complete specification, we assume λ = log 2, such that there exists a 50% prior probability of a global clock. Figure 3 presents the a posteriori most probable tree relating these sequences. The topology of this tree Figure 1 Bayesian inference of random local clocks on mammalian data. Most probable evolutionary tree relating three nuclear genes from 42 mammals [32]. The color of the branches in the tree indicate branch-specific relative rates from red (fast) to blue (slow). Regions with the same color signify local clocks. Branches with a posterior probability of a change in rate >0.1 are labeled with the estimated posterior probabilities from two independent runs. An arrow to the right signifies a rate increase on a branch (and its descendants), while an arrow to the left signifies a slow down.
recapitulates the current paradigm of primate evolution, including the nearest-neighbor relationship between humans and chimpanzees, for which these data originally helped settle [15,34]. We annotate the internal node heights in the figure with their posterior 95% Bayesian credible intervals (BCIs).
An important use of the molecular clock hypothesis is in estimating divergence times, and this ability remains under the RLC model. Near the tree branches in the figure, we also report 95% BCIs for the branch-specific relative rates r k . Notably, all intervals cover the global clock hypothesized value of 1, suggesting the existence of a global clock in these data. However, these intervals are univariate marginal reports of highly correlated random variables and multiple marginal assessments can lead to spurious conclusions. To test all branches simultaneously, we calculate B GC from knowledge of the model prior and an estimate P ∧ of the posterior probability that number of rate changes K = 0. Figure 2(b) reports both the prior and estimate of the posterior probability mass function of K. A majority of the posterior mass falls on K = 0, even more so than the prior. From the figure, B GC = 3.3. While this Bayes factor is far from offering extreme support [28,29] for the global clock model itself, the balance of evidence favors a global clock over all other specific alternatives, and the global clock would be contained in any credible set of models.

Temporal rate patterns in influenza
We examine hemagglutinin gene evolution from 69 strains of human influenza A [40]. These sequences represent serially sampled data; the earliest sequence stems from 1981 and the last from 1998, spanning a 17 year period. To infer the evolutionary tree and rate changes, we again employ the HKY85 model for nucleotide substitution, with Gamma-distributed rate heterogeneity among sites [24]. As priors, we assume an underlying coalescent process with a constant population size on the tree and a Poisson number of rate changes with an expected value of log2 [see Additional file 2, for an example BEAST 1.5.4 XML script]. This specification places 50% prior probability on the strict molecular clock hypothesis. Figure 4(a) depicts the Bayesian consensus tree relating these sequences, along with posterior mean branch lengths scaled in real time. To examine rate variation, we color branches by their posterior mean relative rate of nucleotide substitution. Blue branches reflect the slowest rates of mutation through red branches that highlight regions of rapid change. From Figure 4(a), a general trend begins to take form of increasing rate variation over time; earlier branches to the left of the figure are mostly blue or purple, while late branches appear mostly red. We formally explore this trend in greater detail. Figure 4(b) compares the posterior and prior mass functions relating the number of rate changes observed during hemagglutinin evolution. As expected from the observed variation in Figure 4(a), very little posterior mass falls on the existence of a global clock with zero rate changes. The modal number of rate changes is two. The Bayes factor rejecting a global clock is approximately 45, providing strong support [28,29]. Figure 4(a) examines the heterogeneity of rate variation as a process in time. To generate this plot, we discretize time before the last sequence sampling date into 92 bins (four per year). For each bin, we construct the empirical posterior density of relative rates active along the tree during that time-period. Rates that we color Figure 3 Inferred mtDNA rates for primate phylogeny. Most probable evolutionary tree relating seven mtDNA sequences from primates [33]. Gray boxed regions depict 95% Bayesian credible intervals (BCIs) for relative divergence times (that is, in units of expected substitutions per site). Recorded for all branches are their relative rate parameter r k 95% BCIs. All intervals cover 1, suggesting little or no rate variation across the tree. yellow or red occur with high posterior probability while rates proceeding towards white reflect lower probabilities. Consistent with the posterior mode of two rate changes shown in Figure 4(b), the two rate break-points in Figure 4(b) generate three distinct epochs in hemagglutinin evolution, with a trend towards increasing rates over time. The first epoch begins at the root of the evolutionary tree and continues until some point between 1986 and 1992. The final epoch concludes with the 1998 strains.
We caution against over-interpretation of the punctuated form of the transitions between epochs seen in Figure 4(b). While rate transitions may have arisen with such strong demarcation, their relative sharpness may be the result of the sampling pattern in this data set. The newer samples (between 1987 and 1998) are more densely sampled at each time point, while being separated by more time between samples (there are long temporal breaks in strain sampling between 1987 and 1992 and again between 1994 and 1998). Temporal changes in sampling pattern could be particularly problematic given the well accepted fact that the influenza virus population is subject to strong selection and the influenza data set used here has previously been shown to exhibit evidence for non-neutrality [40]. Richer taxon-sampling during the unsampled periods may clarify this issue, but remains beyond the scope of this methodological paper. Nonetheless, to confirm that the RLC model is performing appropriately, we do explore the temporal rate variation process in further detail using an explicitly temporal model of rate change. To do so these data were analyzed under a Bayesian implementation (Andrew Rambaut pers comms) of a fixedepoch model [41]. The result reinforces the conclusion that these data do exhibit temporal rate variation [see Additional file 1 for analysis summary and Additional Figure 4 Influenza A data analysis. (a) Most probable evolutionary tree relating 69 hemagglutinin sequences from human influenza A. Branch coloring indicates inferred rates of nucleotide substitution, with blue denoting the slowest rates and red the fastest. (b) Rate heterogeneity of hemagglutinin sequence evolution over time. The plot traces the marginal distribution of relative substitution rates across time. White indicates low posterior density, and yellow/red indicates high density. The estimated rates are higher towards the present, with a notable jump in rate approximately six and ten years before the last sequence sample. file 3 for the BEAST XML]. However, the fixed-epoch model requires a priori specification of the number of different rate-epochs on which to fit the data, and assumes each rate change occurs simultaneously across all lineages, whereas the RLC assumes no such prior knowledge.

Discussion
Although it has been clear for quite some time that no universal molecular clock exists, a new question is emerging about what is the phylogenetic footprint of local molecular clocks. With increasing densely sampled phylogenetic trees, we should start to be able to get estimates of the extent of local clocks.
A major limitation of local clock models has been a dearth of methods to appraise all the possible rate assignments for various lineages [42]. BSSVS permits the efficient exploration of all 2 2n-2 possible local clock models and automatically returns the most parsimonious descriptions of the data.
The RLC description finds notable similarity to a compound Poisson process for rate variation [4]. Under this process, a Poisson number of change-points fall independently onto the branches of a phylogenetic tree. At each change-point, a Gamma-distributed random variable punctuates the current substitution rate. Without additional external information, the number of changepoints (if greater than 1) and their specific locations along the branch are not identifiable by the likelihood, though this can be resolved by the prior. However this lack of identifiability places into question the benefit of allowing the large (in fact infinite) augmented state space of change points in the compound Poisson process that our BSSVS approach avoids. Under BSSVS, either there exists no change along a branch or there exists more than one and the new branch-specific rate represents an average over all events and their locations. BSSVS can also generalize to model heterogeneity in aspects of the CTMC process beyond rate variation. Examples we are considering include random local changes in nucleotide composition; a natural extension of previous work on modeling compositional heterogeneity [43]. It is also possible to use this approach to model random local changes in parameters of the tree prior [44].
Compared to the auto-correlated rate models [3], the RLC approach imparts some different prior assumptions on rate variance among branches. For example, the prior variance on a lineage-specific rate depends on the number of internal nodes traversed between the root and branch, not the time-duration. Obviously, this feature vanishes as the marginal prior on rates integrates over all possible trees. In the RLC model the number of traversed nodes reflects the number of sampled speciation events a lineage has encountered. The evolutionary and sampling scenarios for which this serves as a better proxy for rate change than does time-duration is outside the scope of this work. Formal model testing can help settle this debate on a dataset-by-dataset basis.
We have not attempted model comparison between the RLC and other relaxed clock models as part of this work, as it is a very challenging task. New methods for computing Bayes factors between non-nested phylogenetic models, such as path sampling [45,46] and stepping-stone sampling [47] may improve this situation in the future.
Further, hybrid models remain within reach in which rate multipliers draw a priori from a multivariate distribution. The multivariate generalization of the Gamma is a Wishart, characterized by a scale matrix. This scale matrix could be a function of the time-tree.
While the transition kernels we employ in this paper successfully explore the posterior distribution for the three examples, we can envision datasets for which our algorithm would have difficulties producing accurate estimates of the posterior distribution. High correlation most likely exists between the evolutionary tree τ and location indicators δ along τ at which local clocks start. Some datasets may possess posterior support for alternative trees whose clock structures vary considerably. This situation poses a significant difficulty for our current transition kernels. These kernels alternate between updating τ with only small changes δ and updating δ conditional on τ. In this construction, very rarely is it possible to make large moves in both tree-space and clock structures simultaneously, leading to potentially long mixing times. To remedy this, kernels that propose larger simultaneous jumps are warranted. While we are currently exploring different choices, finding kernels whose Hastings ratio remains convenient to calculate and function well across a range of datasets is proving challenging. We do, however, remain optimistic.
Alternatively, [48] encourages a collapsed Gibbs sampler via parameter marginalization when encountering high correlation. While it is computationally intractable to analytically integrate the model sampling density over all possible τ or all possible δ, a "local" collapse suggests a viable option. [49] exploit such an approach when sampling over the joint space of trees and sequence alignments; when proposing an update to τ, these authors integrate over the smaller portion of alignment-space affected by jumping from the current to proposed tree; then, given the new tree, re-sample a consistent and probable alignment. For the RLC model, a "local" collapse equates to integrating out the location indicators δ k on branches near the affected portions of τ and reduces to a discrete summation over a modest number of combinations. There still exists correlation between indicators δ and rate multiplier ; however, we believe this correlation strength is much smaller than between that above, as the multipliers only enter into the likelihood when δ k = 1 and, hence, have considerably more freedom in their realized values. In any case, researchers should not blindly apply Bayesian samplers to new datasets; samplers require care and thought to ensure adequate exploration of the posterior parameter space.

Conclusions
We have proposed an efficient method to sample over random local molecular clocks while simultaneously estimating the phylogeny. The new method conveniently allows a comparison of the strict molecular clock against a large array of alternative local molecular clock models. We have illustrated the method's utility on three example data sets involving mammal, primate and influenza evolution. We also explored a method to visualize the complex posterior distribution on the influenza data set which led to discovery of a strong temporal signal for the evolutionary rate in that data set, although this observation may well be attributed to temporal variation in sampling pattern. The examples that we have investigated suggest that large sequence datasets may only require a relatively small number of local molecular clocks to reconcile their branch lengths with a time scale. All of the analyses described here are implemented in the open access software package BEAST 1.5.4 http://beast-mcmc.googlecode.com/.

Additional material
Additional file 1: Supplementary Information. This is a PDF file describing some additional details of the described methods including (i) a description of the proposal distribution for trees used in the RLC model and (ii) a summary of the analysis of the influenza data using a "fixed epoch" model that allows the rate of evolution to change at a specific time in the past.
Additional file 2: Human.H3.81-98 -localgamma.xml. This is a BEAST XML input file compatible with BEAST 1.5.4 that implements the model combination used to analyze the influenza data set under the RLC model.
Additional file 3: Human.H3.81-98 -2rate.xml. This is a BEAST XML input file compatible with BEAST 1.5.4 that implements the "fixed epoch" model used to confirm the signal for a temporal ate change in the influenza data set.