[論文レビュー] Adjacency method for extreme Delaunay polytopes

Mathieu Dutour Sikirić|ArXiv.org|Jan 2, 2004

Computational Geometry and Mesh Generation参考文献 7被引用数 4

ひとこと要約

本稿では、ハイパーメトリックコーンと最近接ベクトル問題を活用して、新しい極端なデローラン多面体を発見する隣接法を提案する。与えられた極端なデローラン多面体に対して、格子に基づく最近接ベクトル計算を繰り返し用いてハイパーメトリック不等式をテストすることで、ハイパーメトリックコーン内での隣接する極端な線型を同定する。この手法により、次元8および7において新たな極端な多面体が発見され、特に8次元で新しい極端な多面体が得られ、7次元で35頂点を持つ極端な多面体が一意に確認された。

ABSTRACT

The {\em hypermetric cone} is defined as the cone of semimetrics satisfying the {\em hypermetric inequalities}. Every {\em Delaunay polytope} corresponds to a ray of this polyhedral cone. The Delaunay polytopes, which correspond to extreme rays are called {\em extreme}. We use this polyhedral cone and the {\em closest vector problem} to present a new technique that allow to find, from a given extreme Delaunay polytope, some new ones. Then, we show some examples of applications of this technique in low-dimensions.

研究の動機と目的

• ハイパーメトリックコーン内における隣接する極端なデローラン多面体を体系的に同定するための手法を開発すること。
• 顔の記述が疎または非現実的となる高次元の多面体コーンにおける極端な線型を同定する計算上の課題に対処すること。
• 格子幾何学と最近接ベクトル問題を活用したアルゴリズム的枠組みを提供し、ハイパーメトリック不等式を効率的にテストすること。
• 格子に基づく最近接ベクトル問題を用いて、特に次元7および8において、反復的改善を用いて新たな極端なデローラン多面体を発見すること。

提案手法

• 手法は極端なデローラン多面体とそのアフィン基底から出発し、距離ベクトルの空間を定義するためのハイパーメトリックコーン $ HYP_{n+1} $ を用いる。
• 最近接ベクトル問題を解くことで、多面体の頂点に対応する $ H(b)d = 0 $ を満たす候補のハイパーメトリックベクトル $ b \neq e_i $ を特定する。
• アルゴリズムは、初期段階で頂点集合からの $ b $-ベクトルと、$ (1^2, -1, 0^{n-2}) $ のすべての置換を含む、ハイパーメトリック不等式のリスト $ \bf{F} $ を維持する。これらは三角不等式を表す。
• これらの不等式からコーン $ \bf{C(F)} $ を構築し、多面体的計算技術を用いて初期線型 $ e $ に隣接する極端な線型を計算する。
• 各候補線型 $ e_j $ について、すべての $ b \in \mathbb{Z}^{n+1} $ に対して $ \sum b_i = 1 $ を満たすものについて $ H(b)e_j \leq 0 $ が成り立つかをテストすることで、$ e_j $ が $ HYP_{n+1} $ に属するかを確認する。この問題は最近接ベクトル問題に還元される。
• ハイパーメトリック不等式が破られる場合、対応する $ b $ が $ \bf{F} $ に追加され、収束するまでこのプロセスを繰り返す。これにより、すべての隣接する極端な線型が特定される。

実験結果

リサーチクエスチョン

• RQ1 ハイパーメトリックコーン内において、与えられた極端なデローラン多面体に隣接するすべての極端なデローラン多面体をアルゴリズム的に同定する方法は何か？
• RQ2 格子に基づく最近接ベクトル問題を用いて、低次元における新たな極端なデローラン多面体を発見する計算上の実行可能性はどの程度か？
• RQ3 この隣接法は、例えば次元7のゴスケル多面体のような既知の極端な多面体を、そのアフィン基底の軌道から信頼性高く再構成できるか？
• RQ4 この手法を用いて、高次元におけるハイパーメトリックコーンの完全な構造をどの程度まで探索できるか？
• RQ5 35個の頂点と1440の位数の対称性群を持つ7次元極端デローラン多面体は、その次元において唯一のものであるか？

主な発見

• 隣接法により、無限族 $ (ED_n)_{n \geq 6} $ に属する新しい8次元極端デローラン多面体 $ ED_8 $ が発見された。
• この手法を $ ED_8 $ に適用した結果、8次元で24個の追加の極端デローラン多面体が得られ、新たな例の生成における有効性が示された。
• 7次元で35頂点と1440の位数の対称性群を持つ極端デローラン多面体の存在が確認され、エラドールとリブニコフによる既知の結果と一致した。
• 多面体の顔-頂点インシデントグラフを比較し、等長性をテストすることで、同型性を効率的に検証した。すべてのテスト事例で等長写像が得られた。
• この手法により、アフィン基底の軌道からゴスケル多面体の極端な線型を再構成でき、既知の構造に対する正しさが検証された。
• 著者らは、隣接法による網羅的探索に基づき、次元7に他の極端デローラン多面体は存在しないと予想している。