[論文レビュー] The Bergman complex of a matroid and phylogenetic trees

Federico Ardila, Carly Klivans|ArXiv.org|Nov 21, 2003

Advanced Combinatorial Mathematics参考文献 10被引用数 5

ひとこと要約

本稿では、Sturmfelsの提唱に従い、マトロイドのバーグマン複体と系統発生樹の間の幾何的関係を確立する。具体的には、完全グラフ $K_n$ のバーグマンファンが、系統発生樹空間 ${\cal T}_n$ に位相的に同相であることを証明する。さらに、$M$ のフラット格子の順序複体が、バーグマン複体の分割として実現されることを示し、マトロイド論と木空間の位相の間に深い関係が存在することを明らかにする。

ABSTRACT

We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.

研究の動機と目的

• Sturmfelsが示唆したように、マトロイドのバーグマン複体の幾何的・組合せ的・位相的構造を調査すること。
• バーグマンの予想である、対数的極限集合の多面体的性質とそのホモトピー型を解明すること。
• 系統発生樹空間と完全グラフ $K_n$ のグラフィカルマトロイドのバーグマンファンとの間の位相的関係を明確にすること。
• バーグマン複体の分割を通じて、フラット格子の順序複体の新しい組合せ的実現を与えること。

提案手法

• マトロイド $M$ のバーグマン複体 $\mathcal{B}(M)$ を、すべての非負重みベクトル $\omega$ の集合として定義する。ここで、$\omega$ による最小重み基底が真の部分複体をなす。
• マトロイド多面体と貪欲法を用いて、与えられた重みベクトル $\omega$ に対する最小重み基底 $M_\omega$ を特徴づけ、これがマトロイドをなすことを示す。
• フラットのフラッグ $\mathcal{F}(\omega)$ によって定義される重みクラスを導入し、$M_\omega$ が $\mathcal{F}$ のみに依存すること、すなわち $M_\mathcal{F}$ と表されることを示す。
• 適切に分割されたバーグマン複体が、フラット格子の真部分の順序複体の幾何的実現であることを証明する。
• 超距離と木の型の対応を用いて、$\widetilde{\mathcal{B}}(K_n)$ と系統発生樹空間 ${\cal T}_n$ の間に位相同相を確立する。
• 原点のリンクが分割格子 $\Pi_n$ の順序複体に一致することを用い、この複体が木空間のリンク $T_n$ の分割であることを示す。

実験結果

リサーチクエスチョン

• RQ1 マトロイドのバーグマン複体は、有限かつ純粋な多面体複体か？ その位相的構造は？
• RQ2 マトロイドのフラット格子の順序複体は、バーグマン複体の分割として幾何的に実現可能か？
• RQ3 完全グラフ $K_n$ のバーグマンファンは、系統発生樹空間 ${\cal T}_n$ に位相的に同相か？
• RQ4 最小重み基底の組合せ的構造は、バーグマン複体の幾何にどのように関係するか？
• RQ5 分割格子 $\Pi_n$ の順序複体と、系統発生樹空間における原点のリンクとの正確な関係は？

主な発見

• ランク $r$ のマトロイド $M$ のバーグマン複体 $\mathcal{B}(M)$ は、有限かつ純粋な多面体複体であり、$(r-2)$ 次元の球のワッペンにホモトピー同値である。
• 適切に分割されたマトロイド $M$ のバーグマン複体は、$M$ のフラット格子の真部分の順序複体の幾何的実現である。
• 完全グラフ $K_n$ のバーグマンファン $\widetilde{\mathcal{B}}(K_n)$ は、系統発生樹空間 ${\cal T}_n$ に位相的に同相であり、直接的な位相的対応が確立される。
• $\widetilde{\mathcal{B}}(K_n)$ の細かい分割における原点のリンクは、分割格子 $\Pi_n$ の真部分の順序複体であり、これは系統発生樹空間における原点のリンク $T_n$ の分割である。
• 系統発生樹空間からバーグマンファンの粗い分割への写像は、線形かつ折りたたみ可能な線形同相写像であり、木の型と組合せ的構造を保存する。
• 分割格子 $\Pi_n$ の順序複体と空間 $T_n$ のホモトピー型は、いずれも $(n-1)!$ 個の $(n-3)$ 次元球のワッペンに一致する。