Extracting conflictfree information from multilabeled trees
 Akshay Deepak^{1}Email author,
 David FernándezBaca^{1} and
 Michelle M McMahon^{2}
https://doi.org/10.1186/17487188818
© Deepak et al.; licensee BioMed Central Ltd. 2013
 Received: 11 December 2012
 Accepted: 29 June 2013
 Published: 9 July 2013
Abstract
Background
A multilabeled tree, or MULtree, is a phylogenetic tree where two or more leaves share a label, e.g., a species name. A MULtree can imply multiple conflicting phylogenetic relationships for the same set of taxa, but can also contain conflictfree information that is of interest and yet is not obvious.
Results
We define the information content of a MULtree T as the set of all conflictfree quartet topologies implied by T, and define the maximal reduced form of T as the smallest tree that can be obtained from T by pruning leaves and contracting edges while retaining the same information content. We show that any two MULtrees with the same information content exhibit the same reduced form. This introduces an equivalence relation among MULtrees with potential applications to comparing MULtrees. We present an efficient algorithm to reduce a MULtree to its maximally reduced form and evaluate its performance on empirical datasets in terms of both quality of the reduced tree and the degree of data reduction achieved.
Conclusions
Our measure of conflictfree information content based on quartets is simple and topologically appealing. In the experiments, the maximally reduced form is often much smaller than the original tree, yet retains most of the taxa. The reduction algorithm is quadratic in the number of leaves and its complexity is unaffected by the multiplicity of leaf labels or the degree of the nodes.
Keywords
 Phylogenetic trees
 Evolutionary trees
 Multilabeled trees
 Reduction
 Singlylabeled trees
Background
MULtrees, unlike singlylabeled trees, can contain conflicting specieslevel phylogenetic information due to biological processes such as whole genome duplications[9] or incomplete lineage sorting[10], to artifactual processes such as inferential error, or, frequently, an unknown combination of several factors. However, they can also contain substantial amounts of conflictfree information.
Here we provide a way to extract this information; specifically, we have the following results.

We introduce a new quartetbased measure of the information content of a MULtree, defined as the set of conflictfree quartets that the tree displays (see MULTrees and information content on page 3).

We introduce the concept of the maximallyreduced form (MRF) of a MULtree T, the smallest tree with the same information content as T (see Maximally reduced MULTrees on page 4), and show that any two MULtrees with the same information content have the same MRF (Theorem 3).

We present a simple algorithm to construct the MRF of a MULtree (see The reduction algorithm on page 7). Its running time is quadratic in the number of leaves and does not depend on the multiplicity of the leaf labels or the degrees of the internal nodes.

