[論文レビュー] Markov invariants, plethysms, and phylogenetics ∗

Jeremy G. Sumner, Michael Charleston+2 more|arXiv (Cornell University)|Nov 22, 2007

Evolution and Paleontology Studies参考文献 76被引用数 1

ひとこと要約

この論文は、表現論を用いて導出される群不変多項式であるマルコフ不変量——を、系統樹推定の基盤的枠組みとして導入する。ペリスミーと群表現論を活用することで、任意の種の数と状態数に対して不変量を構成する一般的な手法を提供し、最も単純な不変量が対数行列式距離の根拠をなしていることを示し、3種および4種の系統樹におけるその有用性を提示する。

ABSTRACT

We explore model-based techniques of phylogenetic tree inference exercising Markov invariants. Markov invariants are group invariant polynomials and are distinct from what is known in the literature as phylogenetic invariants, although we establish a commonality in some special cases. We show that the simplest Markov invariant forms the foundation of the Log-Det distance measure. We take as our primary tool group representation theory, and show that it provides a general framework for analyzing Markov processes on trees. From this algebraic perspective, the inherent symmetries of these processes become apparent, and focusing on plethysms, we are able to define Markov invariants and give existence proofs. We give an explicit technique for constructing the invariants, valid for any number of character states and taxa. For phylogenetic trees with three and four leaves, we demonstrate that the corresponding Markov invariants can be fruitfully exploited in applied phylogenetic studies. ∗ This is the “long version ” that includes an extended introduction, a subsection on mixed-weight invariants, a third

研究の動機と目的

• マルコフ不変量を用いた系統樹推定のための一般化された代数的枠組みを構築すること。
• マルコフ不変量と系統樹不変量の違いを明確にし、特定の状況では共通する点を特定すること。
• 最も単純なマルコフ不変量が対数行列式距離測定の根拠をなしていることを確立すること。
• 3葉および4葉の系統樹における、マルコフ不変量の実用的有用性を応用系統学的文脈で示すこと。
• 任意の状態数および種の数に適用可能な、明示的かつ一般化されたマルコフ不変量の構成技術を提供すること。

提案手法

• 系統樹上のマルコフ過程の対称性を分析する中心的ツールとして、群表現論を用いる。
• ペリスミー分解を適用して、表現論的枠組み内でのマルコフ不変量の定義と存在の証明を行う。
• テンソル積の分解と基礎となる群作用の対称性を考慮して、マルコフ不変量を明示的に構成する。
• 対数行列式距離を、最も単純なマルコフ不変量の直接的結果として導出する。
• 3葉および4葉の系統樹を分析するためのフレームワークを適用し、不変量が実際の推定にどう利用できるかを示す。
• 任意の状態数および種の数に適用可能な手法を提示し、従来の手法を一般化する。

実験結果

リサーチクエスチョン

• RQ1 マルコフ不変量は既存の系統樹不変量とどのように関係しており、どのような場合に一致するのか？
• RQ2 群表現論は、系統樹上のマルコフ過程における対称性を統合的に理解する枠組みを提供できるか？
• RQ3 対数行列式距離の背後にある代数的構造は何か？ そして、マルコフ不変量からどのように導かれるのか？
• RQ4 任意の種の数および状態数に対して、マルコフ不変量を体系的にどのように構成できるか？
• RQ5 3葉または4葉の小規模な系統樹において、マルコフ不変量は系統樹推定をどの程度向上させ得るか？

主な発見

• マルコフ不変量は古典的系統樹不変量とは異なる群不変多項式であるが、特定の状況では一致する。
• 最も単純なマルコフ不変量は、対数行列式距離測定の基礎と数学的に同等である。
• 群表現論は、系統樹上のマルコフ過程を分析する一般的かつ体系的な枠組みを提供する。
• ペリスミー分解は、マルコフ不変量の定義と存在の証明において中心的な役割を果たす。
• 任意の種の数および状態数に適用可能な明示的かつ一般化されたマルコフ不変量の構成法が開発された。
• 3種および4種の系統樹において、マルコフ不変量が応用系統学的研究において実用的に有用であることが示された。