[論文レビュー] Phylogenetic Algebraic Geometry

Nicholas Eriksson, Kristian Ranestad+2 more|ArXiv.org|Jul 2, 2004

Genome Rearrangement Algorithms参考文献 20被引用数 51

ひとこと要約

本稿では、系統発生木から生じる代数的概形としての系統発生的代数幾何学を提唱する。分子進化の確率モデルは、パラメータ空間から単体への多項式写像として表現される。この研究では、トーリック、行列式、およびセカント概形との関係を確立し、系統発生木に関連する代数幾何学の基礎的問題、特にモデルの閉包、トロピカル幾何学、および不変量の分野で提起する。

ABSTRACT

Phylogenetic algebraic geometry is concerned with certain complex projective algebraic varieties derived from finite trees. Real positive points on these varieties represent probabilistic models of evolution. For small trees, we recover classical geometric objects, such as toric and determinantal varieties and their secant varieties, but larger trees lead to new and largely unexplored territory. This paper gives a self-contained introduction to this subject and offers numerous open problems for algebraic geometers.

研究の動機と目的

• 系統発生木に基づく分子進化の統計的モデルの代数的幾何学的枠組みを厳密に確立すること。
• 特に小さな木に対して、進化モデルから生じる代数的概形を特定し分類すること。
• 確率的進化モデルを多項式写像および複素射影空間におけるその閉包に翻訳することで、代数幾何学と系統発生学を橋渡しすること。
• これらの系統発生的概形の構造に由来する代数幾何学における一連の未解決問題を提起すること。
• 線形的、二次的、行列式的、局所的、軌道的など、閉包操作の役割が系統発生的モデルの代数的構造を理解する上でどのように寄与するかを検討すること。

提案手法

• パラメータとして根分布とエッジ遷移行列を含む、ℂ^N → ℂ^{k^n} という多項式写像 φ として進化をモデル化する。
• 実確率制約を複素射影空間におけるザリスキ閉包に置き換えることで、モデルを複素化する。
• 端の同時確率をパラメータの多重線形単項式として表現し、多項式写像を構成する。
• この写像の像を複素射影代数的概形 X_ℂ とし、その定義イデアルを分析する。
• セカント概形、行列式イデアル、トロピカル化などの代数幾何学的手法を用いて、モデル構造を分析する。
• 線形的、二次的、行列式的、局所的、軌道的など、閉包作用を調べ、概形のイデアルを理解し、モデルを区別する。

実験結果

リサーチクエスチョン

• RQ1 系統発生的モデルの代数的構造（例えば、トーリック、行列式的、セカント概形）は、木のトポロジーと状態数にどのように依存するか？
• RQ2 系統発生的概形のトロピカル化と、その背後にあるモデルのトロピカル幾何学の関係は何か？
• RQ3 系統発生的概形のイデアルは、行列式的または二次的関係によって完全に記述可能か？また、これらが十分であるのはいつか？
• RQ4 異なる木から生じる概形の交わりの既約成分は、どのように進化的関係を反映するか？
• RQ5 ザリスキ閉包の次元と構造は何か？また、ジュース・カンター・モデルのセカント概形は期待される次元を持つのか？

主な発見

• 小さな木に対しては、系統発生的モデルが、ヴェロネーゼ、セグレ、およびトーリック概形といった古典的代数的概形を生成する。
• 二分木におけるジュース・カンター・モデルは、適切な座標系においてトーリック概形であることが示され、代数的および組合せ論的解析が可能になる。
• 系統発生的モデルのセカント概形は、しばしば期待される次元を持たないことが判明し、非自明な代数的構造を示している。
• 行列式的関係は、概形のイデアル内での不変量を記述する強力で計算的に有効な方法を提供する。
• トロピカル幾何学の応用により、パrametric推論と木モデルの組合せ論的構造との深い関係が明らかになった。
• 8葉以下の木に対しては、線形的および二次的不変量を明示的に計算可能であり、モデル選択および同定のためのツールが得られる。