Evolutionary Trees and the Ising Model on the Bethe Lattice: a Proof of Steel's Conjecture [article]

Constantinos Daskalakis, Elchanan Mossel, Sebastien Roch
<span title="2009-07-28">2009</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
A major task of evolutionary biology is the reconstruction of phylogenetic trees from molecular data. The evolutionary model is given by a Markov chain on a tree. Given samples from the leaves of the Markov chain, the goal is to reconstruct the leaf-labelled tree. It is well known that in order to reconstruct a tree on n leaves, sample sequences of length Ω( n) are needed. It was conjectured by M. Steel that for the CFN/Ising evolutionary model, if the mutation probability on all edges of the
more &raquo; ... ee is less than p^∗ = (√(2)-1)/2^3/2, then the tree can be recovered from sequences of length O( n). The value p^∗ is given by the transition point for the extremality of the free Gibbs measure for the Ising model on the binary tree. Steel's conjecture was proven by the second author in the special case where the tree is "balanced." The second author also proved that if all edges have mutation probability larger than p^∗ then the length needed is n^Ω(1). Here we show that Steel's conjecture holds true for general trees by giving a reconstruction algorithm that recovers the tree from O( n)-length sequences when the mutation probabilities are discretized and less than p^∗. Our proof and results demonstrate that extremality of the free Gibbs measure on the infinite binary tree, which has been studied before in probability, statistical physics and computer science, determines how distinguishable are Gibbs measures on finite binary trees.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/math/0509575v3">arXiv:math/0509575v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fyxcqts7crbqrdopwlxyso3nbe">fatcat:fyxcqts7crbqrdopwlxyso3nbe</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-math0509575/math0509575.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/math/0509575v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>