We present computational experience with an implementation of our MRF algorithm (see Results and discussion on page 8). In our test data, the MRF is often significantly smaller than the original tree, while retaining most of the taxa.
We now give the intuition behind our notion of information content, deferring the formal definitions of this and other concepts to the next section. Quartets (i.e., sets of four species) are a natural starting point, since they are the smallest subsets from which we can draw meaningful topological information. A singlylabeled tree implies exactly one topology on any quartet. More precisely, each edge e in a singlylabeled tree implies a bipartition (A,B) of the leaf set, where each part is the set of leaves on one of the two sides of e. From (A,B), we derive a collection of bipartitions a bc d of quartets, such that {a,b} ⊆ A and {c,d} ⊆ B. Clearly, if one edge in a singlylabeled tree implies some bipartition q = a bc d of {a,b,c,d}, then there can be no other edge that implies a bipartition, such as acbd, that is in conflict with q. Indeed, the quartet topologies implied by a singlylabeled tree uniquely identify it[11].
The situation for MULtrees is more complicated, as illustrated in Figure1. Here, the presence of two copies of labels b and c — b(1) and b(2), and, c(1) and c(2) — leads to two conflicting topologies on the quartet {b,c,d,e}. Edge (u,v) implies the bipartition b cd e, corresponding to the labels {b(1),c(1),d,e}, while edge (v,w) implies b dc e corresponding to the leaves {b(2),c(2),d,e}. On the other hand, the quartet topology a fb c, implied by edge (t,u), has no conflict with any other topology that the tree exhibits on {a,b,c,f}. We show that the set of all such conflictfree quartet topologies is compatible (Theorem 1). That is, for every MULtree T there exists at least one singlylabeled tree that displays all the conflictfree quartets of T — and possibly some other quartets as well. Motivated by this, we only view conflictfree quartet topologies as informative, and define the information content of a MULtree as the set of all conflictfree quartet topologies it implies.
We should note that conflicting quartets may well provide valuable information, whether about paralogy, deep coalescence, or mistaken annotations. In some cases, specieslevel phylogenetic information can be recovered from conflicted quartets through application of, e.g., genetree speciestree reconciliation (generally an NPhard problem[12]). However, this is not feasible when the underlying cause of multiplicity is unknown or when conducting largescale analyses. Our definition of information content is deliberately designed to make no assumptions about the cause of conflict. It is also conservative with respect to species relationships, i.e., it does not introduce quartets not originally supported by the data. Further, knowing the information content of a MULtree allows us to easily identify its conflicting quartets as well.
Since any two MULtrees with the same information content have the same MRF, rather than comparing MULtrees directly, we can instead compare their MRFs. This is appealing mathematically, because it focuses on conflictfree information content, and also computationally, since an MRF can be much smaller than the original MULtree. Indeed, on our test data, the MRF was frequently singlylabeled. This reduction in input size is especially significant if the MULtree is an input to an algorithm whose running time is exponential in the label multiplicity, such as Ganapathy et al.’s algorithm to compute the contractandrefine distance between two area cladograms[7] or Huber et al.’s algorithm to determine if a collection of “multisplits” can be displayed by a MULtree[13].
For our experiments, we also implemented a postprocessing step, which converts the MRF to a singlylabeled tree, rendering it available for analyses that require singlylabeled trees, including supermatrix[14, 15] and supertree methods[16–19]. On the trees in our data set, the combined taxon loss between the MRF computation and the postprocessing was much lower than it would have been had we simply removed all duplicate taxa from the original trees.
Previous work on MULtrees has concentrated on finding ways to reduce MULtrees to singlylabeled trees (typically in order to provide inputs to supertree methods)[5], and to develop metrics and algorithms to compare MULtrees[7, 20–22]. In contrast to our approach — which is purely topologybased and is agnostic with respect to the cause of label multiplicity — the assumption underlying much of the literature on MULtrees is that taxon multiplicity results from gene duplication. Thus, methods to obtain singlylabeled trees from MULtrees usually work by pruning subtrees at putative duplication nodes. Although the proposed algorithms are polynomial, they are unsatisfactory in various ways. For example, in[5] if the subtrees are neither identical nor compatible, then the subtree with smaller information content is pruned, which seems to discard too much information. Further, the algorithm is only efficient for binary rooted trees. In[20] subtrees are pruned arbitrarily, while in[21] at each putative duplication node a separate analysis is done for each possible pruned subtree. Although the latter approach is better than pruning arbitrarily, in the worst case it can end up analyzing exponentially many subtrees.
MULTrees and information content
A MULtree is a triple (T,M,ψ), where (i) T is an unrooted tree^{a} with leaf set$\mathcal{L}\left(T\right)$ all of whose internal nodes have degree at least three, (ii) M is a set of labels, and (iii)${\psi}_{T}:\mathcal{L}\left(T\right)\to M$ is a surjective map that assigns each leaf of T a label from M. (Note that if ψ is a bijection, T is singly labeled; that is, singlylabeled trees are a special case of MULtrees.) For brevity we often refer to a MULtree by its underlying tree T. In what follows, unless stated otherwise, by a tree we mean a MULtree.
An edge (u,v) in T is internal if neither u nor v belong to$\mathcal{L}\left(T\right)$, and is pendant otherwise. A pendant node is an internal node that has a leaf as its neighbor.
Let (u,v) be an edge in T and T^{′} be the result of deleting (u,v) from T. Then${T}_{u}^{\mathit{\text{uv}}}$ (${T}_{v}^{\mathit{\text{uv}}}$) denotes the subtree of T^{′} that contains u (v).${M}_{u}^{\mathit{\text{uv}}}$ (${M}_{v}^{\mathit{\text{uv}}}$) denotes the set of labels in${T}_{u}^{\mathit{\text{uv}}}$ (${T}_{v}^{\mathit{\text{uv}}}$) but not in${T}_{v}^{\mathit{\text{uv}}}$ (${T}_{u}^{\mathit{\text{uv}}}$). C^{ uv } is the set of labels common to both${T}_{u}^{\mathit{\text{uv}}}$ and${T}_{v}^{\mathit{\text{uv}}}$. Observe that${M}_{u}^{\mathit{\text{uv}}}$,${M}_{v}^{\mathit{\text{uv}}}$ and C^{ uv } partition M. For example, in Figure1,${M}_{u}^{\mathit{\text{uv}}}=\left\{a,f\right\}$,${M}_{v}^{\mathit{\text{uv}}}=\left\{e,d\right\}$, C^{ uv } = {b,c}.
A (resolved) quartet in a MULtree T is a bipartition a bc d of a set of labels {a,b,c,d} such that there is an edge (u,v) in T with$\left\{a,b\right\}\in {M}_{u}^{\mathit{\text{uv}}}$ and$\left\{c,d\right\}\in {M}_{v}^{\mathit{\text{uv}}}$. We say that (u,v) resolves a bc d. For example, in Figure1, edge (t,u) resolves a fb c.
The information content of an edge (u,v) of a MULtree T, denoted Δ(u,v), is the set of quartets resolved by (u,v). An edge (u,v) in tree T is informative if Δ(u,v) > 0; (u,v) is maximally informative if there is no other edge (u^{′},v^{′}) in T with Δ(u,v) ⊂ Δ(u^{′},v^{′}). The information content of T, denoted$\mathcal{I}\left(T\right)$, is the combined information content of all edges in the tree; that is$\mathcal{I}\left(T\right)=\bigcup _{(u,v)\in E}\mathrm{\Delta}(u,v)$, where E denotes the set of edges in T.
The next result shows that the quartets in$\mathcal{I}\left(T\right)$ are conflictfree.
Theorem 1
For every MULtree T, there is a singly labeled tree T^{′}such that$\mathcal{I}\left(T\right)\subseteq \mathcal{I}\left({T}^{\prime}\right)$.
Proof
Repeat the following step until T has no multiplyoccurring labels. Pick any multiplyoccurring label ℓ in T, select an arbitrary leaf labeled by ℓ, and relabel every other leaf labeled by ℓ, by a new, unique, label. The resulting tree T^{′} is singly labeled, and all labels of T are also present in T^{′}. Consider a quartet a bc d in T, that is resolved by edge (u,v). Assume that$\{a,b\}\in {M}_{u}^{\mathit{\text{uv}}}$ and$\{c,d\}\in {M}_{v}^{\mathit{\text{uv}}}$. Thus,${T}_{u}^{\mathit{\text{uv}}}$ contains all the occurrences of label a. Clearly, this also holds for the only occurrence of a in T^{′}. Similar statements can be made about labels b, c, and d. Thus, the quartet a bc d is resolved by edge (u,v) in T^{′}, and, hence, T^{′} displays all quartets of T. □
Note that there are examples where the containment indicated by the above result is proper.
Lemma 1.
If$\left{M}_{u}^{\mathit{\text{uv}}}\right=\left{M}_{w}^{\mathit{\text{wx}}}\right$then${M}_{u}^{\mathit{\text{uv}}}={M}_{w}^{\mathit{\text{wx}}}$. Otherwise,${M}_{u}^{\mathit{\text{uv}}}\subset {M}_{w}^{\mathit{\text{wx}}}$.
Proof
Refer to Figure3. Since${T}_{u}^{\mathit{\text{uv}}}$ is a subtree of${T}_{w}^{\mathit{\text{wx}}}$,${M}_{u}^{\mathit{\text{uv}}}\subseteq {M}_{w}^{\mathit{\text{wx}}}$ by definition of${M}_{u}^{\mathit{\text{uv}}}$. Thus, if$\left{M}_{u}^{\mathit{\text{uv}}}\right=\left{M}_{w}^{\mathit{\text{wx}}}\right$, we must have${M}_{w}^{\mathit{\text{wx}}}={M}_{u}^{\mathit{\text{uv}}}$ and, if$\left{M}_{u}^{\mathit{\text{uv}}}\right\ne \left{M}_{w}^{\mathit{\text{wx}}}\right$, we must have${M}_{u}^{\mathit{\text{uv}}}\subset {M}_{w}^{\mathit{\text{wx}}}$. □
Together with Lemma 1, the next result allows us to check whether the information content of an edge is a subset of that of another based solely on the cardinalities of the${M}_{u}^{\mathit{\text{uv}}}$s.
Lemma 2
Δ(u,v) ⊆ Δ(w,x) if and only if${M}_{v}^{\mathit{\text{uv}}}={M}_{x}^{\mathit{\text{wx}}}$.
Proof
(Only if) Suppose Δ(u,v) ⊆ Δ(w,x); therefore,${M}_{v}^{\mathit{\text{uv}}}\subseteq {M}_{x}^{\mathit{\text{wx}}}$. By definition,${M}_{v}^{\mathit{\text{uv}}}\supseteq {M}_{x}^{\mathit{\text{wx}}}$; hence,${M}_{v}^{\mathit{\text{uv}}}={M}_{x}^{\mathit{\text{wx}}}$.
(If) Suppose${M}_{v}^{\mathit{\text{uv}}}={M}_{x}^{\mathit{\text{wx}}}$. By definition,${M}_{u}^{\mathit{\text{uv}}}\subseteq {M}_{w}^{\mathit{\text{wx}}}$, which implies that Δ(u,v) ⊆ Δ(w,x). □
Lemma 3
Suppose Δ(u,v) ⊆ Δ(w,x). Then, for any edge (y,z) on P_{u,x}such that v is closer to y than to z, Δ(u,v) ⊆ Δ(y,z) ⊆ Δ(w,x).
Proof
By Lemma 2, since Δ(u,v) ⊆ Δ(w,x), we have${M}_{v}^{\mathit{\text{uv}}}={M}_{x}^{\mathit{\text{wx}}}$. Now consider an edge (y,z) on P_{u,x}. By definition${M}_{v}^{\mathit{\text{uv}}}\supseteq {M}_{z}^{\mathit{\text{yz}}}\supseteq {M}_{x}^{\mathit{\text{wx}}}$. But${M}_{v}^{\mathit{\text{uv}}}={M}_{x}^{\mathit{\text{wx}}}$, therefore${M}_{v}^{\mathit{\text{uv}}}={M}_{z}^{\mathit{\text{yz}}}={M}_{x}^{\mathit{\text{wx}}}$. By definition${M}_{u}^{\mathit{\text{uv}}}\subseteq {M}_{y}^{\mathit{\text{yz}}}\subseteq {M}_{w}^{\mathit{\text{wx}}}$. Hence, by Lemma 2, Δ(u,v) ⊆ Δ(y,z) ⊆ Δ(w,x). □
Maximally reduced MULTrees
Our goal is to provide a way to reduce a MULtree T as much as possible, while preserving its information content. Our reduction algorithm uses the following operations. Prune (v): Delete leaf v from T. If, as a result, v’s neighbor u becomes a degreetwo node, connect the former two neighbors of u by an edge and delete u. Contract (e): Delete an internal edge e and identify its endpoints.
A leaf v in T is prunable if the tree that results from pruning v has the same information content as T. An internal edge e in T is contractible if the tree that results from contracting e has the same information content as T. T is maximally reduced if it has no prunable leaf and no contractible internal edge.
Theorem 2
Every internal edge in a maximally reduced tree T resolves a quartet that is resolved by no other edge.
Proof
We rely on two facts. First, every internal node in the tree has degree at least three. Second, every internal edge in the tree resolves a quartet; otherwise, the edge would be contractible and the tree would not be maximally reduced.
 1.
