[論文レビュー] Why neighbor-joining works

Radu Mihaescu, Dan Lévy+1 more|ArXiv.org|Feb 10, 2006

Transportation and Mobility Innovations参考文献 23被引用数 9

ひとこと要約

この論文は、距離行列からの系統樹再構成において、近隣結合法が距離行列の加法性が満たされない場合でも、安定した四分木手法であることを確立している。アテソンの最適半径基準を満たさない場合でも成功することを証明し、アテソンの境界を一般化する新しい性能保証を提示するとともに、アテソンの最適エッジ半径に関する予想を証明し、大規模な系統樹、特に高速近隣結合法を用いた場合の有効性を裏付けている。

ABSTRACT

We show that the neighbor-joining algorithm is a robust quartet method for constructing trees from distances. This leads to a new performance guarantee that contains Atteson's optimal radius bound as a special case and explains many cases where neighbor-joining is successful even when Atteson's criterion is not satisfied. We also provide a proof for Atteson's conjecture on the optimal edge radius of the neighbor-joining algorithm. The strong performance guarantees we provide also hold for the quadratic time fast neighbor-joining algorithm, thus providing a theoretical basis for inferring very large phylogenies with neighbor-joining.

研究の動機と目的

• アテソンの理論的最適性条件を満たさないにもかかわらず、実際の応用で近隣結合法がうまく機能する理由を説明すること。
• アテソンの最適半径境界を拡張する、近隣結合法の新しい性能保証を確立すること。
• 近隣結合法の最適エッジ半径に関するアテソンの予想を証明すること。
• 理論的保証が、非常に大規模な系統樹推定に適応可能な高速近隣結合法に対しても成り立つことを示すこと。

提案手法

• 非加法的距離行列における近隣結合法の挙動を分析することで、近隣結合法を安定な四分木手法として形式化すること。
• 近隣結合法が摂動下でも正しい木を再構成する条件を特徴付ける新しい一貫性定理（定理16）を導入すること。
• 四分木の平均化論法を用いて、個々の四分木が加法的でない場合でも、全体の木再構成が正確に保たれることを示すこと。
• 四点条件を適用して、凝集後の縮小距離行列が特定の摂動下ではいかなる木距離にも近くならないことを証明し、アテソンの予想の帰納的証明を無効にすること。
• 20種の系統樹を35本、1本あたり100のアラインメント、配列長は100〜10,000 bpのシミュレーションを実施し、加法性、一貫性、アテソンの基準をテストすること。
• w行列を計算し、近隣結合法の結果と真の木を比較することで、さまざまな配列長における再構成精度を評価すること。

実験結果

リサーチクエスチョン

• RQ1 距離行列がアテソンの最適半径条件を満たさない場合でも、近隣結合法がなぜ実際の応用で成功するのか？
• RQ2 アテソンの最適半径境界を拡張する、近隣結合法の性能保証を導出できるか？
• RQ3 近隣結合法の最適エッジ半径に関するアテソンの予想は、実際に証明可能か？
• RQ4 四分木の加法性と一貫性は、なぜシミュレーションで近隣結合法の成功を説明できるのか？
• RQ5 近隣結合法の理論的保証は、大規模な系統ゲノム解析に適応可能な高速近隣結合法に対しても拡張可能か？

主な発見

• 近隣結合法は、四分木の多くが一貫性があり加法的であれば、すべてがそうである必要がなく、正しい木を再構成できる安定な四分木手法である。
• 本論文は、アテソンの最適エッジ半径に関する予想を証明し、距離推定値が最小エッジ長の半分以内であれば、近隣結合法が正しい木を再構成できることを示した。
• 提示された性能保証は、アテソンの最適半径境界を一般化しており、アテソンの条件を満たさない場合でも近隣結合法が成功する理由を説明している。
• シミュレーションの結果、配列長が100 bpでも四分木の加法性と一貫性の条件がそれぞれ99%以上、94%以上で満たされていることが判明し、アテソンの基準が満たされない場合でも成立する。
• 近隣結合法の理論的保証は、高速近隣結合法に対しても成り立つことが示され、非常に大規模な系統樹の推定に理論的根拠を与える。
• 距離行列が木距離からβ/4以内にあるが、凝集後の縮小行列がいかなる木距離からもβ/4以上離れている例を構成した。この例は、アテソンの予想の帰納的証明を無効にしている。