[論文レビュー] The moduli space of n tropically collinear points in R^d

Mike Develin|ArXiv.org|Jan 19, 2004

Polynomial and algebraic computation参考文献 3被引用数 5

ひとこと要約

この論文は、$\mathbb{R}^d$ 内の $n$ 個のトロピカルな同一直線上にある点のモジュライ空間を研究し、$d=3$ の場合に $n \times d$ 行列のトロピカルランク2の単体的複体がシェーラブルであることを示し、そのホモロジーを計算している。さらに、バーヴィノクランク2の行列の部分複体を分析し、そのホモロジーが周期的かつ有界であることを証明し、座標毎の規則に従って交わる「図像クラス」による組み合わせ的分解を提供している。これらの結果は系統発生学および最適化に応用される可能性がある。

ABSTRACT

The tropical semiring (R, min, +) has enjoyed a recent renaissance, owing to its connections to mathematical biology as well as optimization and algebraic geometry. In this paper, we investigate the space of labeled n-point configurations lying on a tropical line in d-space, which is interpretable as the space of n-species phylogenetic trees. This is equivalent to the space of d by n matrices of tropical rank two, a simplicial complex. We prove that this simplicial complex is shellable for dimension d=3 and compute its homology in this case, conjecturing that this complex is shellable in general. We also investigate the space of d by n matrices of Barvinok rank two, a subcomplex directly related to optimization, giving a complete description of this subcomplex in the case d=3.

研究の動機と目的

• $\mathbb{R}^d$ 内のトロピカル直線上に位置する $n$ 点配置の幾何学的・位相的構造を理解すること。これは $n$ 種の系統発生樹をモデル化する。
• $n \times d$ 行列のトロピカルランク2の単体的複体を分析し、$d=3$ の場合にシェーラブルであることを示し、そのホモロジーを計算すること。
• 最適化に現れるバーヴィノクランク2の行列からなる部分複体を調査し、そのホモロジーに非自明な torsion 項があることを見ること。
• バーヴィノクランク2の複体を「図像クラス」と呼ばれる、予測可能な交差規則に従う組み合わせ的型に分解すること。
• 一般の $d$ に対してトロピカルランク2の複体がシェーラブルであるという予想を提示し、$n$ が増加してもバーヴィノクランク2の複体のホモロジーが複雑さの面で有界のまま保たれることを示唆すること。

提案手法

• $\mathbb{R}^d$ 内のトロピカル直線上の $n$ 組の点の空間を、トロピカルランク2の $n \times d$ 行列の集合として表現し、平行移動およびスケーリングの下で同値とみなす。
• 退化した対称性を除去するため、トロピカル射影空間 $\mathbb{TP}^{d-1} = \mathbb{R}^d / (1,\ldots,1)\mathbb{R}$ を用いる。
• 直線と点の配置の組み合わせ的構造に基づいて、モジュライ空間の図的分解を「図像クラス」として行う。
• 行列の各成分ごとの交差規則を定義し、最大の共通部分図像を計算するテーブルを用いる。
• シェーラブル性の技法を適用し、$d=3$ の場合にトロピカルランク2の複体がシェーラブルであることを証明する。
• $d=3$ の場合にバーヴィノクランク2の複体 $B_{d,n}$ の非還元ホモロジーを計算し、$H_\star(B_{3,4}) = (0, \mathbb{Z}/2, 0, \mathbb{Z}/2, 0, \mathbb{Z})$ および $H_\star(B_{4,6}) = (0, \mathbb{Z}/2, 0, 0, \mathbb{Z}/2, 0, \mathbb{Z})$ を得た。

実験結果

リサーチクエスチョン

• RQ1 一般の $d$ に対して、$n \times d$ 行列のトロピカルランク2の単体的複体はシェーラブルか？
• RQ2 $\mathbb{R}^d$ 内のトロピカル直線上の $n$ 組の点の空間のホモロジーは何か？
• RQ3 バーヴィノクランク2の部分複体は、完全なトロピカルランク2の複体と位相的にどのように異なるか？
• RQ4 バーヴィノクランク2の複体は、$n$ に依存しない有限個の組み合わせ的型に分解可能か？
• RQ5 $n$ が増加しても、バーヴィノクランク2の複体のホモロジーの複雑さは有界のまま保たれるか？

主な発見

• $d=3$ の場合に、$n \times d$ 行列のトロピカルランク2の単体的複体がシェーラブルであることを示し、一般の場合にシェーラブルであるという予想を支持する。
• バーヴィノクランク2の複体 $B_{3,4}$ の非還元ホモロジーは $H_\star(B_{3,4}) = (0, \mathbb{Z}/2, 0, \mathbb{Z}/2, 0, \mathbb{Z})$ である。
• $d=4$, $n=6$ の場合、$B_{4,6}$ の非還元ホモロジーは $H_\star(B_{4,6}) = (0, \mathbb{Z}/2, 0, 0, \mathbb{Z}/2, 0, \mathbb{Z})$ である。
• $d=4$ の場合、バーヴィノクランク2の複体 $B_{d,n}$ は12個の図像クラスに分解可能であり、それぞれがブリッジを持つ木上の点の配置の組み合わせ的型に対応する。
• 任意の2つの図像クラスの交差は、それらの文字列の成分ごとの交差に従い、その後、$C$ が存在する場合には $A$, $B$, $3$ を $C$ に置き換える規則が適用される。
• $B_{d,n}$ に含まれる図像クラスの数は $n$ に依存しないため、$B_{d,n}$ のホモロジーが $n$ に従って複雑さが増加しないことが示唆される。