u has at least two neighbors i and j, apart from v, that are internal nodes. Then, we select any $a\in {M}_{i}^{\mathit{\text{ui}}}$ and any $b\in {M}_{j}^{\mathit{\text{uj}}}$.
 2.
u has only one neighbor i ≠ v that is an internal node. Then, at least one of u’s neighboring leaves must participate in a quartet that (u,v) resolves. Without such a leaf, (u,v) would resolve the same set of quartets as (u,i), so one of these two edges would be contractible, contradicting the assumption that the tree is maximally reduced. We select this leaf as b and we select any $a\in {M}_{i}^{\mathit{\text{ui}}}$.
 3.
All neighbors of u, except v, are leaves. Then, at least two of its neighbors must participate in a quartet, because (u,v) must resolve a quartet. We select the two neighbors as a and b.
In every case, we can select the desired leaves a and b. By a similar argument, we can also select the desired c and d. This proves the existence of the desired quartet a bc d. Therefore, each internal edge of T uniquely resolve a quartet. □
The next result shows that the set of quartets resolved by a maximally reduced tree uniquely identifies the tree.
Theorem 3
Let T and T^{′}be two maximally reduced trees such that$\mathcal{I}\left(T\right)=\mathcal{I}\left({T}^{\prime}\right)$. Then, T and T^{′}are isomorphic.
The maximally reduced form (MRF) of a MULtree T is the tree that results from repeatedly pruning prunable leaves and contracting contractible edges from T until this is no longer possible. Theorem 3 shows that we can indeed talk about “the” MRF of T. Before proving Theorem 3, we mention some of its consequences.
Corollary 1
Every MULtree has a unique MRF.
Corollary 2
Any two MULtrees with the same information content have the same MRF.
Corollary 3
If a maximally reduced MULtree T is not singlylabeled, there does not exist a singlylabeled tree T^{′}such that$\mathcal{I}\left(T\right)=\mathcal{I}\left({T}^{\prime}\right)$.
Corollary 4
The relation “sharing a common MRF” is an equivalence relation on the set of MULtrees.
The last result implies that MULtrees can be partitioned into equivalence classes, where each class consists of the set of all trees with the same information content. Thus, instead of comparing MULtrees directly, we can compare their maximally reduced forms.
We now proceed to the proof of Theorem 3. We need two lemmas.
Lemma 4
There is a bijection ϕ between the respective sets of internal edges of T and T^{′}with the following property. Let (u,v) be an internal edge in T and let (u^{′},v^{′}) = ϕ(u,v). Then,${M}_{u}^{\mathit{\text{uv}}}={M}_{{u}^{\prime}}^{{u}^{\prime}{v}^{\prime}}$and${M}_{v}^{\mathit{\text{uv}}}={M}_{{v}^{\prime}}^{{u}^{\prime}{v}^{\prime}}$. Therefore, Δ(u,v) = Δ(u^{′},v^{′}).
Proof
Since (w^{′},v^{′}) resolves a quartet not resolved by any other edge, by Theorem 2 there exists a label ℓ as shown, where$\ell \in {M}_{m}^{{w}^{\prime}m}$. Since a bℓ d is a quartet in T^{′} and$\mathcal{I}\left(T\right)=\mathcal{I}\left(T\right)$, it must be true that$\ell \in {M}_{v}^{\mathit{\text{uv}}}$ in T. Clearly, T does not resolve the quartet on {a,ℓ,d,c} in the same way, a ℓc d, as T^{′}. This contradicts the assumption that$\mathcal{I}\left(T\right)=\mathcal{I}\left({T}^{\prime}\right)$. Thus, (u^{′},v^{′}) must be an edge. Moreover, only one such edge exists in T^{′} as it uniquely resolves the quartet a bc d.
Now consider any label$f\in {M}_{u}^{\mathit{\text{uv}}}$ such that f ∉ {a,b,c,d}. Label f must be in${M}_{{u}^{\prime}}^{{u}^{\prime}{v}^{\prime}}$; otherwise, T and T^{′} would resolve the quartet {a,f,c,d} differently. Similarly, any such$f\in {M}_{{u}^{\prime}}^{{u}^{\prime}{v}^{\prime}}$ must be in${M}_{u}^{\mathit{\text{uv}}}$ as well. Thus${M}_{u}^{\mathit{\text{uv}}}={M}_{{u}^{\prime}}^{{u}^{\prime}{v}^{\prime}}$. In the same way, we can prove that${M}_{v}^{\mathit{\text{uv}}}={M}_{{v}^{\prime}}^{{u}^{\prime}{v}^{\prime}}$. Thus, Δ(u,v) = Δ(u^{′},v^{′}).
We have shown that there is a onetoone mapping ϕ from edges in T to edges of T^{′} such that Δ(e) = Δ(ϕ(e)). To complete the proof, we show that ϕ is onto. Suppose that for some edge e^{′} in T^{′} there is no edge e in T such that ϕ(e) = e^{′}. But then e^{′} must resolve a quartet not resolved by any other edge in T^{′}. This quartet cannot be in$\mathcal{I}\left(T\right)$, contradicting the assumption that$\mathcal{I}\left(T\right)=\mathcal{I}\left({T}^{\prime}\right)$. □
Let ϕ be the bijection between the edge sets of T and T^{′} from the preceding lemma.
Lemma 5
Let (u,v) and (v,x) be any two neighboring internal edges in T, and let (p,q) = ϕ(u,v) and (r,s) = ϕ(v,x) be the corresponding edges in T^{′}such that${M}_{u}^{\mathit{\text{uv}}}={M}_{p}^{\mathit{\text{pq}}}$and${M}_{v}^{\mathit{\text{vx}}}={M}_{r}^{\mathit{\text{rs}}}$. Then, (p,q) and (r,s) are neighbors in T^{′}with q = r.
Proof
Let (z,w) = ϕ^{−1}(t,r) be the edge in T corresponding to (t,r). Irrespective of the position of (z,w) in T, (1) and (2) cannot be simultaneously true with respect to edges (u,v), (v,x) and (z,w) in T. Therefore, q = r, which proves the desired result. □
Proof of Theorem 3
Lemmas 4 and 5 show that T and T^{′} are isomorphic with respect to their internal edges. It remains to show a onetoone correspondence between their leaf sets. For this, we match up the leaves attached at every pendant node in T and T^{′}. We start with pendant nodes to which only one internal edge is attached. For example, consider an internal edge (u,v) in T such that v is a pendant node and${T}_{v}^{\mathit{\text{uv}}}$ has only leaves. Let (u^{′},v^{′}) = ϕ(u,v) be the corresponding edge in T^{′} such that${M}_{u}^{\mathit{\text{uv}}}={M}_{{u}^{\prime}}^{\mathit{\text{uv}}}$. By Lemma 4,${C}^{\mathit{\text{uv}}}={C}^{{u}^{\prime}{v}^{\prime}}$. Moreover, neither T nor T^{′} have prunable leaves. Thus, the same set of leaves must be attached at v and v^{′} respectively. In subsequent steps, we select an internal edge (u,v) in T such that v is a pendant node and all the other pendant nodes in${T}_{v}^{\mathit{\text{uv}}}$ have already been matched up in previous iterations. Again, let (u^{′},v^{′}) = ϕ(u,v) such that${M}_{u}^{\mathit{\text{uv}}}={M}_{{u}^{\prime}}^{\mathit{\text{uv}}}$. Using similar arguments, the same set of leaves must be attached at v and v^{′} respectively. Proceeding this way, each pendant node in T can be paired with the corresponding pendant node in T^{′}, and be shown to have the same set of leaves attached to them. This shows that T and T^{′} are isomorphic, as claimed. □
Identifying contractible edges and prunable leaves
In preparation for the MULtree reduction algorithm of the next section, we give some results that help to identify contractible edges and prunable leaves.
The setting for the next result is the same as for Lemmas 2 and 3: (u,v) and (w,x) are two edges in tree T that lie on the path${P}_{u,x}=(u,v,\dots ,w,x)$ (see Figure3). We say that subtree${T}_{z}^{\mathit{\text{yz}}}$branches out from the path P_{u,x} if y ∈ P_{u,x}−{u,x}, and z ∉ P_{u,x}.
Lemma 6
 1.
every internal edge on a subtree branching out from P _{u,x} is contractible, and
 2.
if Δ(u,v) = Δ(w,x), every leaf on a subtree branching out from P _{u,x} is prunable. Thus, the entire subtree can be deleted without changing the information content of the tree.
Proof
 1.
Consider any edge (A,B) in a subtree branching out of P _{u,x}, as shown. We claim that ${M}_{a}^{\mathit{\text{ab}}}\cup {C}^{\mathit{\text{ab}}}=M$; i.e., all the labels in M appear in ${T}_{a}^{\mathit{\text{ab}}}$. This means that ${M}_{b}^{\mathit{\text{ab}}}=\varnothing $, so (A,B) is uninformative.
 2.
Suppose Δ(u,v) = Δ(w,x). By an argument similar to the one used in the proof of Lemma 3, we can show that any edge (y,z) on the path P _{v,w} = (v…w) (see Figure 7) satisfies ${M}_{v}^{\mathit{\text{uv}}}={M}_{z}^{\mathit{\text{yz}}}={M}_{x}^{\mathit{\text{wx}}}$ and ${M}_{u}^{\mathit{\text{uv}}}={M}_{y}^{\mathit{\text{yz}}}={M}_{w}^{\mathit{\text{wx}}}$. Consider a leaf c as shown; let ℓ be its label. Then, ℓ appears in ${T}_{x}^{\mathit{\text{wx}}}$, for else ${M}_{y}^{\mathit{\text{yz}}}\ne {M}_{w}^{\mathit{\text{wx}}}$, a contradiction. Similarly, ℓ appears in ${T}_{u}^{\mathit{\text{uv}}}$.
Now, let S be the tree obtained after pruning leaf c.
 (a)
