arXiv++ Combinatorics

We study distorted metrics on binary trees in the context of phylogenetic reconstruction. Given a binary tree $T$ on $n$ leaves with a path metric $d$, consider the pairwise distances $\{d(u,v)\}$ between leaves. It is well known that these determine the tree and the $d$ length of all edges. Here we consider distortions $\d$ of $d$ such that for all leaves $u$ and $v$ it holds that $|d(u,v) - \d(u,v)| < f/2$ if either $d(u,v) < M$ or $\d(u,v) < M$, where $d$ satisfies $f \leq d(e) \leq g$ for all edges $e$. Given such distortions we show how to reconstruct in polynomial time a forest $T_1,...,T_α$ such that the true tree $T$ may be obtained from that forest by adding $α-1$ edges and $α-1 \leq 2^{-Ω(M/g)} n$. Metric distortions arise naturally in phylogeny, where $d(u,v)$ is defined by the log-det of a covariance matrix associated with $u$ and $v$. of a covariance matrix associated with $u$ and $v$. When $u$ and $v$ are ``far'', the entries of the covariance matrix are small and therefore $\d(u,v)$, which is defined by log-det of an associated empirical-correlation matrix may be a bad estimate of $d(u,v)$ even if the correlation matrix is ``close'' to the covariance matrix. Our metric results are used in order to show how to reconstruct phylogenetic forests with small number of trees from sequences of length logarithmic in the size of the tree. Our method also yields an independent proof that phylogenetic trees can be reconstructed in polynomial time from sequences of polynomial length under the standard assumptions in phylogeny. Both the metric result and its applications to phylogeny are almost tight.

The tropical semiring (R, min, +) has enjoyed a recent renaissance, owing to its connections to mathematical biology as well as optimization and algebraic geometry. In this paper, we investigate the space of labeled n-point configurations lying on a tropical line in d-space, which is interpretable as the space of n-species phylogenetic trees. This is equivalent to the space of d by n matrices of tropical rank two, a simplicial complex. We prove that this simplicial complex is shellable for dimension d=3 and compute its homology in this case, conjecturing that this complex is shellable in general. We also investigate the space of d by n matrices of Barvinok rank two, a subcomplex directly related to optimization, giving a complete description of this subcomplex in the case d=3.

We consider the phylogenetic tree model in which every node of the tree is observed and binary and the transitions are given by the same matrix on each edge of the tree. We are able to compute the Grobner basis and Markov basis of the toric ideal of invariants for trees with up to 11 nodes. These are perhaps the first non-trivial Grobner bases calculations in 2^11 indeterminates. We conjecture that there is a quadratic Grobner basis for binary trees. Finally, we give a explicit description of the polytope associated to this toric ideal for an infinite family of binary trees and conjecture that there is a universal bound on the number of vertices of this polytope for binary trees.

We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.

The tree-metric theorem provides a necessary and sufficient condition for a dissimilarity matrix to be a tree metric, and has served as the foundation for numerous distance-based reconstruction methods in phylogenetics. Our main result is an extension of the tree-metric theorem to more general dissimilarity maps. In particular, we show that a tree with n leaves is reconstructible from the weights of the m-leaf subtrees provided that n \geq 2m-1.

The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications to phylogenetic trees are discussed. Theorem 29 and Corollary 30 in the paper, relating tropical polytopes to injective hulls, are incorrect. See the erratum at http://www.math.uiuc.edu/documenta/vol-09/vol-09-eng.html .

In tropical algebraic geometry, the solution sets of polynomial equations are piecewise-linear. We introduce the tropical variety of a polynomial ideal, and we identify it with a polyhedral subcomplex of the Grobner fan. The tropical Grassmannian arises in this manner from the ideal of quadratic Plucker relations. It is shown to parametrize all tropical linear spaces. Lines in tropical projective space are trees, and their tropical Grassmannian G_{2,n} equals the space of phylogenetic trees studied by Billera, Holmes and Vogtmann. Higher Grassmannians offer a natural generalization of the space of trees. Their facets correspond to binomial initial ideals of the Plucker ideal. The tropical Grassmannian G_{3,6} is a simplicial complex glued from 1035 tetrahedra.