[論文レビュー] 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.

研究の動機と目的

• 格子自己同型の下で二つの凸格子多面体が同型であるかどうかを計算的に効率よく特定するための手法を開発すること。
• 線形自己同型と格子平行移動の両方を考慮したアフィン同倣のテストを拡張すること。
• 特に高対称性のケースにおいて、多面体の自己同型群およびアフィン自己同型群を計算すること。
• Kreuzer–Skarke正規形アルゴリズムを、頂点-面インシデント行列における対称性を活用することで、PALPにおける既存手法を改善すること。
• 正規形技術をラグランジュ多項式に応用し、鏡像対称性の文脈における分類および同値性テストを可能にすること。

提案手法

• 多面体を頂点-面ペアリング行列（PM）によって表現し、頂点と面の間のインシデント関係を符号化する。
• 列の対称性を考慮した置換ベクトル s を用いた再帰的アルゴリズムにより、PM を正規形 PM^max に変換する。
• 各再帰段階で辞書式順序戦略を用いて最大の行を選択し、等価な列置換を反映するように対称性ベクトル s' を更新する。
• 行列の自己同型群を活用して探索空間を削減し、特に滑らかでファノ型の多面体のような高対称性を持つ多面体に対して特に有効である。
• Magma および Sage といった既存の計算ツールにアルゴリズムを統合し、完全なオープンソース実装と付録に疑似コードを提供する。
• PALP のアプローチに従い、格子平行移動を組み込み、PM^max における列順序の変更を加えることで、アフィン正規形の計算へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 格子自己同型の下で二つの凸格子多面体が同型であるかどうかを効率的に判定するにはどうすればよいか？
• RQ2 二つの多面体が同型であるための必要十分条件となる一意な正規形を計算する効果的アルゴリズムは何か？
• RQ3 特に多面体が高対称性を持つ場合に、格子多面体の自己同型群を効率的に計算するにはどうすればよいか？
• RQ4 自己同型群が大きな多面体に対して、Kreuzer–Skarke正規形アルゴリズムをどのように最適化できるか？
• RQ5 正規形の概念をラグランジュ多項式へとどのように拡張できるか。また、その意義は鏡像対称性およびtoric幾何学の文脈で何か？

主な発見

• 自己同型を頂点-面行列に活用することで、滑らかでファノ型の多面体のような高対称性を持つ多面体において、計算時間を著しく短縮できる。
• 4次元の反射的多面体の全 473,800,776 個の自己同型群が、表1に要約された形で正しく計算された。
• 滑らかでファノ型の多面体に対して、対称性を考慮した再帰的処理により、著しい性能向上が図られた。これは表2および第4.1節で示されている。
• 正規形計算は now natively available in Sage に統合され、Magma にも統合されており、付録AおよびBに完全なソースコードと疑似コードが提供されている。
• 列置換戦略を平行移動の考慮に拡張することで、アフィン正規形が正しく計算され、PALPのアプローチと整合している。
• 関連する多面体を介したラグランジュ多項式の同値性テストが可能となり、鏡像対称性研究における計算ツールとしての有効性が示された。