$\mathcal{I}\left(T\right)\subseteq \mathcal{I}\left(S\right)$: Suppose pruning c removes a quartet from$\mathcal{I}\left(T\right)$. If such a quartet exists in T, it must be resolved by an edge$(j,k)\in {T}_{u}^{\mathit{\text{uv}}}$ (say). But then (j,k) still resolves the same quartet in S because$\ell \in {M}_{x}^{\mathit{\text{wx}}}$, and the labels in${T}_{x}^{\mathit{\text{wx}}}$ are a subset of those in${T}_{k}^{\mathit{\text{jk}}}$. This is a contradiction.
 (b)
$\mathcal{I}\left(S\right)\subseteq \mathcal{I}\left(T\right)$: Suppose pruning c adds a quartet to$\mathcal{I}\left(S\right)$ that is not in$\mathcal{I}\left(T\right)$. Such a quartet in S must be resolved by an edge (j,k) in${S}_{u}^{\mathit{\text{uv}}}$ (say), that before pruning satisfied ℓ ∈ C^{ jk }, but now has$\ell \notin {M}_{k}^{\mathit{\text{jk}}}$. However$\ell \in {M}_{x}^{\mathit{\text{wx}}}$; therefore we still have ℓ ∈ C^{ jk } and the edge still cannot resolve the quartet, a contradiction.
Hence, c is prunable. □
Lemma 7
Suppose that T is a MULtree where no pendant node is adjacent to two or more leaves with the same label. Let ℓ be any multiplyoccurring label in T and let T ^{′} be the minimal subtree of T that spans all the leaves labeled by ℓ. Then, any leaf in T labeled ℓ attached to a pendant node of degree at least three in T ^{′} is prunable.
Proof
The reduction algorithm
We now describe a O(n^{2}) algorithm to compute the MRF of an nleaf MULtree T. In the previous section, the MRF was defined as the tree obtained by applying informationpreserving pruning and contraction operations to T, in any order, until it is no longer possible. For efficiency, however, the sequence in which these steps are performed is important. Our algorithm has three distinct phases: a preprocessing step, redundant edge contraction, and pruning of redundant leaves. We describe these next and then give an example.
Preprocessing
For every edge (u,v) in T, we compute$\left{M}_{u}^{\mathit{\text{uv}}}\right$ and$\left{M}_{v}^{\mathit{\text{uv}}}\right$. This can be done in O(n^{2}) time as follows. First, traverse subtrees${T}_{u}^{\mathit{\text{uv}}}$ and${T}_{v}^{\mathit{\text{uv}}}$ to count number of distinct labels${n}_{u}^{\mathit{\text{uv}}}$ and${n}_{v}^{\mathit{\text{uv}}}$ in each subtree. Then,$\left{M}_{u}^{\mathit{\text{uv}}}\right=\leftM\right{n}_{v}^{\mathit{\text{uv}}}$ and$\left{M}_{v}^{\mathit{\text{uv}}}\right=\leftM\right{n}_{u}^{\mathit{\text{uv}}}$. We then contract noninformative edges; i.e., edges (u,v) where$\left{M}_{u}^{\mathit{\text{uv}}}\right$ or$\left{M}_{v}^{\mathit{\text{uv}}}\right$ is at most one.
Edge contraction and subtree pruning
Next, we repeatedly find pairs of adjacent edges (u,v) and (v,w) such that Δ(u,v) ⊆ Δ(v,w) or viceversa, and contract the less informative of the two. By Lemmas 1 and 2, we can compare Δ(u,v) and Δ(v,w) in constant time using the precomputed values of$\left{M}_{u}^{\mathit{\text{uv}}}\right$ and$\left{M}_{v}^{\mathit{\text{uv}}}\right$. Lemma 6 (1) implies that we should also contract all internal edges incident on v or in the subtrees branching out of v. Further, by Lemma 6 (2), if Δ(u,v) = Δ(v,w), we can in fact delete these subtrees entirely, since their leaves are prunable. Lemma 3 implies that all such edges must lie on a path, and hence can be identified in linear time. The total time for all these operations is linear, since at worst we traverse every edge twice.
Pruning redundant leaves
The tree that is left at this point has no contractible edges; however, it can still have prunable leaves. We first prune any leaf with a label ℓ that does not participate in any resolved quartet. Such an ℓ has the property that for every edge (u,v),$\ell \notin {M}_{u}^{\mathit{\text{uv}}}$ and$\ell \notin {M}_{v}^{\mathit{\text{uv}}}$. All such leaves can be found in O(n^{2}) time and O(n) space.
 1.
For each label ℓ, consider the subgraph on the leaves labeled by ℓ.
 2.
In this subgraph, delete any leaf not attached to a degree 2 pendant node as it is a redundant leaf.
This takes O(n) time per label and O(n^{2}) time total. The space used is O(n). Hence, the overall time and space complexities are O(n^{2}) time and O(n), respectively.
The resulting tree has no contractible edges nor prunable leaves. Therefore, it is the MRF of the orginal MULtree.
An example
 1.
In the preprocessing step, we find that ${M}_{t}^{\mathit{\text{tu}}}=\varnothing $, ${M}_{s}^{\mathit{\text{su}}}=\varnothing $ and ${M}_{x}^{\mathit{\text{wx}}}=\varnothing $, so edges (t,u), (s,u) and (w,x) are uninformative. They are therefore contracted, resulting in the tree shown in Figure 9(b).
 2.
Since Δ(u,v) ⊂ Δ(v,w), contract (u,v). The result is shown in Figure 9(c).
 3.
Since Δ(v,w) = Δ(w,y), delete the subtree branching out at w from the path from v to y and contract (v,w). The result is shown in Figure 9(d).
 4.
Prune taxon 6, which does not participate in any quartet, and all duplicate taxa at the pendant nodes. The result, shown in Figure 9(e), is the MRF of the original tree.
Results and discussion
We implemented our MULtree reduction algorithm, as well as a second step that restricts the MRF to the set of labels that appear only once, which yields a singlylabeled tree. We tested our twostep program on a set of 110,842 MULtrees obtained from the PhyLoTA database[6] (http://phylota.net/; GenBank eukaryotic nucleotide sequences, release 184, June 2011), which included a broad range of labelset sizes, from 4 to 1500 taxa.
There were 8,741 trees (7.8%) with essentially no information content; these lost all resolution either when reduced to their MRFs, or in the second step. The remaining trees fell into two categories. Trees in set A had a singlylabeled MRF; 65,709 trees (59.3%) were of this kind. Trees in set B were reduced to singlylabeled trees in the second step; 36,392 trees (32.8%) were of this kind. Reducing a tree to its MRF (step 1), led to an average taxon loss of 0.83% of the taxa in the input MULtree. The total taxon loss after the second step (reducing the MRFs in set B to singlylabeled trees), averaged 12.81%. This taxon loss is not trivial, but it is far less than the 41.27% average loss from the alternative, naïve, approach in which all MULtaxa (taxa that label more than one leaf) are removed at the outset. Note that, by the definition of MRFs, taxa removed in the first step do not contribute to the information content, since all nonconflicting quartets are preserved. On the other hand, taxa removed in the second step do alter the information content, because each such taxon participated in some nonconflicting quartet. Information content, in this case, will be lost but new information is never introduced, so the algorithm can be considered conservative.
We have integrated our reduction algorithm into STBase (available athttp://stbase.org/), a phylogenetic tree search engine that takes a userprovided list of species names and finds matches with a precomputed collection of phylogenetic trees, more than half of which are MULtrees, assembled from GenBank sequence data. The trees returned are ranked by a tree quality criterion that takes into account overlap with the query set, support values for the branches, and degree of resolution. We have added functionality to provide reduced singlylabeled trees as well as the MULtrees based on the full leaf set and the label sets from the reduced singlylabeled trees are used in downstream supermatrix construction.
Conclusions
We introduced an efficient algorithm to reduce a multilabeled MULtree to a maximally reduced form with the same information content, defined as the set of nonconflicting quartets it resolves. We showed that the information content of a MULtree uniquely identifies the MULtree’s maximally reduced form. This has potential application in comparing MULtrees by significantly reducing the number of comparisons as well as in extracting specieslevel information efficiently and conservatively from large sets of trees, irrespective of the underlying cause of multiple labels. Our algorithm can easily be adapted to work for rooted trees.
Further work investigating the relationship of the MRF to the original tree under various biological circumstances is also underway. We might expect, for example, that wellsampled nuclear gene families reduce to very small MRF trees, and that annotation errors in chloroplast gene sequences (in which we expect little gene duplication), result in relatively large MRF trees. Comparing the MRF to the original MULtree may well provide a method for efficiently assessing and segregating data sets with respect to the causes of multiple labels.
It would be interesting to compare our results with some of the other approaches for reducing MULtrees to singlylabeled trees (e.g.,[5]) or, indeed, to evaluate if our method can benefit from being used in conjunction with such approaches.
Endnote
^{a}The results presented here can be extended to rooted trees, using triplets instead of quartets, exploiting the wellknown bijection between rooted and unrooted trees ([23], p. 20).
Declarations
Acknowledgements
This work was supported in part by National Science Foundation grant DEB0829674. We thank Mike Sanderson for helping to motivate this work, for many discussions about the problem formulation, and for our ongoing collaboration in the STBase project. Sylvain Guillemot listened to numerous early versions of our proofs and offered many insightful comments.
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.
Authors’ Affiliations
References
 Fellows M, Hallett M, Stege U: Analogs & duals of the MAST problem for sequences & trees. J Algorithms. 2003, 49: 192216. 10.1016/S01966774(03)000816. [1998 European Symposium on Algorithms]View ArticleGoogle Scholar
 Grundt H, Popp M, Brochmann C, Oxelman B: Polyploid origins in a circumpolar complex in Draba (Brassicaceae) inferred from cloned nuclear DNA sequences and fingerprints. Mol Phylogenet Evol. 2004, 32 (3): 695710.View ArticlePubMedGoogle Scholar
 Huber K, Moulton V: Phylogenetic networks from multilabelled trees. J Math Biol. 2006, 52: 613632.View ArticlePubMedGoogle Scholar
 Popp M, Oxelman B: Inferring the history of the Polyploid Silene aegaea (Caryophyllaceae) using Plastid and Homoeologous nuclear DNA sequences. Mol Phylogenet Evol. 2001, 20 (3): 474481.View ArticlePubMedGoogle Scholar
 Scornavacca C, Berry V, Ranwez V: Building species trees from larger parts of phylogenomic databases. Inf Comput. 2011, 209 (3): 590605. 10.1016/j.ic.2010.11.022. [Special Issue: 3rd International Conference on Language and Automata Theory and Applications (LATA 2009)]View ArticleGoogle Scholar
 Sanderson M, Boss D, Chen D, Cranston K, Wehe A: The PhyLoTA Browser: processing GenBank for molecular phylogenetics research. Syst Biol. 2008, 57 (3): 335.View ArticlePubMedGoogle Scholar
 Ganapathy G, Goodson B, Jansen R, Le H, Ramachandran V, Warnow T: Pattern identification in biogeography. IEEE/ACM Trans Comput Biol Bioinformatics. 2006, 3: 334346.View ArticleGoogle Scholar
 Johnson K, Adams R, Page R, Clayton D: When do parasites fail to speciate in response to host speciation?. Syst Biol. 2003, 52: 3747.View ArticlePubMedGoogle Scholar
 Lott M, Spillner A, Huber K, Petri A, Oxelman B, Moulton V: Inferring polyploid phylogenies from multiplylabeled gene trees. BMC Evol Biol. 2009, 9: 216.PubMed CentralView ArticlePubMedGoogle Scholar
 Rasmussen M, Kellis M: Unified modeling of gene duplication, loss, and coalescence using a locus tree. Genome Res. 2012, 22: 755765.PubMed CentralView ArticlePubMedGoogle Scholar
 Steel M: The complexity of reconstructing trees from qualitative characters and subtrees. J Classif. 1992, 9: 91116. 10.1007/BF02618470.View ArticleGoogle Scholar
 Stolzer M, Lai H, Xu M, Sathaye D, Vernot B, Durand D: Inferring duplications, losses, transfers and incomplete lineage sorting with nonbinary species trees. Bioinformatics. 2012, 28 (18): i409—i415.PubMed CentralView ArticlePubMedGoogle Scholar
 Huber K, Lott M, Moulton V, Spillner A: The complexity of deriving multilabeled trees from bipartitions. J Comput Biol. 2008, 15 (6): 639651.View ArticlePubMedGoogle Scholar
 de Queiroz A, Gatesy J: The supermatrix approach to systematics. Trends Ecol Evol. 2007, 22: 3441.View ArticlePubMedGoogle Scholar
 Wiens JJ, Reeder TW: Combining data sets with different numbers of Taxa for Phylogenetic analysis. Syst Biol. 1995, 44 (4): 548558.View ArticleGoogle Scholar
 Baum BR: Combining trees as a way of combining data sets for Phylogenetic inference, and the desirability of combining gene trees. Taxon. 1992, 41: 310. 10.2307/1222480.View ArticleGoogle Scholar
 Ragan M: Phylogenetic inference based on matrix representation of trees. Mol Phylogenet Evol. 1992, 1: 5358.View ArticlePubMedGoogle Scholar
 Bansal M, Burleigh JG, Eulenstein O, FernándezBaca D: Robinsonfoulds supertrees. Algorithms Mol Biol. 2010, 5: 18.PubMed CentralView ArticlePubMedGoogle Scholar
 Swenson M, Suri R, Linder C, Warnow T: SuperFine: fast and accurate supertree estimation. Syst Biol. 2012, 61 (2): 214227.View ArticlePubMedGoogle Scholar
 Puigbò P, GarciaVallvé S, McInerney J: TOPD/FMTS: a new software to compare phylogenetic trees. Bioinformatics. 2007, 23 (12): 1556.View ArticlePubMedGoogle Scholar
 MarcetHouben M, Gabaldón T: TreeKO: a duplicationaware algorithm for the comparison of phylogenetic trees. Nucleic Acids Res. 2011, 39: e66.PubMed CentralView ArticlePubMedGoogle Scholar
 Huber K, Spillner A, Suchecki R, Moulton V: Metrics on multilabeled trees: interrelationships and diameter bounds. Comput Biol Bioinformatics, IEEE/ACM Trans. 2011, 8 (4): 10291040.View ArticleGoogle Scholar
 Semple C, Steel M: Phylogenetics. 2003, Oxford: Oxford University PressGoogle Scholar