 Research
 Open Access
 Published:
The performance of coalescentbased species tree estimation methods under models of missing data
BMC Genomicsvolume 19, Article number: 286 (2018)
Abstract
Background
Estimation of species trees from multiple genes is complicated by processes such as incomplete lineage sorting, gene duplication and loss, and horizontal gene transfer, that result in gene trees that differ from each other and from the species phylogeny. Methods to estimate species trees in the presence of gene tree discord due to incomplete lineage sorting have been developed and proved to be statistically consistent when gene tree discord is due only to incomplete lineage sorting and every gene tree includes the full set of species.
Results
We establish statistical consistency of certain coalescentbased species tree estimation methods under some models of taxon deletion from genes. We also evaluate the impact of missing data on four species tree estimation methods (ASTRALII, ASTRID, MPEST, and SVDquartets) using simulated datasets with varying levels of incomplete lineage sorting, gene tree estimation error, and degrees/patterns of missing data.
Conclusions
All the species tree estimation methods improved in accuracy as the number of genes increased and often produced highly accurate species trees even when the amount of missing data was large. These results together indicate that accurate species tree estimation is possible under a variety of conditions, even when there are substantial amounts of missing data.
Background
The estimation of a species phylogeny from multiple loci is confounded by biological processes, such as horizontal gene transfer and incomplete lineage sorting, that cause individual gene tree topologies to differ from each other [1]. While some of these processes require phylogenetic networks for proper modeling of the species phylogeny, other processes, including incomplete lineage sorting (ILS) and gene duplication and loss, are still consistent with a species tree. Estimating species trees in the presence of gene tree heterogeneity is challenging.
ILS, which is modeled by the wellstudied multispecies coalescent (MSC) model [1–3], is considered to be a major cause for this discordance [4], and the subject of substantial study in recent years. Many methods have been developed to estimate the species tree in the presence of ILS in a statistically consistent manner, which means that as the amount of data increases, the unrooted species tree topology estimated by the method converges in probability to the true unrooted species tree topology. Examples of methods for species tree estimation that are statistically consistent under the MSC model include ASTRALI [5] and its improved version ASTRALII [6], ASTRID [7], *BEAST [8], BEST [9], the population tree in BUCKy [10], GLASS [11], METAL [12], MPEST [13], NJst [14], SMRT [15], SNAPP [16], STAR [17], STEAC [17], and STEM [18]. Some of these methods (e.g., ASTRALI, ASTRID, BUCKypop, and NJst) estimate just the species tree topology but not the branch lengths in coalescent units, while others (e.g., ASTRALII, BEST, *BEAST, and MPEST) also estimate the branch lengths. In this paper, we will refer to all methods that have been proven to be statistically consistent under the MSC model as “coalescentbased” species tree estimation methods.
One of the key assumptions in the proofs of statistical consistency for standard methods is that every gene is present in every species. This assumption is unrealistic for many empirical datasets (e.g., the plant transcriptome dataset studied in [19], the landfowl ultraconserved elements (UCE) dataset studied in [20], and the iguanian lizard UCE dataset studied in [21]), where many genes are not present for some species (and so are “incomplete”). There are multiple causes for incomplete genes (more commonly referred to as “missing data”). For example, while some genes are universal, others have more recent origins and so may only occupy certain clades in the tree. Genes can also be lost (as modeled by gene birthdeath or duplication/loss scenarios). The selection of primers used to assemble the datasets can fail to detect some genes in distantly related species, or whole genomes can have poorly assembled regions if coverage is insufficient; these factors can result in the gene not being included in the assembled data for a particular species. Furthermore, some species trees are constructed by taking gene trees from prior publications, which can have somewhat different species sets. For these and other reasons, missing data occur frequently in largescale phylogenomic datasets (as discussed in [21–24]). Therefore, the statistical properties of species tree estimation methods when not all genes are present in all the species are important methodological considerations in phylogenomics. The most basic of these questions is whether a method remains statistically consistent when gene trees can be incomplete. Yet, it is unknown whether coalescentbased species tree estimation methods are statistically consistent under the MSC model in the presence of missing data.
Methods
This study evaluates the statistical consistency of species tree estimation methods under two models of taxon deletion, and also provides an experimental evaluation of several leading methods on simulated datasets where taxa are deleted under these two models.
Theoretical framework
We explore the statistical consistency of species tree estimation methods under two models of taxon deletion. The first is a simple i.i.d. model of missing data (denoted M_{ iid }) where every species is missing from every gene with the same probability p>0. The second is a more general class of models where, for some constant k, each subset of k species has nonzero probability of being present in the data for a randomly selected gene. We refer to this as the “full subset coverage” model (denoted M_{ fsc }). The M_{ fsc } model includes the simpler i.i.d. model as a special case but also includes the models of taxon deletion considered in [7, 23–25]. In this study, we focus on coalescentbased species tree methods that compute summary statistics for subsets of the taxon set and then use those summary statistics to estimate the species tree. We show that whenever these calculated summary statistics are not impacted by deleting species outside the subset of interest, then the coalescentbased species tree estimation method will be statistically consistent under models of taxon deletion. Taxondeletion models under which coalescentbased species tree estimation methods cannot be statistically consistent are also discussed.
MultiSpecies Coalescent The multispecies coalescent is a population genetics model that describes the evolution of individual genes within a populationlevel species tree [26]. Specifically, a species tree \(\mathcal {T}=(T,\Theta)\) with topology T and branch lengths Θ is given (but unknown) on a set of n taxa, \(\mathcal {X}=\{x_{i}\}_{i=1}^{n}\), where the branch lengths are denominated in “coalescent units”. In models with a population size parameter and time between speciation events, coalescent units are units of time that are normalized by population size. This species tree then parameterizes a probability density function for a random variable \(G(\mathcal {T})\) defined over all possible gene trees on \(\mathcal {X}\).
The generation of a random gene tree occurs by modelling the time since ancestral coalescence as though it were a forwardtime Markov process: at every leaf of the species tree \(\mathcal {T}\) a lineage begins and grows backward in time. As each lineage grows, it will eventually reach a speciation event in the species tree. At that point, it enters a common population with the lineage(s) from the neighboring branch and they continue to grow backward in time as distinct lineages. Once they are in a common population they are eligible to coalesce into a common lineage, and that happens according to a Poisson process with constant hazard rate λ. Namely, for any pair of lineages i and j in a common population, the time τ_{ ij } until their ancestral coalescence has an exponential distribution:
Likewise, in a population with k distinct, uncoalesced lineages, the time until the next coalescent event is the first one out of the \({{k}\choose {2}}\) pairwise processes, and thus also has exponential distribution with rate \({{k}\choose {2}}\lambda \):
In this way, the lineages grow and coalesce until all lineages have coalesced into a single one, at which point the process is complete and the lineages have formed a binary gene tree.
For a gene tree \(g\sim G(\mathcal {T})\), an additional assumption can be made regarding a sequence evolution model that may generate a set of sequences \(s_{g}=\left \{s_{g1},\dots,s_{gn}\right \}\) (one sequence for each taxon in \(\mathcal {X}\)). Let the leaf set of gene tree g be denoted as \(\mathcal {L}(g)\). Given a collection of genes \(g_{1},\dots,g_{m} \sim G(\mathcal {T})\), the coalescentbased species tree estimation problem is the challenge of estimating the species tree topology T (typically in its unrooted form) from the input data, which may include the gene trees (usually unrooted), the accompanying sequences, or both.
Thus, coalescentbased species tree estimation methods can work with a variety of different types of inputs. Usually such methods assume that the estimation of gene trees given sequence data can be done in a statistically consistent manner, which is true in the case of the most common models [27]. In this paper, we will consider the input data I to include, broadly, the gene trees themselves (one per gene) with or without branch lengths, or the multiple sequence alignments (one per gene), or both, depending on the method. In either case, it is natural to consider the input data I as being potentially restricted to a subset \(\mathcal {X}'\) of the taxa by considering, respectively, the subtrees of each gene tree restricted to the leaves corresponding to taxa in \(\mathcal {X}'\), or the multiple sequence alignment of only the sequences corresponding to taxa in \(\mathcal {X}'\). We will refer occasionally to this restricted data as \(I_{\mathcal {X}'}\). In contexts where the number of genes may vary and is indexed by m, the input data I on m genes are correspondingly indexed as I_{ m }.
In what follows, all trees (whether gene trees or species trees) are assumed to be binary (i.e., fully resolved) trees with leaves labeled by elements from a set \(\mathcal {X}\) of species.
Tuplebased methods We will establish properties about statistical consistency in the presence of missing data for a class of coalescentbased species tree estimation methods that we collectively refer to as “tuplebased methods”. Many coalescentbased species tree estimation methods that have been proven to be statistically consistent under the MSC model are tuplebased.
A coalescentbased method is said to be “tuplebased” if there is some \(\ell \in \mathbb {Z}_{\geq 2}\) such that the method operates by computing a set of realvalued summary statistics from the input I for every subset of ℓ species, and then uses these summary statistics (and no other information) to compute the species tree. Furthermore a tuplebased method is called an ℓtuplebased method (or more simply an ℓtuple method) to reflect the specific value of ℓ on which it bases its summary statistics. We write each tuplebased method as a pair (F,α), with F the function that computes the set of summary statistics from I and α the function that computes a species tree given F(I). Also, the set of summary statistics computed by an ℓtuple method includes one statistic for every tree topology (possibly rooted) on every subset of ℓ species.
Since a “tree” on two species is just a path, the 2tuple methods compute pairwise distances for every pair of species. Examples of 2tuple methods include NJst and ASTRID, which operate by computing the “average internode distance” between every pair of species. Other 2tuple methods include GLASS [11] and its variants (e.g., [28]), METAL [12], STAR [17], and STEAC [17], which also compute pairwise distances between every pair of species but use a different technique to do the calculation. 2tuple methods then compute a tree on the matrix of pairwise distances, using methods such as Neighbor Joining (NJ) [29] or FastME [30]; thus, NJ and FastME serve as the function α in the 2tuple method.
MPEST and SMRT are 3tuple methods. MPEST requires rooted gene trees (and so depends on the strict molecular clock when used with sequence data), and uses the frequency of each rooted 3leaf tree t induced in the input set of gene trees as the summary statistic for t. It then seeks the model species tree (topology and branch lengths) that is most likely to produce the observed distribution of rooted 3leaf gene tree frequencies. SMRT is a sitebased method that estimates rooted 3leaf trees from the concatenated gene sequence alignments, and so depends on the strict molecular clock. SMRT then combines the rooted 3leaf trees into a tree on the full set of taxa using the modified mincut supertree algorithm [31]. SMRT can be seen as a 3tuple method by assigning support of 1 to the rooted 3leaf trees it computes and assigning support of 0 to all other 3leaf trees.
In contrast to 3tuple methods (e.g., MPEST and SMRT), 4tuple methods operate on unrooted gene trees. For example, ASTRAL1 [5] and ASTRAL2 [6] are 4tuple methods that use the frequency of quartet tree t induced in the input gene trees as the realvalued support for t and combines these quartet trees into a species tree using a quartet amalgamation method. The population tree in BUCKy [10] (called BUCKypop in [32]) computes a single quartet tree for every four leaves using Bayesian concordance factors, and then combines those quartet trees into a species tree. BUCKypop is statistically consistent under the MSC model if there are no missing data, and can be seen as a 4tuple method by using 1 or 0 as the realvalued support for each quartet tree (i.e., 1 for the quartet trees it computes, and 0 for all others). In other words, ASTRAL and BUCKYpop compute a species tree by applying some quartet amalgamation method to the set of quartet trees, weighted by their support values. For these 4tuple methods, α is the quartet amalgamation technique used to construct the species tree topology T.
The number of summary statistics that each type of method computes depends on the value of ℓ and the number n of species: 2tuple methods compute \(n \choose 2\) summary statistics (one for each pair of species), 3tuple methods compute \(3 {n \choose 3}\) summary statistics (one for each rooted 3leaf tree), and 4tuple methods compute \(3 {n \choose 4}\) summary statistics (one for each unrooted 4leaf tree).
The proofs of statistical consistency for tuplebased methods have the following basic steps: first, they show that as the number m of genes increases, the vector of summary statistics computed by F on input data I_{ m } converges in probability to a constant vector (which we will refer to as F_{0}). Second, they show that α(F_{0})=T, where T is the topology of the true species tree. Third, they show that there is some δ>0 so that whenever \(L_{\infty }(F_{1},F_{0}) < \delta \) then α(F_{1})=α(F_{0})=T (here \(L_{\infty }\) is the infinitynorm, i.e. the maximum absolute difference of individual vector components). It follows that the algorithm A=(F,α) is statistically consistent under the MSC. Therefore, when we refer to a statistically consistent ℓtuple method, we will assume that these properties hold for the method when there are no missing data, and then study the impact of missing data on the method.
Proofs of statistical consistency for many coalescentbased methods typically require several extra conditions. For example, the current proofs of statistical consistency of MPEST, STEM, STAR, and SMRT implicitly or explicitly assume that sequences evolve under the strict molecular clock. Similarly, the proofs of statistical consistency for nearly all methods that operate by combining gene trees require completely correct gene trees (see [33] for an exception to this rule), and it is unknown whether any standard coalescentbased methods that estimate species trees by combining gene trees are statistically consistent in the presence of gene tree estimation error [33]. Another complication in the proofs of statistical consistency is the typical requirement that α provide an exact solution to an optimization problem (e.g., finding the species tree that maximizes some optimization criterion with respect to the input gene data). This is generally not an issue for 2tuple methods, which use methods like neighbor joining [29] to compute trees from distance matrices, but can be a problem for 3tuple and 4tuple methods. For example, 4tuple methods tend to have two steps, where the first step computes a set of quartet trees (using F) and the second step computes a tree from the set of quartet trees using α. Since quartet tree compatibility is NPhard [34], quartet amalgamation methods are typically heuristics that have no guarantees (the dynamic programming algorithms in ASTRAL and [35] are two of the few exceptions to this), and may not even be guaranteed to return a tree T when given its set of quartet trees. Thus, statistical consistency of coalescentbased methods is complicated, even when there are no missing data.
Experimental study
We present an empirical study using a large collection of simulated datasets and four species tree estimation methods: ASTRALII, ASTRID, MPEST, and SVDquartets. Three of these (ASTRALII, ASTRID, and MPEST) are “summary methods” (i.e., methods that compute species trees by combining gene trees) that are statistically consistent under the MSC model when there are no missing data. The fourth is SVDquartets, a popular “sitebased” method that computes the species tree directly from gene sequence alignments, but which has not yet been proven to be statistically consistent.
This simulation study examines how two different models of missing data, the M_{ iid } model and a “cladebased” model (a subfamily of the M_{ fsc } model, and denoted M_{ clade }), affect the amount of data required to recover the true species tree with high probability. The selection of these two taxon deletion models reflects conditions that can occur in biological studies. The M_{ iid } model reflects conditions where genes collected from prior studies are used, and each collection of genes can be based on a set of species that may only contain a subset of all species under consideration. The M_{ iid } also addresses the case where gene assembly is poor due to low coverage, so that genes are randomly missing from some genomes. The M_{ clade } model reflects conditions where genes naturally occupy only a clade within the tree, because the gene is “born” at the root of the clade (this is the same as the “SMIDgen” model described in [36]).
Simulated datasets The 26taxon, 1000gene simulated datasets (without missing data) were obtained from [24]. This collection of datasets included model conditions defined by species tree height (10M, 2M, or 500K) and speciation rate (10^{−7} or 10^{−6}). As the population size was fixed across all model conditions, species tree height corresponds to the level of ILS, with shorter species trees having greater levels of ILS. Speciation rates of 10^{−7} and 10^{−6} correspond to deep and recent speciation, respectively. Each of these six model conditions has 20 replicate datasets. The RobinsonFoulds (RF) distance [37] between the true species and the true gene trees averaged over all gene trees (referred to here as the simply the “average distance” or AD) was computed to approximate the level of ILS for different model conditions. For model conditions with deep speciation, the AD averaged across all 20 replicates was 14, 47, and 75% for species tree heights of 10M, 2M, and 500K, respectively. The average AD values under recent speciation were slightly lower and are provided in Additional file 1.
Generation of missing data The simulated datasets described above have no missing data; therefore, we deleted taxa from the genes and reestimated gene trees to create datasets with missing data for this study. We first considered an M_{ iid } model of missing data for which every species is missing from every gene with the same probability p>0. Specifically, datasets with p=0.30 and p=0.60 were created as follows. For each taxon, a vector p of length 1000 (the number of genes) was created and populated with random samples drawn from a uniform distribution over the interval [0,1). Entries in the vector that were smaller than 0.30 became 0 (i.e., the taxon was missing and hence deleted from the true gene tree and gene alignment) and otherwise became 1 (i.e., the taxon was present in the true gene tree and gene alignment). This process was simply repeated for p=0.60. As expected, the average amount of missing data across all datasets for p=0.30 and p=0.60 was 30 and 60%, respectively.
We also considered the M_{ clade } model of missing data (Fig. 1). Specifically, we identified clades in the true species tree with between 5 and 24 taxa (out of the original 26 taxa). Then for each of the 1000 genes, one of these previously identified clades was selected at random from a uniform distribution, and taxa outside of this clade were deleted from the gene alignment. Based on the selection of clades, 8 to 80% of taxa were deleted from genes with cladebased missing data, and the mean (± standard deviation) fraction of taxa missing per gene with cladebased missing data was 62±5%. Notably, this protocol automatically deleted the outgroup taxon from the gene alignment, so that it was not possible to reconstruct a species tree on the full set of taxa from the resulting gene trees. Therefore, genes both with and without cladebased missing data were sampled to create datasets with varying percentages of incomplete genes. The mean (± standard deviation) percentage of missing data was 34±3 and 59±5 when 55 and 95% of the 1000 genes were incomplete.
Gene tree estimation Taxa were deleted from both the true gene trees and the true gene sequence alignments. Gene trees were estimated on alignments with and without missing data using a single run of RAxML v8.2.8 (GTRGAMMA model), and nearly 500,000 gene trees were estimated for this study.
Species tree estimation We studied the performance of four methods for species tree estimation: three gene tree summary methods (ASTRAL v4.10.5, ASTRID v1.1, MPEST v1.5) and one sitebased method (SVDquartets using PAUP* v4a154). Species trees were estimated using summary methods on both true and estimated gene trees, specifically taking the first 50, 200, or 1000 genes for each dataset. Of the three summary methods, only MPEST requires rooted genes. To root each gene tree, we used the outgroup if it was available; otherwise, we used the midpoint of the longest leaftoleaf path with Dendropy v4.3.0 [38]. The best pseudolikelihood scoring species tree was taken from ten independent runs of MPEST. Gene alignments had been generated without insertions/deletions, and thus SVDquartets was run on the true gene alignments by concatenating the first 50, 200, or 1000 gene sequence alignments for each dataset. SVDquartets completed on all but one dataset (see Additional file 1, for details). All four methods were run in default modes (although see comment above regarding the use of ten independent runs of MPEST). We report species tree error using the normalized RF error rate.
Results
We present the theoretical results, establishing statistical consistency (or failure to be statistically consistent), for different species tree estimation methods. We then present the results of our performance study.
New theoretical results
Extension of tuplebased methods to missing data These tuplebased methods are defined and described assuming the input (e.g., gene trees or sequence alignments) has no missing data, and the statistics or the algorithm may not be fully defined if not all taxa are present. For example, for a given gene tree, the topology for quartet ijkl does not exist if one or more of the species is missing from the gene. Intuitively, if the method would have called for the calculation of a statistic on a particular set of taxa for a particular gene, it is not possible to calculate this if any taxon in the set is not present, so that gene should be excluded for purposes of that statistic. Thus, the natural extension of a tuplebased method (F,α) to inputs with missing data (i.e., when species are missing from genes) is as follows:
Definition 1
Let A=(F,α) be an ℓtuple species tree estimation method. The natural extension of A computes the summary statistics for a given set B of ℓ species based only on those genes that contain all the species in B.
Type 1 and Type 2 ℓtuple methods Since the set of summary statistics includes a real number for every tree t on ℓ species, we will let F_{ t }(I) denote the summary statistic computed by the function F for tree t given input I. For a set B of ℓ species drawn from the full set \(\mathcal {X}\) of species, let I_{ B } denote the input set I restricted to B; thus, all species in \(\mathcal {X} \setminus B\) are deleted entirely from the input. Then tuplebased methods can be characterized further depending on how they behave on such inputs. Specifically, we will partition ℓtuple methods (F,α) into two categories:

Type 1: For all inputs I, all sets B of ℓ species from \(\mathcal {X}\), and all trees q on B, \(F_{q}(I)=F_{q}\left (I_{B}\right)\).

Type 2: There is at least one input I, one set B of ℓ species, and one tree q on B such that \(F_{q}(I) \neq F_{q}\left (I_{B}\right)\).
Thus, a Type 1 ℓtuple method has the property that deleting taxa from outside a set B does not impact the summary statistics it computes for any tree on B. Note that taxon deletion impacts both Type 1 and Type 2 methods, in that if enough taxa are deleted from enough genes then accuracy must decrease. As we will see, Type 1 methods are easier to analyze than Type 2 methods, and in particular it is easy to prove that a Type 1 method remains statistically consistent in the presence of missing data for some models of random taxon deletion. Most coalescentbased species tree estimation methods are Type 1 tuplebased methods; for example, ASTRAL, GLASS, METAL, MPEST, STEAC, and SVDquartets are all Type 1 tuplebased methods. ASTRID, NJst, and STAR are Type 2 methods.
TaxonDeletion Models Let \(\mathcal {T}\) be a species tree on a set \(\mathcal {X}\) of n species, with \(\mathcal {X}=\left \{x_{i}\right \}_{i=1}^{n}\), and let m gene trees evolve within \(\mathcal {T}\) under the multispecies coalescent model. We denote the set of gene trees by \(\mathbf {T}=\left \{T_{i}\right \}_{i=1}^{m}\) and the set of genes by \(\mathcal {G}=\left \{g_{i}\right \}_{i=1}^{m}\). To model taxon deletion, we let g_{ i } denote an arbitrary gene and \(Y_{i}=\left [Y_{i1},\dotsc, Y_{in}\right ]\) denote a random ndimensional vector where
Here each individual Y_{ ij } is a binary random variable that represents whether a species x_{ j } is present for a random gene g_{ i }.
Exchangeability For the following lemma, we will assume that if gene tree T_{ i } is generated before taxon deletion model Y_{ i }, then the postdeletion tree \(T_{i}^{*}=T_{i}  Y_{i}\) is obtained by taking the subtree of T_{ i } restricted to the set of leaves \(\left \{x_{j}  Y_{ij}=1\right \}\) (i.e., the set of leaves corresponding to taxa that have not been marked for deletion by Y_{ i }). If Y_{ i } is generated before T_{ i }, then \(T_{i}^{*}\) is obtained by taking the same subtree \(\mathcal {T}Y_{i}\) of the species tree \(\mathcal {T}\), and simulating a gene tree within this species subtree under the multispecies coalescent.
Lemma 2
If T_{ i } and Y_{ i } are independent, the two variables are exchangeable and the distribution of \(T_{i}^{*}\) does not depend on the order of events.
Proof
If Y_{ i } is generated first, then the conditional distribution of \(T_{i}^{*}\) is equal to the distribution of gene trees under the multispecies coalescent on \(\mathcal {T}Y_{i}\), by definition. If T_{ i } is generated first, then the pruning operations described above mean that \(T_{i}^{*}\) will lie entirely within the subtree \(\mathcal {T}Y_{i}\). It remains to show that the probability of any given pattern of coalescence on the remaining branches is identical to the MSC under \(\mathcal {T}Y_{i}\). This follows from the memoryless property of coalescence under the MSC model: the probability of any two lineages originating within \(\mathcal {T}Y_{i}\) coalescing at any given point is not dependent on either lineage’s coalescent history. □
It should be noted by this model description, taxa are absent or present independently of the generation of the gene data, including tree topology and sequence evolution, and the two processes are exchangeable. Also, as is the case with the general multispecies coalescent model, gene trees evolve under a process that is i.i.d. with respect to one another. We will now define the three models for taxon deletion that were briefly described earlier: the M_{ iid }, the M_{ fsc }, and the M_{ clade } models.
The i.i.d. Model (M_{ iid }) M_{ iid } is a family of models parameterized by p, with 0<p<1, where p is the probability that a random gene is present in a random species. For M_{ iid } for parameter p, we assume that Y_{ ij }∼Bernoulli(p) for all genes i and all taxa j, and that Y_{ ij } and Y_{ kj } are independent for k≠i.
The Full Subset Coverage Model (M_{ fsc }) M_{ fsc } is a family of models parameterized by an integer k≥2. We assume that the taxon deletion process is i.i.d. across genes and furthermore that it is independent of the gene tree random variable, but we do not assume that it is i.i.d. across species. An M_{ fsc } model for parameter k satisfies the property that for any subset B of at most k species there is a strictly positive probability p_{ B } (that can depend on B) so that given a random gene, every member of B is present in the data for that gene with probability p_{ B }. Since the number of taxon sets of size at most k is finite, \(p^{*} = \min \left \{p_{B}: B \subseteq \mathcal {X}, B \leq k\right \} > 0\); hence, every taxon subset of size at most k appears in a random gene with probability at least p^{∗}. Note that every M_{ iid } model satisfies the property of being an M_{ fsc } model for every k.
The CladeBased Model (M_{ clade }) Every clade c in the species tree (including the clade containing all the species) has a strictly positive probability p_{ c } of being selected, so that \(\sum _{c} p_{c} = 1\). Then, for each gene, a clade is selected (under the above model), and all the species outside of the clade are deleted. Because clade selection is done on the species tree, the presence/absence of taxa is independent of the gene tree topology, and every subset has a strictly positive probability of appearing as a subset of the leafset of a random gene. Hence, the M_{ clade } model of missing data falls under the M_{ fsc } model. This model is based on pure gene birth model, where a gene is born on a branch in the species tree and then does not die; hence, the gene does not exist for taxa outside of the clade below the edge on which the gene was born, but appears at every leaf in the clade.
Comparison to previous models of missing data Several prior studies of the impact of missing data on phylogenomic analysis have been performed under the M_{ iid } model; this model is referred to as R in [23] and as the “random allocation” model in [25]. Xi et al. [23] considered the G model, where missing data are concentrated in a subset of randomly chosen genes, and then taxa are deleted under an i.i.d. process from these genes. Xi et al. [23] also studied the S model, where missing data are allowed only in a subset of randomly chosen ingroup species, and that the genes are deleted from the selected species under an i.i.d. process. Note that the S and G models are M_{ fsc } models. Other M_{ fsc } models have been studied in [7, 24]. The M_{ clade } model has been studied in [39] and used to explore supertree methods when there is no gene tree heterogeneity [36, 40–42].
Results under an adversary model We provide results under an adversary model of taxon deletion, showing that statistical consistency cannot be in general guaranteed under arbitrary models of missing data. We then provide results under the M_{ iid } and M_{ fsc } models of taxon deletion.
Theorem 3
Let taxon deletion be dependent on gene tree topology. There exists a dependency structure under which no method is statistically consistent.
Proof
Let \(\mathcal {T}\) and \(\mathcal {T}'\) be two species trees with different unrooted tree topologies; note that the unrooted topology for \(\mathcal {T}'\) appears with strictly positive probability under the MSC for species tree \(\mathcal {T}\). For each gene g_{ i } (with true gene tree topology t_{ i }), consider the dependency structure where all taxa are present in the data for g_{ i } with probability 1 if the topology of t_{ i } is identical to \(\mathcal {T}'\), and all taxa are absent with probability 1 otherwise. Thus, data for gene g_{ i } is observed if and only if t_{ i } has the same topology as \(\mathcal {T}'\); in other words, the model species tree topology is not identifiable under this dependency structure. Hence, the distribution of observed gene data is not unique to the model species tree.
The identifiability condition (that the sampling distribution of observed data be uniquely determined by the model being estimated) is a natural precondition of any proof of statistical consistency for any method. That is, if two distinct parameter values yield identical data, an algorithm can return only one and will thus by necessity fail on some part of the parameter space. In particular, we have shown that two different model species trees that have different topologies define the same distribution of observed data (e.g., gene tree topologies) under this dependency structure. Therefore, it is not possible to have a statistically consistent method for species tree topology estimation under this dependency structure. □
Therefore, Theorem 3 demonstrates that a dependence between gene tree topology and taxon presence can quickly unravel statistical consistency guarantees in the absence of additional assumptions.
Results for Type 1 methods under M_{ fsc } We now discuss the statistical consistency guarantees of Type 1 tuplebased methods. As we will see, most of the tuplebased methods remain statistically consistent even in the presence of missing data, as long as the process that generates the missing taxa is well behaved (e.g., not generated by an adversary that biases the method towards the wrong tree).
Let A=(F,α) be a Type 1 ℓtuple method that satisfies the following properties:

