×

Toric geometry of the Cavender-Farris-Neyman model with a molecular clock. (English) Zbl 1457.92125

Summary: We give a combinatorial description of the toric ideal of invariants of the Cavender-Farris-Neyman model with a molecular clock (CFN-MC) on a rooted binary phylogenetic tree and prove results about the polytope associated to this toric ideal. Key results about the polyhedral structure include that the number of vertices of this polytope is a Fibonacci number, the facets of the polytope can be described using the combinatorial “cluster” structure of the underlying rooted tree, and the volume is equal to an Euler zig-zag number. The toric ideal of invariants of the CFN-MC model has a quadratic Gröbner basis with squarefree initial terms. Finally, we show that the Ehrhart polynomial of these polytopes, and therefore the Hilbert series of the ideals, depends only on the number of leaves of the underlying binary tree, and not on the topology of the tree itself. These results are analogous to classic results for the Cavender-Farris-Neyman model without a molecular clock. However, new techniques are required because the molecular clock assumption destroys the toric fiber product structure that governs group-based models without the molecular clock.

MSC:

92D15 Problems related to evolution
92B25 Biological rhythms and synchronization
14M25 Toric varieties, Newton polyhedra, Okounkov bodies
62R01 Algebraic statistics

Software:

OEIS

References:

[1] Beck, M.; Robins, S., Computing the Continuous Discretely (2007), Springer · Zbl 1114.52013
[2] Buczynska, W.; Wisniewski, J. A., On the geometry of binary symmetric models of phylogenetic trees, J. Eur. Math. Soc. 9, 3, 609-635 (2007) · Zbl 1147.14027
[3] Buneman, P., A note on the metric properties of trees, J. Comb. Theory, Ser. B, 17, 48-50 (1974) · Zbl 0286.05102
[4] Evans, S. N.; Speed, T. P., Invariants of some probability models used in phylogenetic inference, Ann. Stat., 355-377 (1993) · Zbl 0772.92012
[5] Felsenstein, J., Inferring Phylogenies, vol. 2 (2004), Sinauer Associates: Sinauer Associates Sunderland, MA
[6] Hendy, M. D.; Penny, D., Spectral analysis of phylogenetic data, J. Classif., 10, 1, 5-24 (1993) · Zbl 0772.92014
[7] Jukes, T. H.; Cantor, C. R., Evolution of protein molecules, (Mammalian Protein Metabolism 3 (1969)), 21-132
[8] Kimura, M., A simple method for estimating evolutionary rates of base substitutions through comparative studies of nucleotide sequences, J. Mol. Evol., 16, 2, 111-120 (1980)
[9] Kubjas, K., Algebraic and combinatorial aspects of group-based models (2013), Freie Universität Berlin, PhD thesis
[10] Semple, C.; Steel, M. A., Phylogenetics, vol. 24 (2003), Oxford University Press on Demand · Zbl 1043.92026
[11] Simon, B., Representations of Finite and Compact Groups, vol. 10 (1996), American Mathematical Soc. · Zbl 0840.22001
[12] Sloane, N., The online encyclopedia of integer sequences (2005), Published electronically at
[13] Stanley, R. P., Two poset polytopes, Discrete Comput. Geom., 1, 1, 9-23 (1986) · Zbl 0595.52008
[14] Stanley, R. P., A survey of alternating permutations, Contemp. Math., 531, 165-196 (2010) · Zbl 1231.05288
[15] Sturmfels, B., Gröbner Bases and Convex Polytopes, vol. 8 (1996), American Mathematical Society · Zbl 0856.13020
[16] Sturmfels, B.; Sullivant, S., Toric ideals of phylogenetic invariants, J. Comput. Biol., 12, 2, 204-228 (2005) · Zbl 1391.13058
[17] Sturmfels, B.; Xu, Z., Sagbi bases of Cox-Nagata rings (2008), arXiv preprint · Zbl 1202.14053
[18] Sullivant, S., Toric fiber products, J. Algebra, 316, 2, 560-577 (2007) · Zbl 1129.13030
[19] Sullivant, S., Algebraic Statistics, Graduate Studies in Mathematics, vol. 194 (2018), American Mathematical Society: American Mathematical Society Providence, RI · Zbl 1408.62004
[20] West, D. B., Introduction to Graph Theory (2001), Pearson Education Inc.
[21] Ziegler, G. M., Lectures on Polytopes, Graduate Texts in Mathematics, vol. 152 (1995), Springer-Verlag: Springer-Verlag New York · Zbl 0823.52002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.