Developing a statistically powerful measure for quartet tree inference using phylogenetic identities and Markov invariants
Recently there has been renewed interest in phylogenetic inference methods based on phylogenetic invariants, alongside the related Markov invariants. Broadly speaking, both these approaches give rise to polynomial functions of sequence site patterns that, in expectation value, either vanish for particular evolutionary trees (in the case of phylogenetic invariants) or have well understood transformation properties (in the case of Markov invariants). While both approaches have been valued for their intrinsic mathematical interest, it is not clear how they relate to each other, and to what extent they can be used as practical tools for inference of phylogenetic trees. In this paper, by focusing on the special case of binary sequence data and quartets of taxa, we are able to view these two different polynomial-based approaches within a common framework. To motivate the discussion, we present three desirable statistical properties that we argue any invariant-based phylogenetic method should satisfy: (1) sensible behaviour under reordering of input sequences; (2) stability as the taxa evolve independently according to a Markov process; and (3) explicit dependence on the assumption of a continuous-time process. Motivated by these statistical properties, we develop and explore several new phylogenetic inference methods. In particular, we develop a statistically bias-corrected version of the Markov invariants approach which satisfies all three properties. We also extend previous work by showing that the phylogenetic invariants can be implemented in such a way as to satisfy property (3). A simulation study shows that, in comparison to other methods, our new proposed approach based on bias-corrected Markov invariants is extremely powerful for phylogenetic inference. The binary case is of particular theoretical interest as—in this case only—the Markov invariants can be expressed as linear combinations of the phylogenetic invariants. A wider implication of this is that, for models with more than two states—for example DNA sequence alignments with four-state models—we find that methods which rely on phylogenetic invariants are incapable of satisfying all three of the stated statistical properties. This is because in these cases the relevant Markov invariants belong to a class of polynomials independent from the phylogenetic invariants.
KeywordsPhylogenetic invariants Quartets Markov chains Representation theory
Mathematics Subject Classification92B10 20G05 16W22
We would like to thank the two anonymous reviewers whose thoughtful and careful reading of our manuscript led to a greatly improved final version.
Compliance with ethical standards
This work was supported by the Australian Research Council Discovery Early Career Fellowship DE130100423 (JGS) and the University of Tasmania Visiting Scholars Program (AT).
- Eriksson N (2008) Using invariants for phylogenetic tree construction. In: Putinar M, Sullivant S (eds) Emerging applications of algebraic geometry. Springer, BerlinGoogle Scholar
- Felsenstein J (2004) Inferring phylogenies. Sinauer Associates, SunderlandGoogle Scholar
- Fernández-Sánchez J, Casanellas M (2015) Invariant versus classical quartet inference when evolution is heterogeneous across sites and lineages. Syst. Biol. 65(2):280–291. http://sysbio.oxfordjournals.org/content/early/2015/11/11/sysbio.syv086.abstract
- Lake JA (1987) A rate-independent technique for analysis of nucleic acid sequences: evolutionary parsimony. Mol Biol Evol 4:167–191Google Scholar
- Olver PJ (2003) Classical invariant theory. Cambridge University Press, CambridgeGoogle Scholar
- Saitou N, Nei M (1987) The neighbor-joining method: a new method for reconstructing phylogenetic trees. Mol Biol Evol 4(4):406–425Google Scholar
- Wolfram Research Inc (2010) Mathematica 8. Wolfram Research Inc, Champaign, ILGoogle Scholar