(i) For all model species trees \(\mathcal {T} = (T,\Theta)\), as the number m of genes increases, \(F(I_{m}) \overset {p} \longrightarrow F_{0}\), where F_{0} is a constant vector parameterized by \(\mathcal {T}\).

(ii) There exists δ>0 such that for all vectors of summary statistics F_{1} satisfying \(L_{\infty }\left (F_{1},F_{0}\right) < \delta \), α(F_{1})=α(F_{0})=T.
Theorem 4
Let A=(F,α) be a Type 1 ℓtuple species tree estimation method satisfying the two properties (i) and (ii) above, and assume that the number of species is at least ℓ. The natural extension of A is statistically consistent under M_{ fsc } with parameter k≥ℓ, and thus also under M_{ iid } for any parameter p.
Proof
Let \(\mathcal {T}=(T,\Theta)\) be the model species tree, I_{ m } be the input dataset containing m genes, and C be the number of summary statistics computed by algorithm A=(F,α) on input I_{ m }. Since A=(F,α) satisfies condition (i) when there are no missing data, then as the number of genes m increases, \(F(I_{m}) \overset {p} \longrightarrow F_{0}\), where F_{0} is a vector of constants. We will denote the i^{th} summary statistic computed on input I_{ m } by F_{ i }(I_{ m }) and the i^{th} component of F_{0} by \(F_{0_{i}}\). We write \(F(I_{m})=\left (F_{1}\left (I_{m}_{\mathbf {x}_{1}}\right),\dots,F_{C}\left (I_{m}_{\mathbf {x}_{C}}\right)\right)\), where x_{ i } denotes a particular set of ℓ taxa. In other words, since A satisfies condition (i) when there are no missing data, for all \(i=1,\dots,C\) there exist a constant \(F_{0_{i}}\) such that \(F_{i}(I_{m}_{\mathbf {x}_{i}})\overset {p}{\longrightarrow }F_{0_{i}}\) as \(m \rightarrow \infty \). Since the data for each gene are independent of all others, to prove statistical consistency under the M_{ fsc } model we merely require that \(I_{m}_{\mathbf {x}_{i}}\phantom {\dot {i}\!}\) include an infinite number of genes as \(m\rightarrow \infty \). Under the M_{ fsc } model, \(Pr\left [\mathbf {x}_{i} \subseteq L(g)\right ] >0\) for every gene g (where \(\mathcal {L}(g)\) denotes the set of species for gene g). Hence, by the BorelCantelli lemma, the number of genes that include all ℓ taxa in x_{ i } will also approach infinity. Thus \(I_{m}_{\mathbf {x}_{i}}\phantom {\dot {i}\!}\) will include an infinite number of genes, and \(F\left (I_{m}_{\mathbf {x}_{i}}\right)\overset {p}{\longrightarrow }F_{0_{i}}\). By the definition of the natural extension of A, α does not change under deleted taxa. Since A satisfies condition (ii), ∃δ>0 such that ∀F_{1} with \(L_{\infty }\left (F_{1},F_{0}\right) < \delta \), α(F_{1})=T, and so the natural extension of A is statistically consistent under M_{ fsc }. Since M_{ iid } is a subset of M_{ fsc }, it is also statistically consistent under M_{ iid }. □
Corollary 5
ASTRAL, METAL, MPEST, and STEM are statistically consistent under the MSC even when taxa are deleted under an M_{ fsc } model, provided that each is run in exact mode (i.e., they find optimal solutions to their respective optimization criteria) and that the conditions necessary for statistical consistency when there are no missing data are also present.
SVDquartets [43] is a popular species tree estimation method that operates by computing quartet trees, and then combines the quartet trees using a quartet amalgamation method. However, it is not yet established that the quartet tree estimation method used in SVDquartets is statistically consistent under the MSC, even when there are no missing data, and so the statistical consistency of SVDquartets under the MSC is still an open problem. Although it is likely that the quartet tree estimation method used by SVDquartets is statistically consistent under the MSC, since there is no proof yet of this assertion, we cannot infer anything about the statistical consistency of SVDquartets under more general conditions.
Statistical consistency of versions of ASTRAL under M_{ fsc } ASTRALI [5] and its improved version, ASTRALII [6] are coalescentbased methods for estimating species trees that take unrooted gene trees as input, and return a tree that minimizes the quartet tree distance to the input gene trees. Each can be run in either exact mode or in a heuristic setting. In the exact mode, each is guaranteed to find an optimal tree – i.e., one that minimizes the quartet tree distance to the input set of unrooted gene trees –and is established to be statistically consistent under the MSC when there are no missing data. The heuristic settings operate by defining a set of “allowed bipartitions” (β in this paper), which means that the search space can only consider species trees that draw all their bipartitions from β. The heuristic settings are also statistically consistent under the MSC when there are no missing data, provided that the set β contains all the bipartitions from the input gene trees (which is guaranteed for both ASTRALI and ASTRALII).
The important difference between ASTRALI and ASTRALII is how the set β is defined, and ASTRALII explicitly enlarges the set β compared to ASTRALI when the input gene trees can be incomplete (i.e., when some species are missing from some gene trees). Because the search space is constrained using the input gene trees, the two ASTRAL algorithms depends on the input in a way that makes the analysis of their statistical guarantees nontrivial.
We will show that although ASTRALI and ASTRALII are statistically consistent under the M_{ iid } model, there are some M_{ fsc } models for which neither is statistically consistent. We then present some modifications to ASTRALI that differ from ASTRALI only in how the set β is defined, and show that these modifications are statistically consistent under many (but not all) M_{ fsc } models.
Notation We let \(\mathcal {X}\) denote the full set of species and \(\mathcal {X}'\) denote an arbitrary subset of \(\mathcal {X}\). Every tree t we consider is assumed to be a binary unrooted tree with leaves taken from a subset of \(\mathcal {X}\), and as earlier we denote the leafset of t by \(\mathcal {L}(t)\). Each edge of t defines a bipartition of the set \(\mathcal {L}(t)\) (denoted by BB^{′}, for some set \(B \subseteq \mathcal {X}\) and \(B' = \mathcal {L}(t) \setminus B\)) obtained by deleting the edge but not its endpoints from t. We will refer to the set of all these bipartitions as Bip(t), and the set of halves of the bipartitions of t as the clades of t. (Note that the term “clades” is normally used only in the context of rooted trees, but we extend the term here to allow us to refer to halves of bipartitions using the same term). We let \(T_{\mathcal {X}}(\beta)\) denote the set of unrooted binary trees on leafset \(\mathcal {X}\) that satisfy \(Bip(t) \subseteq \beta \). If β is not provided, then we assume the set of unrooted binary trees is not constrained and we let \(T_{\mathcal {X}}\) denote the set of all unrooted binary trees on leafset \(\mathcal {X}\).
We let Q(t) denote all 4leaf homeomorphic subtrees of t induced by a set of four leaves in t. Since we assume all trees t are binary in this study, it follows that Q(t) contains only binary quartet trees. Let \(\mathcal {Q}\) be the set of all \({{n}\choose {4}}\) 4taxon subsets of the taxon set \(\mathcal {X}\). Let \(q\in \mathcal {Q}\), let t be an arbitrary (binary) tree topology on \(\mathcal {X}\), and let Top(q,t) denote the induced homeomorphic quartet tree topology for quartet q in t.
Definition 6
ASTRAL Optimization Problem
Input: Taxon set \(\mathcal {X}=\{x_{i}\}_{i=1}^{n}\), unrooted binary gene trees \(t_{1},\dotsc,t_{m}\), and set β of allowed bipartitions of \(\mathcal {X}\)
Output: Unrooted binary tree T where
ASTRALI and ASTRALII differ in how they define the default set X of allowed bipartitions and they also use slightly different dynamic programming techniques to assemble the optimal tree from the bottom up. To run ASTRALI or ASTRALII in exact mode, the set β is defined to be all bipartitions on \(\mathcal {X}\). In the default version of ASTRALI (referred to as the “heuristic version”), β is the set of all bipartitions that appear in any gene tree. Hence, when there are no missing data, then as the number of genes increases, the set β will include all possible bipartitions on the taxon set with probability converging to 1 (and hence in particular the bipartitions in the true species tree). However, when there are missing data, then proving that the set X contains all the bipartitions in the species tree takes some care. In particular, if every gene tree is incomplete, then no bipartition in any gene tree is a bipartition of the full set of taxa, and so this default setting will not enable a statistically consistent estimation method.
Modifications to ASTRAL We will modify ASTRALI by changing how it defines the set β of allowed bipartitions. Each of these modifications simply uses the input set of gene trees to compute a set of additional bipartitions, which are then added to the default setting for β that is computed by ASTRALI. Hence, these extra bipartitions could also be added to ASTRALII.
Note that ASTRALI, ASTRALII, and hence also these modifications, when run in heuristic mode, are different from the species tree estimation methods described previously, in that α depends not only on the summary statistics F(I) but also on the input data I. Therefore, we denote the output of the function by α(F,I).
The first modification we present is the simplest: For every clade \(C\subset \mathcal {X}\) occurring in a gene tree, we add the bipartition CC^{′} where \(C' = \mathcal {X}\setminus C\), to its set β. (Note that since the trees in this problem are unrooted, a clade and one half of a bipartition are equivalent concepts). This is a trivial extension of the algorithm for a model of incomplete genes and one that expands the conditions under which the method is consistent, as we will see below. We refer to this particular modification as ASTRAL _{mod1}.
Theorem 7
(1) ASTRAL _{mod1}, ASTRALI, and ASTRALII, all run in default heuristic mode, are statistically consistent under the MSC for any M_{ iid } model of taxon deletion. (2) ASTRALI is not statistically consistent under an M_{ fsc } model with parameter k if the number of species is greater than k and ASTRALI is run in default heuristic mode. (3) ASTRAL _{mod1} is statistically consistent under any M_{ fsc } model of taxon deletion with parameter k if the number n of species is at most 2k.
Proof
(1) Let \(\mathcal {T}\) be a model species tree on n species, and consider taxon deletion under some M_{ iid } model. We will show that there is nonzero probability that every bipartition in the species tree appears in the set β (which defines the search space) computed by ASTRALI in its default setting. Since the search space computed by ASTRALI is a subset of the search space computed by ASTRALII and ASTRAL _{mod1}, the result will follow. Recall that ASTRALI includes all bipartitions CC^{′} in the set β that appear in any input gene tree. Under the MSC model, every bipartition appears in some gene tree with probability increasing to 1 as the number of genes increases. Under any M_{ iid } model, for every subset of taxa, the probability that none of the taxa in the subset are deleted is strictly greater than 0. Hence, under M_{ iid }, the set β of bipartitions allowed in the ASTRALI search space will converge to the set of all possible bipartitions. Therefore, ASTRALI is statistically consistent under M_{ iid }. Since the sets of bipartitions computed by ASTRAL _{mod1} and ASTRALII contain the set of bipartitions computed by ASTRALI, it follows that ASTRALII and ASTRAL _{mod1} are also statistically consistent under M_{ iid }.
(2) Now consider the M_{ fsc } model with parameter k. Let n>k, and let the taxon deletion process be such that every gene has exactly k taxa (e.g., k taxa sampled uniformly, a valid model under M_{ fsc }). When ASTRALI is run in heuristic mode, it will compute a set β that contains no bipartitions on the set \(\mathcal {X}\) of species, and so cannot be statistically consistent.
(3) We show that ASTRAL _{mod1} run in heuristic mode is statistically consistent under any M_{ fsc } model with parameter k when n≤2k. Let CC^{′} be an arbitrary bipartition on \(\mathcal {X}\), and assume without loss of generality that C≤k. Hence, under M_{ iid }, the probability that all the taxa in C appear in a random gene tree is strictly positive. Under the MSC, any bipartition on \(\mathcal {X}\) appears in a random true gene tree with strictly positive probability. Since this process is independent from the removal of taxa, and since there is nonzero probability that all members of a clade appear in the gene tree, the probability is nonzero that the set C appears as a clade in a random gene tree.
Hence, as the number m of gene trees increases, the probability approaches 1 that C appears as a clade in at least one gene tree. Thus the probability approaches 1 that the set β computed by ASTRAL _{mod1} will contain CC^{′}, where \(C' = \mathcal {X} \setminus C\). Therefore, ASTRAL _{mod1}, run in heuristic mode, will be statistically consistent under the M_{ fsc } model with parameter k, provided that the number n of species is at most 2k. □
Theorem 8
ASTRALI and ASTRAL _{mod1}, when run in heuristic mode, are not statistically consistent under the M_{ fsc } class of models with parameter k, if the number of species n>2k.
Proof
Consider a model of taxon deletion where every gene tree has exactly k taxa, selected at random from the full set of taxa. This model satisfies the conditions of the M_{ fsc } models with parameter k. Now assume k<⌊n/2⌋.
Let \(\mathcal {T}\) be a caterpillar tree on a set \(\mathcal {X}\) of n taxa. Then \(\mathcal {T}\) contains a clade B of size ⌊n/2⌋ whose complement is at least as large; hence both B and \(\mathcal {X} \setminus B\) have more than k species. Hence, under this model of taxon deletion, neither B nor \(\mathcal {X} \setminus B\) will be in any gene tree. Hence, the bipartition BB^{′} (where \(B'=\mathcal {X} \setminus B\)) will not be in β (the constraint on the search space) as computed by ASTRALI and ASTRAL _{mod1}. Hence, neither ASTRALI nor ASTRAL _{mod1} can recover the true species tree under this random taxon deletion model. □
Although ASTRAL _{mod1} is not statistically consistent under some M_{ fsc } models, it is possible that other modifications can be statistically consistent under M_{ fsc } models. In particular, suppose Φ is a species tree method that is statistically consistent under the M_{ fsc } model. Then the simple approach of using Φ to estimate the species tree and then adding its bipartitions to the set β suffices to make ASTRAL consistent under the M_{ fsc } model. We refer to this as the ASTRAL+ Φ method, and summarize this observation in the theorem below.
Theorem 9
Let Φ be a species tree estimation method that is statistically consistent under the MSC when taxa are deleted under the M_{ fsc } model. Then ASTRAL+ Φ, the modification of ASTRALI obtained by adding the bipartitions of the species tree computed by Φ to the set β, is statistically consistent under the MSC when taxa are deleted under the M_{ fsc } model.
Statistical consistency of ASTRID and NJst under M_{ iid } As noted earlier, ASTRID, NJst, and STAR are Type 2 methods, and the proofs we provided of statistical consistency for Type 1 tuplebased methods do not apply to these methods (or other Type 2 methods). We will show ASTRID and NJst remain statistically consistent under the M_{ iid } models of taxon deletion; however, the statistical consistency of these methods under more general M_{ fsc } models is unknown.
NJst and ASTRID are distancebased methods that use the average topological “internode” distance between taxa in the gene trees, where the internode distance between two taxa x_{ i } and x_{ j } in a tree (denoted ρ(x_{ i },x_{ j })) is the number of individual nodes along the path from the leaves corresponding to x_{ i } and x_{ j }. NJst and ASTRID are not Type 1 methods, because the internode distance for two taxa x_{ i } and x_{ j } can be affected by the presence or absence of a third taxon.
NJst and ASTRID are formally 2tuple methods, and each uses an algorithm to compute a tree given \({{n}\choose {2}}\) pairwise distances (collectively, the “distance matrix”). We now state some wellknown properties of distance methods for reference in the proof below. For a tree with topology T=(V,E) on n taxa and edge weights l_{ e }, e∈E, if the distance for any two taxa j and k is equal to the sum of the edge weights over edges in the shortest path between leaves j and k, then neighbor joining will return a tree with topology T, and the distance matrix is said to be additive on the topology T. An equivalent definition of an additive matrix is as follows:
Definition 10
Additivity and The Four Point Condition A square matrix D=[d_{ ij }] is said to be additive if there is a tree T with n leaves and nonnegative branch lengths so that d_{ ij } is the total weighted path length between leaves i and j. When such a tree T exists, we also say that D is additive on the topology T. The Four Point Condition is said to hold for a square matrix D if and only if for all sets of four indices \(\left \{i,j,k,l\right \}\), the median and maximum of the three pairwise sums d_{ ij }+d_{ kl },d_{ ik }+d_{ jl },d_{ il }+d_{ jk } are equal.
It is also known that a matrix is additive if and only if it satisfies the Four Point Condition [44]. Furthermore, if D is additive and corresponds to an edgeweighting of tree T, then for a given set of four indices {i,j,k,l}, d_{ ij }+d_{ kl }<d_{ ik }+d_{ jl }=d_{ il }+d_{ jk } if and only if the quartet tree induced by T on these four indices has an edge separating the leaves for i,j from the leaves for k,l.
Distancebased tree estimation methods operate by computing trees from matrices of estimated distances. If the “distance matrix” is additive, most distancebased methods are guaranteed to return a tree topology that can realize the additive matrix. Furthermore, if instead of being given the additive matrix D as above we are given \(\hat {D}=d_{ij}+\varepsilon _{ij}\), where ε_{ ij } is an unknown noise term such that for all \(i,j\in \mathcal {S}\}\), \(\varepsilon _{ij}<\frac {1}{2} \min \{ d_{ab}: a,b\in \mathcal {S}\}\), then neighbor joining applied to the matrix \(\hat {D}\) will also return the topology T with probability 1 [45]. ASTRID is similar to NJst in that it computes the same internode distance matrix but then uses FastME to compute the species tree; since FastME also has some error tolerance [46], ASTRID is also guaranteed to return the species tree when the internode distance matrix is close enough to the matrix D. Therefore, to prove statistical consistency for both ASTRID and NJst, it suffices to show that the average internode distance matrix computed from a set of input gene trees converges to an additive matrix on the true topology as the number of genes increases. This assertion has already been established when there are no missing data [47, 48], but not when taxa are deleted from the gene trees.
Theorem 11
Assume that taxa are absent from the data for each gene according to the M_{ iid } model. Then NJst and ASTRID are statistically consistent under the MSC.
We begin with a lemma that will be helpful for establishing the proof. Note that since \(\rho \left (x_{i},x_{j}\right)\) is undefined when either of x_{ i } or x_{ j } is removed, the expectation of \(\rho \left (x_{i},x_{j}\right)\) is formally undefined as long as the probability of either being deleted is nonzero. We nonetheless use the notation \(\mathbf {E}\left [\rho (x_{i},x_{j})\right ]\) in the lemma and proofs below, which will refer implicitly to the conditional expectation on the event that neither x_{ i } nor x_{ j } is removed.
Lemma 12
Under the MSC and M_{ iid }, let a, b, c and d be four taxa. Consider the event in the coalescent probability space, denoted as \(\mathcal {E}_{abcd}\), in which the lineages of these taxa have entered a common population and no pair have coalesced with one another. Denote the points on each respective lineage in which they enter the common population as A, B, C, and D. Let Y be the random variable representing the taxon deletion process. Then for any two taxa \(\{i,j\} \subset \{a,b,c,d\}\) and respectively \(\left \{ I,J\right \} \subset \{A,B,C,D\}\):
where K is a constant that does not depend on the identities of i and j.
Proof
Consider any rooted gene tree g meeting the condition of event \(\mathcal {E}\), and let G be the subtree of g sitting between the points A, B, C and D and the root. Equivalently, G is obtained by deleting the subtrees of g below points A,B,C, and D. The topology of G in this model, given that \(g\in \mathcal {E}\), is determined by a set of i.i.d. exponentially distributed random variables corresponding to the pairwise timestocoalescence of all remaining lineages concurrent with and including {A,B,C,D}. By De Finetti’s theorem, the probability density function of G is unique up to a permutation of the indices of the random variables. Thus for any \(\{I,J\}\subset \{A,B,C,D\}\), since ρ(I,J) is dependent only on the topology of G, the probability density of ρ(I,J) does not depend on the identity of I and J so that \(\mathbf {E}\left [ \rho (I,J)\mathcal {E} \right ]\) does not depend on I or J, and we let the common value for these expectations be denoted by K. □
Proof of Theorem 11
Recall that ASTRID and NJst compute a matrix of average internode distances (defined by the summary statistics ρ(x_{ i },x_{ j })), and then NJst uses neighbor joining and ASTRID uses FastME to compute a tree. Since both neighbor joining and FastME return the tree topology T when given a matrix that is sufficiently close to an additive matrix corresponding to an edgeweighting of tree T, to prove that these methods are statistically consistent under the M_{ iid } missing data model, it suffices to establish the following:

1.
For a gene tree generated under the coalescent process in the MSC followed by the removal of taxa subject to M_{ iid }, the expected value of the summary statistics ρ(x_{ i },x_{ j }) for each pair of taxa x_{ i },x_{ j } form an additive matrix that defines the topology of the species tree.

2.
The statistics themselves converge to their expectations as the number m of genes approaches infinity.
The second property follows from the i.i.d. generation of gene trees and the weak law of large numbers; hence, we need only establish the first property.
Let G be a random gene tree on n taxa generated by the MSC on species tree \(\mathcal {T}\), and let Y_{ n }∼M_{ iid } with probability of deletion p. We will show that for an arbitrary set of four taxa {x_{1},x_{2},x_{ a },x_{ b }}, the expectations over G and Y_{ n } of the internode distances are additive on the species tree, which we check by confirming that they obey the Four Point Condition for the species tree \(\mathcal {T}\). In what follows, we will refer to this by saying that the expectations “obey the Four Point Condition”, with the understanding that this is with reference to the species tree \(\mathcal {T}\). Importantly, the event \(\mathcal {E}\) defined in Lemma 12 includes all cases in which the homeomorphic quartet subtree topology in the gene tree does not match that of the species tree, and implies that the Four Point Condition holds in these cases. As a result, it suffices to show that the Four Point Condition holds when the homeomorphic quartet subtree in G is identical to the topology in the species tree, which we assume without loss of generality has topology x_{1}x_{2}x_{ a }x_{ b } (i.e., the species tree and the gene tree G both have edges that separate x_{1},x_{2} from x_{ a },x_{ b }). We will show this by induction on the number n of taxa, and begin with the smallest nontrivial case, n=4.
Base Step: n=4. For n=4 we can write the expected values of the internode distances in closed form and check the Four Point Condition directly:
Thus, to test that the Four Point Condition holds, we have:
Thus the Four Point Condition holds for n=4.
Induction Step: Assume that for a set \(S_{n} = \left \{x_{1}, x_{2}, \ldots, x_{n}\right \}\) of n taxa, the expected value of the matrix D=[ρ(x_{ i },x_{ j })] for a random gene tree G_{ n } and taxonremoval variable Y_{ n } is additive on the true species tree. That is, for any set of n taxa under the MSC and M_{ iid } and any quartet {a,b,c,d}, the Four Point Condition holds for \(\mathbf {E}_{n}\left [\rho (i,j)\right ]\), i,j∈{a,b,c,d}, a fact that we will use below (here E_{ n } denotes the expectation operator under n taxa for notational clarity). We will now show that the same holds for a set of size n+1.
Let x_{n+1} be a new taxon and let G be generated under the MSC on \(S_{n}\cup \left \{x_{n+1}\right \}\) with taxonremoval variable Y_{n+1}=(Y_{ n },y_{n+1}) where y_{n+1}∼Bernoulli(p) in accordance with M_{ iid }. Our approach will be to define three cases, each of which have nonzero probability, and show that regardless of the placement of x_{n+1} in the species tree, the Four Point Condition holds on \(\left \{x_{1},x_{2},x_{a},x_{b}\right \}\).
Case 1: x_{n+1} is deleted from G (i.e. y_{n+1}=1). In this case the conditional values of \(\mathbf {E}_{n+1}\left [\rho (x,x')\right ]\) for x≠x^{′}, \(x,x'\in \left \{x_{1},x_{2},x_{a},x_{b}\right \}\) are identical to the case with n taxa, and thus by our assumption they obey the Four Point Condition.
Case 2: x_{n+1} is not deleted and it coalesces (with some other lineage) on a branch that is not on the homeomorphic quartet subtree of G for the quartet \(\left \{x_{1},x_{2},x_{a},x_{b}\right \}\). In this case, the coalescence event for x_{n+1} does not add to the internode distances along any of the branches connecting any two members of the quartet. As a result, again the conditional values of \(\mathbf {E}\left [\rho (x,x')\right ]\) for x≠x^{′}, \(x,x'\in \left \{x_{i},x_{j},x_{k},x_{l}\right \}\) are identical to the case with n taxa, where again they obey the Four Point Condition, by the induction assumption.
Case 3: x_{n+1} is not deleted and coalesces directly with a branch on the induced quartet subtree of G for the quartet \(\left \{x_{1},x_{2},x_{a},x_{b}\right \}\). This case is nontrivial and requires some analysis. For shorthand, we will refer to the homeomorphic quartet subtree of G restricted to \(\left \{x_{1}, x_{2},x_{a},x_{b}\right \}\) as simply q. For a pair of taxa i,j∈S_{ n } the value of the expected internode distance in the presence of x_{n+1} is:
where P(i,j) denotes the probability that x_{n+1} coalesces on a branch in the path from i to j, which would cause ρ(i,j) to increase by 1. This quantity is nontrivial and depends jointly on both the topology of Gand the value of Y_{ n }. However, since the first term obeys the Four Point Condition by the induction hypothesis, the proof depends on showing that P(i,j) does as well.
To do that, we will first partition the joint probability space of the MSC and M_{ iid }, denoted as \(\mathcal {G}\) and assign each part of this partition to one of the five branches in the subtree q, then show that for \(\{i,j\} \subset \{x_{1},x_{2},x_{a},x_{b}\}\), P(i,j) can be expressed as the sum of probabilities assigned to the branches between i and j. We will label the branches as b_{1}, b_{2}, b_{ a }, and b_{ b } for the four outer branches and b_{ m } for the middle branch.
Figure 2 describes the partition based on the branch with which x_{n+1} coalesces (in each column) and the outcome of the taxonremoval process (in each row). For the illustrations in the header of each row, a branch represented with a dotted line represents the case that all lineages coalescing along that branch other than x_{n+1} are fully removed by the taxonremoval process. The positions of the relative taxa are given in the illustration in the first row header, and all taxonremoval outcomes that allow at least one ρ(i,j), i,j∈{x_{1},x_{2},x_{ a },x_{ b }} to be measured are represented in the rows. The assignment is not unique, as implied by the entries with offer two possibilities, but for the proof either will work so we consider the default to be the first branch listed.
For an event \((G,Y_{n+1}) \in \mathcal {G}\), denote the assignment of \(\left (G,Y_{n+1}\right)\) to branch b_{ e } as \((G,Y_{n+1}) \rightarrow b_{e}\), and for that branch let
In this way, for any pair of taxa i,j∈{x_{1},x_{2},x_{ a },x_{ b }}, the probability that ρ(i,j) is incremented by 1 in the presence of x_{n+1} is given precisely by the sum of p_{ e } for set of edges e between i and j in the quartet subtree q. This should be apparent by visual inspection of the table. Thus, P(i,j) in (2) is the sum of positive edge weights on the topology x_{1}x_{2}x_{ a }x_{ b }, which is also the species tree topology on these four taxa, and so is additive on the species tree. Hence, it meets the Four Point Condition, completing the proof. □
This proof was only provided under the M_{ iid } model of taxon deletion because the independence of taxon deletion (between taxa as well as from gene tree generation) was used when we noted that
in case 3. Independence implies that the marginal probability distribution of ρ(x,x^{′}) for n taxa is identical to the conditional distribution given the information that x_{n+1} has not been deleted.
While it is not strictly necessary for (3) to hold, counterexamples can be difficult to construct, and thus it is nontrivial to characterize conditions that may be weaker than pure independence and still imply that ASTRID and NJst are statistically consistent. It is an open question whether ASTRID and NJst are statistically consistent under any more general model (e.g., under the M_{ fsc } model). It is also an open question whether other Type 2 methods (e.g., STAR) are statistically consistent under the M_{ iid } model of taxon deletion.
Results of the simulation study
The theoretical results above establish that various species tree estimation methods are statistically consistent under the MSC model in the presence of missing data under the M_{ iid } model, and, in some cases, also under the M_{ fsc } model. Statistical consistency is a statement about performance in the limit, as the amount of data increases, but does not directly address performance on finite data. The question we address in this simulation study is: “How quickly does species tree error decrease as the number of genes increases under models of missing data?”
We explored the performance of four species tree estimation methods under two speciation models: one where speciation was deep (toward the root) and the other where speciation was recent (toward the leaves). The results for datasets with deep speciation are shown here, and the results for datasets with recent speciation are shown in the Additional file 1. Nearly identical trends are observed for the two speciation rates; however, species trees estimated on datasets with recent speciation had somewhat reduced error rates, that is, recent speciation was a less challenging model condition.
We performed a sequence of experiments to evaluate the impact of missing data on species tree estimation. Our preliminary experiment evaluated the impact of missing data on the inputs given to species tree estimation methods (i.e., gene tree estimation error, discordance between true gene trees and the species tree, and the internode distance matrix computed by ASTRID). We then performed experiments evaluating the impact of taxon deletion on species tree estimation based on true gene trees (for the summary methods) and the true alignment (for SVDquartets). Our final experiment examines the impact of taxon deletion under both models when summary methods are given estimated gene trees rather than true gene trees.
Experiment 1: Evaluating the impact of taxon deletion on inputs to species tree estimation methods We first evaluated the impact of taxon deletion on gene tree estimation error (GTEE), measured using the average normalized RF distance between true gene trees and estimated gene trees, and also on the ILS level, as measured using AD values; see Fig. 3. Deleting taxa under the M_{ iid } model had only a small impact on GTEE and AD levels: on average, AD changed by at most 4% and GTEE changed by at most 7%. However, deleting taxa under the M_{ clade } model resulted in a noticeable decrease for both GTEE and AD values: on average, AD decreased by as much as 22% (Fig. 3b, dashed line) and GTEE decreased by as much as 14% (Fig. 3e, dashed line).
We also explored the impact of taxon deletion on D^{A}, the internode distance matrix ASTRID computes from the set of true gene trees given as input. Our theory establishes that as the number of genes increases, D^{A} converges to a matrix that is additive on the true species tree; however, the additive matrix it converges to depends on the model of taxon deletion. In particular, under the cladebased model of taxon deletion, the internode distance matrix converges to a specific additive matrix D^{T}, defined by the true species tree with unit branch lengths; however, under the M_{ iid } model the internode distance matrix converges to a different additive matrix (one that also fits the model species trees, but with different edge lengths). Therefore, the distance between D^{A} and D^{T} is a good proxy for the deviation from additivity for the internode distance matrix ASTRID calculates under the cladebased model, but a poorer (albeit potentially useful) proxy under the M_{ iid } model. Furthermore, since ASTRID is guaranteed to return the true species tree if the input matrix is sufficiently close to D^{T}, proximity to D^{T} may be predictive of topological accuracy for the ASTRID species tree.
Our experiment explored these issues for both models of missing data under three levels of ILS, three numbers of genes, and with varying amounts of missing data, but always for ASTRID applied to true gene trees. For each model condition, we computed a distance between D^{T} and D^{A} as follows:
where M_{ R } denotes the restriction of matrix M to its upper right triangle.
As shown in Fig. 4, deleting taxa under the M_{ iid } model resulted in an increase in the distance between D^{A} and D^{T}; this is expected, since deleting taxa increases the variance and pairwise distances between leaves are either unchanged or are reduced. The impact of deleting taxa under the cladebased missing data models is quite different. First, taxon deletion typically reduced ∥E∥_{2}; the only exception was for 50 genes with high levels of taxon deletion. Thus in general taxon deletion under cladebased models made the estimated internode distance matrix closer to additive.
Experiment 2: Data requirements under the M_{ iid } model of taxon deletion We explored the performance of methods under conditions in which the three summary methods have been established to be statistically consistent (i.e., when taxa were deleted under the M_{ iid } model and when true gene trees were given as input). We also provided true sequence alignments to SVDquartets, and so no species tree method had to handle estimation error in the inputs that they were given.
As shown in Fig. 5, species tree error rates decreased as the number of genes increases, under all ILS conditions. Under the lowest level of ILS (14% AD), all three summary methods had ∼10% or less error on average even when datasets had 60% missing data and only 50 genes. When ILS was high (47% AD), the summary methods required 200 genes to achieve an average error of less than 10% when there was 0% or 30% missing data and required 1000 genes to achieve a similar level of accuracy on datasets with 60% missing data. When datasets with the highest ILS condition (75% AD) had 60% missing data, all three summary methods approached ∼20% error on average when given 1000 genes. Hence, the data requirement for summary methods depended on both the percentage of missing data as well as other model conditions, such as the level of ILS. This was also true for SVDquartets. Although the error of species trees estimated by SVDquartets decreased substantially when given increasingly large numbers of genes, SVDquartets was much less accurate than the three summary methods (when given true genes) under all conditions, with largest differences for the lowest level of ILS.
These trends show that the data requirements for the summary methods are impacted by ILS level, so that accurate species tree estimation under higher levels of ILS requires a larger number of genes for all methods. This is intuitively obvious, as higher ILS results in greater heterogeneity between true gene trees, so that more gene trees are necessary to estimate the species tree (conversely, when there is no ILS, a single true gene tree suffices to estimate the species tree). These results are also consistent with [49], which examined the question theoretically when there are no missing data, establishing that the number of genes required by ASTRALII for accuracy with high probability is inversely proportional to the square of the length of the shortest branch in the species tree.
Experiment 3: Data requirements under the M_{ clade } model of taxon deletion We explored the performance of methods when taxa were deleted from genes under the M_{ clade } model of missing data. As with Experiment 2, we provided true gene trees as input to the summary methods and true gene sequence alignments as input to SVDquartets. Results in this experiment (Fig. 6) were nearly identical to the results under the M_{ iid } model, except that ASTRID had much lower error than the other methods (Fig. 6df). In fact, the accuracy of ASTRID sometimes improved with increasing percentages of genes with cladebased missing data; this was not true for increasing values of p for the M_{ iid } model of missing data. The difference between ASTRAL and ASTRID under the cladebased model of taxon deletion is interesting and provocative.
Experiment 4: Data requirements given estimated gene trees We explored the performance of species tree estimation methods under both models of taxon deletion, using estimated gene trees rather than true gene trees for summary methods and true multiple sequence alignments for SVDquartets. Hence, the results for the summary methods were different for this experiment than for the previous two experiments, while the results for SVDquartets were the same as for the previous two experiments.
Results on estimated gene trees are shown in Fig. 7 for the M_{ iid } taxon deletion model and Fig. 8 for the cladebased taxon deletion model. Overall these results are largely similar to the results when species tree methods are given true gene trees (i.e., compare to Figs. 5 and 6). For example, error rates dropped as the number of genes increased and error rates increased with the level of ILS. Unsurprisingly, overall accuracy was reduced for summary methods when given estimated as opposed to true gene trees under both models. Also, the relative performance between methods was largely the same as when using true gene trees, with a few differences. On true gene trees all three summary methods had very close accuracy, but on estimated gene trees, ASTRAL and ASTRID were generally more accurate than MPEST, with ASTRID having a clear advantage over ASTRAL under cladebased missing data. The gap between SVDquartets and the summary methods also narrowed, so that although SVDquartets remained less accurate than ASTRAL and ASTRID, on occasion it matched or exceeded the accuracy of MPEST for large enough numbers of genes (e.g., see Fig. 7h).
Discussion
Our study provides theoretical results, establishing consistency of summary methods under some models of taxon deletion, as well as new experimental results. The theoretical results are novel, and to our knowledge are the first such results.
The results of our simulation study can be compared to prior simulation studies [7, 23–25] that also examined the impact of missing data on coalescentbased species tree estimation methods using simulated datasets with gene tree heterogeneity due to ILS. These studies differed in terms of species tree estimation methods, models of missing data, and other conditions, including ILS levels, sequence evolution models, deviation from a strict molecular clock, and gene tree estimation error; our study is closest to [24] in that we evaluated the same species tree estimation methods.
All these simulation studies found that good species tree accuracy could be obtained for the better methods when enough genes were available; however, some of these prior studies explored conditions that may have improved the robustness of methods to missing data (e.g., [23, 25] simulated sequence evolution under a strict molecular clock; [23] never deleted the outgroup taxon from gene alignments, and so all estimated gene trees could be rooted using the outgroup before being given to MPEST, which requires rooted gene trees). None of these prior studies explored performance under the two models of missing data we examine (i.e., the i.i.d. model and the cladebased missing data model), and none examined the impact of missing data when given true gene trees, which is a main focus of this study.
Our findings are consistent with the trends shown in the prior studies, demonstrating that ASTRALII, ASTRID, MPEST, and SVDquartets can achieve good accuracy when given a large enough number of genes. As expected, the summary methods have the best accuracy when given true gene trees, but good results are also obtained when using a sufficient number of estimated gene trees for the conditions we examined. Under both models of missing data, the three summary methods are more accurate than SVDquartets even when given estimated gene trees, and ASTRALII and ASTRID have better accuracy than MPEST.
The analyses under cladebased models of missing data are novel, as prior studies did not examine this model. Furthermore, ASTRID substantially outperformed the other methods, and even improved in accuracy under some conditions, when taxa were deleted under a cladebased model. However, the other species tree estimation methods all degraded in accuracy under the cladebased model.
To understand the difference in how ASTRID responded to cladebased missing data compared to the other summary methods, we examined how taxon deletion impacted the input to the summary methods (i.e., the gene trees and the internode distance matrix). As shown in Fig. 3, GTEE and AD values increased under M_{ iid } models but decreased under M_{ clade } models of taxon deletion; furthermore, Fig. 4 shows that ∥E∥_{2} (a measure of the distance between the internode distance matrix defined by the model species tree and the internode distance matrix that ASTRID computes) increased under M_{ iid } models but generally decreased under M_{ clade } models. These results suggest that summary methods should become less accurate under M_{ iid } models (a trend we observe in our simulation study), but also suggest that summary methods should become more accurate under the M_{ clade } models. However, only ASTRID became more accurate under M_{ clade } models. Furthermore, the conditions where ASTRID became more accurate as taxa were deleted under M_{ clade } models were generally those that resulted in the distance between D^{A} and D^{T} decreasing.
One possible explanation for why taxon deletion under the cladebased models did not result in improved accuracy for ASTRAL and MPEST summary methods, despite the reduction in GTEE and AD, is that taxon deletion also automatically reduces the amount of information available, and that reduction in information quantity has a larger negative impact on ASTRAL and MPEST than the positive impact obtained by the improvement in information quality (as indicated by the reduction in GTEE and AD values). This tradeoff between information quality and quantity seems to be different for ASTRID than for ASTRAL and MPEST, however, since ASTRID typically benefits under cladebased models (when there are enough genes).
Thus, ASTRID responds differently from other species tree estimation methods, and these differences suggest that the pattern of missing data in an empirical dataset may have implications for selecting summary methods for phylogenomic species tree estimation. In particular, if the data that are gathered seem to have missing data patterns that look cladebased, then ASTRID may be preferable to ASTRAL and MPEST, while if the data that are gathered seem to have other types of missing data patterns then ASTRAL may be preferable.
Conclusions
Species tree estimation using multilocus datasets is increasingly common, but many datasets have substantial numbers of incomplete gene trees. Furthermore, many species tree estimation methods have been shown to reduce in accuracy as taxa are deleted from gene trees, leading to the concern that species tree estimation methods might not be statistically consistent under models of taxon deletion.
This study proved that many standard species tree estimation methods remain statistically consistent under the MSC model under some simple models of missing data. However, we also proved that under some more complex models (and in particular under an adversary model) of missing data, some popular species tree methods can be inconsistent, indicating that the frequency and type of missing data are important factors in determining the impact of missing data on species tree estimation.
Our study also examined the accuracy of species trees estimated on finite numbers of genes using both true and estimated gene trees. We showed that a high degree of accuracy is achievable using four common species tree methods (ASTRALII, ASTRID, MPEST, and SVDquartets) when given a large enough number of genes, even when there is a high degree of missing data, gene tree heterogeneity resulting from ILS, and moderate levels of gene tree estimation error. We also saw some differences between methods that depended on the type and degree of missing data, with ASTRAL typically having among the best accuracy of all methods; however, under cladebased models of missing data, ASTRID was usually the most accurate.
Our theory and experiments are suggestive of why taxon deletion under M_{ iid } models generally reduces accuracy for all species tree estimation methods we explored, and also why taxon deletion under cladebased models improves accuracy for ASTRID; however, further research is needed to understand other trends we observe in these experiments. For example, we do not know why taxon deletion under the cladebased models reduces gene tree estimation error and ILS levels (as measured using AD values), nor why ASTRAL does not improve under cladebased taxon deletion models although ASTRID does. Several interesting mathematical questions also remain unanswered. Very little is known about data requirements for coalescentbased species tree estimation, even when all genes are complete (although see [49] for bounds on the number of true gene trees needed for species tree accuracy with high probability for ASTRALII). This study also showed that species tree estimation accuracy was impacted by missing data and also by gene tree estimation error. Since many real world datasets have both incomplete gene trees and high gene tree estimation error (see discussion in [24]), perhaps the most important theoretical question is whether statistically consistent species tree estimation using summary methods is possible in the presence of both these conditions. However, very little is known about this, even when there are no missing data [33].
The choice of method for species tree estimation method depends on a combination of factors, including statistical properties (such as statistical consistency) and performance on simulated and biological datasets. Our findings are generally positive, showing substantial robustness to taxon deletion in terms of empirical performance for several popular species tree estimation methods, and establishing that statistical consistency can still be guaranteed for some popular methods under some models of taxon deletion (in some cases, by simple modifications to the method). Thus, our study shows that statistically consistent methods that are highly accurate exist for species tree estimation even in the presence of missing data and gene tree heterogeneity due to incomplete lineage sorting. Overall, this study adds to a growing body of literature addressing the impact of missing data on species tree estimation, and supports the conclusion that missing data  in itself  is not particularly problematic for species tree estimation.
Abbreviations
 AD:

Normalized RobinsonFoulds distance between the true species and the true gene trees averaged over all gene trees or “average distance”
 GTEE:

Gene tree estimation error
 i.i.d. :

Independent and identically distributed
 ILS:

Incomplete lineage sorting
 MSC:

Multispecies coalescent
 RF:

RobinsonFoulds distance
 UCE:

Ultraconserved elements
References
 1
Maddison WP. Gene trees in species trees. Syst Biol. 1997; 46(3):523–36. https://doi.org/10.1093/sysbio/46.3.523.
 2
Pamilo P, Nei M. Relationships between gene trees and species trees. Mol Biol Evol. 1988; 5(5):568–83.
 3
Rannala B, Yang Z. Bayes estimation of species divergence times and ancestral population sizes using DNA sequences from multiple loci. Genetics. 2003; 164(4):1645–56.
 4
Edwards SV. Is a new and general theory of molecular systematics emerging?Evolution. 2009; 63:1–19. https://doi.org/10.1111/j.15585646.2008.00549.x.
 5
Mirarab S, Reaz R, Bayzid MS, Zimmermann T, Swenson M. S, Warnow T. ASTRAL: genomescale coalescentbased species tree estimation. Bioinformatics. 2014; 30(17):541–8. https://doi.org/10.1093/bioinformatics/btu462.
 6
Mirarab S, Warnow T. ASTRALII: coalescentbased species tree estimation with many hundreds of taxa and thousands of genes. Bioinformatics. 2015; 31(12):44–52. https://doi.org/10.1093/bioinformatics/btv234.
 7
Vachaspati P, Warnow T. ASTRID: Accurate Species TRees from Internode Distances. BMC Genomics. 2015; 16(Suppl 10):3. https://doi.org/10.1186/1471216416S10S3.
 8
Heled J, Drummond AJ. Bayesian inference of species trees from multilocus data. Mol Biol Evol. 2010; 27(3):570–80. https://doi.org/10.1093/molbev/msp274.
 9
Liu L. BEST: Bayesian estimation of species trees under the coalescent model. Bioinformatics. 2008; 24(21):2542–3. https://doi.org/10.1093/bioinformatics/btn484.
 10
Larget BR, Kotha SK, Dewey CN, Ané C. BUCKy: Gene tree/species tree reconciliation with Bayesian concordance analysis. Bioinformatics. 2010; 26(22):2910–1. https://doi.org/10.1093/bioinformatics/btq539.
 11
Mossel E, Roch S. Incomplete lineage sorting: consistent phylogeny estimation from multiple loci. IEEE/ACM Trans Comput Biol Bioinformatics. 2010; 7(1):166–71. https://doi.org/10.1109/TCBB.2008.66.
 12
Dasarathy G, Nowak R, Roch S. Data Requirement for Phylogenetic Inference from Multiple Loci: A New Distance Method. IEEE/ACM Trans Comput Biol Bioinformatics. 2015; 12(2):422–32. https://doi.org/10.1109/TCBB.2014.2361685.
 13
Liu L, Yu L, Edwards SV. A maximum pseudolikelihood approach for estimating species trees under the coalescent model. BMC Evol Biol. 2010; 10(1):422–32.
 14
Liu L, Yu L. Estimating species trees from unrooted gene trees. Syst Biol. 2011; 60(5):661–7. https://doi.org/10.1093/sysbio/syr027.
 15
DeGiorgio M, Degnan JH. Fast and consistent estimation of species trees using supermatrix rooted triples. Mol Biol Evol. 2010; 27(3):552–69. https://doi.org/10.1093/molbev/msp250.
 16
Bryant D, Bouckaert R, Felsenstein J, Rosenberg NA, RoyChoudhury A. Inferring species trees directly from biallelic genetic markers: bypassing gene trees in a full coalescent analysis. Mol Biol Evol. 2012; 29(8):1917–32. https://doi.org/10.1093/molbev/mss086.
 17
Liu L, Yu L, Pearl DK, Edwards SV. Estimating species phylogenies using coalescence times among sequences. Syst Biol. 2009; 58(5):468–77. https://doi.org/10.1093/sysbio/syp031.
 18
Kubatko LS, Carstens BC, Knowles LL. STEM: species tree estimation using maximum likelihood for gene trees under coalescence. Bioinformatics. 2009; 25(7):971–3. https://doi.org/10.1093/bioinformatics/btp079.
 19
Wickett NJ, Mirarab S, Nguyen N, Warnow T, Carpenter E, Matasci N, Ayyampalayam S, Barker MS, Burleigh JG, Gitzendanner MA, Ruhfel BR, Wafulal E, Derl JP, Graham SW, Mathews S, Melkonian M, Soltis DE, Soltis PS, Miles NW, Rothfels CJ, Pokorny L, Shaw AJ, DeGironimo L, Stevenson DW, Sureko B, Villarreal JC, Roure B, Philippe H, dePamphilis CW, Chen T, Deyholos MK, Baucom RS, Kutchan TM, Augustin MM, Wang J, Zhang Y, Tian Z, Yan Z, Wu X, Sun X, Wong GKS, LeebensMack J. Phylotranscriptomic analysis of the origin and diversification of land plants. Proc Natl Acad Sci. 2014; 111(45):4859–68. https://doi.org/10.1073/pnas.1323926111.
 20
Hosner PA, Faircloth BC, Glenn TC, Braun EL, Kimball RT. Avoiding Missing Data Biases in Phylogenomic Inference: An Empirical Study in the Landfowl (Aves: Galliformes). Mol Biol Evol. 2016; 33(4):1110–25. https://doi.org/10.1093/molbev/msv347.
 21
Streicher JW, Schulte JA, Wiens JJ. How Should Genes and Taxa be Sampled for Phylogenomic Analyses with Missing Data? An Empirical Study in Iguanian Lizards. Syst Biol. 2016; 65(1):128–45. https://doi.org/10.1093/sysbio/syv058.
 22
Driskell AC, Ané C, Burleigh JG, McMahon MM, O’Meara BC, Sanderson MJ. Prospects for Building the Tree of Life from Large Sequence Databases. Science. 2004; 306(5699):1172–4. https://doi.org/10.1126/science.1102036. http://science.sciencemag.org/content/306/5699/1172.full.pdf.
 23
Xi Z, Liu L, Davis CC. The impact of missing data on species tree estimation. Mol Biol Evol. 2016; 33(3):838–60. https://doi.org/10.1093/molbev/msv266.
 24
Molloy EK, Warnow T. To include or not to include: The Impact of Gene Filtering on Species Tree Estimation Methods. Syst Biol. 2017; 077. https://doi.org/10.1093/sysbio/syx077. In press.
 25
Hovmöller R, Knowles LL, Kubatko LS. Effects of missing data on species tree estimation under the coalescent. Mol Phylogenet Evol. 2013; 69:1057–62. https://doi.org/10.1016/j.ympev.2013.06.004.
 26
Kingman JFC. On the genealogy of large populations. J Appl Probabil. 1982; 19:27. https://doi.org/10.2307/3213548.
 27
Semple C, Steel MA. Phylogenetics. Oxford lecture series in mathematics and its applications. Oxford: Oxford University Press; 2003.
 28
Jewett EM, Rosenberg NA. iGLASS: An Improvement to the GLASS Method for Estimating Species Trees from Gene Trees. J Comput Biol. 2012; 19(3):293–315. https://doi.org/10.1089/cmb.2011.0231.
 29
Saitou N, Nei M. The neighborjoining method: A new method for reconstructing phylogenetic trees. Mol Biol Evol. 1987; 4:406–25.
 30
Lefort V, Desper R, Gascuel O. FastME 2.0: A Comprehensive, Accurate, and Fast DistanceBased Phylogeny Inference Program. Mol Biol Evol. 2015; 32(10):2798–800. https://doi.org/10.1093/molbev/msv150.
 31
Page R. D. M. Modified Mincut Supertrees In: Guigó R, Gusfield D, editors. Algorithms in Bioinformatics. Lecture Notes in Computer Science, vol. 2452. Berlin and Heidelberg: Springer: 2002. p. 537–51.
 32
Yang J, Warnow T. Fast and accurate methods for phylogenomic analyses. BMC Bioinformatics. 2011; 12(Suppl 9):4. https://doi.org/10.1186/1471210512S9S4.
 33
Roch S, Warnow T. On the robustness to gene tree estimation error (or lack thereof) of coalescentbased species tree methods. Syst Biol. 2015; 64(4):663–76. https://doi.org/10.1093/sysbio/syv016.
 34
Steel M. The complexity of reconstructing trees from qualitative characters and subtrees. J Classif. 1992; 9(1):91–116. https://doi.org/10.1007/BF02618470.
 35
Bryant D, Steel M. Constructing optimal trees from quartets. J Algorithms. 2001; 38(1):237–59. https://doi.org/10.1006/jagm.2000.1133.
 36
Swenson MS, Suri R, Linder CR, Warnow T. SuperFine: Fast and Accurate Supertree Estimation. Syst Biol. 2012; 61(2):214. https://doi.org/10.1093/sysbio/syr092.
 37
Robinson DF, Foulds LR. Comparison of Phylogenetic Trees. Math Biosci. 1981; 53:131–47.
 38
Sukumaran J, Holder MT. DendroPy: a Python library for phylogenetic computing. Bioinformatics. 2010; 26(12):1569–71. https://doi.org/10.1093/bioinformatics/btq228.
 39
Swenson MS, Barbançon F, Linder CR, Warnow T. In: Salzberg ST, Warnow T, (eds).A Simulation Study Comparing Supertree and Combined Analysis Methods Using SMIDGen. Berlin, Heidelberg: Springer; 2009, pp. 333–44. https://doi.org/10.1186/1748718858.
 40
Vachaspati P, Warnow T. FastRFS: fast and accurate RobinsonFoulds Supertrees using constrained exact optimization. Bioinformatics. 2017; 33(5):631–9. https://doi.org/10.1093/bioinformatics/btw600.
 41
Nguyen N, Mirarab S, Warnow T. MRL and SuperFine+MRL: new supertree methods. Algorithms Mol Biol. 2012; 7(1):3. https://doi.org/10.1186/1748718873.
 42
Fleischauer M, Böcker S. Bad Clade Deletion Supertrees: A Fast and Accurate Supertree Algorithm. Mol Biol Evol. 2017; 34(9):2408–21. https://doi.org/10.1093/molbev/msx191.
 43
Chifman J, Kubatko L. Quartet Inference from SNP Data Under the Coalescent Model. Bioinformatics. 2014; 30(23):3317–24. https://doi.org/10.1093/bioinformatics/btu530.
 44
Buneman P. A note on the metric properties of trees. J Comb Theory. 1974; 17:48–50.
 45
Atteson K. The Performance of NeighborJoining Methods of Phylogenetic Reconstruction. Algorithmica. 1999; 25(2):251–78. https://doi.org/10.1007/PL00008277.
 46
Bordewich M, Gascuel O, Huber KT, Moulton V. IEEE/ACM Trans Comput Biol Bioinformatics (TCBB). 2009; 6:110–7. https://doi.org/10.1109/TCBB.2008.37.
 47
Kreidl M. Note on expected internode distances for gene trees in species trees. arXiv:1108.5154v1. 2011. Website: https://arxiv.org/abs/1108.5154.
 48
Allman E, Degnan J, Rhodes J. Species tree inference from gene splits by Unrooted STAR methods. IEEE/ACM Trans Comput Biol Bioinformatics. 2016; 15:337–42.
 49
Shekhar S, Roch S, Mirarab S. Species tree estimation using ASTRAL: how many genes are enough?. IEEE/ACM Trans Comput Biol Bioinforma. 2018; PP(99):1–1. http://dx.doi.org/10.1109/TCBB.2017.2757930.
Acknowledgements
We thank the reviewers of our RECOMBCG paper for their suggestions, which led to improvements in the quality of this paper.
Funding
This work was supported by the National Science Foundation (grant numbers CCF:1535977 to TW). MN was supported by a fellowship from the CompGen initiative in the Coordinated Science Laboratory at University of Illinois at UrbanaChampaign. JC was supported by the Department of Mathematics at University of Illinois at UrbanaChampaign. EKM was supported by the National Science Foundation (grant number DGE1144245 to EKM). This research was part of the Blue Waters sustainedpetascale computing project, which is supported by the National Science Foundation (grant numbers OCI0725070 and ACI1238993) and the state of Illinois. Blue Waters is a joint effort of the University of Illinois at UrbanaChampaign and its National Center for Supercomputing Applications. This work made use of the Illinois Campus Cluster, a computing resource that is operated by the Illinois Campus Cluster Program in conjunction with the National Center for Supercomputing Applications and which is supported by funds from the University of Illinois at UrbanaChampaign. The publication cost of this article was funded by NSF grant CCF1535977.
Availability of data and materials
All supplementary materials and datasets generated for the current study are available through the Illinois Data Bank: https://doi.org/10.13012/B2IDB7735354_V1.
About this supplement
This article has been published as part of BMC Genomics Volume 19 Supplement 5, 2018: Proceedings of the 15th Annual Research in Computational Molecular Biology (RECOMB) Comparative Genomics Satellite Workshop: genomics. The full contents of the supplement are available online at https://bmcgenomics.biomedcentral.com/articles/supplements/volume19supplement5.
Author information
Affiliations
Contributions
MN and JC provided the theoretical results, and MN wrote the theoretical portion of the paper. EKM and TW designed the simulation study, EKM performed the simulation study, EKM and TW analyzed the data, and EKM and TW wrote the experimental evaluation portion of the paper. The final version of the paper was written by TW and EKM. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Tandy Warnow.
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Additional file
Additional file 1
Supplementary Materials. Detailed methods and commands for tree estimation and evaluation. Eight (8) figures and three (3) tables describing additional results, including those for simulated datasets when species trees were simulated with recent speciation. (PDF 489 kb)
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver(http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.
About this article
Published
DOI
Keywords
 Species tree
 Multispecies coalescent
 Missing data
 Incomplete lineage sorting
 ASTRAL
 ASTRID
 MPEST
 SVDquartets