[論文レビュー] Phylogenetic ideals and varieties for the general Markov model

Elizabeth S. Allman, John A. Rhodes|ArXiv.org|Oct 28, 2004

Advanced Combinatorial Mathematics参考文献 18被引用数 12

ひとこと要約

この論文は、任意の2進系統発生樹における2状態一般マルコフモデルに対して、系統的不変量の完全な素イデアルが、各内部枝に沿った連鎖確率テンソルの2次元フラットネイングの3×3小行列式によって生成されることを証明した。主な手法は、3種分岐の多様体がその埋め込み空間（ℙ⁷）を埋め尽くすという事実に依拠しており、これにより行列作用とフラットネイング操作を用いた帰納的議論が可能となり、最終的に枝に基づく不変量が多様体全体を定義することを示した。

ABSTRACT

The general Markov model of the evolution of biological sequences along a tree leads to a parameterization of an algebraic variety. Understanding this variety and the polynomials, called phylogenetic invariants, which vanish on it, is a problem within the broader area of Algebraic Statistics. For an arbitrary trivalent tree, we determine the full ideal of invariants for the 2-state model, establishing a conjecture of Pachter-Sturmfels. For the $κ$-state model, we reduce the problem of determining a defining set of polynomials to that of determining a defining set for a 3-leaved tree. Along the way, we prove several new cases of a conjecture of Garcia-Stillman-Sturmfels on certain statistical models on star trees, and reduce their conjecture to a family of subcases.

研究の動機と目的

• 任意の2進系統発生樹における一般マルコフモデルの系統的不変量の完全な素イデアルを特定すること。
• PachterとSturmfelsの予想13（2状態モデルにおいて、枝のフラットネイングの3×3小行列式が完全な不変量イデアルを生成するという主張）を解決すること。
• κ状態モデルの不変量を求める問題を3葉の木のケースに還元し、一般分類問題を単純化すること。
• スターツリーの統計的モデルに関するGarcia-Stillman-Sturmfelsの予想の新しいケースを証明し、全予想を有限個の部分ケースに還元すること。

提案手法

• κ=2のとき、3種分岐の多様体V(T₃)がその埋め込み空間ℙ⁷を埋め尽くすという事実に着目し、κ>2とは異なる特別な代数的構造を活用する。
• 系統数に関する帰納的議論を用い、木TₙをTₙ₋₁*T₃に分解し、aₙ₋₁とaₙがチェリーを形成するようにする。
• 連鎖確率テンソルPに対して行列フラットネイング操作を適用し、内部枝の片側の系統を1つのグループとして扱ってPを行列とみなす。
• チェリー構造を介してGL(4,ℂ)の作用を多様体に適用し、Lemma 12を用いて異なる木のサイズにおけるイデアルを関連付ける。
• フラットネイングのランク条件を用いて、f(Flatₑ(P)*B)の形をした多項式が3×3小行列式によって生成されるイデアルに属することを示すことで、イデアル属性問題を簡略化する。
• 多様体CV(Tₙ)が行列乗法に関して閉じていることを利用し、イデアルが枝に基づく不変量によって生成されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 2状態一般マルコフモデルが任意の2進系統発生樹に適用される場合、各内部枝に沿った2次元フラットネイングの3×3小行列式の集合が、完全な素イデアルを生成するか？
• RQ2 κ状態モデルの不変量イデアルを求める問題は、3葉の木のケースに還元可能か？
• RQ3 3系統分岐多様体V(T₃)の2次元フラットネイングから生じる不変量は、PachterとSturmfelsの予想通り、2状態モデルの完全なイデアルを生成するか？
• RQ4 κ>2の場合、一般マルコフモデルの系統的多様体の構造はどのようなものか？また、κ=2の場合とどのように異なるか？
• RQ5 スターツリーの統計的モデルに関するGarcia-Stillman-Sturmfelsの予想は、特定の部分ケースで証明可能か？そのような部分ケースは何か？

主な発見

• 任意の2進n系統木における2状態一般マルコフモデルの完全な素イデアルは、各内部枝に沿った連鎖確率テンソルの2次元フラットネイングの3×3小行列式によって生成される。
• κ=2のとき、3系統分岐木T₃の多様体V(T₃)はその埋め込み空間ℙ⁷を埋め尽くす。これは帰納的議論を可能にする重要な構造的性質である。
• 任意の2進木Tₙに対して、多様体CV(Tₙ)はCV(Tₙ₋₁) × M(4,ℂ)の行列乗法による像の閉包として得られる。これにより、証明における帰納的ステップが可能になる。
• κ状態モデルの不変量イデアルは、3葉の木の不変量の研究に還元可能であり、分類問題を著しく単純化する。
• 本論文は、スターツリーのモデルに関するGarcia-Stillman-Sturmfelsの予想の新しいケースを証明し、全予想を有限個の部分ケースに還元した。
• 本手法により、イデアル内のすべての不変量が枝に基づく3×3小行列式の組み合わせとして表現可能であることが示され、PachterとSturmfelsの2状態モデルに関する予想が確認された。