Open Access

On the optimality of the neighbor-joining algorithm

  • Kord Eickmeyer1,
  • Peter Huggins2,
  • Lior Pachter2Email author and
  • Ruriko Yoshida3
Algorithms for Molecular Biology20083:5

DOI: 10.1186/1748-7188-3-5

Received: 13 November 2007

Accepted: 30 April 2008

Published: 30 April 2008

Abstract

The popular neighbor-joining (NJ) algorithm used in phylogenetics is a greedy algorithm for finding the balanced minimum evolution (BME) tree associated to a dissimilarity map. From this point of view, NJ is "optimal" when the algorithm outputs the tree which minimizes the balanced minimum evolution criterion. We use the fact that the NJ tree topology and the BME tree topology are determined by polyhedral subdivisions of the spaces of dissimilarity maps R + ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aa0baaSqaaiabgUcaRaqaamaabmaabaqbaeqabiqaaaqaaiabd6gaUbqaaiabikdaYaaaaiaawIcacaGLPaaaaaaaaa@3BA1@ to study the optimality of the neighbor-joining algorithm. In particular, we investigate and compare the polyhedral subdivisions for n ≤ 8. This requires the measurement of volumes of spherical polytopes in high dimension, which we obtain using a combination of Monte Carlo methods and polyhedral algorithms. Our results include a demonstration that highly unrelated trees can be co-optimal in BME reconstruction, and that NJ regions are not convex. We obtain the l2 radius for neighbor-joining for n = 5 and we conjecture that the ability of the neighbor-joining algorithm to recover the BME tree depends on the diameter of the BME tree.

1 Introduction

The popular neighbor-joining algorithm used for phylogenetic tree reconstruction [1] has recently been "revealed" to be a greedy algorithm for finding the balanced minimum evolution tree associated to a dissimilarity map [2]. This means the following:

Let D = { d i j } i , j = 1 n MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiraqKaeyypa0Jaei4EaSNaemizaq2aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGG9bqFdaqhaaWcbaGaemyAaKMaeiilaWIaemOAaOMaeyypa0JaeGymaedabaGaemOBa4gaaaaa@3C4B@ be a dissimilarity map (this is an n × n symmetric matrix with zeroes on the diagonals and non-negative real entries). The balanced minimum evolution problem is to find the unrooted binary tree T with n leaves that minimizes
1 | o ( T ) | ( x 1 , ... , x n ) o ( T ) [ 1 2 i = 1 n d x i x i + 1 ] . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaadaabdaqaaiabd+gaVjabcIcaOiabdsfaujabcMcaPaGaay5bSlaawIa7aaaakmaaqafabaWaamWaaeaajuaGdaWcaaqaaiabigdaXaqaaiabikdaYaaakmaaqahabaGaemizaq2aaSbaaSqaaiabdIha4naaBaaameaacqWGPbqAaeqaaSGaemiEaG3aaSbaaWqaaiabdMgaPjabgUcaRiabigdaXaqabaaaleqaaaqaaiabdMgaPjabg2da9iabigdaXaqaaiabd6gaUbqdcqGHris5aaGccaGLBbGaayzxaaaaleaacqGGOaakcqWG4baEdaWgaaadbaGaeGymaedabeaaliabcYcaSiabc6caUiabc6caUiabc6caUiabcYcaSiabdIha4naaBaaameaacqWGUbGBaeqaaSGaeiykaKIaeyicI4Saem4Ba8MaeiikaGIaemivaqLaeiykaKcabeqdcqGHris5aOGaeiOla4caaa@5EB5@
(1)
Here o(T) is the set of all cyclic permutations of the leaves that arise from planar embeddings of T and x i are leaves of T. Denote by p i j T MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiCaa3aa0baaSqaaiabdMgaPjabdQgaQbqaaiabdsfaubaaaaa@3154@ the set of internal vertices in a tree T on the path between i and j. Then (1) is equivalent to minimizing
i j λ i j T d i j MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaabuaeaacqaH7oaBdaqhaaWcbaGaemyAaKMaemOAaOgabaGaemivaqfaaOGaemizaq2aaSbaaSqaaiabdMgaPjabdQgaQbqabaaabaGaemyAaKMaemOAaOgabeqdcqGHris5aaaa@3AFC@
(2)

where λ i j T = v p i j T ( d e g ( v ) 1 ) 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeq4UdW2aa0baaSqaaiabdMgaPjabdQgaQbqaaiabdsfaubaakiabg2da9maarababaGaeiikaGIaemizaqMaemyzauMaem4zaCMaeiikaGIaemODayNaeiykaKIaeyOeI0IaeGymaeJaeiykaKYaaWbaaSqabeaacqGHsislcqaIXaqmaaaabaGaemODayNaeyicI4SaemiCaa3aa0baaWqaaiabdMgaPjabdQgaQbqaaiabdsfaubaaaSqab0Gaey4dIunaaaa@49B5@ if ij and λ i j T = 0 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeq4UdW2aa0baaSqaaiabdMgaPjabdQgaQbqaaiabdsfaubaakiabg2da9iabicdaWaaa@339D@ . In [3], Day shows that choosing a minimizing tree for (2) from among the (2n-5)!! unrooted binary trees is an NP-hard problem. Yet it is desirable to find algorithms for minimizing (2) because of the following statistical interpretation:

Definition 1.1

