- Methodology Article
- Open Access
Phylogenetic network analysis as a parsimony optimization problem
- Ward C Wheeler^{1}Email author
- Received: 24 February 2015
- Accepted: 14 July 2015
- Published: 17 September 2015
Abstract
Background
Many problems in comparative biology are, or are thought to be, best expressed as phylogenetic “networks” as opposed to trees. In trees, vertices may have only a single parent (ancestor), while networks allow for multiple parent vertices. There are two main interpretive types of networks, “softwired” and “hardwired.” The parsimony cost of hardwired networks is based on all changes over all edges, hence must be greater than or equal to the best tree cost contained (“displayed”) by the network. This is in contrast to softwired, where each character follows the lowest parsimony cost tree displayed by the network, resulting in costs which are less than or equal to the best display tree. Neither situation is ideal since hard-wired networks are not generally biologically attractive (since individual heritable characters can have more than one parent) and softwired networks can be trivially optimized (containing the best tree for each character). Furthermore, given the alternate cost scenarios of trees and these two flavors of networks, hypothesis testing among these explanatory scenarios is impossible.
Results
A network cost adjustment (penalty) is proposed to allow phylogenetic trees and soft-wired phylogenetic networks to compete equally on a parsimony optimality basis. This cost is demonstrated for several real and simulated datasets. In each case, the favored graph representation (tree or network) matched expectation or simulation scenario.
Conclusions
The softwired network cost regime proposed here presents a quantitative criterion for an optimality-based search procedure where trees and networks can participate in hypothesis testing simultaneously.
Keywords
- Phylogenetic network
- Parsimony
- Optimization
- Horizontal gene transfer
- Softwired
- Hardwired
Background
Many problems in comparative biology are, or are thought to be, best expressed as phylogenetic “networks” as opposed to trees. The central idea being that trees convey only vertical information transfer between ancestor and descendant and networks can include reticulation (“network”) events representing horizontal transfer of information between lineages. This may be due to hybridization (e.g some plants and parthenogenetic lizards; [1]), exchange of particular genetic elements (e.g. bacteria; [2]), or exchange of chromosome-like segments (e.g. influenza viruses; [3]), among other causes.
Incongruence among data sets (usually molecular sequences) is the most frequently cited evidence for invoking networks and their multiple character histories. Molecular sequences with different histories (through horizontal exchange) would be expected to show incongruence in the form of different trees as “best” historical solutions. Unfortunately, other explanations are possible, most obviously simple homoplasy (non-minimal change of characters on a tree; [4]). It is rare to put it mildly, for non-trivial datas sets (those with more than a handful of characters and taxa) to be completely consistent. If this were not the case, there would be no cause for most of systematic theory or computational effort, since all problems would reduce to “perfect phylogeny” and allow exact, polynomial-time solutions [5].
A powerful example of this homoplasy/multiple history phenomenon is presented by [6]. In a case of whole Vibrio genomes, none of 243 individual locally collinear genomic regions, which yielded 286 unique topologies (the greater number of trees than genomic regions is due to multiple equally costly solutions for individual regions), agreed with their combination (whole-genome phylogeny). On the other hand, multiple random nucleotide samples of the same size as the individual loci, but drawn across the entire genome agreed in each case with the whole-genome phylogeny. The individual collinear regions are highly localized samples that yielded unique phylogenetic trees, while a single underlying signal was present throughout the genome. The distinction between actual multiple history and simple homoplasy is central to the analysis of networks and trees. The ability to distinguish between the two is a fundamental purpose of phylogenetic network analysis.
Whatever the motivating mechanism, there are many types of networks, or at least network diagrams in the literature (reviewed in [7, 8]). Some are not meant to represent historical scenarios, but summaries of conflicting phylogenetic information (e.g. “split” trees and networks; [9]), viral reassortment events (“reassortment networks”; [10, 11]), or multiple, differing trees (e.g. “cluster” networks; [12]).
The networks considered here are “phylogenetic” networks as described by [13] that strive to explain transformation events in terms of vertical and horizontal events on graphs that connect terminal (leaf) taxa to each other and to a single root as on a traditional phylogenetic tree, but with additional, network edges. Furthermore, this work only deals with networks as a parsimony problem, likelihood network methods have been proposed (e.g. [14, 15]) but are not further discussed here.
Trees and networks
One immediate problem with such cost, as pointed out by [20], is that there is a trivial minimum cost where each character is assigned its best tree. In essence, when there are many display trees in a network each character can be optimized on a tree that provides minimal cost. To overcome this, [20] recommended partitioning the character set into blocks that would be optimized on the same display tree. These blocks could be more or less subjective, based on gene sequences or other criteria.
The time complexity of determining the softwired parsimony score is exponential in the number of network nodes (r) but polynomial for non-additive/unordered [23] type characters when r is fixed. Determining the hardwired cost is NP-hard (but fixed-parameter tractable in the parsimony score) [24] when the number of character states exceeds 2.
Biologically, the softwired interpretation is in general more attractive in that it allows for multiple ancestor scenarios, but only a single ancestor for a given character. Scenarios of horizontal gene flow are thought to represent alternate binary tree (ancestor-descendent) scenarios, such that a given taxon might have multiple ancestors, but a given feature only one. For example, when horizontal gene transfer occurs, the ancestry of bacterial genomes can be represented by multiple independent trees, one for each set of loci that have been transferred. Even characters in hybrid origin lineages are generally thought to have a single ancestral origin, just mixed in a 1:1 ratio throughout the genome as opposed to the much smaller fraction implied by single gene horizontal transfer (this could also be said of biparental inheritance systems).
Optimality and hypothesis testing
Given the scoring differences among softwired and hardwired networks and binary trees, it is impossible to compete them on an equal footing in a hypothesis testing framework. Softwired will always be shorter (or worst case equal to trees), and hardwired always longer (or best case equal to trees).
Due to the seemingly greater biological utility of softwired networks, the remainder of this discussion will be restricted to the issue of optimality and hypothesis testing among competing tree and softwired network (referred to simply as “network” hereafter) scenarios. Basically, some penalty, dependent on the degree of “network-ness” (defined below), must be applied, such that tree costs and network costs are comparable.
Network edge penalty
There are several behaviors that are desirable in a network penalty. First, the penalty should be dependent on the number of extra (i.e. non-tree) edges in the network scenario, the less tree-like, the higher the cost. Second, this penalty must be applied on a character-by-character basis. Since characters can have different histories (or we wouldn’t be bothering with networks in the first place), most character state transformations may be represented by a single optimal display tree, while other character transformations may be following multiple, alternate display trees. Third, networks containing superfluous edges (those unused by any character transformations) must be assigned an infinite cost. This is to ensure that only the minimum number of edges required are identified. Otherwise, the solution to all cases would be a network that contains all possible binary trees.
The basic idea of the network penalty is to account for the “expected” change in cost as extra edges are added to a tree. The factor suggested here is that the improvement in parsimony score for a network as edges are added is \(\frac {1}{2}\) of the expected cost of each edge for a tree with n leaves, T _{ cost }/(2n−2). The factor of \(\frac {1}{2}\) is motivated from the minimum metric cost of inserting characters de novo, as opposed to substitution in character change on a given edge. This factor is derived from the triangle inequality setting a lower bound on the ratio of insertion-deletion events and character substitution [25]. Basically, metricity demands that that the cost of character change between states (say nucleotides adenine and cytosine) must be less that the cost of deleting one and inserting the other. If this were not the case, substitutions would never be optimal since paired insertion and deletion would always be lower cost. This requirement offers a non-arbitrary method to establish the benefit of extra (ie. network) edges. The degree to which improvements in network costs are greater than this amount determines the optimality of the network scenario.
Consider a network N=(V,E), as commonly defined with an edge set E and vertex set V. Furthermore, consider the set of display trees T derived from the resolutions of network edges in E with n leaf taxa. For a set of k characters C=(C _{1},…,C _{ k }), there is at least one most parsimonious (for all characters combined) display tree τ ^{ m i n } at cost c o s t(τ ^{ m i n }) with edge set E ^{ m i n } and vertex set V ^{ m i n }. Other trees in the display set T, τ∈T have edge sets E and vertex sets V. We further denote the display tree with minimum cost c _{ i } for a given character C _{ i } as τ _{ i } with edge set E ^{ i }.
This penalty assigns a cost for each edge in the trees of minimum cost for each character (individually) not found in the overall best (for all characters) display tree with the multiplicative factor |E ^{ i }∖E ^{ m i n }|. Since the penalty for any tree is 0 (since there are no extra edges) and the softwired cost is equal to the tree cost, the penalty only affects the optimality of networks. P(N,C) is set to ∞ if any edge is “unused” in the network. Unused is here defined as an edge that is not a member of a minimal cost display tree for any character.
Methods
Example cases–observed and simulated
To explore the behavior of this network penalty, two biological and one linguistic data sets were employed. For the biological data, several simulated versions based on single and multiple gene history were created to further test the penalty. This demonstration is not meant to represent an exhaustive treatment of the network penalty, but an illustration of how this penalty behaves in tree-like and network-like cases.
The biological examples consist of a data set of 12 microhylid frogs and 7 loci (2 mitochondrial and 5 nuclear) drawn from [26], and an H1N1 2009 influenza data set of 9 complete genomes of 8 segments drawn from [3]. The linguistic data are the Uto-Aztecan data of 40 languages and 102 words of [27].
The two biological data sets were chosen as cases where networks were (influenza) and were not (microhylids) thought to be reasonable historical scenarios. The linguistic data set is based on words (Swadesh 100 list; [28]) thought to be less prone to borrowing (horizontal transfer), but several have been hypothesized to have undergone some exchange in subsets of Uto-Aztecan languages and exchange from non Uto-Aztecan languages that are geographically adjacent.
Analysis of observed sequences
For each of the three data sets, the most parsimonious (“best”) heuristic tree solution for combined and partitioned loci/segments was created using POY5 [29, 30]. The cost regime was completely homogeneous (substitutions = insertions = deletions =1) using unaligned sequences.
Analysis of simulated sequences
Results of tree and network analyses of observed and simulated data for microhylid frogs and influenza virus strains. Tree cost values are the minimum of the display tree set. The simulated result procedures,“COM,” “SEP,” and “IND” are defined in the text. Values of ∞ in “Penalty” and “Network” signify that there was at least one “unused” edge in the network
Tree, network, and penalty costs | |||||
---|---|---|---|---|---|
Data set | Scenario | Observed | COM | SEP | IND |
Microhylids | Tree | 3962 | 3535 | 3695 | 4076 |
Softwired | 3939 | 3535 | 3695 | 3964 | |
Penalty | 32.64 | ∞ | ∞ | 83.59 | |
Network | 3971.64 | ∞ | ∞ | 4047.59 | |
Influenza Virus | Tree | 10272 | 8443 | 9169 | 9092 |
Softwired | 9935 | 8443 | 9169 | 8775 | |
Penalty | 324.59 | ∞ | ∞ | 270.56 | |
Network | 10259.59 | ∞ | ∞ | 9045.56 |
Results and discussion
Results of tree and network analysis of Uto-Aztecan linguistic data. Tree cost values are the minimum of the display tree set
Tree, network, and penalty costs | ||||
---|---|---|---|---|
Data set | Scenario | Yuman–Takic | Aztecan–Shoshone | WMono–Eudeve/Òpata |
Uto-Aztecan | Tree | 10120 | 10120 | 10120 |
Softwired | 10063 | 10118 | 10113 | |
Penalty | 21.833 | 0.94 | 4.23 | |
Network | 10084.83 | 10118.94 | 10117.23 |
The analyses of observed data (both biological and linguistic) show patterns that are largely as expected. The microhylid data, where horizontal exchange was not thought to occur, showed the optimal solution as a tree. The influenza data displayed the opposite behavior with (penalty adjusted), network cost superior to that of the best tree solution, indicating that allowing reassortment shows these viruses evolved not only via mutational processes (Table 1). The linguistic data showed a marked preference for the Yuman-Takic exchange scenario over both the tree alone and other exchanges not thought likely (although these showed marginal superiority-0.1 %-to the tree solution as well) (Table 2). This is particularly acute, given that, for the biological data sets, there is no non-trivial pattern of relationships shared among all loci/segments in either the microhylid or influenza data sets. Both show near complete incongruence, but show markedly different relative network optimality.
The simulated data show a series of consistent patterns. Where independent evolution among genetic elements was simulated, network solutions were favored. In the cases of single tree simulations, whether with either common or independent branch lengths, there were unused edges, hence, tree solutions were favored over networks. A point to note is the close correspondence of simulated and observed data costs (in terms of overall character change), supporting the utility of the modeled data. However, the presence of unused edges suggests that the simulations were perhaps overly “clean” in their tree-like patterns.
Conclusions
Incongruence among sequence data (especially genetic loci) has often been seen as evidence of multiple ancestor origins of transformation. This is in opposition to narratives attached to non-sequence data (e.g.,anatomy, codon position) where disagreements among characters are ascribed to simple homoplasy (e.g., reversal, parallelism). One of the key questions to be addressed is when are such character incompatibilities indicative of multiple history as opposed to simple non-minimal change? As discussed above, incongruence among loci, even in whole-genome analysis, can be due to non-random sampling effects (contiguous sequence positions) as opposed to multiple historical signals [6].
Obviously, not all incongruence can be ascribed to multiple history, but where is the line to be drawn? That is the objective of this discussion. How can we compete network and tree solutions on an equal footing?
Given the match of expectation with observation in the biological and linguistic data, as well as the behavior of the simulated data, the softwired network cost proposed here is worth considering as such an optimality criterion. In each of the 11 cases examined, trees were favored where they were thought most reasonable and networks where they had been proposed or simulated. This success is tempered by three caveats.
First, the networks generated were not chosen based on any measure of quality. Network edges were added to (parsimony searched) trees based on hybridization networks. This is adequate to identify potential reticulation events and illustrate the behavior of the proposed network cost, but the quality of these networks (compared to others) is unknown. A more complete discussion awaits more effective network identification. Second, the test cases discussed here are limited. A broader sample of real and simulated data will be required to explore fully the behavior of any network cost. Third, although the network penalty proposed here is based on the logic of metric character transformation and softwired networks, other costs are possible. These might weight particular edge cost components differently, or have alternate expectations as to cost reductions (in comparison to trees) as networks become more complex. Furthermore, different sorts of penalties will yield different results.
Even acknowledging these concerns, the softwired network cost regime proposed here presents a quantitative criterion for an optimality-based search procedure where trees and networks can participate in hypothesis testing simultaneously. Only through such a procedure, can we address questions of the competing influence of vertical and horizontal transfer of information in evolving systems.
Endnote
^{1} This motivates the [13] restriction that network nodes cannot have another network node as a parent. Such a situation can result if both descendants of a network node are also network nodes yielding display trees with internal vertices promoted to leaves.
Declarations
Acknowledgments
I would like to thank Pedro Peloso and Andrew Rambaut for making their data readily available; Louise Crowley, Gonzalo Giribet, Daniel Janies, Mike Steel, Harrison Wheeler, and Peter Whiteley for discussion and review of manuscript drafts. I would also like to thank Steven Thurston for aid in figure creation and two anonymous reviewers for very helpful comments.
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.
Authors’ Affiliations
References
- Wagner WH. Reticulistics: the recognition of hybrids and their role in cladistics and classification In: Platnick NI, Funk VA, editors. Advances in Cladistics. New York: Columbia University Press: 1983. p. 63–79.Google Scholar
- Syvanen M. Cross-species gene transfer; implications for a new theory of evolution. J Theor Biol. 1985; 112:333–43.View ArticlePubMedGoogle Scholar
- Smith GJ, Vijaykrishna D, Bahl J, Lycett SJ, Worobey M, Pybus OG, et al.Origins and evolutionary genomics of the 2009 swine-origin H1N1 influenza A epidemic. Nature. 2009; 459(7250):1122–5.View ArticlePubMedGoogle Scholar
- Lankester ER. On the use of the term homology in modern zoology, and the distinction between homogenetic and homoplastic agreements. Ann Mag Nat Hist Zool Bot Geol. 1870; 6:34–43.Google Scholar
- Gusfield D. Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology. Cambridge: Cambridge University Press; 1997.View ArticleGoogle Scholar
- Dikow R. Genome-level homology and phylogeny of Shewanella (Gammaproteobacteria: lteromonadales: Shewanellaceae). BMC Genomics. 2011; 12:237.View ArticlePubMedPubMed CentralGoogle Scholar
- Huson DH, Scornavacca C. A survey of combinatorial methods for phylogenetic networks. Genome Biol Evol. 2011; 3:23–35.View ArticlePubMedGoogle Scholar
- Huson DH, Rupp R, Scornavacca C. Phylogenet Netw. Cambridge, UK: Cambridge University Press; 2011.Google Scholar
- Bandelt HJ, Dress AWM. A canonical decomposition theory for metrics on a finite set. Adv Math. 1992; 92:47–105.View ArticleGoogle Scholar
- Bokhari S, Pomeroy L, Janies D. Reassortment Networks and the Evolution of Pandemic H1N1 Swine-origin Influenza. IEEE Trans Comput Biol Bioinformatics. 2010; 9:214–27. http://www.computer.org/csdl/trans/tb/2012/01/ttb2012010214-abs.html.View ArticleGoogle Scholar
- Bokhari S, Janies D. Reassortment Networks for Investigating the Evolution of Segmented Viruses. IEEE Trans Comput Biol Bioinformatic. 2012; 12:288–98. http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=04585355.Google Scholar
- Huson DH, Rupp R. Summarizing multiple gene trees using cluster networks In: Crandall K, Lagergren J, editors. Algorithms in Bioinformatics. Berlin, DE: Springer: 2008. p. 296–305.Google Scholar
- Moret BME, Nakhleh L, Warnow T, Linder CR, Tholse A, Padolina A, et al.Phylogenetic networks: Modeling, reconstructibility, and accuracy. IEEE Trans Comput Biol Bioinformatics. 2004; 1(1):13–23.View ArticleGoogle Scholar
- Strimmer K, Moulton V. Likelihood analysis of phylogenetic networks using directed graphical models. Mol Biol Evol. 2000; 17:875–81.View ArticlePubMedGoogle Scholar
- Jin G, Nakhleh L, Snir S, Tuller T. Maximum likelihood of phylogenetic networks. Bioinformatics. 2006; 22:2604–611.View ArticlePubMedGoogle Scholar
- Wheeler WC. Systematics: A Course of Lectures. Oxford, UK: Wiley-Blackwell; 2012.View ArticleGoogle Scholar
- Cordue P, Linz S, Semple C. Phylogenetic networks that display a tree twice. Bull Math Biol. 2014; 76(10):2664–679. doi:10.1007/s11538-014-0032-x.View ArticlePubMedGoogle Scholar
- Hein J. Recontructing evolution of sequences subject to recombination unsing parsimony. Math Biosci. 1990; 98:185–200.View ArticlePubMedGoogle Scholar
- Hein J. A heuristic method to reconstruct the history of sequences subject to recombination. J Mol Evol. 1993; 36:396–405.View ArticleGoogle Scholar
- Nakhleh L, Jin G, Zhao F, Mellor-Crummey J. Reconstructing phylogenetic networks using parsimony In: Marstein V, editor. Proceeding of the 2005 IEEE Computational Systems Bioinformatics Conference (CSB’05): 2005. p. 93–102.Google Scholar
- Kannan L, Wheeler WC. Maximum parsimony on phylogenetic networks. Algorithms Mol Biol. 2012; 7(9):9–19.View ArticlePubMedPubMed CentralGoogle Scholar
- Kannan L, Wheeler WC. Exactly computing the parsimony scores on phylogenetic networks using dynamic programming. J Comput Biol. 2014; 21(4):303–19.View ArticlePubMedPubMed CentralGoogle Scholar
- Fitch WM. Toward defining the course of evolution: minimum change for a specific tree topology. Syst Zool. 1971; 20:406–16.View ArticleGoogle Scholar
- Fischer M, van Iersel L, Kelk S, Scornavacca C. SRAM Journal on Discrete Mathematics. 2013; 29:559–585.Google Scholar
- Wheeler WC. The triangle inequality and character analysis. Mol Biol Evol. 1993; 10:707–12.Google Scholar
- Peloso PLV, Frost DR, Richards SJ, Rodrigues MT, Donnellan S, Matsui M, et al.The impact of anchored phylogenomics and taxon sampling on phylogenetic inference in narrow-mouthed frogs (Anura, Microhylidae). Cladistics. 2015; 31:1–28. in press.View ArticleGoogle Scholar
- Wheeler WC, Whiteley PM. Historical linguistics as a sequence optimization problem: The evolution and biogeography of Uto-Aztecan languages. Cladistics. 2014; 31:113–125. in press.View ArticleGoogle Scholar
- Swadesh M. The Origin and Diversification of Language. Chicago: Aldine; 1971.Google Scholar
- Wheeler WC, Lucaroni N, Hong L, Crowley LM, Varón A. POY version 5.0. American Museum of Natural History. 2013. http://research.amnh.org/scicomp/projects/poy.php.
- Wheeler WC, Lucaroni N, Hong L, Crowley LM, Varón A. POY version 5: Phylogenetic analysis using dynamic homologies under multiple optimality criteria. Cladistics. 2015; 31:189–196. in press.View ArticleGoogle Scholar
- Moilanen A. Searching for most parsimonious trees with simulated evolutionary optimization. Cladistics. 1999; 15(1):39–50.View ArticleGoogle Scholar
- Goloboff P. Analyzing large data sets in reasonable times: solutions for composite optima. Cladistics. 1999; 15(4):415–28.View ArticleGoogle Scholar
- Huson DH, Scornavacca C. Dendroscope 3: An interactive tool for rooted phylogenetic trees and networks. Syst Biol. 2012; 61:1061–67. software freely available from www.ab.inf.uni-tuebingen-de/software/dendroscope.View ArticlePubMedGoogle Scholar
- Cardona G, Russelló F, Valiente G. Extended newick: it is time for a standard representation of phylogenetic networks. BMC Bioinformatics. 2008; 9(532). doi:10.1186/1471-2105-9-532.
- Hill KC. Wick Miller’s Uto-Aztecan Cognate Sets, Revised and expanded by Kenneth C. 2011.Google Scholar
- Cartwright RA. DNA assembly with gaps (DAWG): simulating sequence evolution. Bioinformatics. 2005; 21:31–8.View ArticleGoogle Scholar
- Tavaré S. Some probabilistic and statistical problems on the analysis of DNA sequences. Lec Math Life Sci. 1986; 17:57–86.Google Scholar
- Yang Z. Maximum likelihood phylogeentic estimation from DNA sequences withvariable rates over sites: approximate methods. J Mol Evol. 1994; 39:306–14.View ArticlePubMedGoogle Scholar