[论文解读] Adjacency method for extreme Delaunay polytopes

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

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

一句话总结

本文提出了一种邻接方法，通过利用超度量锥与最近向量问题，发现新的极端Delaunay多面体。给定一个极端Delaunay多面体，该方法通过迭代地利用基于格的最近向量计算来测试超度量不等式，识别出超度量锥中的相邻极端射线，成功在维度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.

研究动机与目标

• 开发一种系统化方法，用于在超度量锥中寻找与给定极端Delaunay多面体相邻的极端多面体。
• 解决在高维多面锥中因面描述稀疏或不可行而难以识别极端射线的计算挑战。
• 提供一个基于格几何与最近向量问题的算法框架，以高效测试超度量不等式。
• 通过迭代优化面候选者，利用该方法在低维空间（特别是维度7和8）中发现新的极端Delaunay多面体。

提出的方法

• 该方法从一个极端Delaunay多面体及其仿射基出发，利用超度量锥 $ HYP_{n+1} $ 定义可能的距离向量空间。
• 通过求解最近向量问题，识别出满足 $ H(b)d = 0 $ 的候选超度量向量 $ b \neq e_i $，这些向量对应于多面体的顶点。
• 该算法维护一个超度量不等式列表 $ \bf{F} $，初始时包含来自顶点集的 $ b $-向量以及所有 $ (1^2, -1, 0^{n-2}) $ 的排列，这些表示三角不等式。
• 从这些不等式构造锥 $ \bf{C(F)} $，并使用多面体计算技术计算与初始射线 $ e $ 相邻的极端射线。
• 对于每个候选射线 $ e_j $，通过测试对所有满足 $ \sum b_i = 1 $ 的 $ b \in \mathbb{Z}^{n+1} $ 是否有 $ H(b)e_j \leq 0 $，来检查 $ e_j $ 是否属于 $ HYP_{n+1} $，并将此问题转化为最近向量问题。
• 若检测到超度量不等式被违反，则将对应的 $ b $ 加入 $ \bf{F} $，并重复该过程直至收敛，确保所有相邻极端射线均被找到。

实验结果

研究问题

• RQ1 如何算法化地识别在超度量锥中与给定极端Delaunay多面体相邻的所有极端多面体？
• RQ2 在低维空间中，利用基于格的最近向量问题发现新的极端Delaunay多面体在计算上是否可行？
• RQ3 该邻接方法能否可靠地从其仿射基轨道重建已知的极端多面体（如7维的Gosset多面体）？
• RQ4 该方法在多大程度上可用于探索更高维空间中超度量锥的完整结构？
• RQ5 在维度7中，是否存在唯一一个含35个顶点且对称群大小为1440的极端Delaunay多面体？

主要发现

• 该邻接方法成功发现了一个新的8维极端Delaunay多面体，记为 $ ED_8 $，其属于一个无限族 $ (ED_n)_{n \geq 6} $。
• 将该方法应用于 $ ED_8 $ 后，获得了24个额外的8维极端Delaunay多面体，证明了其在生成新示例方面的有效性。
• 该方法确认了存在一个含35个顶点且对称群大小为1440的7维极端Delaunay多面体，与Erdahl和Rybnikov的已知结果一致。
• 该算法通过比较面-顶点关联图并测试等距同构，高效验证了多面体之间的同构性，所有测试案例均得到等距映射。
• 该方法能够从其仿射基轨道重建Gosset多面体的极端射线，验证了其在已知结构上的正确性。
• 作者推测，基于该邻接方法的穷举搜索，维度7中不存在其他极端Delaunay多面体。