[論文レビュー] Tropical Linear Spaces

David E Speyer|ArXiv.org|Oct 21, 2004

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

ひとこと要約

本稿では、組合せ的双対性および横断的交差作用を用いて定義される多面体複体としてのトロピカル線型空間を導入し、反復的双対化と交差によって構成可能なすべてのトロピカル線型空間が、このような空間に対して予想された最大の f-ベクトルに達することを証明する。主な結果は、これらの構成可能な空間が系列並列的であり、顕示的な公式によって境界付きの面数が最大に達することを示しており、予想される上界と一致する。

ABSTRACT

We define tropical analogues of the notions of linear space and Plucker coordinate and study their combinatorics. We introduce tropical analogues of intersection and dualization and define a tropical linear space built by repeated dualization and transverse intersection to be constructible. Our main result that all constructible tropical linear spaces have the same f-vector and are ``series-parallel''. We conjecture that this f-vector is maximal for all tropical linear spaces with equality precisely for the series-parallel tropical linear spaces. We present many partial results towards this conjecture. In addition we relate tropical linear spaces to linear spaces defined over power series fields and give many examples and counter-examples illustrating aspects of this relationship. We describe a family of particularly nice series-parallel linear spaces, which we term tree spaces, that realize the conjectured maximal f-vector and are constructed in a manner similar to the cyclic polytopes.

研究の動機と目的

• 純粋に組合せ的手段を用いて、線型空間およびプレュッカー座標のトロピカル版を定義すること。
• 新たなトロピカル線型空間を生成するための双対化および横断的交差の作用を導入すること。
• ハイパーサブスペースから双対化と交差を用いて構成可能な空間として「構成可能な」トロピカル線型空間を定義し、特徴づけること。
• すべての構成可能なトロピカル線型空間が、f-ベクトル予想で予測された最大の f-ベクトルに達することを証明すること。
• 系列並列的トロピカル線型空間のみがこの最大 f-ベクトルに達するという予想を提示し、構造的および組合せ的解析を通じて証拠を提供すること。

提案手法

• 古典的線型代数における直交補空間に類似した、組合せ的双対性を用いてトロピカル線型空間を多面体複体として定義する。
• トロピカル線型空間の結合を保つ方法として、横断的交差を導入する。
• 系列並列的トロピカル線型空間をモデル化するため、木分解および二色付き木を用いる。辺の重みおよび頂点の色分けは、面の分割を符号化する。
• 3分木 T の辺に付随する凸関数 f_e を用いて、単体 Δ(d,n) の分割を構成する。この分割により、有界な多面体的細分が得られる。
• Δ(d,n) の一般点が、木の頂点の色分け c に付随する多面体 Π(T,c) の内部にあることを証明し、顕著な facet と色分けの間の全単射を確立する。
• 3分木から得られる i-木森の組合せ的数え上げを用いて、構成可能な空間の f-ベクトルを導出する。これにより、f_{i,d,n} = inom{n-2i}{d-i} inom{n-i-1}{i-1} の公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 すべての構成可能なトロピカル線型空間は、f-ベクトル予想で予測された最大の f-ベクトルに達するか？
• RQ2 どのトロピカル線型空間が f-ベクトル予想における等号を達成するか。また、それらは組合せ的に特徴づけられるか？
• RQ3 トロピカル線型空間は、特に形式的べき級数体を含む非アルキメデス的体上の線型部分空間とどのように関係するか？
• RQ4 トロピカル線型空間の構造は、系列並列的構成によって完全に捉えられるか。このような構成の限界は何か？
• RQ5 木分解および頂点の色分けは、トロピカル線型空間における最大の面数実現に果たす役割は何か？

主な発見

• 反復的双対化と横断的交差によって生成される、すべての構成可能なトロピカル線型空間が、文献に於いて予想された最大の f-ベクトルに達する。
• 構成可能なトロピカル線型空間の f-ベクトルは、f_{i,d,n} = inom{n-2i}{d-i} inom{n-i-1}{i-1} で与えられ、f-ベクトル予想における上界と一致する。
• すべての構成可能なトロピカル線型空間は系列並列的であり、最大の面数を達成する空間に強い構造的制約を示している。
• トロピカル線型空間によって誘導される単体 Δ(d,n) の分割は、3分木の辺に付随する凸関数 f_e によって定義される分割の共通の細分である。
• Δ(d,n) の一般点は、二色付き木 (T,c) に付随する多面体 Π(T,c) の内部にある。これは、分割のすべての facet がこのような色分けから生じることを証明する。
• τ^d(L) における i 次元有界面の数は、正確に inom{n-2i}{d-i} inom{n-i-1}{i-1} である。これは、3分木上の i-木森の組合せ的数え上げにより、公式が確認される。