[論文レビュー] Parallel Computation of tropical varieties, their positive part, and tropical Grassmannians

Dominik Bendle, Janko Böhm+2 more|arXiv (Cornell University)|Mar 30, 2020

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

ひとこと要約

本稿は、GPI-SpaceおよびSingularを用いた対称性と分散コンピューティングを活用して、トロピカル多様体、その正の部分、およびトロピカル・グラスマンニアンの、大規模並列計算フレームワークを提示する。本稿は、TGr⁺(3,8)の完全な正のトロピカル・グラスマンニアンを計算し、SpeyerとWilliamsの予想8.1をこのケースで確認した。また、トロピカル線形空間の実現可能性を妨げる、23個の非実現可能コーンがドレッシアンDr(3,8)に存在することを特定した。

ABSTRACT

In this article, we present a massively parallel framework for computing tropicalizations of algebraic varieties which can make use of finite symmetries. We compute the tropical Grassmannian TGr$_0(3,8)$, and show that it refines the $15$-dimensional skeleton of the Dressian Dr$(3,8)$ with the exception of $23$ special cones for which we construct explicit obstructions to the realizability of their tropical linear spaces. Moreover, we propose algorithms for identifying maximal-dimensional tropical cones which belong to the positive tropicalization. These algorithms exploit symmetries of the tropical variety even though the positive tropicalization need not be symmetric. We compute the maximal-dimensional cones of the positive Grassmannian TGr$^+(3,8)$ and compare them to the cluster complex of the classical Grassmannian Gr$(3,8)$.

研究の動機と目的

• トロピカル多様体およびその正の部分を計算するためのスケーラブルで、対称性を考慮した並列アルゴリズムの開発。
• TGr⁺(3,8)の最大次元コーンを計算し、Gr(3,8)のクラスター複体と比較する。
• ドレッシアンDr(3,8)における障害の特定を通じて、トロピカル線形空間の実現可能性を調査する。
• 対称性の欠如する多様体に対しても、正のトロピカル化における最大コーンを検出するためのアルゴリズムの提案および実装。
• 正のトロピカル・グラスマンニアンが正のドレッシアンに一致するかという予想の検証と、クラスター代数および実トロピカル化へのその意味の探求。

提案手法

• フレームワークは、計算と調整の分離を採用しており、GPI-Spaceが並列ワークフローをペトリネットとしてモデル化し、Singularが代数的計算を処理する。
• トロピカル多様体上のグラフ走査を用い、三角分解およびプアッセュ展開により計算されたトロピカルリンクを介して、最大コーン間を移動する。
• 計算中にトロピカル多様体の対称性を活用するが、正のトロピカル化自体が対称的でない場合でも有効である。
• 最大グレブナー コーンが正のトロピカル化に属するかどうかをテストする新しいアルゴリズムを採用し、定義多項式系の正の実数解の存在を確認する。
• プラッカーイデアルの飽和 (·):p^∞ を用いてグレブナー コーンとドレッシアンにおける粗化の検出を比較する。
• TGr₀(3,8) の計算は、ファン構造解析のためのpolymakeを用いて実施され、計算の実行可能性が確認された。

実験結果

リサーチクエスチョン

• RQ1 大規模並列かつ対称性を考慮したフレームワークは、トロピカル多様体およびその正の部分を効率的に計算できるか？
• RQ2 TGr⁺(3,8)の最大次元コーンは、Gr(3,8)のクラスター複体と一致するか？ これにより、SpeyerとWilliamsの予想8.1が支持されるか？
• RQ3 Dr(3,8)におけるトロピカル線形空間の実現可能性の明示的障害は存在するか？ そのようなコーンはいくつ存在するか？
• RQ4 元の多様体が対称性を欠いても、正のトロピカル化が効果的に計算可能か？
• RQ5 正のトロピカル・グラスマンニアン TGr₀⁺(k,n) は正のドレッシアン Dr⁺(k,n) と一致するか？ これにはクラスター代数にどのような意味があるか？

主な発見

• 本稿は、TGr⁺(3,8)の完全な正のトロピカル・グラスマンニアンを計算に成功し、その最大次元コーンがGr(3,8)のクラスター複体と一致することを確認した。これにより、SpeyerとWilliamsの予想8.1がこのケースで検証された。
• 計算により、Dr(3,8)に23個の特殊なコーンが存在することが判明した。これらはトロピカル線形空間として実現可能ではなく、実現可能性の明示的障害を提供する。
• 並列処理と対称性の活用を用いて、TGr₀(3,8)のスケーラブルな計算が達成された。これは、HJS14の質問37（TGr₀(3,8)の計算可能性）の解決を示している。
• 正のトロピカル化コーンを検出するアルゴリズムは有効であり、正のトロピカル化が対称性を欠いても適用可能である。これにより、この構造への新たな計算的アクセスが可能になった。
• 結果は、予想7.1を支持しており、プラッカー変数に関する飽和を用いた、TGr₀(k,n)上のグレブナー・ファンの自然な粗化が存在することを示唆している。
• 本フレームワークは、15次多項式のグレブナー基底を含む大規模トロピカル計算の実用的実行可能性を示しており、問題を引き起こすコーンを回避する粗化戦略を可能にした。