[論文レビュー] A structure theorem for tree-based phylogenetic networks

Momoko Hayamizu|arXiv (Cornell University)|Nov 14, 2018

Evolution and Paleontology Studies被引用数 3

ひとこと要約

本稿は、最大の zig-zag パath 分解に基づく根付き二分型系統ネットワークの構造定理を導入し、主要な計算問題に対する統一的で効率的な解決策を可能にする。木に基づくネットワークの決定、数え上げ、列挙、最適化に関する線形時間または線形遅延のアルゴリズムを提供し、非二分型ネットワークへの拡張も含む。

ABSTRACT

Attempting to recognize a tree inside a phylogenetic network is a fundamental undertaking in evolutionary analysis. Therefore, the concept of tree-based phylogenetic networks, which was introduced by Francis and Steel, has attracted much attention of theoretical biologists in the last few years. In this context, spanning of a certain kind called trees play an essential role and there are many important computational problems about them, whose time complexity is still unclear. Against this backdrop, the present paper aims to provide a graph theoretical framework for solving different problems on subdivision in a simple and unified manner. To this end, we focus on a structure called the maximal zig-zag trail decomposition that is inherent in any rooted binary phylogenetic network $N$ and prove a structure theorem that characterizes the collection of all subdivision of $N$. Our theorem does not only imply and unify various results in the literature but also yield linear time (for enumeration, linear delay) algorithms for the following problems: given a rooted binary phylogenetic network $N$, 1) determine whether or not $N$ has a subdivision tree and find one if there exists any (decision/search problem); 2) compute the number of subdivision of $N$ (counting problem); 3) list all subdivision of $N$ (enumeration problem); and 4) find a subdivision tree to maximize or minimize a prescribed objective function (optimization problem). Importantly, the results and algorithms in this paper still hold true for some non-binary phylogenetic networks and this generalization gives a partial answer to an open question from Pons, Semple, and Steel. We also mention some statistical applications and further research directions.

研究の動機と目的

• 根付き二分型系統ネットワークにおける部分木の解析のための統一的グラフ理論的枠組みの構築。
• 木に基づくネットワークにおける基本的計算タスクの時間計算量に関する未解決問題の解消。
• 非二分型系統ネットワークへの結果の拡張により、文献における未解決問題への部分的解答を提示。
• 部分木に関する意思決定、数え上げ、列挙、最適化問題のための効率的アルゴリズムの提供。
• 統計的応用を支援し、進化的ネットワーク解析分野における今後の研究を導く。

提案手法

• 任意の根付き二分型系統ネットワークに内在する根本的構造的要素として、最大の zig-zag パス分解を導入。
• この分解を用いて、すべての部分木の集合を特徴付ける構造定理を証明。
• この分解を用いて、既存の木に基づくネットワークに関する複数の結果をグラフ理論的枠組みで統一的かつ一般化。
• 部分木の存在に関する意思決定および探索問題のための線形時間アルゴリズムを設計。
• すべての部分木を効率的に列挙する線形遅延の列挙アルゴリズムを開発。
• この枠組みを非二分型ネットワークへ拡張し、アルゴリズムの効率性と正しさを維持。

実験結果

リサーチクエスチョン

• RQ1 根付き二分型系統ネットワークにおけるすべての部分木の集合をどのように体系的に特徴付けることができるか？
• RQ2 すべての部分木を列挙する計算量はどの程度で、線形遅延で解けるか？
• RQ3 系統ネットワークにおける部分木の数え上げおよび最適化のための効率的アルゴリズムを開発できるか？
• RQ4 この枠組みを非二分型系統ネットワークへどの程度一般化できるか？
• RQ5 どのようなネットワークの構造的性質が部分木の存在を保証するか？

主な発見

• 最大の zig-zag パス分解は、根付き二分型系統ネットワークにおけるすべての部分木の完全な構造的特徴付けを提供する。
• 構造定理は、木に基づくネットワークに関する文献に登場する複数の先行結果を統一的かつ一般化する。
• 部分木の存在の判定および存在する場合の探索のための線形時間アルゴリズムが開発された。
• すべての部分木を列挙する線形遅延の列挙アルゴリズムが提供された。
• 部分木の数え上げが効率的に可能であり、任意の目的関数に関する最適化も可能である。
• 結果は非二分型系統ネットワークへも拡張され、Pons, Semple, および Steel が提起した未解決問題に対する部分的解決を提供する。