[论文解读] Computing Tropical Varieties in Macaulay2

Carlos Améndola, Kathlén Kohn+6 more|arXiv (Cornell University)|Oct 29, 2017

Polynomial and algebraic computation参考文献 2被引用 3

一句话总结

本文介紹了一個使用者友善的 Macaulay2 套件，用於計算 tropical 穩定交集、prevariety 與 varieties，整合了 Gfan 和 Polymake 的功能，同時抽象化低階複雜性。該套件可高效計算 tropical prevarieties、varieties 與 stable intersections，支援非質理想之重數計算，並允許使用者在不需事先了解底層演算法的情況下，切換 min 與 max 慣例。

ABSTRACT

We introduce a package for doing tropical computations in Macaulay2. The package draws on the functionality of Gfan and Polymake while making the process as simple as possible for the end user. This provides a powerful and user friendly tool for computing tropical varieties requiring little prerequisite knowledge.

研究动机与目标

• 在不需使用者具備 Gfan 或 Polymake 專業知識的情況下，提供 Macaulay2 中 tropical 幾何計算的使用者友善介面。
• 將 Gröbner 錐與 tropical 化演算法的複雜性抽象為直覺的函數。
• 透過支援非質理想之重數與使用者可選擇的 min/max 慣例，擴展現有工具的功能。
• 在 Macaulay2 中統一並簡化 tropical 計算，作為未來發展的中央套件。
• 實現 tropical prevarieties 與 stable intersections 的準確計算，包括 tropical basis 的驗證。

提出的方法

• 套件使用 gfanInterface 呼叫 Gfan 進行 Gröbner 錐與 tropical varieties 的計算，同時利用 Polymake 進行進階的多面體幾何與交集理論計算。
• 自動在兩種演算法之間選擇：tropical starting cone traversal（適用於質理想）與暴力法 Gröbner 錐計算（適用於非質理想），並由使用者指定旗標。
• 套件會預處理非齊次輸入，使其與 Gfan 兼容，從而降低使用者輸入的複雜度。
• 從扇形與附帶的重數構建 tropical cycle，並使用 isBalanced 函數驗證平衡性。
• 對於 stable intersections，若可用則預設使用 Polymake 的 atint 擴充功能，否則回退至 Gfan。
• 使用者可透過套件載入時的設定選項選擇 min 或 max 慣例。

实验结果

研究问题

• RQ1 如何使 tropical 幾何計算對不熟悉 Gfan 或 Polymake 的使用者更為易用？
• RQ2 有哪些策略能有效計算質理想與非質理想之 tropical varieties？
• RQ3 能否建立一個統一的 Macaulay2 套件，以處理 tropical prevarieties、varieties 與 stable intersections，並支援重數計算？
• RQ4 如何將使用者可設定的 min 與 max 慣例無縫整合至高階介面中？
• RQ5 該套件在多大程度上能可靠地驗證 tropical basis 並計算 stable intersections？

主要发现

• 套件成功計算出質理想 ⟨x + y + 1⟩ 在 ℂ*² 上的 tropical variety，其為一維扇形，包含三條射線於 (−1,−1)、(1,0) 與 (0,1)，每條射線重數皆為 1。
• 對於非質理想，套件使用較昂貴的 gfan_tropicalbruteforce 命令，並正確計算重數，確保精確度高於啟發式方法。
• 多項式 f = x + y + z 與 g = x² + y² + z² 的 tropical prevariety 為二維，而 ⟨f,g⟩ 的真正 tropical variety 為一維，證明 f 與 g 不構成 tropical basis。
• 在 ℙ² 中，隨機直線與隨機二次曲面的 stable intersection 結果為原點上的一點，重數為 2，驗證了 tropical Bézout 定理。
• 套件正確識別出在 ℝ² 中由三條射線組成的 tropical cycle，若其重數相等，則為平衡，驗證了輸出的幾何一致性。
• 實作支援使用者透過設定選擇 min 或 max 慣例，且對正確性與效能無影響。