[论文解读] Perfect but not generating Delaunay polytopes

Mathieu Dutour Sikirić, Konstantin Rybnikov|ArXiv.org|May 28, 2009

Advanced Combinatorial Mathematics参考文献 6被引用 3

一句话总结

该论文为 $s \geq 2$ 且 $n+1 \geq 4s$ 的情形构造了一个 $n$-维完美Delaunay多面体 $P(n,s)$ 的无限族，这些多面体是完美的但非生成的。研究证明，当 $6s < n+1$（$n$ 为奇数）或 $6s < n$（$n$ 为偶数）时，$P(n,s)$ 在一个严格更大的格 $V^4_{n,s}$ 中仍保持为完美Delaunay多面体，从而提供了首个已知的非生成完美Delaunay多面体的例子，其结构类似于齐次情形下的经典 $Α_9$ 与 $Α_9^2$ 的关系。

ABSTRACT

In his seminal 1951 paper "Extreme forms" Coxeter \cite{cox51} observed that for $n \ge 9$ one can add vectors to the perfect lattice $\sfA_9$ so that the resulting perfect lattice, called $\sfA_9^2$ by Coxeter, has exactly the same set of minimal vectors. An inhomogeneous analog of the notion of perfect lattice is that of a lattice with a perfect Delaunay polytope: the vertices of a perfect Delaunay polytope are the analogs of minimal vectors in a perfect lattice. We find a new infinite series $P(n,s)$ for $s\geq 2$ and $n+1\geq 4s$ of $n$-dimensional perfect Delaunay polytopes. A remarkable property of this series is that for certain values of $s$ and all $n \ge 13$ one can add points to the integer affine span of $P(n,s)$ in such a way that $P(n,s)$ remains a perfect Delaunay polytope in the new lattice. Thus, we have constructed an inhomogeneous analog of the remarkable relationship between $\sfA_9$ and $\sfA_9^2$.

研究动机与目标

• 构造一个非生成的完美Delaunay多面体的无限族，以填补完美Delaunay多面体分类中的空白。
• 建立经典 $\mathsf{A}_9 \subset \mathsf{A}_9^2$ 关系的非齐次类比，即一个完美格可容纳一个更大的格，同时保持相同的完美Delaunay多面体。
• 证明完美Delaunay多面体可以存在于其顶点张成的仿射包不生成整个格的空间中，从而挑战所有完美Delaunay多面体均为生成的假设。
• 通过 $\{0,1\}^{n+1}$ 超立方体的对称子集以及 $V^2_{n,s}$ 和 $V^4_{n,s}$ 的格扩展，系统地构造此类多面体。

提出的方法

• 将 $P(n,s)$ 定义为 $V_{n,s} \cup (t_{n,s} + V_{n,s})$ 的凸包，其中 $V_{n,s}$ 是 $\{0,1\}^{n+1}$ 中恰好含有 $s$ 个 1 的向量集合，$t_{n,s}$ 为特定的平移向量。
• 构造格 $V^2_{n,s} = V_{n,s} \cup (t_{n,s} + V_{n,s})$，并证明其为满秩格，且由 $P(n,s)$ 仿射生成。
• 通过证明唯一（在缩放意义下）实现其Delaunay性质的正定二次型为 $q_{n,s}(x) = 2\sum_{i=0}^{4s-1}x_i^2 + \sum_{i=4s}^{n}x_i^2$，从而证明 $P(n,s)$ 是完美的，该二次型由外接球的球心 $v_{n,s}$ 导出。
• 定义 $V^4_{n,s} = V^2_{n,s} \cup (w_{n,s} + V^2_{n,s})$，其中 $w_{n,s}$ 为经过精心选择的向量，以在保持 $P(n,s)$ 的Delaunay性质的同时扩展格。
• 利用 $V^4_{n,s}$ 中的最近向量问题，证明从 $v_{n,s}$ 到 $w_{n,s} + V^2_{n,s}$ 中点的平方距离超过外接球的平方半径 $\frac{3s}{2}$，从而确保 $P(n,s)$ 保持为Delaunay多面体。
• 建立 $6s < n+1$（$n$ 为奇数）或 $6s < n$（$n$ 为偶数）为 $P(n,s)$ 在 $V^4_{n,s}$ 中保持Delaunay的充分条件，方法是利用位移向量的 $q_{n,s}$-范数的下界。

实验结果

研究问题

• RQ1 完美Delaunay多面体是否可以存在且非生成，即其整数仿射包不生成环境格？
• RQ2 是否存在 $\mathsf{A}_9 \subset \mathsf{A}_9^2$ 现象的非齐次类比，即一个完美格可容纳一个更大的格，同时保持相同的完美Delaunay多面体？
• RQ3 在什么 $n$ 和 $s$ 条件下，$P(n,s)$ 在扩展格 $V^4_{n,s}$ 中仍为Delaunay多面体？
• RQ4 如何利用超立方体 $\{0,1\}^{n+1}$ 的对称子集来构造具有受控对称性与格结构的完美Delaunay多面体？

主要发现

• 对于所有 $s \geq 2$ 且 $4s \leq n+1$，多面体 $P(n,s)$ 是完美的，其唯一（在缩放意义下）正定二次型为 $q_{n,s}$，表达式为 $2\sum_{i=0}^{4s-1}x_i^2 + \sum_{i=4s}^{n}x_i^2$。
• 当 $n \geq 13$ 且 $s=2$ 时，$P(13,2)$ 是首个已知的非生成完美Delaunay多面体，因为在扩展格 $L' = V^4_{13,2}$ 中有 $L(P) \neq L'$。
• 条件 $6s < n+1$（$n$ 为奇数）或 $6s < n$（$n$ 为偶数）确保了 $P(n,s)$ 在扩展格 $V^4_{n,s}$ 中仍为Delaunay多面体，因为新陪集中的最近向量距离超过外接球半径。
• 多面体 $P(n,s)$ 的外接球平方半径为 $\frac{3s}{2}$，球心为 $v_{n,s} = \left(\frac{1}{4},\dots,\frac{1}{4}, \frac{1}{2},\dots,\frac{1}{2}\right)$，其中前 $4s$ 个分量为 $\frac{1}{4}$，其余 $n+1-4s$ 个分量为 $\frac{1}{2}$。
• 该构造推广了已知例子：$P(7,2)$ 即为 Gosset 多面体 $3_{21}$，而 $P(8,2)$ 与文献 [DER07] 中的 Delaunay 多面体 $D^8_2$ 一致。
• 格 $V^4_{n,s}$ 是 $V^2_{n,s}$ 的指数-2扩展，且在所述条件下，$P(n,s)$ 在 $V^4_{n,s}$ 中仍为Delaunay多面体，因为 $w_{n,s} + V^2_{n,s}$ 中向量的最小 $q_{n,s}$-范数超过 $\frac{3s}{2}$。