[論文レビュー] Enumerating Polytropes

Ngoc Mai Tran|arXiv (Cornell University)|Oct 8, 2013

Polynomial and algebraic computation参考文献 15被引用数 4

ひとこと要約

本稿は、多様体的かつ通常の多面体である tropical projective space $\mathbb{TP}^{n-1}$ 内のフル次元的かつ最大の多極体の tropical 型を列挙する、Gröbner ファンに基づく新規なアプローチを提示する。多極体写像ファンの精錬と双方向二項式ファンを活用し、tropical 型と双方向および三角形二項式の整合的集合との間の全単写像を確立する。これにより、計算が効率化され、$n=4$ に対して1013個、$n=5$ に対して27,248個の最大型が得られ、tropical 幾何学における重要な未解決問題が解決される。

ABSTRACT

Polytropes are both ordinary and tropical polytopes. We show that tropical types of polytropes in $\mathbb{TP}^{n-1}$ are in bijection with cones of a certain Gröbner fan $\mathcal{GF}_n$ in $\mathbb{R}^{n^2 - n}$ restricted to a small cone called the polytrope region. These in turn are indexed by compatible sets of bipartite and triangle binomials. Geometrically, on the polytrope region, $\mathcal{GF}_n$ is the refinement of two fans: the fan of linearity of the polytrope map appeared in \cite{tran.combi}, and the bipartite binomial fan. This gives two algorithms for enumerating tropical types of polytropes: one via a general Gröbner fan software such as extsf{gfan}, and another via checking compatibility of systems of bipartite and triangle binomials. We use these algorithms to compute types of full-dimensional polytropes for $n = 4$, and maximal polytropes for $n = 5$.

研究の動機と目的

• フル次元的多極体の tropical 型を $\mathbb{TP}^{n-1}$ で体系的に列挙するための方法を提供すること。
• 全探索による Gröbner ファンの列挙が計算的に不可能であるのを回避するため、多極体領域に制限すること。
• 多極体の tropical 型と双方向および三角形二項式の整合的集合との間の全単写像を確立すること。
• $\mathbb{TP}^3$ 内のフル次元的多極体の組合せ的 tropical 型の数と、$\mathbb{TP}^4$ 内の最大多極体の組合せ的 tropical 型の数を計算すること。
• 多極体の列挙の根拠となる双方向単項式の整合性を特徴づける問題を解決すること。

提案手法

• 多極体の tropical 型が、多極体領域 $\mathcal{P}_n$ に制限された Gröbner ファン $\mathcal{GF}_n$ のコーンと一対一対応することを示す。
• 制限されたファングループ $\mathcal{GF}_n|_{\mathcal{P}_n}$ が、多極体写像 $\mathcal{P}_n$ の線形性ファングループと双方向二項式ファングループ $\mathcal{BB}_n$ の両方のファングループの精錬に等しいことが証明される。
• 双方向二項式ファングループ $\mathcal{BB}_n$ は、バraid配置に同型なファングループの精錬として構成され、双方向二項式によって定義される超平面を含む。
• 双方向および三角形二項式の集合の整合性が、tropical 型をインデックス化する組合せ的基準として用いられ、完全な Gröbner ファン計算の代わりに用いられる。
• 2つのアルゴリズムが提案される：1つは一般の Gröbner ファンソフトウェア（例：gfan）を多極体領域に制限して使用するもので、もう1つは二項式系の整合性を検査するものである。
• 計算を削減するために対称性を活用し、gfan の出力と組合せ的数え上げの一致によって結果の検証がなされる。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学的ツールを用いて、小次元を超えて多極体の tropical 型を体系的に列挙する方法は何か？
• RQ2 多様体的かつ通常の多面体である $\mathbb{TP}^{n-1}$ 内の多極体の tropical 型の背後にある正確な組合せ的構造は何か？
• RQ3 Gröbner ファン $\mathcal{GF}_n$ は多極体領域にどのように制限され、その幾何学的・組合せ的構造はどのようなものか？
• RQ4 制限されたファングループ内の空でないコーンに対応する双方向および三角形二項式の集合の整合性を保証する条件は何か？
• RQ5 最大多極体の tropical 型の数は、効率的に計算可能か？また、$n=5$ の場合の値は何か？

主な発見

• $\mathbb{TP}^3$ 内のフル次元的多極体の tropical 型は、1013個の異なる組合せ的型として列挙され、gfan と組合せ的精錬の両方で確認された。
• $n=5$ の場合、$\mathbb{TP}^4$ 内の最大多極体の組合せ的 tropical 型は27,248個であり、二項式系の整合性条件を用いて計算された。
• 制限された Gröbner ファン $\mathcal{GF}_n|_{\mathcal{P}_n}$ は、正確に多極体写像ファングループ $\mathcal{P}_n$ と双方向二項式ファングループ $\mathcal{BB}_n$ の精錬に等しく、幾何的分解を提供する。
• 制限されたファングループ $\mathcal{GF}_n|_{\mathcal{P}_n}$ 内の開でフル次元のコーンは、最大多極体と一対一対応し、双方向および三角形二項式の整合的集合によってインデックス化される。
• Gröbner ファン $\mathcal{GF}_n$ の完全計算は $n \geq 5$ では非現実的であるため、多極体領域に制限し、組合せ的整合性チェックを用いることでこれを回避する。
• 本稿は、先行研究における誤りを是正した：$\mathbb{TP}^3$ 内の最大頂点を持つフル次元的多極体の tropical 型は5つではなく6つであり、Joswig と Kulas の表における不一致が解消された。