[论文解读] Normal forms of convex lattice polytopes

Roland Grinis, Alexander Kasprzyk|arXiv (Cornell University)|Jan 28, 2013

Geometric and Algebraic Topology参考文献 9被引用 4

一句话总结

本文提出了一种改进的算法，用于计算凸格点多面体的正规形式，实现了高效的同构性测试和自同构群计算。通过改进 PALP 中的 Kreuzer–Skarke 方法，作者提出了一种考虑对称性的递归方法，显著加速了高度对称多面体（如光滑法诺多面体）的计算，并将该方法扩展至洛朗多项式。

ABSTRACT

We describe an algorithm for determining whether two convex polytopes P and Q, embedded in a lattice, are isomorphic with respect to a lattice automorphism. We extend this to a method for determining if P and Q are equivalent, i.e. whether there exists an affine lattice automorphism that sends P to Q. Methods for calculating the automorphism group and affine automorphism group of P are also described. An alternative strategy is to determine a normal form such that P and Q are isomorphic if and only if their normal forms are equal. This is the approach adopted by Kreuzer and Skarke in their PALP software. We describe the Kreuzer-Skarke method in detail, and give an improved algorithm when P has many symmetries. Numerous examples, plus two appendices containing detailed pseudo-code, should help with any future reimplementations of these techniques. We conclude by explaining how to define and calculate the normal form of a Laurent polynomial.

研究动机与目标

• 开发一种计算高效的算法，用于判断两个凸格点多面体在格点自同构下是否同构。
• 将该方法扩展至测试仿射等价性，同时考虑线性自同构和格点平移。
• 计算多面体的自同构群与仿射自同构群，尤其针对高对称性情形。
• 通过利用顶点-面关联矩阵中的对称性，改进 PALP 中现有的 Kreuzer–Skarke 正规形式算法。
• 将正规形式技术应用于洛 Laurent 多项式，实现在镜像对称背景下的分类与等价性测试。

提出的方法

• 通过其顶点-面配对矩阵（PM）表示多面体，该矩阵编码了顶点与面之间的关联关系。
• 通过行与列的置换，将 PM 转换为规范形式 PM^max，采用尊重列对称性的递归算法，并通过置换向量 s 控制。
• 在每次递归层级采用字典序策略选择最大行，并更新对称性向量 s' 以反映等价的列置换。
• 利用矩阵的自同构群缩小搜索空间，尤其在高度对称的多面体（如光滑法诺多面体）中效果显著。
• 将该算法集成至现有计算工具（包括 Magma 和 Sage），提供完整的开源实现，并在附录中提供伪代码。
• 通过引入格点平移并修改 PM^max 中的列排序，将方法扩展至计算仿射正规形式，与 PALP 的方法保持一致。

实验结果

研究问题

• RQ1 如何高效判断两个凸格点多面体在格点自同构下是否同构？
• RQ2 什么样的有效算法可以计算出唯一的正规形式，使得两个多面体同构当且仅当其正规形式相等？
• RQ3 如何高效计算格点多面体的自同构群，尤其是在多面体具有高对称性时？
• RQ4 在自同构群较大的多面体中，如何优化 Kreuzer–Skarke 正规形式算法？
• RQ5 如何将正规形式概念扩展至洛 Laurent 多项式？其在镜像对称与 toric 几何中的意义是什么？

主要发现

• 通过利用顶点-面矩阵中的自同构性，改进的算法显著减少了高度对称多面体（如光滑法诺多面体）的计算时间。
• 该方法成功计算了全部 473,800,776 个四维反射性多面体的自同构群，结果汇总于表 1。
• 对于光滑法诺多面体，考虑对称性的递归方法带来了显著的性能提升，如表 2 和第 4.1 节所示。
• 正规形式计算现已原生支持 Sage，并集成至 Magma，完整源代码与伪代码见附录 A 和 B。
• 通过将列置换策略扩展至包含平移，该算法正确计算了仿射正规形式，与 PALP 的方法保持一致。
• 该方法通过其关联的多面体实现了洛 Laurent 多项式的等价性测试，为镜像对称研究提供了计算工具。