 Proceedings
 Open Access
Fast algorithms and heuristics for phylogenomics under ILS and hybridization
 Yun Yu^{1}Email author,
 Nikola Ristic^{1}Email author and
 Luay Nakhleh^{1}Email author
https://doi.org/10.1186/1471210514S15S6
© Yu et al.; licensee BioMed Central Ltd. 2013
 Published: 15 October 2013
Abstract
Background
Phylogenomic analyses involving wholegenome or multilocus data often entail dealing with incongruent gene trees. In this paper, we consider two causes of such incongruence, namely, incomplete lineage sorting (ILS) and hybridization, and consider both parsimony and probabilistic criteria for dealing with them.
Results
Under the assumption of ILS, computing the probability of a gene tree given a species tree is a very hard problem. We present a heuristic for speeding up the computation, and demonstrate how it scales up computations to data sizes that are not feasible to analyze using current techniques, while achieving very good accuracy. Further, under the assumption of both ILS and hybridization, computing the probability of a gene tree and parsimoniously reconciling it with a phylogenetic network are both very hard problems. We present two exact algorithms for these two problems that speed up existing techniques significantly and enable analyses of much larger data sets than is currently feasible.
Conclusion
Our heuristics and algorithms enable phylogenomic analyses of larger (in terms of numbers of taxa) data sets than is currently feasible. Further, our methods account for ILS and hybridization, thus allowing analyses of reticulate evolutionary histories.
Keywords
 Gene Tree
 Phylogenetic Network
 Incomplete Lineage Sorting
 Extra Lineage
 Articulation Node
Introduction
The phenomenon of gene tree incongruence arises in phylogenomic studies [1]. This incongruence can be caused by many processes, including incomplete lineage sorting (ILS) and hybridization. Recent studies have shown large extents of gene tree incongruence in various groups of organisms due to ILS [2–9]. Degnan and Salter proposed the first method for computing the probability of a gene tree topology given a species tree using the concept of coalescent histories [10]. Later, Wu introduced the concept of ancestral configurations (or AC) to speed up the computation for the same task [11], and proposed maximum likelihood method for inference of species tree given a set of gene tree topologies. However, even with the speedup of [11], inference in practice remained limited to data sets with small numbers of taxa, mainly due the very slow computation of gene tree probabilities.
Furthermore, simultaneous patterns of hybridization and incomplete lineage sorting have been reported in several studies [12–14]. Therefore, it is important to enable analyses under both ILS and hybridization. While methods for handling limited cases of reticulation were introduced [15–20], it was not until most recently that parsimony and probabilistic methods for the general cases were introduced [21, 22]. However, the methods of [21, 22] are computationally intensive and their application is limited to data sets with very few taxa.
The contributions of this paper are threefold. First, we devise a fast heuristic for estimating the probability of a gene tree under ILS. We use the heuristic to infer species trees from multilocus data, and show that the method achieves significant speedup over the method of [11]. Second, we introduce a novel concept of weighted ancestral configurations on phylogenetic networks and devise a much faster exact algorithm than that of [21] for reconciling a gene tree with a phylogenetic network. Third, using the same concept of weighted ancestral configurations, we devise a much faster exact algorithm than that of [22] for computing the probability of a gene tree under both ILS and hybridization.
We have implemented the methods in the PhyloNet software package [23], which is freely available for download in open source at http://bioinfo.cs.rice.edu/phylonet. The methods will enable much larger phylogenomic analyses than are currently possible using existing methods.
Methods
Given a directed graph g, we denote by V (g) and E(g) the node and edgesets of g. Given a node v in a graph g, we denote by d^{  }(v), δ^{  }(v), d^{+}(v), δ^{+}(v) the indegree, inedges, outdegree, and outedges, respectively, of node v. In this paper, we consider a special type of rooted, directed, acyclic graphs (rDAG) g = (V, E), where V is partitioned into four sets V_{ T } = {v ∈ V : d^{  }(v) = 1 Λ d^{+}(v) ≥ 2}, V_{ N } = {v ∈ V : d^{  }(v) = 2 Λ d^{+}(v) = 1} (reticulation nodes), V_{ L } = {v ∈ V : d^{  }(v) = 1 Λ d^{+}(v) = 0}, and {r}, where r, the root, is a unique node with d^{}(r) = 0 and d^{+}(r) ≥ 2. An $\mathcal{X}$rDAG is an rDAG whose leaves (the set V_{ L }) are bijectively labeled by set $\mathcal{X}$. Further, we consider a special type of rooted trees, where a rooted tree is an rDAG with V_{ N } = ∅. An $\mathcal{X}$tree is a rooted tree whose leaves are bijectively labeled by set $\mathcal{X}$.
Networks and trees
Here, we use the following definition of phylogenetic network topologies [24].
Definition 1 A phylogenetic $\mathcal{X}$network, or phylogenetic network for short, N is a 3tuple (G, λ, γ), where G = (V, E) is an $\mathcal{X}$rDAG, λ: E → ℝ^{+} is the edge lengths mapping, and γ : E → [0, 1] is the inheritance probability mapping, which satisfies ${\sum}_{u\in {\delta}^{}\left(v\right)}\gamma \left(u\right)=1$for every v ∈ V  {r}.
A gene tree on set $\mathcal{Y}$ of alleles (copies of a gene) is a $\mathcal{Y}$tree. Since a gene tree is inferred from gene copies that are sampled from a set of species, there is a mapping from the leaves of the gene tree to the leaves of the phylogenetic network.
Definition 2 A species network/gene tree instance is a triplet (N, T, µ), where N is an $\mathcal{X}$network, T is a $\mathcal{Y}$tree, and $\mu :\mathcal{Y}\to \mathcal{X}$is a function that maps the gene tree leaf labels to the phylogenetic network leaf labels.
Notice that the mapping µ is not necessarily injective (as, biologically, not all species have exactly the same number of copies of a given gene) or surjective (since some species may have zero copies of a given gene). In order not to introduce too many symbols, we will refer to the nodes and edges of a phylogenetic network or a gene tree when we actually mean the nodes and edges of the topologies of these structures.
The way in which a gene evolves within the edges of a phylogenetic network can be described by a coalescent history [22]. Let g be an rDAG or a rooted tree. For a node u in g, we denote by g_{ u } the set of all nodes that are reachable from node u.
Definition 3 Given a species network/gene tree instance (N, g, µ), a coalescent history is a function h: V (g) → E(N ) that satisfies the following two conditions:

If d^{+}(v) = 0 and µ(v) = w, then h(v) = (u, w) for the edge (u, w) ∈ E(N ).

If v ∈ g_{ u } for node u ∈ V (g), and h(u) = (p, q), then h(v) = (x, y) where x ∈ N_{ q }.
Given a species network/gene tree instance (N, g, µ), we denote by HN (g) the set of all coalescent histories of g given N.
Probability and extra lineages
In this equation, the entities u_{ b }(h) and v_{ b }(h) for an edge b = (x, y) in the phylogenetic network denote the numbers of gene copies that "enter" edge b from below (the $\mathcal{Y}$ endpoint) and "exit" edge b from above (the x endpoint). These two entities define the number of coalescent events that occurred on edge b, which equals r = u_{ b }(h)  v_{ b }(h). The probability of r coalescent events occurring, reducing u_{ b }(h) lineages into v_{ b }(h) lineages, on an edge whose length is λ_{ b }, is given by the quantity ${p}_{{u}_{b}\left(h\right){v}_{b}\left(h\right)}\left({\lambda}_{b}\right)$[25]. The quantities w_{ b }(h)/d_{ b }(h) is the proportion of all r coalescent scenarios that are consistent with the gene tree (not every scenario of r coalescent events will results in a topology that agrees with g) [10]. This quantity without the b subscript corresponds to the root of N (where there is no explicit edge incoming into it).
Notice that for computing extra lineages, the λ and γ parameters are not used. This is a maximum parsimony criterion for explaining the gene tree g given the phylogenetic network N. Different from Eq. (1), N here represents the topology of the network only.
When the phylogenetic network N is a tree (that is, V_{ N } = ∅ and γ(b) = 1, for all b ∈ E(N )), algorithms exist for computing P(gN) [10, 11] and XL(N, g) [1, 26]. More recently, we proposed new methods for computing these two quantities when N is a phylogenetic network (V_{ N } ≠ ∅), based on a technique that converts the network into a multilabeled tree (MULtree) [21, 22]. However, these techniques become prohibitive even for data sets with 15 to 20 taxa and even without hybridization being involved [11]. The contribution of this paper, which we present in detail next, is a heuristic that significantly reduces time to approximate P (gN), when N is a tree as well as two novel strategies to speed up the algorithms of [21, 22] significantly.
Speeding up probability computation under ILS
From Eq. (1) we can see that the probability of observing gene tree g given species tree N equals to the sum of all coalescent histories. Number of coalescent histories increases rapidly with the increase of number of taxa, but not all of the histories contribute equally, or even significantly to the sum. We propose the heuristic approach in which the target probability is approximated by summing over a subset of coalescent histories which carry the most weight. In order to do so we first compute limiting coalescent history (LCH), which is one distinct, easy to compute, coalescent history and will be used to bound the search space. If v is an internal node of species tree N, let b_{ v } represent the branch that connects node v to its parent with length ${\lambda}_{{b}_{v}}$ Let numL_{ v } represent the number of lineages entering branch b_{ v } and minL_{ v } the minimal number of lineages exiting that same branch (if all coalescent events that are permitted by topologies of gene and species tree happen on this branch). Initially all lineages coalesce prior to the root and numL_{ v } for all internal nodes v of the species tree is set accordingly. Coalescent history is represented by a vector C = (c_{1}, c_{2}, ...c_{ n2 }). Each element of C corresponds to an internal node (clade) of the gene tree, and the appropriate value represents the node v in species tree on whose branch b_{ v } the clade coalesces. LCH is just one distinct coalescent history. We define a function called ComputeLCH which takes a species tree N and gene tree g, and returns LCH for these two trees.
Algorithm 1: ComputeLCH.
Input: Phylogenetic tree N with branch lengths, gene tree g
Output: LCH(N, g)
foreach internal node v ∈ N, with parent w in postorder traversal do
if minL_{ v } ≠ numL_{ v } then
Find x, minL_{ v } ≤ x ≤ numL_{ v }, that maximizes ${p}_{num{L}_{v},x}\left({\lambda}_{{v}_{b}}\right)$;
Pick r = numL_{ v }  x coalescent events on branch b_{ v } that agree with gene and species tree topologies (ties are broken randomly); Update LCH accordingly; numL_{ w } ← numL_{ w }  r;
return LCH;
Once we have LCH, we will approximate the probability of g by summing over all coalescent histories that are "under" LCH. Coalescent history H = (h 1, h 2, ...h_{ n2 }) is "under" LCH = (l_{1}, l_{2}, ..., l_{ n2 }) if for each i ∈ {1, 2, ..., n  2}, h_{ i } is ether equal to l_{ i } or is a descendant of l_{ i }. Similar approach in duplication/loss model was suggested in [27].
We do not address the parsimony approach, since it is trivial when we work with trees. It consists of computing least common ancestor (LCA) mapping of all pairs of nodes within a gene tree on a species tree.
Ancestral configurations on networks
Central to our methods is the concept of weighted ancestral configuration (AC, or simply configuration). When its unweighted version was first introduced, it was defined on species trees for computing the probability of gene tree topologies [11]. However, the concept is extended significantly here to apply to networks.
Given a species network N with q = V_{ N }  reticulation nodes numbered 1, 2, ..., q and a gene tree g on set $\mathcal{Y}$ of alleles, an ancestral configuration can be associated with a node v of N, denoted by AC_{ v }, or an edge e of N, denoted by AC_{ e }, and is an element of the set ${2}^{\mathcal{Y}}\times {\mathbb{Z}}^{q}\times \mathbb{R}$ where the first element is the set of all subsets of alleles in $\mathcal{Y}$, the second is the set of all vectors of integers of size q, and the third element is the set of real numbers. When the context is clear, we omit the subscript. For an AC (B, a, w), the interpretation is as follows:

B ⊆ A: a set of lineages that exist at the point (node or edge) with which the AC is associated.

a[i], for 1 ≤ i ≤ q: an index for the AC split that occurred at reticulation node i and gave rise to B.

w: a weight of the AC; we discuss below how to set/use this entry.
Given two ACs, AC_{1} = (B_{1}, a_{1}, w_{1}) and AC_{2} = (B_{2}, a_{2}, w_{2}), we say that AC_{1} and AC_{2} are compatible if for each i, 1 ≤ i ≤ q, either a_{1}[i] = a_{2}[i] or a_{1}[i] · a_{2}[i] = 0; otherwise, the two ACs are incompatible. Further, if B_{1} = B_{2} and a_{1} = a_{2}, we say that the two ACs are identical.
Ancestral configurations are computed in a bottomup fashion by algorithms below. Two major operations that occur as the algorithms proceed bottomup are:

Splitting an AC whenever a reticulation node is encountered. Let (B, a, w) be an AC on the edge incident out of reticulation node k. Further, assume that for each reticulation node i (1 ≤ i ≤ q), we have a counter o_{ i }, that is initialized to 0 at the start of an algorithm. Splitting (B, a, w) at node k results in two ACs AC_{1} = (B_{1}, a_{1}, w_{1}) and AC_{2}(B_{2}, a_{ 2 }, w_{2}), each associated with one of the two reticulation edges, such that B_{1} ∪ B_{2} = B, B_{1} ∩ B_{2} = ∅, a_{1}[k] = a_{2}[k] = o_{ k }+ 1, and o_{ k }is incremented by 1. For the weights, w_{1} = w and w_{2} = 0 if the algorithm used is CountXL below, and w_{1} = w and w_{2} = 1 if the algorithm used is CalProb below.

Merging two ACs whenever an internal tree node is encountered. Let (B_{1}, a_{1}, w_{1}) and (B_{2}, a_{2}, w_{2}) be two compatible ACs associated with the edges incident from a tree node u. Then, these two ACs are merged into one AC (B, a, w) at node u where B = B_{1} ∪ B_{2} and a[i] = max{a_{1}[i], a_{2}[i]} for all 1 ≤ i ≤ q. For the weights, w = w_{1} + w_{2} if the algorithm used is CountXL below, and w = w_{1}· w_{2} if the algorithm used is CalProb below.
For AC = (B, a, w) we denote by n(AC) the quantity B. We denote by $\mathcal{A}\mathcal{C}$ the set of ACs associated with a node or edge. When $\mathcal{A}\mathcal{C}$ is associated with an edge, it denotes the set of ACs that result after all coalescence events took place on the edge.
Assume m and n are two gene lineages that meet at some node in a gene tree g. When reconciling g within the edges of a species network N , after the two entered the same edge of N , they might or might not have coalesced before leaving that edge, the probability of which depends on the length (in terms of time) and width (in terms of population size) of that edge. Therefore, one configuration entering a edge of N might give rise to several different configurations leaving that edge with different probabilities. We denote by Coal(B, g), for a set B of lineages and gene tree g, the set of all sets of lineages that B could coalesce into with respect to the topology of g. Ancestral configurations provide a compact representation of coalescent histories, thus allowing for efficient computing: while redundant parts that appear in different coalescent histories must be computed explicitly every time they are encountered, particularly over the different allele mappings employed in the approaches of [21, 22], using ancestral configurations ameliorates this by computing the values only once for each ancestral configuration. Further, when these computations are coupled with network space search, local perturbations to candidate networks necessitate new computations to only a small number of ancestral configurations. We now show how to use configurations to compute P (gN) and XL(N, g) efficiently.
Counting the number of extra lineages under ILS and hybridization
For a configuration AC, we denote by xl(AC) the minimum number of extra lineages arising from coalescing the extant gene lineages in AC to the present gene lineages in AC. In this method, weight w in (B, a, w) ∈ $\mathcal{A}\mathcal{C}$ corresponds to xl(AC), where $\mathcal{A}\mathcal{C}$ is either ${\mathcal{A}\mathcal{C}}_{v}$ where v is a node or ${\mathcal{A}\mathcal{C}}_{b}$ where b is a edge.
Observation 1 Let AC = (B, a, w) be a configuration entering a edge b and AC^{+} = (B^{+}, a^{+}, w^{+}) be a configuration that AC coalesced into before leaving b. Then w^{+} = w^{+} max{n(AC^{+})  1, 0}, where n(AC^{+}) is the number of lineages on edge b.
We define a function called CreateCACsForXL which takes a gene tree g, an edge b = (u, v) of the network N and a set of ACs ${\mathcal{A}\mathcal{C}}_{v}$ that enter edge b, and returns a set of ACs ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$ that exit edge b.
Note that although one configuration can coalesce into several different configurations along an edge, under parsimony we only need to keep the one that has the minimum total number of extra lineages. Therefore
Algorithm 2: CreateCACsForXL.
Input: Gene tree g, edge b = (u, v), set of ACs ${\mathcal{A}\mathcal{C}}_{v}$
Output: A set of ACs ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$
foreach (B, a, w) ∈ ${\mathcal{A}\mathcal{C}}_{v}$do
${B}^{+}\leftarrow \mathsf{\text{argmi}}{\mathsf{\text{n}}}_{{B}^{\prime}\in Coal\left(B,g\right)}\left{B}^{\prime}\right;$
Compute w^{+} using Rule 1;
${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}\leftarrow {\mathcal{A}\mathcal{C}}_{\left(u,v\right)}\cup \left({B}^{+},\phantom{\rule{0.3em}{0ex}}a\phantom{\rule{0.3em}{0ex}}{w}^{+}\right)$;
return ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$
$\left{\mathcal{A}\mathcal{C}}_{u}\right=\left{\mathcal{A}\mathcal{C}}_{\left(u,v\right)}\right$ and there is 11 correspondence between configurations in $\left{\mathcal{A}\mathcal{C}}_{u}\right$ and configurations in $\left{\mathcal{A}\mathcal{C}}_{\left(u,v\right)}\right$.
For a phylogenetic network N and a gene tree g, the algorithm for computing the minimum number of extra lineages required to reconcile g within N is shown in Alg. 3. Basically, we traverse the nodes of the network in postorder. For every node v we visit, we construct the set of ACs ${\mathcal{A}\mathcal{C}}_{v}$ for node v based on its type. Recall that there are four types of nodes in a phylogenetic network, which are leaves, reticulation nodes, internal tree nodes, and the root. Finally when we arrive at the root of N, we are able to obtain XL(N, g).
Algorithm 3: CountXL.
Input: Phylogenetic network N with q reticulation nodes, gene tree g
Output: XL(N, g)
while traversing the nodes of N in postorder do
if node v is a leaf, who has parent u then
${\mathcal{A}\mathcal{C}}_{v}\leftarrow \left\{\left(B,\phantom{\rule{0.3em}{0ex}}a\phantom{\rule{0.3em}{0ex}}0\right)\right\}$ where B is the set of leaves in g that are sampled from the species associated with v and a is a
vector of q 0's;
${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$ ← CreateCACsForXL(g, (u, v), ${\mathcal{A}\mathcal{C}}_{v}$);
else if node v is a reticulation node, who has child w, and two parents u _{1} and u _{2} then
${\mathcal{A}\mathcal{C}}_{v}\leftarrow {\mathcal{A}\mathcal{C}}_{\left(v,w\right)}$;
foreach AC ∈ ${\mathcal{A}\mathcal{C}}_{v}$do
Split AC in every possible way into pairs of ACs, and for each pair, add one AC to ${\mathcal{A}\mathcal{C}}_{\left({u}_{1},v\right)}$ and the other AC to ${\mathcal{A}\mathcal{C}}_{\left({u}_{2},v\right)}$;
else if node v is an internal tree node, who has two children w _{1} and w _{2} then
foreach pair (AC_{1}, AC_{2} ) of compatible ACs in ${\mathcal{A}\mathcal{C}}_{\left(v,{w}_{1}\right)}\times {\mathcal{A}\mathcal{C}}_{\left(v,{w}_{2}\right)}$do
Merge AC_{1} and AC_{2} and add the resulting AC to ${\mathcal{A}\mathcal{C}}_{v}$;
if node v is an internal tree node, who has a parent u then
${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$ ← CreateCACsForXL(g, (u, v), ${\mathcal{A}\mathcal{C}}_{v}$);
else
return ${\text{min}}_{AC\in {\mathcal{A}\mathcal{C}}_{v}}\phantom{\rule{0.3em}{0ex}}xl\left(AC\right)$;
Calculating gene tree probability under ILS and hybridization
For a configuration AC, we denote by p(AC) the cumulative probability of the extant gene lineages in AC coalescing into the present gene lineages in AC from time 0. In this method, weight w in AC = (B, a, w) ∈ $\mathcal{A}\mathcal{C}$ corresponds to p(AC), where $\mathcal{A}\mathcal{C}$ is either ${\mathcal{A}\mathcal{C}}_{v}$ where v is a node or ${\mathcal{A}\mathcal{C}}_{b}$ where b is an edge.
where ${p}_{\leftB\right,B+}\left({\lambda}_{b}\right)$is the probability that B gene lineages coalesce into B^{+} gene lineages within time λ_{ b }, wb(B, B^{+}) is the number of ways that coalescent events can occur along edge b to coalesce B into B^{+} with respect to the gene tree topology, and db(B, B^{+}) is the number of all possible orderings of BB^{+} coalescent events.
Observation 2 Let AC = (B, a, w) be a configuration entering an edge b and AC^{+} = (B^{+}, a^{+}, w^{+}) be a configuration that AC coalesced into when leaving b. Then w^{+} = w · p_{ t }(B, B^{+}, b).
We define a function called CreateCACsForProb which takes a gene tree g, an edge b = (u, v) of the network N and a set of ACs ${\mathcal{A}\mathcal{C}}_{v}$ that enter edge b, and returns a set of all possible ACs ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$ that exit edge b. The algorithm for calculating the probability of observing a gene tree g given a species network N
Algorithm 4: CreateCACsForProb.
Input: Gene tree g, an edge b = (u, v), a set of ACs ${\mathcal{A}\mathcal{C}}_{v}$
Output: A set of ACs ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$
foreach (B, a, w) ∈ ${\mathcal{A}\mathcal{C}}_{v}$do
foreach B^{+} ∈ Coal(B, g) do
Compute w^{+} using Rule 2;
if ∃(B', a', w') ∈ ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$where B' = B^{+} and a' = a then
w' ← w' + w^{+};
else
${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}\leftarrow {\mathcal{A}\mathcal{C}}_{\left(u,v\right)}\cup \left({B}^{+},\phantom{\rule{0.3em}{0ex}}a\phantom{\rule{0.3em}{0ex}}{w}^{+}\right)$;
return ${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$;
is shown in Alg. 5. The basic idea is similar to the parsimony method we described in the previous section. It is important to note that the running time of the algorithms can be exponential for some data sets, as the complexity of both problems is open and conjectured to be NPhard.
Reducing the number of configurations
At every reticulation node v in the species network, every configuration AC in ${\mathcal{A}\mathcal{C}}_{v}$ is split in all 2^{n(AC)}possible ways. This may result in multiple configurations which contain the same set of gene lineages but are all distinct because of different vector values in some $\mathcal{A}\mathcal{C}$. It is clear that the running time (and memory usage) of both these two algorithms depends on the number of configurations. Therefore, in order to reduce the number of configurations so as to speed up the computation, we make use of articulation
Algorithm 5: CalProb.
Input: Phylogenetic network N including topology, edge lengths and inheritance probabilities, gene tree g
Output: P (gN)
while traversing the nodes of N in postorder do
if node v is a leaf, whose parent is u then
${\mathcal{A}\mathcal{C}}_{v}\leftarrow \left\{\left(B,\phantom{\rule{0.3em}{0ex}}a\phantom{\rule{0.3em}{0ex}}1\right)\right\}$ where B is the set of leaves in g sampled from the species associated with v and a is a vector of q 0's;
${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$ ← CreateCACsForProb(g, (u, v), ${\mathcal{A}\mathcal{C}}_{v}$);
else if node v is a reticulation node, who has child w, and two parents u_{1} and u_{2} then
${\mathcal{A}\mathcal{C}}_{v}\leftarrow {\mathcal{A}\mathcal{C}}_{\left(v,w\right)}$;
S_{1} ← ∅;
S_{2} ← ∅;
foreach AC ∈ ${\mathcal{A}\mathcal{C}}_{v}$do
Split AC in every possible way into pairs of ACs, and for each pair, add one AC to S_{1} and the other AC to S_{2};
foreach (B, a, w) ∈ S_{1} do
$w\leftarrow w\cdot {\gamma}_{\left({u}_{1},v\right)}^{\leftB\right};$
${\mathcal{A}\mathcal{C}}_{\left({u}_{1},v\right)}$ ← CreateCACsForProb(g, (u_{1} , v), S_{1});
foreach (B, a, w) ∈ S_{2} do
$w\leftarrow w\cdot {\gamma}_{\left({u}_{2},v\right)}^{\leftB\right};$
${\mathcal{A}\mathcal{C}}_{\left({u}_{2},v\right)}$ ← CreateCACsForProb(g, (u_{2} , v), S_{2} );
else if node v is an internal tree node, who has two children w_{1} and w_{2} then
foreach pair (AC_{1}, AC_{2}) of compatible ACs in ${\mathcal{A}\mathcal{C}}_{\left(v,{w}_{1}\right)}\times {\mathcal{A}\mathcal{C}}_{\left(v,{w}_{2}\right)}$do
Merge AC_{1} and AC_{2} and add the resulting AC to ${\mathcal{A}\mathcal{C}}_{v}$;
if node v is an internal tree node, who has a parent u then
${\mathcal{A}\mathcal{C}}_{\left(u,v\right)}$ ← CreateCACsForProb(g, (u, v), ${\mathcal{A}\mathcal{C}}_{v}$);
else
Let B_{ R } be the root lineage of the gene tree g;
return ${\sum}_{\left(B,a,w\right)\in {\mathcal{A}\mathcal{C}}_{v}}w\cdot {p}_{t}\left(B,\phantom{\rule{0.3em}{0ex}}{B}_{R},+\infty \right)$;
nodes in the graph (an articulation node is a node whose removal disconnects the phylogenetic network). Obviously, the reticulation nodes inside the subnetwork rooted at an articulation node are independent of the reticulation nodes outside the subnetwork. So at articulation node v we can reset the vectors in all ACs in ${\mathcal{A}\mathcal{C}}_{v}$ to 0's so that all configurations at v containing the same set of gene lineages become identical. More precisely, when traversing the species network, after constructing ${\mathcal{A}\mathcal{C}}_{v}$ for some internal tree node v as we have described in Alg. 3 and Alg. 5, if v is an articulation node, we reset the vector to 0's in every AC in ${\mathcal{A}\mathcal{C}}_{v}$. Then for counting the minimum number of extra lineages, we update ${\mathcal{A}\mathcal{C}}_{v}$ to be ${\mathcal{A}\mathcal{C}}_{v}^{\prime}$ such that only the configuration containing the minimum weight is left, using the statement: ${\mathcal{A}\mathcal{C}}_{v}^{\prime}=\left\{{\mathsf{\text{argmin}}}_{\left(B,a,w\right)\in {\mathcal{A}\mathcal{C}}_{v}}w\right\}$. And for computing the probability of the topology of a gene tree, we keep only one copy of every distinct configuration. More precisely, we update ${\mathcal{A}\mathcal{C}}_{v}$ to be ${\mathcal{A}\mathcal{C}}_{v}^{\prime}$ using ${\mathcal{A}\mathcal{C}}_{v}^{\prime}=\left\{\left(B,a,{w}^{\prime}\right):{w}^{\prime}={\sum}_{\left(B,a,w\right)\in {\mathcal{A}\mathcal{C}}_{v}}w\right\}$. Note that a is a zero vector.
Results and discussion
Species tree inference under ILS
It is important to note that although we used coalescent histories to describe the heuristic, in practice we estimate the probability of the gene tree given a species tree using the concept of ancestral configurations.
To test the speed of proposed heuristic we generated 4 datasets, each consisting of 50 random species trees with same number of taxa and same height using PhyloGen [28]. We used trees with 10, 20, 30 and 300 taxa of heights 5, 10, 15 and 20 respectively. From each species tree we simulated 25 gene trees, and estimated the probability of the gene trees given that species tree. On average, to compute (or estimate) the probability of a single gene tree, for the exact method it took 0.0019, 0.297 and 10.05 and for heuristic 0.0019, 0.0068 and 0.01 seconds for the trees with 10, 20 and 30 taxa, respectively. For the exact method we see that as we increase the number of taxa the time starts increasing dramatically. For the dataset consisting of trees with 300 taxa using heuristic took on average 0.2594 seconds to compute the same probability.
For the inference using heuristic on datasets with 15 and 30 taxa all of the runs finished within the given time frame of 72 hours. On the dataset with 60 taxa 5 out of 300 runs with 25 gene trees, 6 out of 300 runs with 100 gene trees and 31 out of 300 runs with 200 gene trees did not finish in the given time frame. For the exact method on 15 taxa data set, 1 out of 300 runs with 100 gene trees and 16 out of 300 runs with 200 gene trees did not finish in the given time frame.
From Figure 1(a) we can see that if we have more gene trees the inferred species tree will be more accurate, which is a good property. When the heuristic is compared with exact method on 15 taxa dataset, the accuracy of the heuristic decreases slightly, but the running time improves significantly. Average speedup of the heuristic over the exact method on this dataset was 112.
One important thing to keep in mind while looking at the runtime results is that we are working with ML framework. In order to infer species tree we need to examine large number of potential species trees, for each of them we need to estimate branch lengths and finally compute the likelihood function. This means that for any potential species tree we will have to recompute the probabilities of all given gene trees multiple times. So when we increase the number of taxa, we increase the number of potential species tree we have to evaluate, and we increase the number of branches within the tree. This is the reason why the computation on datasets with large number of taxa will still take long time, but not due to the slow computation of probability.
Gene tree parsimonious reconciliation and probability under ILS and hybridization
To study the performance of the two methods compared to the MULtree based methods, we ran all four on synthetic data generated as follows. We first generated 100 random 24taxon species trees using PhyloGen [28], and from these we generated random species networks with 1, 2, 4, 6 and 8 reticulation nodes. When expanding a species network with n reticulation nodes to a species network with n + 1 reticulation nodes, we randomly selected two existing edges in the species network and connected their midpoints from the higher one to the lower one and then the lower one becomes a new reticulation node. Then, we simulated 10, 20, 50, 100, 200, 500 and 1000 gene trees respectively within the edges of each species network using the ms program [30]. Since the MULtree methods are computationally very intensive, we employed the following strategy: for the parsimony methods, we bounded the time at 24 hours (that is, killed jobs that did not complete within 24 hours). For the probabilistic methods, we bounded the time at 8 hours. The reason for this choice is that we found that in most cases if the probabilistic method did not finish within 8 hours, then it often did not finish within 24 hours (which is not the case of the parsimony methods). Therefore, to save running time that would be "wasted" without adding to the results, we decided on the 8hour bound for the probabilistic methods.
For both parsimony and probabilistic methods, it is not surprising to see that for a fixed number of taxa the running time increases significantly when the number of reticulation nodes in the species networks increased. However, even for the same number of reticulation nodes, we can see that the running time still differs significantly from case to case. We find that for the data sets of the same size (e.g., number of taxa and reticulation nodes) there are several factors that can affect the number of configurations generated during the computation which directly dominates the running time of the algorithm. More specifically, the running time of the algorithms increases when there are more leaves under reticulation nodes and when the reticulation nodes are more dependent on each other. With respect to the topology of the gene tree and the species network, the more coalescent events that are allowed under reticulation nodes the faster the parsimony method is, and the opposite for the probabilistic method. For most cases, the ACbased methods are significantly much faster than the MULtree based ones. For parsimony, the gain in terms of efficiency comes from avoiding allele mappings that are guaranteed to result in suboptimal reconciliations or correspond to configurations being removed at articulation nodes. For probabilistic reconciliation, the gain comes from two factors: (1) avoiding redundant computations by reducing the number of configurations at articulation nodes which could not be avoided in MULtree based method, and (2) using ACs to compute the probability instead of enumerating the coalescent histories.
Declarations
Acknowledgements
The authors would like to thank R. Matthew Barnett for providing the code for generating random species networks.
Declarations
Publication of this article was funded in part by NSF grants DBI1062463 and CCF1302179, grant R01LM009494 from the National Library of Medicine, an Alfred P. Sloan Research Fellowship, and a Guggenheim Fellowship to L.N. This work was also supported in part by the Data Analysis and Visualization Cyberinfrastructure funded by NSF under grant OCI0959097. The contents are solely the responsibility of the authors and do not necessarily represent the official views of the NSF, National Library of Medicine, the National Institutes of Health, the Alfred P. Sloan Foundation, or the John Simon Guggenheim Memorial Foundation.
This article has been published as part of BMC Bioinformatics Volume 14 Supplement 15, 2013: Proceedings from the Eleventh Annual Research in Computational Molecular Biology (RECOMB) Satellite Workshop on Comparative Genomics. The full contents of the supplement are available online at http://www.biomedcentral.com/bmcbioinformatics/supplements/14/S15.
Authors’ Affiliations
References
 Maddison WP: Gene trees in species trees. Syst Biol. 1997, 46: 523536. 10.1093/sysbio/46.3.523.View ArticleGoogle Scholar
 Syring J, Willyard A, Cronn R, Liston A: Evolutionary relationships among Pinus (Pinaceae) subsections inferred from multiple lowcopy nuclear loci. American Journal of Botany. 2005, 92: 20862100. 10.3732/ajb.92.12.2086.View ArticlePubMedGoogle Scholar
 Pollard DA, Iyer VN, Moses AM, Eisen MB: Widespread discordance of gene trees with species tree in Drosophila: evidence for incomplete lineage sorting. PLoS Genet. 2006, 2: 16341647.Google Scholar
 Than C, Sugino R, Innan H, Nakhleh L: Efficient Inference of Bacterial Strain Trees From Genomescale Multilocus Data. Bioinformatics. 2008, 24: i123i131. 10.1093/bioinformatics/btn149. [Proceedings of the 16th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB '08)]PubMed CentralView ArticlePubMedGoogle Scholar
 Kuo CH, Wares JP, Kissinger JC: The Apicomplexan wholegenome phylogeny: An analysis of incongurence among gene trees. Mol Biol Evol. 2008, 25 (12): 26892698. 10.1093/molbev/msn213.PubMed CentralView ArticlePubMedGoogle Scholar
 Cranston KA, Hurwitz B, Ware D, Stein L, Wing RA: Species trees from highly incongruent gene trees in rice. Syst Biol. 2009, 58: 489500. 10.1093/sysbio/syp054.View ArticlePubMedGoogle Scholar
 White M, Ane C, Dewey C, Larget B, BAPayseur: Finescale phylogenetic discordance across the house mouse genome. PLoS Genetics. 2009, 5: e100072910.1371/journal.pgen.1000729.PubMed CentralView ArticlePubMedGoogle Scholar
 Hobolth A, Dutheil J, Hawks J, Schierup M, Mailund T: Incomplete lineage sorting patterns among human, chimpanzee, and orangutan suggest recent orangutan speciation and widespread selection. Genome Research. 2011, 21 (3): 349356. 10.1101/gr.114751.110.PubMed CentralView ArticlePubMedGoogle Scholar
 Takuno S, Kado T, Sugino RP, Nakhleh L, Innan H: Population Genomics in Bacteria: A Case Study of Staphylococcus aureus. Molecular Biology and Evolution. 2012, 29 (2): 797809. 10.1093/molbev/msr249.PubMed CentralView ArticlePubMedGoogle Scholar
 Degnan J, Salter L: Gene tree distributions under the coalescent process. Evolution. 2005, 59: 2437.View ArticlePubMedGoogle Scholar
 Wu Y: Coalescentbased species tree inference from gene tree topologies under incomplete lineage sorting by maximum likelihood. Evolution. 2012, 66: 763775. 10.1111/j.15585646.2011.01476.x.View ArticlePubMedGoogle Scholar
 Staubach F, Lorenc A, Messer P, Tang K, Petrov D, Tautz D: Genome patterns of selection and introgression of haplotypes in natural populations of the house mouse (Mus musculus). PLoS Genetics. 2012, 8 (8): e100289110.1371/journal.pgen.1002891.PubMed CentralView ArticlePubMedGoogle Scholar
 Consortium THG: Butterfly genome reveals promiscuous exchange of mimicry adaptations among species. Nature. 2012, 487 (7405): 9498.Google Scholar
 Moody M, Rieseberg L: Sorting Through The Chaff, nDNA Gene Trees For Phylogenetic Inference And Hybrid Identification Of Annual Sunflowers (Helianthus sect Helianthus). Molecular Phylogenetics And Evolution. 2012, 64: 145155. 10.1016/j.ympev.2012.03.012.View ArticlePubMedGoogle Scholar
 Than C, Ruths D, Innan H, Nakhleh L: Confounding factors in HGT detection: statistical error, coalescent effects, and multiple solutions. J Comput Biol. 2007, 14: 517535. 10.1089/cmb.2007.A010.View ArticlePubMedGoogle Scholar
 Meng C, Kubatko LS: Detecting hybrid speciation in the presence of incomplete lineage sorting using gene tree incongruence: A model. Theor Popul Biol. 2009, 75: 3545. 10.1016/j.tpb.2008.10.004.View ArticlePubMedGoogle Scholar
 Kubatko LS: Identifying hybridization events in the presence of coalescence via model selection. Syst Biol. 2009, 58 (5): 478488. 10.1093/sysbio/syp055.View ArticlePubMedGoogle Scholar
 Joly S, McLenachan PA, Lockhart PJ: A statistical approach for distinguishing hybridization and incomplete lineage sorting. Am Nat. 2009, 174 (2): E54E70. 10.1086/600082.View ArticlePubMedGoogle Scholar
 Yu Y, Than C, Degnan J, Nakhleh L: Coalescent Histories on Phylogenetic Networks and Detection of Hybridization Despite Incomplete Lineage Sorting. Systematic Biology. 2011, 60: 138149. 10.1093/sysbio/syq084.PubMed CentralView ArticlePubMedGoogle Scholar
 Jones G, Sagitov S, Oxelman B: Statistical inference of allopolyploid species networks in the presence of incomplete lineage sorting. arXiv. 2012, 12083606Google Scholar
 Yu Y, Barnett R, Nakhleh L: Parsimonious inference of hybridization in the presence of incomplete lineage sorting. Systematic Biology. 2013, [To appear]Google Scholar
 Yu Y, Degnan J, Nakhleh L: The probability of a gene tree topology within a phylogenetic network with applications to hybridization detection. PLoS Genetics. 2012, 8: e100266010.1371/journal.pgen.1002660.PubMed CentralView ArticlePubMedGoogle Scholar
 Than C, Ruths D, Nakhleh L: PhyloNet: a software package for analyzing and reconstructing reticulate evolutionary relationships. BMC Bioinformatics. 2008, 9: 32210.1186/147121059322.PubMed CentralView ArticlePubMedGoogle Scholar
 Nakhleh L: Evolutionary phylogenetic networks: models and issues. The Problem Solving Handbook for Computational Biology and Bioinformatics. Edited by: Heath L, Ramakrishnan N. 2010, New York: Springer, 125158.View ArticleGoogle Scholar
 Tavaré S: Lineofdescent and genealogical processes, and their applications in population genetics models. Theor Pop Biol. 1984, 26: 119164. 10.1016/00405809(84)900273.View ArticleGoogle Scholar
 Than C, Nakhleh L: Species tree inference by minimizing deep coalescences. PLoS Computational Biology. 2009, 5 (9): e100050110.1371/journal.pcbi.1000501.PubMed CentralView ArticlePubMedGoogle Scholar
 Doyon JP, Hamel S, Chauve C: An Efficient Method for Exploring the Space of Gene Tree/Species Tree Reconciliations in a Probabilistic Framework. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 2012, 9: 2639.View ArticleGoogle Scholar
 Rambaut A: Phylogen v1.1. 2012, [http://tree.bio.ed.ac.uk/software/phylogen/]Google Scholar
 Robinson D, Foulds L: Comparison of phylogenetic trees. Math Biosci. 1981, 53: 131147. 10.1016/00255564(81)900432.View ArticleGoogle Scholar
 Hudson RR: Generating samples under a WrightFisher neutral model of genetic variation. Bioinformatics. 2002, 18: 337338. 10.1093/bioinformatics/18.2.337.View ArticlePubMedGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.