Abstract:Evolutionary models used for describing molecular sequence variation suppose that at a non-recombining genomic segment, sequences share ancestry that can be represented as a genealogy--a rooted, binary, timed tree, with tips corresponding to individual sequences. Under the infinitely-many-sites mutation model, mutations are randomly superimposed along the branches of the genealogy, so that every mutation occurs at a chromosomal site that has not previously mutated; if a mutation occurs at an interior branch, then all individuals descending from that branch carry the mutation. The implication is that observed patterns of molecular variation from this model impose combinatorial constraints on the hidden state space of genealogies. In particular, observed molecular variation can be represented in the form of a perfect phylogeny, a tree structure that fully encodes the mutational differences among sequences. For a sample of n sequences, a perfect phylogeny might not possess n distinct leaves, and hence might be compatible with many possible binary tree structures that could describe the evolutionary relationships among the n sequences. Here, we investigate enumerative properties of the set of binary ranked and unranked tree shapes that are compatible with a perfect phylogeny, and hence, the binary ranked and unranked tree shapes conditioned on an observed pattern of mutations under the infinitely-many-sites mutation model. We provide a recursive enumeration of these shapes. We consider both perfect phylogenies that can be represented as binary and those that are multifurcating. The results have implications for computational aspects of the statistical inference of evolutionary parameters that underlie sets of molecular sequences.

Toric ideals of homogeneous phylogenetic models

Toric Multivariate Gaussian Models from Symmetries in a Tree

On the universal Gröbner bases of toric ideals of graphs

Toric Ideals of Characteristic Imsets via Quasi-Independence Gluing

Gröbner bases for staged trees

Combinatorial degree bound for toric ideals of hypergraphs

Gaussian graphical models with toric vanishing ideals

On robustness and related properties on toric ideals

Torical Modification of Newton non-degenerate ideals

Groebner fan and embedded resolutions of ideals on toric varieties

An algorithm for computing the universal Gröbner Basis of graph ideals

Geometric vertex decomposition and liaison for toric ideals of graphs

Janet Bases of Toric Ideals

Phylogenetic degrees for claw trees

Phylogenetic invariants: straightforward from the general Markov to equivariant models

On the topological classification of binary trees using the Horton-Strahler index

Self-dual projective toric varieties and their ideals

Equivariant Hilbert series for hierarchical models

Toric Border Bases

Enumeration of binary trees compatible with a perfect phylogeny

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs