[论文解读] 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 在此情况下的正确性，并识别出在 Dressian Dr(3,8) 中阻碍热带线性空间可实现性的 23 个不可实现锥。

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) 的簇复形进行比较。
• 通过识别 Dressian Dr(3,8) 中的障碍，研究热带线性空间的可实现性。
• 提出并实现一种算法，用于检测正化热带簇中的最大锥，即使该簇本身缺乏完全对称性。
• 检验正热带格拉斯曼簇是否等于正 Dressian 的猜想，并探讨其对簇代数和实热带化的影响。

提出的方法

• 该框架采用计算与协调分离的设计，GPI-Space 将并行工作流建模为 Petri 网，Singular 负责代数计算。
• 在热带簇上执行图遍历，利用三角分解和 Puiseux 展开计算的热带链路，实现在最大锥之间的移动。
• 在计算过程中利用了热带簇的对称性，即使正化热带簇本身不具备对称性亦可应用。
• 提出一种新算法，通过检查定义多项式组是否存在正实解，来测试某个最大 Gröbner 锥是否属于正化热带簇。
• 实现中利用了 Plücker 理想的饱和性 (·):p^∞，用于比较 Gröbner 锥并检测 Dressian 中的粗化现象。
• 使用 polymake 计算了 TGr₀(3,8) 的扇形结构，确认了该计算的可行性。

实验结果

研究问题

• RQ1 能否通过大规模并行、具备对称性感知能力的框架高效计算热带簇及其正部分？
• RQ2 TGr⁺(3,8) 的最大维数锥是否与 Gr(3,8) 的簇复形一致，从而支持 Speyer 和 Williams 的猜想 8.1？
• RQ3 Dr(3,8) 中是否存在热带线性空间可实现性的显式障碍，此类锥的数量是多少？
• RQ4 即使底层簇缺乏对称性，是否仍能有效计算正化热带簇？
• RQ5 正热带格拉斯曼簇 TGr₀⁺(k,n) 是否与正 Dressian 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，表明可通过 Plücker 变量的饱和性，对 TGr₀(k,n) 上的 Gröbner 扇形进行自然粗化。
• 该框架展示了在大规模热带计算中的实际可行性，例如处理次数为 15 的 Gröbner 基，通过启用粗化策略避免了问题锥的出现。