Novel Mathematical Aspects of Phylogenetic Estimation