[論文レビュー] A note on convex characters and Fibonacci numbers

Steven Kelk|arXiv (Cornell University)|Aug 11, 2015

Genomics and Phylogenetic Studies参考文献 9被引用数 3

ひとこと要約

この論文は、n個の分岐種をもつ根のない2分岐系統樹の任意の凸文字の数が、木のトポロジーに依存せず、(2n−1)番目のフィボナッチ数に等しいことを確立している。さらに、各状態が少なくとも2つの分岐種に現れる凸文字の数が(n−1)番目のフィボナッチ数に等しいことも示しており、最大パリティス距離問題に対するより高速なアルゴリズムの実現を可能にした。その時間計算量はΘ(φⁿ · poly(n))であり、φは黄金比を表す。

ABSTRACT

Given an unrooted, binary phylogenetic tree T on a set of n >= 2 taxa, a closed expression for the number of convex characters on T has been known since 1992, and this is independent of the exact topology of T. Here we prove that this number is equal to the (2n-1)th Fibonacci number. Moreover, we show that the number of convex characters in which each state appears on at least two taxa, is also independent of topology, and equal to the (n-1)th Fibonacci number. We use this insight to give a simple but effective algorithm for the NP-hard maximum parsimony distance problem that runs in time $\Theta( \phi^{n} \cdot ext{poly}(n) )$, where $\phi \approx 1.618...$ is the golden ratio. Finally, we give an explicit example demonstrating that topological neutrality no longer holds when counting the number of convex characters in which each state appears on at least three taxa.

研究の動機と目的

• 根のない2分岐系統樹における凸文字の数が、木のトポロジーに依存するかどうかを特定すること。
• 凸文字の数をフィボナッチ数の閉形式で表現すること。
• フィボナッチ数に基づく列挙を用いて、NP困難な最大パリティス距離問題のための効率的アルゴリズムを開発すること。
• 各文字状態が少なくとも3つの分岐種に現れるという制約のもとでも、トポロジー不変性が保持されるかどうかを調査すること。

提案手法

• 根のない2分岐系統樹にn個の分岐種が存在する場合、その凸文字の数がトポロジーにかかわらず(2n−1)番目のフィボナッチ数に等しいことを証明する。
• 各状態が少なくとも2つの分岐種に現れる凸文字の数が、再びトポロジーに依存せず(n−1)番目のフィボナッチ数に等しいことを示す。
• フィボナッチ構造を活用して、最大パリティス距離問題の動的計画法アルゴリズムを設計し、時間計算量をΘ(φⁿ · poly(n))とする。
• 黄金比φ ≈ 1.618を用いて、探索空間の指数的増加を制限する。
• 文字状態と木構造の再帰的分解を用いて、フィボナッチ恒等式を導出する。
• 各状態が少なくとも3つの分岐種に現れる必要がある場合に、トポロジー不変性が成立しないことを示す具体的な反例を構築する。

実験結果

リサーチクエスチョン

• RQ1 根のない2分岐系統樹における凸文字の数は、そのトポロジーに依存しないか？
• RQ2 各状態が少なくとも2つの分岐種に現れる凸文字の数をフィボナッチ数として表現できるか？
• RQ3 各状態が少なくとも3つの分岐種に現れるという制約のもとでも、凸文字の数のトポロジー不変性は維持されるか？
• RQ4 フィボナッチ数に基づく列挙を用いて、系統的距離問題のためのより高速なアルゴリズムを設計できるか？
• RQ5 状態頻度制約下での凸文字の正確な組合せ的構造は何か？

主な発見

• 任意の根のない2分岐系統樹にn個の分岐種が存在する場合、その凸文字の数は、木のトポロジーにかかわらず正確に(2n−1)番目のフィボナッチ数に等しい。
• 各状態が少なくとも2つの分岐種に現れる凸文字の数は(n−1)番目のフィボナッチ数に等しく、この数値もトポロジー不変である。
• 最大パリティス距離問題のためのアルゴリズムは、時間計算量Θ(φⁿ · poly(n))で実行され、φ ≈ 1.618は黄金比を表す。
• 指数的要因φⁿは、フィボナッチ数の増加率と一致するため、最適である。
• 各状態が少なくとも3つの分岐種に現れる必要がある場合に、トポロジー不変性が崩れるという反例が構築された。
• フィボナッチ数に基づく特徴付けにより、さまざまな制約下での凸文字列挙のタイトな組合せ的境界が得られた。