Let T be a tree with n leaves and l: E(T) → R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ an assignment of lengths to the edges. Then the length l(T) of T is defined to be
l ( T ) = e E ( T ) l ( e ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiBaWMaeiikaGIaemivaqLaeiykaKIaeyypa0ZaaabuaeaacqWGSbaBcqGGOaakcqWGLbqzcqGGPaqkaSqaaiabdwgaLjabgIGiolabdweafjabcIcaOiabdsfaujabcMcaPaqab0GaeyyeIuoakiabc6caUaaa@3FB1@

Theorem 1.2

([4])Let T be a binary tree with edge lengths given by l: E(T) → R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ + and D = { d i j } i , j = 1 n MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiraqKaeyypa0Jaei4EaSNaemizaq2aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGG9bqFdaqhaaWcbaGaemyAaKMaeiilaWIaemOAaOMaeyypa0JaeGymaedabaGaemOBa4gaaaaa@3C4B@ a dissimilarity map. If the variance of d ij is proportional to 2 | p i j T | MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeGOmaiZaaWbaaSqabeaadaabdaqaaiabdchaWnaaDaaameaacqWGPbqAcqWGQbGAaeaacqWGubavaaaaliaawEa7caGLiWoaaaaaaa@35A1@ (i. e., var(d ij ) = c 2 | p i j T | MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4yamMaeGOmaiZaaWbaaSqabeaadaabdaqaaiabdchaWnaaDaaameaacqWGPbqAcqWGQbGAaeaacqWGubavaaaaliaawEa7caGLiWoaaaaaaa@36F0@ for some constant c) then (2) is the minimum variance tree length estimator of T. Moreover, the weighted least squares tree length estimate is equal to (2).

This result provides a weighted least squares rationale for the minimization of (2), and highlights the importance of understanding the balanced minimum evolution polytope:

Definition 1.3

The balanced minimum evolution polytope is the convex hull of the vectors
{ [ λ 12 T , λ 13 T , ... , λ i j T , ... , λ n 1 , n T ] : T i s a t r e e w i t h n l e a v e s } MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaiWaaeaadaWadaqaaiabeU7aSnaaDaaaleaacqaIXaqmcqaIYaGmaeaacqWGubavaaGccqGGSaalcqaH7oaBdaqhaaWcbaGaeGymaeJaeG4mamdabaGaemivaqfaaOGaeiilaWIaeiOla4IaeiOla4IaeiOla4IaeiilaWIaeq4UdW2aa0baaSqaaiabdMgaPjabdQgaQbqaaiabdsfaubaakiabcYcaSiabc6caUiabc6caUiabc6caUiabcYcaSiabeU7aSnaaDaaaleaacqWGUbGBcqGHsislcqaIXaqmcqGGSaalcqWGUbGBaeaacqWGubavaaaakiaawUfacaGLDbaacqGG6aGocqWGubavcqqGGaaicqWGPbqAcqWGZbWCcqqGGaaicqWGHbqycqqGGaaicqWG0baDcqWGYbGCcqWGLbqzcqWGLbqzcqqGGaaicqWG3bWDcqWGPbqAcqWG0baDcqWGObaAcqqGGaaicqWGUbGBcqqGGaaicqWGSbaBcqWGLbqzcqWGHbqycqWG2bGDcqWGLbqzcqWGZbWCaiaawUhacaGL9baaaaa@721A@
Example. There are four trees with n = 4 leaves. They are the 3 binary trees and the star-shaped tree. In this case the balanced minimum evolution polytope is the convex hull of the vectors:
[ 1 2 , 1 4 , 1 4 , 1 4 , 1 4 , 1 2 ] T is the tree with leaves  1 , 2  seperated from  3 , 4 , [ 1 4 , 1 2 , 1 4 , 1 4 , 1 2 , 1 4 ] T is the tree with leaves  1 , 3  seperated from  2 , 4 , [ 1 4 , 1 4 , 1 2 , 1 2 , 1 4 , 1 4 ] T is the tree with leaves  1 , 4  seperated from  2 , 3 , [ 1 3 , 1 3 , 1 3 , 1 3 , 1 3 , 1 3 ] T is the star-shaped tree . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeaabqGaaaaabaWaamWaaeaajuaGdaWcaaqaaiabigdaXaqaaiabikdaYaaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeGinaqdaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaI0aanaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabisda0aaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeGinaqdaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaaakiaawUfacaGLDbaaaeaacqqGubavcqqGGaaicqqGPbqAcqqGZbWCcqqGGaaicqqG0baDcqqGObaAcqqGLbqzcqqGGaaicqqG0baDcqqGYbGCcqqGLbqzcqqGLbqzcqqGGaaicqqG3bWDcqqGPbqAcqqG0baDcqqGObaAcqqGGaaicqqGSbaBcqqGLbqzcqqGHbqycqqG2bGDcqqGLbqzcqqGZbWCcqqGGaaicqaIXaqmcqGGSaalcqaIYaGmcqqGGaaicqqGZbWCcqqGLbqzcqqGWbaCcqqGLbqzcqqGYbGCcqqGHbqycqqG0baDcqqGLbqzcqqGKbazcqqGGaaicqqGMbGzcqqGYbGCcqqGVbWBcqqGTbqBcqqGGaaicqaIZaWmcqGGSaalcqaI0aancqGGSaalaeaadaWadaqaaKqbaoaalaaabaGaeGymaedabaGaeGinaqdaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabisda0aaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeGinaqdaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabisda0aaaaOGaay5waiaaw2faaaqaaiabbsfaujabbccaGiabbMgaPjabbohaZjabbccaGiabbsha0jabbIgaOjabbwgaLjabbccaGiabbsha0jabbkhaYjabbwgaLjabbwgaLjabbccaGiabbEha3jabbMgaPjabbsha0jabbIgaOjabbccaGiabbYgaSjabbwgaLjabbggaHjabbAha2jabbwgaLjabbohaZjabbccaGiabigdaXiabcYcaSiabiodaZiabbccaGiabbohaZjabbwgaLjabbchaWjabbwgaLjabbkhaYjabbggaHjabbsha0jabbwgaLjabbsgaKjabbccaGiabbAgaMjabbkhaYjabb+gaVjabb2gaTjabbccaGiabikdaYiabcYcaSiabisda0iabcYcaSaqaamaadmaabaqcfa4aaSaaaeaacqaIXaqmaeaacqaI0aanaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabisda0aaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeGOmaidaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabisda0aaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeGinaqdaaaGccaGLBbGaayzxaaaabaGaeeivaqLaeeiiaaIaeeyAaKMaee4CamNaeeiiaaIaeeiDaqNaeeiAaGMaeeyzauMaeeiiaaIaeeiDaqNaeeOCaiNaeeyzauMaeeyzauMaeeiiaaIaee4DaCNaeeyAaKMaeeiDaqNaeeiAaGMaeeiiaaIaeeiBaWMaeeyzauMaeeyyaeMaeeODayNaeeyzauMaee4CamNaeeiiaaIaeGymaeJaeiilaWIaeGinaqJaeeiiaaIaee4CamNaeeyzauMaeeiCaaNaeeyzauMaeeOCaiNaeeyyaeMaeeiDaqNaeeyzauMaeeizaqMaeeiiaaIaeeOzayMaeeOCaiNaee4Ba8MaeeyBa0MaeeiiaaIaeGOmaiJaeiilaWIaeG4mamJaeiilaWcabaWaamWaaeaajuaGdaWcaaqaaiabigdaXaqaaiabiodaZaaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeG4mamdaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaIZaWmaaGccqGGSaaljuaGdaWcaaqaaiabigdaXaqaaiabiodaZaaakiabcYcaSKqbaoaalaaabaGaeGymaedabaGaeG4mamdaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaIZaWmaaaakiaawUfacaGLDbaaaeaacqqGubavcqqGGaaicqqGPbqAcqqGZbWCcqqGGaaicqqG0baDcqqGObaAcqqGLbqzcqqGGaaicqqGZbWCcqqG0baDcqqGHbqycqqGYbGCcqqGTaqlcqqGZbWCcqqGObaAcqqGHbqycqqGWbaCcqqGLbqzcqqGKbazcqqGGaaicqqG0baDcqqGYbGCcqqGLbqzcqqGLbqzcqGGUaGlaaaaaa@5203@

The balanced minimum evolution polytope in this case is a triangle in R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ 6. Note that the star-shaped tree is in the interior of the triangle.

For any dissimilarity map, the trees which minimize (2) will be vertices of the balanced minimum evolution polytope; these are always the binary trees. In fact, for such trees λ i j T = 2 1 | p i j T | MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeq4UdW2aa0baaSqaaiabdMgaPjabdQgaQbqaaiabdsfaubaakiabg2da9iabikdaYmaaCaaaleqabaGaeGymaeJaeyOeI0YaaqWaaeaacqWGWbaCdaqhaaadbaGaemyAaKMaemOAaOgabaGaemivaqfaaaWccaGLhWUaayjcSdaaaaaa@3E58@ ; this is Pauplin's formula [5].

The BME polytope lies in R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ and has dimension ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaeWaaeaafaqabeGabaaabaGaemOBa4gabaGaeGOmaidaaaGaayjkaiaawMcaaaaa@2FC2@ - n. The normal fan [6] of the BME polytope gives rise to BME cones which form a polyhedral subdivision of the space of dissimilarity maps R + ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aa0baaSqaaiabgUcaRaqaamaabmaabaqbaeqabiqaaaqaaiabd6gaUbqaaiabikdaYaaaaiaawIcacaGLPaaaaaaaaa@3BA1@ . They describe, for each tree T, those dissimilarity maps for which T minimizes (2). We provide an introduction to the necessary polyhedral combinatorics in Section 2, and discuss the polytope in more detail in Section 3.

The neighbor-joining algorithm is a greedy algorithm for finding an approximate solution to (2). We omit a detailed description of the algorithm here – readers can consult [2] – but we do mention the crucial fact that the selection criterion is linear in the dissimilarity map [7]. Thus, the NJ algorithm will pick pairs of leaves to merge in a particular order and output a particular tree T if and only if the pairwise distances satisfy a system of linear inequalities, whose solution set forms a polyhedral cone in R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ . We call such a cone a neighbor-joining cone. or NJ cone. The NJ algorithm will output a particular tree T if and only if the distance data lies in a union of NJ cones. In Section 4 we show that the NJ cones partition R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ , but do not form a fan. This has important implications for the behavior of the NJ algorithm.

Our main result is a comparison of the neighbor-joining cones with the normal fan of the balanced minimum evolution polytope. This means that we characterize those dissimilarity maps for which neighbor-joining, despite being a greedy algorithm, is able to identify the balanced minimum evolution tree. These results are discussed in Section 5.

2 Polyhedral preliminaries

In this section we will introduce some of the elementary polyhedral combinatorics necessary for this paper. For more details see [8].

Let {y1, y2, ..., y m } be a finite set of points in R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d . An affine linear combination is a linear combination of the form
y = i = 1 m α i y i , where i = 1 m α i = 1. MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeqabeWaaaqaaiabdMha5jabg2da9maaqahabaGaeqySde2aaSbaaSqaaiabdMgaPbqabaGccqWG5bqEdaWgaaWcbaGaemyAaKgabeaaaeaacqWGPbqAcqGH9aqpcqaIXaqmaeaacqWGTbqBa0GaeyyeIuoakiabcYcaSaqaaiabbEha3jabbIgaOjabbwgaLjabbkhaYjabbwgaLbqaamaaqahabaGaeqySde2aaSbaaSqaaiabdMgaPbqabaGccqGH9aqpcqaIXaqmcqGGUaGlaSqaaiabdMgaPjabg2da9iabigdaXaqaaiabd2gaTbqdcqGHris5aaaaaaa@5093@

A convex linear combination is an affine linear combination with nonnegative linear coefficients, i.e. α i ≥ 0 for i = 1, ..., m. The affine hull of a set C R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d is the set of all affine linear combinations of vectors from C. The convex hull of C is the set of all convex linear combinations on vectors from C. A set is called affinely closed or an affine space if it equals its affine hull, and it is called convex if it equals its convex hull. Every affine space A R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d can be written as

a + V = {a + v : v V}

where V R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d is a subspace and a A. V is uniquely determined by A and the affine dimension of A is defined to be the dimension of V.

Given two distinct points x, y R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d , the set [x, y] = {αx + (1 - α)y : 0 ≤ α ≤ 1} of all convex combinations of x and y is called the interval with endpoints x and y. Then C R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d is convex iff [x, y] C for any two x, y C.

Let A1, A2, ..., A N R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d and let b1, b2, ..., b N R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ . Then the set
P : = { x R d : A i x b i  for  i = 1 , 2 , ... , N } MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiuaaLaeiOoaOJaeyypa0Jaei4EaSNaemiEaGNaeyicI48enfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaacqWGKbazaaGccqGG6aGocqWGbbqqdaWgaaWcbaGaemyAaKgabeaakiabgwSixlabdIha4jabgsMiJkabdkgaInaaBaaaleaacqWGPbqAaeqaaOGaeeiiaaIaeeOzayMaee4Ba8MaeeOCaiNaeeiiaaIaemyAaKMaeyypa0JaeGymaeJaeiilaWIaeGOmaiJaeiilaWIaeiOla4IaeiOla4IaeiOla4IaeiilaWIaemOta4KaeiyFa0haaa@5DF6@
is called a polyhedron. The convex hull of a finite set of points in R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d is called a polytope and the Weyl-Minkowski Theorem says that a polytope is a bounded polyhedron [9]. Polytopes are familiar objects in geometry. In the plane, polytopes are precisely the convex polygons. In R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ 3, examples of polytopes are shown in Figure 1. The dimension dim P of a polytope or polyhedron P is defined to be the dimension of the affine hull of P.
Figure 1

The four types of facets of P .

A (d - 1) dimensional affine set in R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d is called a hyperplane and every hyperplane can be represented as {x R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d : n·x = b} for some n ≠ 0 R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d and b R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ , where n·x is the dot-product of n and x. We call n a normal vector of this hyperplane.

Let H := {x R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d : h·xb}, where h ≠ 0 R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d and b R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ , be an affine half space. Then if P H and P {x R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d : h·x = b} ≠ , then H is called a supporting hyperplane of P. A subset F of P is called a face if F = P or F = P H, where H is a supporting hyperplane. Faces of polyhedra are polyhedra and faces of polytopes are polytopes.

Faces of dimension 0 are called vertices, faces of dimension 1 are called edges, and faces of dimension d - 1 are called facets. The f-vector of P is the vector (f0, f1, f2, ...), where f i is the number of faces of dimension i of P'. For example, consider the 3-dimensional polytope labeled 'C' in Figure 1. This polytope has 6 vertices, 9 edges, and 5 facets (3 quadrilaterals and 2 triangles), and so its f-vector is (6, 9, 5).

A polyhedron C is a cone if it can be written as
C = { i = 1 N α i y i : α i 0  for  i = 1 , ... , N } MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qamKaeyypa0ZaaiWaaeaadaaeWbqaaiabeg7aHnaaBaaaleaacqWGPbqAaeqaaOGaemyEaK3aaSbaaSqaaiabdMgaPbqabaGccqGG6aGocqaHXoqydaWgaaWcbaGaemyAaKgabeaakiabgwMiZkabicdaWiabbccaGiabbAgaMjabb+gaVjabbkhaYjabbccaGiabdMgaPjabg2da9iabigdaXiabcYcaSiabc6caUiabc6caUiabc6caUiabcYcaSiabd6eaobWcbaGaemyAaKMaeyypa0JaeGymaedabaGaemOta4eaniabggHiLdaakiaawUhacaGL9baaaaa@52DA@

for some y1, ..., y N R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d . This is equivalent to the existence of a matrix A R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ m × nsuch that C = {x : A x ≥ 0}. A cone is pointed if its lineality space is {0}.

Given a face F of a polytope P, the normal cone N(F) is the set of all vectors c for which c·v = maxxPc·x for all v F. The collection of relative interiors of normal cones of faces of P partition R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d , and for each face we have dim(F) + dim(N(F)) = d. The collection of normal cones of faces of P is called the normal fan of P.

Given a polyhedron P, the lineality space of P is the set of vectors v for which y + c·v P for all y P and c R. The largest such subspace is called lineality space of P. If a polyhedron P has lineality space V, we can let V' be the orthogonal complement V' (i.e. V V' = R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ d ) and consider the polyhedron P' := P V', which has lineality space {0}.

3 The balanced minimum evolution polytope

Throughout this paper we work with binary unrooted trees on n leaves labeled {1, ..., n}. Such trees are also known as phylogenetic X-trees. We refer the reader to [10] for more detail about such trees, and for related definitions. Recall there are 2n - 3 edges in an unrooted tree with n leaves. For a fixed tree topology T, let B T be the ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaeWaaeaafaqabeGabaaabaGaemOBa4gabaGaeGOmaidaaaGaayjkaiaawMcaaaaa@2FC2@ × (2n - 3) matrix with rows indexed by pairs of leaves and columns indexed by edges in T defined as follows:
B T ( { a , b } , e ) = { 1 if edge  e  is in the path from leaf  a  to leaf  b , 0 otherwise . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOqai0aaSbaaSqaaiabdsfaubqabaGccqGGOaakcqGG7bWEcqWGHbqycqGGSaalcqWGIbGycqGG9bqFcqGGSaalcqWGLbqzcqGGPaqkcqGH9aqpdaGabaqaauaabmqaciaaaeaacqaIXaqmaeaacqqGPbqAcqqGMbGzcqqGGaaicqqGLbqzcqqGKbazcqqGNbWzcqqGLbqzcqqGGaaicqWGLbqzcqqGGaaicqqGPbqAcqqGZbWCcqqGGaaicqqGPbqAcqqGUbGBcqqGGaaicqqG0baDcqqGObaAcqqGLbqzcqqGGaaicqqGWbaCcqqGHbqycqqG0baDcqqGObaAcqqGGaaicqqGMbGzcqqGYbGCcqqGVbWBcqqGTbqBcqqGGaaicqqGSbaBcqqGLbqzcqqGHbqycqqGMbGzcqqGGaaicqWGHbqycqqGGaaicqqG0baDcqqGVbWBcqqGGaaicqqGSbaBcqqGLbqzcqqGHbqycqqGMbGzcqqGGaaicqWGIbGycqGGSaalaeaacqaIWaamaeaacqqGVbWBcqqG0baDcqqGObaAcqqGLbqzcqqGYbGCcqqG3bWDcqqGPbqAcqqGZbWCcqqGLbqzcqGGUaGlaaaacaGL7baaaaa@826B@
For example, for the tree in Figure 2,
Figure 2

A tree with five leaves.

B T = ( 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemOqai0aaSbaaSqaaiabdsfaubqabaGccqGH9aqpdaqadaqaauaabeqakCaaaaaaaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIWaamaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaeaacqaIWaamaeaacqaIXaqmaeaacqaIXaqmaeaacqaIWaamaeaacqaIWaamaaaacaGLOaGaayzkaaaaaa@72D9@

where its rows are indexed by pairs of leaves (1, 2), (1, 3), (2, 3), (1, 4), (2, 4), (3, 4), (1, 5), (2, 5), (3, 5), (4, 5) and its columns are indexed by edges (1, a), (2, a), (3, b), (4, c), (5, c), (a, b), (b, c) with a is an internal node adjacent to leaves 1 and 2, c is an internal node adjacent to leaves 4, 5, and b is an internal node adjacent to nodes 3, a and c. Given edge lengths l : E(T) → R MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHifaaa@36A5@ + we let b be the vector with components l(e) as e ranges over E(T). Any dissimilarity map d (encoded as a row vector) can now be written as

d = B T b + e

where e is a vector of "error" terms that are zero when d is a tree metric.

The weighted least squares solution for the edge lengths b assuming a variance matrix V with off-diagonal entries v i j = λ i j T MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemODay3aaSbaaSqaaiabdMgaPjabdQgaQbqabaGccqGH9aqpcqaH7oaBdaqhaaWcbaGaemyAaKMaemOAaOgabaGaemivaqfaaaaa@3708@ (as defined in the introduction) and dissimilarity map d is given by
b ^ = ( B T t V 1 B T ) 1 B T t V 1 d , MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbeGaf8NyaiMbaKaacqGH9aqpcqGGOaakcqWGcbGqdaqhaaWcbaGaemivaqfabaGaemiDaqhaaOGaemOvay1aaWbaaSqabeaacqGHsislcqaIXaqmaaGccqWGcbGqdaWgaaWcbaGaemivaqfabeaakiabcMcaPmaaCaaaleqabaGaeyOeI0IaeGymaedaaOGaemOqai0aa0baaSqaaiabdsfaubqaaiabdsha0baakiabdAfawnaaCaaaleqabaGaeyOeI0IaeGymaedaaOGae8hzaqMaeiilaWcaaa@4551@

where · t denotes matrix transpose. The length of T with respect to the least squares edge lengths is then

l(T) = v T ·d,

where v T = V 1 B T ( B T t V 1 B T ) 1 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbeGae8NDay3aaSbaaSqaaiabdsfaubqabaGccqGH9aqpcqWGwbGvdaahaaWcbeqaaiabgkHiTiabigdaXaaakiabdkeacnaaBaaaleaacqWGubavaeqaaOGaeiikaGIaemOqai0aa0baaSqaaiabdsfaubqaaiabdsha0baakiabdAfawnaaCaaaleqabaGaeyOeI0IaeGymaedaaOGaemOqai0aaSbaaSqaaiabdsfaubqabaGccqGGPaqkdaahaaWcbeqaaiabgkHiTiabigdaXaaaaaa@4327@ 1 and 1 is the vector of all 1's. We call the vectors v T the balanced minimum evolution vectors (or BME vectors). In the case of Figure 2, the BME vector is
v T = [ 1 2 , 1 4 , 1 4 , 1 4 , 1 4 , 1 4 , 1 4 , 1 4 , 1 4 , 1 2 ] . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaacbeGae8NDay3aaSbaaSqaaiabdsfaubqabaGccqGH9aqpdaWadaqaaKqbaoaalaaabaGaeGymaedabaGaeGOmaidaaOGaeiilaWscfa4aaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaI0aanaaGaeiilaWYaaSaaaeaacqaIXaqmaeaacqaIYaGmaaaakiaawUfacaGLDbaacqGGUaGlaaa@4F85@

The BME method is equivalent to minimizing the linear functional v T ·d over all BME vectors for all tree topologies T. The BME polytope is the convex hull of all BME vectors in R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ . The following facts follow from the definition of the balanced minimum evolution tree:

Lemma 3.1

The vertices of the BME polytope are the BME vectors of binary trees. The BME vector of the star phylogeny lies in the interior of the BME polytope, and all other BME vectors lie on the boundary of the BME polytope.

The normal fan of a BME polytope partitions the space R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ of dissimilarity maps into cones, one for each tree. We call these BME cones. They completely characterize the BME method: T is the BME tree topology if and only if the dissimilarity map D lies in the BME cone of T.

For a leaf node a in a binary unrooted tree, the shift vector s a is the dissimilarity map in which a is at distance 1 from all other leaves, and all other distances are 0 (see [11] for the description of shift vectors). According to [5], for a tree T, (v T ) ab gives the probability that a will immediately precede b in a random circular ordering of T. Thus the dot-product of a BME vector with a shift vector must necessarily equal 1, and in fact the lineality space of BME cones is spanned by shift vectors. So when we describe a BME cone we will always describe just the pointed component, i.e. modulo the lineality space of shift vectors.

As part of our computational study, we computed the BME polytope and BME cones for trees with n = 4, 5, 6, 7, 8 leaves using the software polymake [12]. In Table 1 we display some of the components of f-vectors we were able to compute. This provides information about the polytopes: Recall that the i th component of the f-vector of a polytope is the number of faces of dimension i - 1. For example, the first component in each vector in Table 1 is the number of 0-dimensional faces (vertices) of the corresponding BME polytope, i.e., the number of binary trees.
Table 1

The f-vector for small BME polytopes.

#leaves

dim(BME polytope)

f-vector

4

2

(3,3)

5

5

(15, 105, 250, 210, 52)

6

9

(105, 5460, ?, ?, ?, 90262)

7

14

(945, 445410, ?, ?, ?, ?, ?)

n

( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaeWaaeaafaqabeGabaaabaGaemOBa4gabaGaeGOmaidaaaGaayjkaiaawMcaaaaa@2FC2@ - n

((2n - 5)!!,?, ...)

We found that the edge graph of the BME polytope is the complete graph for n = 4, 5, 6 which means that for every pair of trees T1 and T2 with the same number (≤ 6) of leaves, there is a dissimilarity map for which T1 and T2 are (the only) co-optimal BME trees. However, for n = 7, the BME polytope does in fact have one combinatorial type of non-edge. Namely, two bifurcating trees with seven leaves and three cherries (two leaves adjacent to the same node in the tree) will form a non-edge if and only if they are related by two leaf exchanges as depicted in Figure 3. This completely characterizes the non-edges for n = 7. It is an interesting open problem to characterize the non-edges of the BME polytope in general.
Figure 3

The non-edges on the BME polytope for n = 7. Two trees will form a non-edge if and only if they are trees that have three cherries, and differ by the pair of leaf exchanges shown in the figure. There are two ways to perform each leaf-exchange, so each binary tree with three cherries is not adjacent to 4 trees.

4 Neighbor-joining cones

The neighbor-joining algorithm takes as input a dissimilarity map and outputs a tree. The tree is constructed "one cherry at a time". In each step the algorithm chooses a pair of leaves a and b that minimize the Q-criterion, which is defined by the formula
q a b : = ( n 2 ) d a b k = 1 N d a k k = 1 n d k b . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemyCae3aaSbaaSqaaiabdggaHjabdkgaIbqabaGccqGG6aGocqGH9aqpcqGGOaakcqWGUbGBcqGHsislcqaIYaGmcqGGPaqkcqWGKbazdaWgaaWcbaGaemyyaeMaemOyaigabeaakiabgkHiTmaaqahabaGaemizaq2aaSbaaSqaaiabdggaHjabdUgaRbqabaaabaGaem4AaSMaeyypa0JaeGymaedabaGaemOta4eaniabggHiLdGccqGHsisldaaeWbqaaiabdsgaKnaaBaaaleaacqWGRbWAcqWGIbGyaeqaaaqaaiabdUgaRjabg2da9iabigdaXaqaaiabd6gaUbqdcqGHris5aOGaeiOla4caaa@5437@
(3)

The nodes a, b are replaced by a single node z, and new distances d zk are obtained by a straightforward linear combination of the original pairwise distances: d z k : = 1 2 ( d a k + d b k d a b ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaq2aaSbaaSqaaiabdQha6jabdUgaRbqabaGccqGG6aGocqGH9aqpjuaGdaWcaaqaaiabigdaXaqaaiabikdaYaaakiabcIcaOiabdsgaKnaaBaaaleaacqWGHbqycqWGRbWAaeqaaOGaey4kaSIaemizaq2aaSbaaSqaaiabdkgaIjabdUgaRbqabaGccqGHsislcqWGKbazdaWgaaWcbaGaemyyaeMaemOyaigabeaakiabcMcaPaaa@44C8@ . Then the NJ method is applied recursively.

We note that since new distances d zk are always linear combinations of the previous distances, all Q-criteria computed throughout the NJ algorithm are linear combinations of the original pairwise distances. Thus, for a fixed n, for every possible ordering σ of picked cherries that results in one of the trees T with n leaves there is a polyhedral cone C σ R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ of dissimilarity maps. The set of all neighbor-joining cones is denoted by C n MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NaXp0aaSbaaSqaaiabd6gaUbqabaaaaa@38DE@ . Their union C C n C MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaambeaeaacqWGdbWqaSqaaiabdoeadjabgIGioprtHrhAL1wy0L2yHvtyaeHbnfgDOvwBHrxAJfwnaGabaiab=jq8dnaaBaaameaacqWGUbGBaeqaaaWcbeqdcqWIQisvaaaa@3E00@ is all of of R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ , and the intersection of any two cones is a subset – but not necessarily a face – of the boundary of each of the cones. Given an input from the interior of C σ , the NJ algorithm will pick the cherries in the order σ and output the corresponding tree. For inputs d on the boundary of one (and therefore at least two) of the cones, the order in which NJ picks cherries is undefined, because at some point there will be two cherries both of which have minimal Q-criterion. We call the cones C σ neighbor-joining cones, or NJ cones. See [11] for the hyperplane representation of NJ cones and descriptions how to construct each cone.

Example. There is only one unlabeled binary tree with 5 leaves and there are 15 distinct labeled trees. For each labeled tree, there are two ways in which a cherry might be picked by the NJ algorithm in the first step. For instance, neighbor-joining applied to any dissimilarity map in C12,45 or C45,12 will produce the tree in Figure 2. There are a total of 30 NJ cones for n = 5.

We note that all Q-criteria for shift vectors equal -2, so adding any linear combination of shift vectors to a dissimilarity map does not change the relative values of the Q-criteria. Also, after picking a cherry, the reduced distance matrix of a shift vector is again a shift vector. Thus, for any input vector d, the behavior of the NJ algorithm on d will be the same as on d + s if s is any linear combination of shift vectors. In fact it can be shown that the lineality space of NJ cones is spanned by shift vectors, just as for BME cones [11]. So from now on, when we refer to NJ cones, we will mean the pointed portion of the cone, i.e. modulo the lineality space.

Theorem 4.1

The cones in C n MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NaXp0aaSbaaSqaaiabd6gaUbqabaaaaa@38DE@ do not form a fan. In particular, they are not the normal fan of any polytope for n ≥ 5.

The theorem follows from that fact that the NJ cones have rays which are on the boundary of other cones but not rays of them. Thus there are pairs of cones whose intersection is not a face of both cones. We describe the case n = 5 in detail; it also suffices to prove the theorem.

We begin by noting that all of the NJ cones are equivalent under the action of the symmetric group on five elements (S5), where an element of S5 permutes the five taxa or, equivalently, the rows and columns of the input distance matrix. Each NJ cone is defined by ( ( 5 2 ) 1 ) + ( ( 4 2 ) 1 ) = 14 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaeWaaeaadaqadaqaauaabeqaceaaaeaacqaI1aqnaeaacqaIYaGmaaaacaGLOaGaayzkaaGaeyOeI0IaeGymaedacaGLOaGaayzkaaGaey4kaSYaaeWaaeaadaqadaqaauaabeqaceaaaeaacqaI0aanaeaacqaIYaGmaaaacaGLOaGaayzkaaGaeyOeI0IaeGymaedacaGLOaGaayzkaaGaeyypa0JaeGymaeJaeGinaqdaaa@3D6D@ inequalities that are implied by the Q-criteria as the NJ algorithm picks the two cherries. The cones are 5-dimensional, and their intersection with a suitable hyperplane leaves a four dimensional polytope P. The f-vector of P is (14, 32, 27, 9).

The 30 cones share many of their rays, giving a total of 82 rays which decompose into three orbits under the action of S5. We refer to the types of rays as Type I, Type II and Type III. Each cone has 6 rays of type I, 4 rays of type II and 4 rays of type III. Each ray of type I is the common ray of 3 cones, and belongs to 2 other cones of which it is not a ray (i.e. it is in the interior of a face). Note that this implies that the cones cannot form a fan. The type II rays are contained in 10 cones each, and the type III rays in 12. Type II and III rays are rays of all cones which contain them. For the cone C23,45, this information is tabulated in Table 2.
Table 2

The 14 rays of the cone C23,45. Each ray is determined by a vector shown in the second column. The third column shows, for each ray, which cones it belongs to. If a cone is starred then the ray is on the boundary of that cone, but not a ray of it.

Type

rays

Cones

I

(-3, 5, -3, -1, 5, -3, -1, 1, 1, -1)

(-3, 5, -3, -1, 1, 1, -1, 5, -3, -1)

(5, -3, -3, -1, -3, 5, -1, 1, 1, -1)

(1, 1, -3, -1, -3, 5, -1, 5, -3, -1)

(5, -3, -3, -1, 1, 1, -1, -3, 5, -1)

(1, 1, -3, -1, 5, -3, -1, -3, 5, -1)

C23,45, C23,15, C23,14, C 12 , 34 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabigdaXiabikdaYiabcYcaSiabiodaZiabisda0aqaaiabgEHiQaaaaaa@32AC@ , C 34 , 12 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabiodaZiabisda0iabcYcaSiabigdaXiabikdaYaqaaiabgEHiQaaaaaa@32AC@

C23,45, C23,15, C23,14, C 12 , 35 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabigdaXiabikdaYiabcYcaSiabiodaZiabiwda1aqaaiabgEHiQaaaaaa@32AE@ , C 35 , 12 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabiodaZiabiwda1iabcYcaSiabigdaXiabikdaYaqaaiabgEHiQaaaaaa@32AE@

C23,45, C23,15, C23,14, C 24 , 13 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabikdaYiabisda0iabcYcaSiabigdaXiabiodaZaqaaiabgEHiQaaaaaa@32AC@ , C 13 , 24 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabigdaXiabiodaZiabcYcaSiabikdaYiabisda0aqaaiabgEHiQaaaaaa@32AC@

C23,45, C23,15, C23,14, C 25 , 13 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabikdaYiabiwda1iabcYcaSiabigdaXiabiodaZaqaaiabgEHiQaaaaaa@32AE@ , C 25 , 13 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabikdaYiabiwda1iabcYcaSiabigdaXiabiodaZaqaaiabgEHiQaaaaaa@32AE@

C23,45, C23,15, C23,14, C 24 , 35 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabikdaYiabisda0iabcYcaSiabiodaZiabiwda1aqaaiabgEHiQaaaaaa@32B4@ , C 35 , 24 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabiodaZiabiwda1iabcYcaSiabikdaYiabisda0aqaaiabgEHiQaaaaaa@32B4@

C23,45, C23,15, C23,14, C 25 , 34 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabikdaYiabiwda1iabcYcaSiabiodaZiabisda0aqaaiabgEHiQaaaaaa@32B4@ , C 25 , 34 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaem4qam0aa0baaSqaaiabikdaYiabiwda1iabcYcaSiabiodaZiabisda0aqaaiabgEHiQaaaaaa@32B4@

II

(-1, 1, -1, 1, 1, -1, -1, 1, 1, -1)

(-1, 1, -1, -1, 1, 1, 1, 1, -1, -1)

(1, 1, -1, -1, -1, 1, -1, 1, -1, 1)

(1, -1, -1, 1, -1, 1, -1, 1, 1, -1)

C12,45, C12,34, C23,45, C23,15, C34,15, C34,12, C45,23, C45,12, C15,34, C15,23

C12,45, C12,35, C23,45, C23,14, C35,14, C35,12, C45,23, C45,12, C14,35, C14,23

C25,14, C25,13, C23,14, C23,45, C13,45, C13,25, C14,23, C14,25, C45,13, C45,23

C24,15, C24,13, C23,15, C23,45, C13,45, C13,24, C15,23, C15,24, C45,13, C45,23

III

(1, -1, -1, 1, 1, -1, -1, -1, 3, -1)

(1, -1, -1, -1, -1, 3, 1, 1, -1, -1)

(1, -1, -1, 1, 1, -1, -1, -1, 3, -1)

(1, -1, -1, -1, -1, 3, 1, 1, -1, -1)

C23,45, C23,15, C12,45, C12,35, C24,15, C24,35, C35,24, C35,12, C15,24, C15,23, C45,12, C45,23

C23,45, C23,14, C12,45, C12,34, C25,14, C25,34, C34,25, C34,12, C14,25, C14,23, C45,12, C45,23

C23,45, C23,15, C13,45, C13,25, C34,15, C34,25, C25,34, C25,13, C15,34, C15,23, C45,13, C45,23

C23,45, C23,14, C13,45, C13,24, C35,14, C35,24, C24,35, C24,13, C14,35, C14,23, C45,13, C45,23

We note that the rays of NJ cones are minimal intersections of NJ cones, and thus give dissimilarity maps for which the NJ algorithm is least stable.

Example. Consider two alignments of 5 sequences that are to be used to construct a tree. These may consist of two different genes and for each of them the homologs among 5 genomes. Suppose that distances are estimated using the Jukes-Cantor correction [6, 13] separately for each set of sequences. That is, for the first set of sequences
( D 1 ) i j = 3 4 log ( 1 4 3 f i j ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeiikaGIaemiraq0aaSbaaSqaaiabigdaXaqabaGccqGGPaqkdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabg2da9iabgkHiTKqbaoaalaaabaGaeG4mamdabaGaeGinaqdaaOGagiiBaWMaei4Ba8Maei4zaCMaeiikaGIaeGymaeJaeyOeI0scfa4aaSaaaeaacqaI0aanaeaacqaIZaWmaaGccqWGMbGzdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabcMcaPaaa@4601@
where f ij is the fraction of different nucleotides between sequences i and j in the first set and for the second set
( D 2 ) i j = 3 4 log ( 1 4 3 g i j ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaeiikaGIaemiraq0aaSbaaSqaaiabikdaYaqabaGccqGGPaqkdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabg2da9iabgkHiTKqbaoaalaaabaGaeG4mamdabaGaeGinaqdaaOGagiiBaWMaei4Ba8Maei4zaCMaeiikaGIaeGymaeJaeyOeI0scfa4aaSaaaeaacqaI0aanaeaacqaIZaWmaaGccqWGNbWzdaWgaaWcbaGaemyAaKMaemOAaOgabeaakiabcMcaPaaa@4605@

where g ij is the fraction of different nucleotides between sequences i and j in the second set.

If the fractions f ij and g ij are given by
f : = ( 0 0.054187 0.151108 0.368136 0.054198 0.054187 0 0.151117 0.054198 0.36813 0.151108 0.151117 0 0.054187 0.054198 0.368136 0.054198 0.054187 0 0.151108 0.054198 0.36813 0.054198 0.151108 0 )  and g : = ( 0 0.151068 0.05414 0.368161 0.104517 0.151068 0 0.054245 0.054245 0.395699 0.05414 0.054245 0 0.151068 0.194428 0.368161 0.054245 0.151068 0 0.104421 0.104517 0.395699 0.194428 0.104421 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeqabiqaaaqaaiabdAgaMjabcQda6iabg2da9maabmaabaqbaeqabuqbaaaaaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI4aaocqaI3aWnaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI1aqncqaIXaqmcqaIXaqmcqaIWaamcqaI4aaoaeaacqaIWaamcqGGUaGlcqaIZaWmcqaI2aGncqaI4aaocqaIXaqmcqaIZaWmcqaI2aGnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI5aqocqaI4aaoaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI4aaocqaI3aWnaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI1aqncqaIXaqmcqaIXaqmcqaIXaqmcqaI3aWnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI5aqocqaI4aaoaeaacqaIWaamcqGGUaGlcqaIZaWmcqaI2aGncqaI4aaocqaIXaqmcqaIZaWmaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI1aqncqaIXaqmcqaIXaqmcqaIWaamcqaI4aaoaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI1aqncqaIXaqmcqaIXaqmcqaIXaqmcqaI3aWnaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI4aaocqaI3aWnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI5aqocqaI4aaoaeaacqaIWaamcqGGUaGlcqaIZaWmcqaI2aGncqaI4aaocqaIXaqmcqaIZaWmcqaI2aGnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI5aqocqaI4aaoaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI4aaocqaI3aWnaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI1aqncqaIXaqmcqaIXaqmcqaIWaamcqaI4aaoaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI5aqocqaI4aaoaeaacqaIWaamcqGGUaGlcqaIZaWmcqaI2aGncqaI4aaocqaIXaqmcqaIZaWmaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI0aancqaIXaqmcqaI5aqocqaI4aaoaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI1aqncqaIXaqmcqaIXaqmcqaIWaamcqaI4aaoaeaacqaIWaamaaaacaGLOaGaayzkaaGaeeiiaaIaeeyyaeMaeeOBa4MaeeizaqgabaGaem4zaCMaeiOoaOJaeyypa0ZaaeWaaeaafaqabeqbfaaaaaqaaiabicdaWaqaaiabicdaWiabc6caUiabigdaXiabiwda1iabigdaXiabicdaWiabiAda2iabiIda4aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabisda0iabigdaXiabisda0aqaaiabicdaWiabc6caUiabiodaZiabiAda2iabiIda4iabigdaXiabiAda2iabigdaXaqaaiabicdaWiabc6caUiabigdaXiabicdaWiabisda0iabiwda1iabigdaXiabiEda3aqaaiabicdaWiabc6caUiabigdaXiabiwda1iabigdaXiabicdaWiabiAda2iabiIda4aqaaiabicdaWaqaaiabicdaWiabc6caUiabicdaWiabiwda1iabisda0iabikdaYiabisda0iabiwda1aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabisda0iabikdaYiabisda0iabiwda1aqaaiabicdaWiabc6caUiabiodaZiabiMda5iabiwda1iabiAda2iabiMda5iabiMda5aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabisda0iabigdaXiabisda0aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabisda0iabikdaYiabisda0iabiwda1aqaaiabicdaWaqaaiabicdaWiabc6caUiabigdaXiabiwda1iabigdaXiabicdaWiabiAda2iabiIda4aqaaiabicdaWiabc6caUiabigdaXiabiMda5iabisda0iabisda0iabikdaYiabiIda4aqaaiabicdaWiabc6caUiabiodaZiabiAda2iabiIda4iabigdaXiabiAda2iabigdaXaqaaiabicdaWiabc6caUiabicdaWiabiwda1iabisda0iabikdaYiabisda0iabiwda1aqaaiabicdaWiabc6caUiabigdaXiabiwda1iabigdaXiabicdaWiabiAda2iabiIda4aqaaiabicdaWaqaaiabicdaWiabc6caUiabigdaXiabicdaWiabisda0iabisda0iabikdaYiabigdaXaqaaiabicdaWiabc6caUiabigdaXiabicdaWiabisda0iabiwda1iabigdaXiabiEda3aqaaiabicdaWiabc6caUiabiodaZiabiMda5iabiwda1iabiAda2iabiMda5iabiMda5aqaaiabicdaWiabc6caUiabigdaXiabiMda5iabisda0iabisda0iabikdaYiabiIda4aqaaiabicdaWiabc6caUiabigdaXiabicdaWiabisda0iabisda0iabikdaYiabigdaXaqaaiabicdaWaaaaiaawIcacaGLPaaaaaaaaa@6F8A@
then we obtain
D 1 = ( 0 0.056244 0.168744 0.506257 0.056256 0.056244 0 0.168755 0.056256 0.506245 0.168744 0.168755 0 0.056244 0.056256 0.506257 0.056256 0.056244 0 0.168744 0.056256 0.506245 0.056256 0.168744 0 )  and D 2 = ( 0 0.168694 0.056194 0.506306 0.112556 0.168694 0 0.056307 0.056307 0.562445 0.056194 0.056307 0 0.168694 0.225056 0.506306 0.056307 0.168694 0 0.112444 0.112556 0.562445 0.225056 0.112444 0 ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqbaeqabiqaaaqaaiabdseaenaaBaaaleaacqaIXaqmaeqaaOGaeyypa0ZaaeWaaeaafaqabeqbfaaaaaqaaiabicdaWaqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabisda0iabisda0aqaaiabicdaWiabc6caUiabigdaXiabiAda2iabiIda4iabiEda3iabisda0iabisda0aqaaiabicdaWiabc6caUiabiwda1iabicdaWiabiAda2iabikdaYiabiwda1iabiEda3aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabiwda1iabiAda2aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabisda0iabisda0aqaaiabicdaWaqaaiabicdaWiabc6caUiabigdaXiabiAda2iabiIda4iabiEda3iabiwda1iabiwda1aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabiwda1iabiAda2aqaaiabicdaWiabc6caUiabiwda1iabicdaWiabiAda2iabikdaYiabisda0iabiwda1aqaaiabicdaWiabc6caUiabigdaXiabiAda2iabiIda4iabiEda3iabisda0iabisda0aqaaiabicdaWiabc6caUiabigdaXiabiAda2iabiIda4iabiEda3iabiwda1iabiwda1aqaaiabicdaWaqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabisda0iabisda0aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabiwda1iabiAda2aqaaiabicdaWiabc6caUiabiwda1iabicdaWiabiAda2iabikdaYiabiwda1iabiEda3aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabiwda1iabiAda2aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabisda0iabisda0aqaaiabicdaWaqaaiabicdaWiabc6caUiabigdaXiabiAda2iabiIda4iabiEda3iabisda0iabisda0aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabiwda1iabiAda2aqaaiabicdaWiabc6caUiabiwda1iabicdaWiabiAda2iabikdaYiabisda0iabiwda1aqaaiabicdaWiabc6caUiabicdaWiabiwda1iabiAda2iabikdaYiabiwda1iabiAda2aqaaiabicdaWiabc6caUiabigdaXiabiAda2iabiIda4iabiEda3iabisda0iabisda0aqaaiabicdaWaaaaiaawIcacaGLPaaacqqGGaaicqqGHbqycqqGUbGBcqqGKbazaeaacqWGebardaWgaaWcbaGaeGOmaidabeaakiabg2da9maabmaabaqbaeqabuqbaaaaaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI2aGncqaI4aaocqaI2aGncqaI5aqocqaI0aanaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI2aGncqaIXaqmcqaI5aqocqaI0aanaeaacqaIWaamcqGGUaGlcqaI1aqncqaIWaamcqaI2aGncqaIZaWmcqaIWaamcqaI2aGnaeaacqaIWaamcqGGUaGlcqaIXaqmcqaIXaqmcqaIYaGmcqaI1aqncqaI1aqncqaI2aGnaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI2aGncqaI4aaocqaI2aGncqaI5aqocqaI0aanaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI2aGncqaIZaWmcqaIWaamcqaI3aWnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI2aGncqaIZaWmcqaIWaamcqaI3aWnaeaacqaIWaamcqGGUaGlcqaI1aqncqaI2aGncqaIYaGmcqaI0aancqaI0aancqaI1aqnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI2aGncqaIXaqmcqaI5aqocqaI0aanaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI2aGncqaIZaWmcqaIWaamcqaI3aWnaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI2aGncqaI4aaocqaI2aGncqaI5aqocqaI0aanaeaacqaIWaamcqGGUaGlcqaIYaGmcqaIYaGmcqaI1aqncqaIWaamcqaI1aqncqaI2aGnaeaacqaIWaamcqGGUaGlcqaI1aqncqaIWaamcqaI2aGncqaIZaWmcqaIWaamcqaI2aGnaeaacqaIWaamcqGGUaGlcqaIWaamcqaI1aqncqaI2aGncqaIZaWmcqaIWaamcqaI3aWnaeaacqaIWaamcqGGUaGlcqaIXaqmcqaI2aGncqaI4aaocqaI2aGncqaI5aqocqaI0aanaeaacqaIWaamaeaacqaIWaamcqGGUaGlcqaIXaqmcqaIXaqmcqaIYaGmcqaI0aancqaI0aancqaI0aanaeaacqaIWaamcqGGUaGlcqaIXaqmcqaIXaqmcqaIYaGmcqaI1aqncqaI1aqncqaI2aGnaeaacqaIWaamcqGGUaGlcqaI1aqncqaI2aGncqaIYaGmcqaI0aancqaI0aancqaI1aqnaeaacqaIWaamcqGGUaGlcqaIYaGmcqaIYaGmcqaI1aqncqaIWaamcqaI1aqncqaI2aGnaeaacqaIWaamcqGGUaGlcqaIXaqmcqaIXaqmcqaIYaGmcqaI0aancqaI0aancqaI0aanaeaacqaIWaamaaaacaGLOaGaayzkaaGaeiOla4caaaaa@749E@

Notice that the vector representation of D1 lies in the cone C12,45 and the vector representation of D2 lies in the cone C45,12. Thus NJ returns the same tree topology for both D1 and D2.

If we concatenate the alignments and combine the data to build one tree, then we estimate the distances using the average of f and g:
1 2 ( f + g ) = ( 0 0.102628 0.102624 0.368148 0.079357 0.102628 0 0.102681 0.054222 0.381915 0.102624 0.102681 0 0.102628 0.124313 0.368148 0.054222 0.102628 0 0.127765 0.079357 0.381915 0.124313 0.127765 0 ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaGccqGGOaakcqWGMbGzcqGHRaWkcqWGNbWzcqGGPaqkcqGH9aqpdaqadaqaauaabeqafuaaaaaabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGOmaiJaeGioaGdabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGOmaiJaeGinaqdabaGaeGimaaJaeiOla4IaeG4mamJaeGOnayJaeGioaGJaeGymaeJaeGinaqJaeGioaGdabaGaeGimaaJaeiOla4IaeGimaaJaeG4naCJaeGyoaKJaeG4mamJaeGynauJaeG4naCdabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGOmaiJaeGioaGdabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGioaGJaeGymaedabaGaeGimaaJaeiOla4IaeGimaaJaeGynauJaeGinaqJaeGOmaiJaeGOmaiJaeGOmaidabaGaeGimaaJaeiOla4IaeG4mamJaeGioaGJaeGymaeJaeGyoaKJaeGymaeJaeGynaudabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGOmaiJaeGinaqdabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGioaGJaeGymaedabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGOmaiJaeGioaGdabaGaeGimaaJaeiOla4IaeGymaeJaeGOmaiJaeGinaqJaeG4mamJaeGymaeJaeG4mamdabaGaeGimaaJaeiOla4IaeG4mamJaeGOnayJaeGioaGJaeGymaeJaeGinaqJaeGioaGdabaGaeGimaaJaeiOla4IaeGimaaJaeGynauJaeGinaqJaeGOmaiJaeGOmaiJaeGOmaidabaGaeGimaaJaeiOla4IaeGymaeJaeGimaaJaeGOmaiJaeGOnayJaeGOmaiJaeGioaGdabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGOmaiJaeG4naCJaeG4naCJaeGOnayJaeGynaudabaGaeGimaaJaeiOla4IaeGimaaJaeG4naCJaeGyoaKJaeG4mamJaeGynauJaeG4naCdabaGaeGimaaJaeiOla4IaeG4mamJaeGioaGJaeGymaeJaeGyoaKJaeGymaeJaeGynaudabaGaeGimaaJaeiOla4IaeGymaeJaeGOmaiJaeGinaqJaeG4mamJaeGymaeJaeG4mamdabaGaeGimaaJaeiOla4IaeGymaeJaeGOmaiJaeG4naCJaeG4naCJaeGOnayJaeGynaudabaGaeGimaadaaaGaayjkaiaawMcaaiabc6caUaaa@D389@
Using this frequency matrix we obtain the distance matrix D3 via the Jukes-Cantor correction:
D 3 = ( 0 0.110364 0.110359 0.506281 0.083878 0.110364 0 0.110425 0.056281 0.533818 0.110359 0.110425 0 0.110364 0.135917 0.506281 0.056281 0.110364 0 0.140066 0.083878 0.533818 0.135917 0.140066 0 ) . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiraq0aaSbaaSqaaiabiodaZaqabaGccqGH9aqpdaqadaqaauaabeqafuaaaaaabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeG4mamJaeGOnayJaeGinaqdabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeG4mamJaeGynauJaeGyoaKdabaGaeGimaaJaeiOla4IaeGynauJaeGimaaJaeGOnayJaeGOmaiJaeGioaGJaeGymaedabaGaeGimaaJaeiOla4IaeGimaaJaeGioaGJaeG4mamJaeGioaGJaeG4naCJaeGioaGdabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeG4mamJaeGOnayJaeGinaqdabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeGinaqJaeGOmaiJaeGynaudabaGaeGimaaJaeiOla4IaeGimaaJaeGynauJaeGOnayJaeGOmaiJaeGioaGJaeGymaedabaGaeGimaaJaeiOla4IaeGynauJaeG4mamJaeG4mamJaeGioaGJaeGymaeJaeGioaGdabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeG4mamJaeGynauJaeGyoaKdabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeGinaqJaeGOmaiJaeGynaudabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeG4mamJaeGOnayJaeGinaqdabaGaeGimaaJaeiOla4IaeGymaeJaeG4mamJaeGynauJaeGyoaKJaeGymaeJaeG4naCdabaGaeGimaaJaeiOla4IaeGynauJaeGimaaJaeGOnayJaeGOmaiJaeGioaGJaeGymaedabaGaeGimaaJaeiOla4IaeGimaaJaeGynauJaeGOnayJaeGOmaiJaeGioaGJaeGymaedabaGaeGimaaJaeiOla4IaeGymaeJaeGymaeJaeGimaaJaeG4mamJaeGOnayJaeGinaqdabaGaeGimaadabaGaeGimaaJaeiOla4IaeGymaeJaeGinaqJaeGimaaJaeGimaaJaeGOnayJaeGOnaydabaGaeGimaaJaeiOla4IaeGimaaJaeGioaGJaeG4mamJaeGioaGJaeG4naCJaeGioaGdabaGaeGimaaJaeiOla4IaeGynauJaeG4mamJaeG4mamJaeGioaGJaeGymaeJaeGioaGdabaGaeGimaaJaeiOla4IaeGymaeJaeG4mamJaeGynauJaeGyoaKJaeGymaeJaeG4naCdabaGaeGimaaJaeiOla4IaeGymaeJaeGinaqJaeGimaaJaeGimaaJaeGOnayJaeGOnaydabaGaeGimaadaaaGaayjkaiaawMcaaiabc6caUaaa@CDE6@

However, the vector representation of D3 lies in the cone C24,15, which means that neighbor-joining returns a different tree topology for D3. This example provides a distance-based recon-struction analog to the recent mixture model results of [14].

An analysis of the rays of C n MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae8NaXp0aaSbaaSqaaiabd6gaUbqabaaaaa@38DE@ suffices to prove Theorem 4.1. but the facet structure of each cone is also informative, and we were able to obtain complete information for n = 5. The types of facets constituting each cone are shown in Figure 1. Each cone consists of one Type A facet, two Type B facets, two Type C facets and four Type D facets. These facets intersect as follows: Type A facets are shared by pairs of cones of the form Cab,cd, Ccd,ab. Type B facets are shared by pairs of cones of the form Cab,de, Cab,ce; there are two such pairs for each cone. Two of the square facets of a Type A facet belong to Type B facets, and a pair of Type B facets share a hexagon consisting of six Type I rays. The remaining two square facets of a Type A facet form Type C facets with two Type I rays. The four triangular facets of a Type A facet form Type D facets (Egyptian pyramids) with two Type I rays.

We used our description of the NJ cones to examine the l2 distance between tree metrics and the boundaries of NJ cones. Without loss of generality, by shifting the leaves in the cherries, we can assume the tree metric is of the form
D T = ( 0 0 α α + β α + β 0 0 α α + β α + β α α 0 β β α + β α + β β 0 0 α + β α + β β 0 0 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemiraq0aaSbaaSqaaiabdsfaubqabaGccqGH9aqpdaqadaqaauaabeqafuaaaaaabaGaeGimaadabaGaeGimaadabaGaeqySdegabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqySdeMaey4kaSIaeqOSdigabaGaeGimaadabaGaeGimaadabaGaeqySdegabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqySdegabaGaeqySdegabaGaeGimaadabaGaeqOSdigabaGaeqOSdigabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqOSdigabaGaeGimaadabaGaeGimaadabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqySdeMaey4kaSIaeqOSdigabaGaeqOSdigabaGaeGimaadabaGaeGimaadaaaGaayjkaiaawMcaaaaa@67C3@
where α and β are the internal branch lengths, α 1 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaaaaa@2E55@ and α + β = 1. It is easy to see that D T C12,45 confirming the consistency of neighbor-joining. The cone C12,45 contains 9 faces, but we may ignore one of them (namely the one shared with C45,12) because it is shared with a cone resulting in the same tree topology. The distance to the closest of the remaining eight faces is
d ( D T , ( C 12 , 45 C 45 , 12 ) c ) = 1 α 3 . MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xI8qiVKYPFjYdHaVhbbf9v8qqaqFr0xc9vqFj0dXdbba91qpepeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaGaemizaqMaeiikaGIaemiraq0aaSbaaSqaaiabdsfaubqabaGccqGGSaalcqGGOaakcqWGdbWqdaWgaaWcbaGaeGymaeJaeGOmaiJaeiilaWIaeGinaqJaeGynaudabeaakiabgQIiilabdoeadnaaBaaaleaacqaI0aancqaI1aqncqGGSaalcqaIXaqmcqaIYaGmaeqaaOGaeiykaKYaaWbaaSqabeaacqWGJbWyaaGccqGGPaqkcqGH9aqpjuaGdaWcaaqaaiabigdaXiabgkHiTiabeg7aHbqaamaakaaabaGaeG4mamdabeaaaaGccqGGUaGlaaa@4A52@
(4)

The l2 radius is obtained by dividing (4) by min(α, β), so the minimum is attained at α = β = 1 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaaaaa@2E55@

Theorem 4.2

The l2 radius of neighbor-joining for 5 taxa is 1 3 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaadaGcaaqaaiabiodaZaqabaaaaaaa@2E67@ ≈ 0.5773.

This is slightly larger than the l radius of 1 2 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqaIYaGmaaaaaa@2E55@ given by Atteson's theorem [15]. It is an interesting problem to compute the l2 radius for neighbor-joining with more taxa.

The description of the NJ cones we have provided can also be used in practice to evaluate the robustness of the algorithm when used with a specific dataset. For n = 5, we examined data simulated from subtrees of the two tree models T1 and T2 in [16] with the Jukes-Cantor model and the Kimura 2-parameter models [6]. For each of 40, 000 simulations, we calculated the ℓ2-distance between the NJ cone of the given tree and the maximum likelihood estimates for the pairwise distances (see supplementary material). These show that in many cases the maximum likelihood estimates lie very close to the boundary. In such cases, one must conclude that the NJ tree is possibly incorrect due to the variance in the distance estimates.

5 Optimality of the neighbor-joining algorithm

In order to study the optimality of the neighbor-joining algorithm, we compared the BME cones with the NJ cones. Such a comparison involves intersecting the cones with the ( ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWaaeWaaeaafaqabeGabaaabaGaemOBa4gabaGaeGOmaidaaaGaayjkaiaawMcaaaaa@2FC2@ - 1)-sphere (in the first orthant) and then studying the volumes of their intersection by computing the standard Euclidean volume of the resulting surfaces. These surfaces are an intersection of closed hemispheres, i.e. spherical polytopes. Computing Euclidean volumes of (non-spherical) polytopes is a standard problem that is usually solved by triangulating and summing the volumes of the simplices. However there has been no publicly available software developed for computing or approximating volumes of spherical polytopes of dimension > 3 using this method. One possible reason for this is that in higher dimensions the volumes of spherical simplices are given by complicated analytical formulas [17] whose computational complexities are unknown.

We implemented two approaches in MATLAB (using polymake as a preprocessing step) for approximating the volume of a spherical polytope P. One approach is trivial: it simply samples uniformly from the sphere, and counts how many points are inside P. This approach is particularly suitable if P has large volume, or if many spherical polytopes are being simultaneously measured which partition the sphere, as is the case for NJ and BME cones. The second approach is suitable for spherical polytopes having small volume. We used this approach for computing the volumes of consistency cones [18] which we discuss briefly in the Discussion section.

The second approach begins by computing a triangulation of the vertices of P with some additional interior points of P added. This triangulation defines a simplicial mesh M which is obtained by replacing each spherical simplex with the corresponding Euclidean simplex having the same vertices. The volume of M (i.e. the sum of the volumes of the simplices in the mesh) is already an approximation to the volume of P. We refine this estimate by Monte Carlo estimation of the average value of the Jacobian from M to P. This requires sampling uniformly from M, which can be done very quickly in O(m + kd log d + k log k) time, where m is the number of simplices in the mesh, k is the number of samples, and d is the dimension. Briefly, the method partitions the unit interval into m subintervals, where the length of the i th subinterval is proportional to the volume of the i th simplex S i in the mesh. Then to sample k points from the mesh, first we decide how many of the k samples to draw from each S i , by sampling uniformly from unit interval k times. For each S i , we sample ℓ i points uniformly from S i where ℓ i is the number of samples x [0, 1] which land in the i th subinterval. Sampling uniformly from a single simplex is a classical problem solved in O(d log d) time.

Our main results on the optimality of NJ for n = 5, 6, 7, 8 taxa are summarized in Table 3. Each row of the table describes one type of tree. Trees are classified by their topology. A k-cherry tree is a tree with k cherries. The NJ volume column shows the volume of that part of the positive orthant of dissimilarity maps for which the NJ tree is of the specified type. Similarly, the BME volume column shows the same statistic for BME trees. Finally, NJ accuracy shows the fraction of the BME cone that overlaps the NJ cone. In other words, NJ accuracy is a measure of how frequently NJ will find the BME tree for a dissimilarity map that is chosen at random.
Table 3

Comparison of NJ and BME cones. The volume estimates for n = 8 do not all add up to exactly 100% due to round-off errors

#taxa

tree shape

#trees

NJ vol

BME vol

NJ accuracy

4

unique

3

100%

100%

100%

5

unique

15

100%

100%

98.06%

6

3-cherry

15

18.49%

18.57%

90.39%

6

caterpillar

90

81.51%

81.43%

91.33%

7

3-cherry

315

45.32%

44.58%

82.42%

7

caterpillar

630

54.68%

55.42%

78.85%

8

4-cherry

315

6.48%

6.36%

70.12%

8

3-cherry (two are neighbors)

2520

27.12%

25.84%

69.93%

8

3-cherry (none are neighbors)

2520

35.67%

34.55%

71.63%

8

caterpillar

5040

30.73%

33.24%

61.75%

We also classified and measured the intersections of NJ and BME cones in which the NJ tree differs from the BME tree. Many of these intersection cones are equivalent under the action of S n on the leaf labels, particularly as the stabilizer of the BME tree permutes the leaf labels in the NJ tree. In fact, for n = 5 taxa there are only three types of mistakes that the NJ algorithm can make when it fails to reproduce the BME tree. These are depicted in Figure 4 and the normalized spherical volumes of corresponding NJ/BME intersection cones are given.
Figure 4

Frequencies of the all three possible types of NJ trees that may picked instead of the BME tree for n = 5 leaves. Neighbor-joining agrees with the BME tree 98.06% of the time.

Figure 4 can be interpreted as follows: For a random dissimilarity map, if the NJ algorithm does not produce the BME tree, then with probability 0.67 it produces the tree on the right, and if not then it almost always produces the tree in the middle. This tree differs from the BME tree significantly. A surprising result is that the tree on the left is almost never the NJ tree. We believe that a deeper understanding of the "mistakes" NJ makes when it does not optimize the balanced minimum evolution criterion may be important in interpreting the results, especially for large trees.

We also computed analogous results for n = 6, 7, 8, 9, 10. They are available, together with the software for computing volumes at [19].

6 Discussion

Theoretical studies of the neighbor-joining algorithm have focused on statistical consistency and the robustness of the algorithm to small perturbations of tree metrics. The paper by [20] established the consistency of NJ, that is, if D T is a tree metric then NJ outputs the tree T. This result was then extended in [15] and more recently by [18] who show that if D is "close" to a tree metric D T for some T, then NJ outputs T on input D.

Our results provide a different perspective on the NJ algorithm. Namely, we address the question of the accuracy of the greedy approach for the underlying linear programming problem of BME optimization. This led us to the study of BME polytopes, and the combinatorics of these polytopes is interesting in its own right:

Question 6.1

Is there a combinatorial criterion for two tree topologies forming an edge in the BME polytope, similar to pruning/re-grafting or some other operation on trees? If so, this could be used to define a combinatorial pivoting rule on tree space that could be used in hill-climbing algorithms for phylogenetic reconstruction. Such a pivoting rule would have the advantage that it would be equivalent to performing an edge-walk on the BME polytope. Edge-walking methods are known to perform well in practice for solving linear programs. See [21]for an example of a local search approach to finding minimum evolution trees.

Similarly, a better understanding of the combinatorics of the NJ cones will lead to a clearer view of the strengths and weaknesses of the neighbor-joining algorithm. A basic problem is the following:

Question 6.2

Find a combinatorial description of the NJ cones for general n. How many facets/rays are there?

Our computational results lend new insights into the performance of the NJ and BME algorithms for small trees. We have measured the relative sizes of cones for different shapes of trees, and measured the frequencies of all combinatorial types of discrepancies between BME and NJ trees. In particular, we have observed that the NJ algorithm is least likely to reproduce the BME tree when the BME tree is the caterpillar tree.

Conjecture 6.3

For n > 6, it is the caterpillar tree that yields the smallest ratio of spherical cone volumes vol(NJ BME)/vol(BME) where NJ is the spherical cone volume of a union of the NJ cones and BME is the spherical cone volume of the BME cone for a fixed tree. In other words, the caterpillar tree is the most difficult BME tree topology for the NJ algorithm to reproduce.

Another problem we believe is very important is to extend the results shown in Figure 4 to large trees. In other words, to understand how neighbor-joining can fail when it does not succeed in finding the balanced minimum evolution tree.

Question 6.4

What tree topologies is neighbor-joining likely to pick when it fails to construct the balanced minimum evolution tree?

There are many other interesting cones related to distance-based methods that can be considered in this context. For example, in [18], it is shown that the quartet consistency condition is sufficient for neighbor-joining to reconstruct a tree from a dissimilarity map for n ≤ 7 leaves. The quartet consistency conditions define polyhedral cones (consistency cones) in R ( n 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqWGUbGBaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3ABF@ ; see [18] for details. For n = 4 taxa the consistency cones cover all of R ( 4 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aaWbaaSqabeaadaqadaqaauaabeqaceaaaeaacqaI0aanaeaacqaIYaGmaaaacaGLOaGaayzkaaaaaaaa@3A50@ showing that quartet consistency explains the behavior of neighbor-joining for all dissimilarity maps. Using the second method outlined in Section 4 we succeeded in computing the volumes of the consistency cones intersected with the first orthant of the sphere for n = 5 taxa. There are 15 cones, all equivalent under orthogonal transformation, and their union covers 27.93% of R + ( 5 2 ) MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaWenfgDOvwBHrxAJfwnHbqeg0uy0HwzTfgDPnwy1aaceaGae83gHi1aa0baaSqaaiabgUcaRaqaamaabmaabaqbaeqabiqaaaqaaiabiwda1aqaaiabikdaYaaaaiaawIcacaGLPaaaaaaaaa@3B34@ , measured with respect to spherical volume. In other words, quartet consistency explains the behavior of neighbor-joining on almost 1 3 MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBaebbnrfifHhDYfgasaacPC6xNi=xH8viVGI8Gi=hEeeu0xXdbba9frFj0xb9qqpG0dXdb9aspeI8k8fiI+fsY=rqGqVepae9pg0db9vqaiVgFr0xfr=xfr=xc9adbaqaaeGaciGaaiaabeqaaeqabiWaaaGcbaqcfa4aaSaaaeaacqaIXaqmaeaacqaIZaWmaaaaaa@2E57@ of dissimilarity maps.

Such computations are pushing the boundary of computational polyhedral geometry. For n ≥ 6 taxa, triangulating a consistency cone is too unwieldy, although we are confident that spherical volumes could still be computed using polynomial time hit-and-run sampling methods for volume approximation [22]. Such methods are complicated and not yet implemented.

Finally, we comment on the example in Section 3 that shows how different alignments may lead to the same neighbor-joining tree, whereas the neighbor-joining tree constructed from a concatenation of the alignments is different. This result has significant implications for studies where species trees are constructed from multiple gene families by combining the data.

Declarations

Authors’ Affiliations

(1)
Department of Computer Science, Humboldt University
(2)
Department of Mathematics, University of California at Berkeley
(3)
Department of Statistics, University of Kentucky Lexington

References

  1. Saitou N, Nei M: The neighbor joining method: a new method for reconstructing phylogenetic trees. Mol Biol Evol. 1987, 4 (4): 406-425.PubMedGoogle Scholar
  2. Gascuel O, Steel M: Neighbor-joining revealed. Molecular Biology and Evolution. 2006, 23 (11): 1997-2000.PubMedView ArticleGoogle Scholar
  3. WHE Day: Computational complexity of inferring phylogenies from dissimilarity matrices. Bulletin of Mathematical Biology. 1987, 49 (4): 461-467.View ArticleGoogle Scholar
  4. Desper R, Gascuel O: Theoretical foundation of the balanced minimum evolution method of phylogenetic inference and its relationship to weighted least-squares tree fitting. Mol Biol Evol. 2004, 21 (3): 587-98.PubMedView ArticleGoogle Scholar
  5. Semple C, Steel M: Cyclic permutations and evolutionary trees. Applied Mathematics. 2003, 32: 669-680.Google Scholar
  6. Pachter L, Sturmfels B: Algebraic Statistics for Computational Biology. 2005, Cambridge University PressView ArticleGoogle Scholar
  7. Bryant D: On the uniqueness of the selection criterion in neighbor-joining. J Classif. 2005, 22: 3-15. 10.1007/s00357-005-0003-x.View ArticleGoogle Scholar
  8. Ziegler GM: Lectures on polytopes, Graduate Texts in Mathematics. 1995, 152: Springer-Verlag, New YorkView ArticleGoogle Scholar
  9. Schrijver A: Theory of Linear and Integer Programming. Wiley-Interscience Series in Discrete Mathematics. 1986, John Wiley & Sons Ltd., Chichester. A Wiley-Interscience PublicationGoogle Scholar
  10. Semple C, Steel M: Phylogenetics, Oxford Lecture Series in Mathematics and its Applications. 2003, 24: Oxford University Press, OxfordGoogle Scholar
  11. Eickmeyer K, Yoshida R: Geometry of neighbor-joining algorithm for small trees. Proceedings of the third international conference on Algebraic Biology. 2008Google Scholar
  12. Gawrilow E, Joswig M: Polymake: a framework for analyzing convex polytopes. Polytopes – Combinatorics and Computation. Birkhäuser. Edited by: Kalai G, Ziegler GM. 2000, 43-74.View ArticleGoogle Scholar
  13. Jukes TH, Cantor C: Evolution of protein molecules. Mammalian Protein Metabolism. Edited by: Munro HN. 1969, 21-32. New York Academic PressView ArticleGoogle Scholar
  14. Matsen FA, Steel M: Phylogenetic mixtures on a single tree can mimic a tree of another topology. Systematic Biology. 2007, 56 (5): 767-775.PubMedView ArticleGoogle Scholar
  15. Atteson K: The performance of neighbor-joining methods of phylogenetic reconstruction. Algorithmica. 1999, 25: 251-278. 10.1007/PL00008277.View ArticleGoogle Scholar
  16. Ota S, Li WH: NJML: A hybrid algorithm for the neighbor-joining and maximum likelihood methods. Molecular Biology and Evolution. 2000, 17 (9): 1401-1409.PubMedView ArticleGoogle Scholar
  17. Satô Q: Spherical simplicies and their polars. Quarterly J Math. 2007, 58: 107-126. 10.1093/qmath/hal008.View ArticleGoogle Scholar
  18. Mihaescu R, Levy D, Pachter L: Why neighbor-joining works. Algorithmica. 2007Google Scholar
  19. Huggins P: NJBMEVolume: Software for computing volumes. 2008, http://bio.math.berkeley.edu/NJBMEGoogle Scholar
  20. Studier JA, Keppler KJ: A note on the neighbor-joining method of Saitou and Nei. Mol Biol Evol. 1988, 5 (6): 729-731.PubMedGoogle Scholar
  21. Desper R, Gascuel O: Fast and accurate phylogeny reconstruction algorithms based on the minimum-evolution principle. Journal of Computational Biology. 2002, 687-705.Google Scholar
  22. Deshpande A, Rademacher L, Vemapla S, Wang G: Matrix approximation and projective clustering via volume sampling. Theory of Computing. 2006, 225-247.Google Scholar

Copyright

© Eickmeyer et al; licensee BioMed Central Ltd. 2008

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.