[論文レビュー] Tropical Convexity

Mike Develin, Bernd Sturmfels|arXiv (Cornell University)|Aug 27, 2003

Synthetic Organic Chemistry Methods被引用数 236

ひとこと要約

この論文は、トロピカル幾何学におけるトロピカル凸性とトロピカルポリトープを導入し、それらの組合せ的型と2つの単体の積の正則三角形分割との間の全単射を確立する。これらの概念は系統発生木への応用がなされているが、単射的包の関する定理29および推論30は誤りであり、誤植訂正がなされた。

ABSTRACT

The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications to phylogenetic trees are discussed. Theorem 29 and Corollary 30 in the paper, relating tropical polytopes to injective hulls, are incorrect. See the erratum at this http URL .

研究の動機と目的

• トロピカル幾何学の文脈における凸性および凸ポリトープの概念を形式化すること。
• 2つの単体の積の正則三角形分割とトロピカルポリトープの組合せ的型との間の対応を確立すること。
• トロピカル凸性の系統発生木の研究への応用を探索すること。
• 組合せ的および幾何的技法を用いてトロピカルポリトープの構造的性質を分析すること。
• トロピカル幾何学における単射的包に関する以前の主張に存在する誤りを特定し、修正すること。

提案手法

• トロピカル半体の算術における最小演算を用いてトロピカル凸包を定義する。
• トロピカルポリトープを有限個のトロピカル半空間の共通部分集合として特徴付ける。
• 2つの単体の積の正則三角形分割を用いて、トロピカルポリトープの組合せ的型を分類する。
• 代数幾何学および離散幾何学の技法を用いて、三角形分割と多面体的構造との関係を関係づける。
• トロピカル凸性を定義する基礎的な代数的構造として、トロピカル半体 (R ∪ {∞}, min, +) を用いる。
• トロピカルポリトープと単体のミンコフスキー和の混合分割との双対性を活用する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてトロピカル幾何学における凸性の概念を一般化できるか？
• RQ2 トロピカルポリトープの組合せ的構造は何か。また、その分類はどのように可能か？
• RQ3 トロピカルポリトープと2つの単体の積の正則三角形分割との間にはどのような関係があるか？
• RQ4 トロピカルポリトープは系統発生木の幾何学とどのように関係するか？
• RQ5 トロピカルポリトープの文脈における単射的包の正しい構造的性質は何か？

主な発見

• トロピカルポリトープの組合せ的型は、2つの単体の積の正則三角形分割と一対一対応する。
• トロピカル凸性は、多面体的構造を通じて系統発生木空間を研究する自然な枠組みを提供する。
• 本論文は、トロピカルポリトープと単射的包との関係を示す定理29および推論30が誤りであると特定した。
• 定理29および推論30における誤った主張を是正する誤植訂正が発行された。
• トロピカルポリトープと三角形分割の対応関係は、トロピカル凸集合の組合せ的分類ツールを提供する。
• 結果として、多面体的組合せ論を通じてトロピカル幾何学と離散幾何学との間の基礎的リンクが確立された。