[논문 리뷰] Perfect but not generating Delaunay polytopes

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

Advanced Combinatorial Mathematics참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $s \geq 2$ 이고 $n+1 \geq 4s$ 인 조건을 만족하는 $n$차원의 무한한 집합의 완전 델로나 폴리토프 $P(n,s)$를 구성한다. 이들은 완전하지만 생성하지는 않는다. 또한 $6s < n+1$ (홀수 $n$) 또는 $6s < n$ (짝수 $n$)일 경우, $P(n,s)$는 더 큰 라티스 $V^4_{n,s}$ 안에서도 여전히 완전 델로나 폴리토프임을 보이며, 이는 동차 경우의 고전적 $Γ}_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$.

연구 동기 및 목표

• 완전 델로나 폴리토프이지만 생성하지 않는 무한한 집합을 구성함으로써, 완전 델로나 폴리토프의 분류에서의 공백을 메우는 것.
• 고전적인 $\mathsf{A}_9 \subset \mathsf{A}_9^2$ 관계의 비동차 버전을 확립함으로써, 완전 라티스가 더 큰 라티스를 갖는 경우에도 동일한 완전 델로나 폴리토프를 유지할 수 있음을 보여주는 것.
• 완전 델로나 폴리토프가 그 정점의 스팬이 전체 라티스를 생성하지 않는 라티스에 존재할 수 있음을 보이며, 모든 완전 델로나 폴리토프가 생성된다는 가정에 도전하는 것.
• 대칭적인 $Γ}_n$의 부분집합을 사용하여 이러한 폴리토프를 체계적으로 구성하는 방법을 제공함.

제안 방법

• 특정 조건을 만족하는 $V_{n,s}$와 $t_{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)$에 의해 약한 아핀으로 생성됨을 보인다.
• 델로나 성질을 구현하는 유일한 양의 정부호 이차형식(스케일링을 제외하고 유일함)이 $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}$로부터 유도된다.
• 새로운 라티스를 유지하면서 델로나 성질을 보존하기 위해 $w_{n,s}$를 철저히 선택하여 $V^4_{n,s} = V^2_{n,s} \cup (w_{n,s} + V^2_{n,s})$를 정의한다.
• 라티스 $V^4_{n,s}$에서의 가장 가까운 벡터 문제를 이용하여, $v_{n,s}$에서 $w_{n,s} + V^2_{n,s}$에 속한 점들 사이의 제곱거리가 외접구의 반지름 제곱인 $\frac{3s}{2}$를 초과함을 보이며, 이는 $P(n,s)$가 여전히 델로나 폴리토프임을 보장한다.
• 조건 $6s < n+1$ (홀수 $n$) 또는 $6s < n$ (짝수 $n$)가 $P(n,s)$가 $V^4_{n,s}$ 안에서 여전히 델로나 폴리토프임을 보장하는 충분조건임을 증명하며, 이는 이동 벡터의 $q_{n,s}$-노름에 대한 하한을 사용한다.

실험 결과

연구 질문

• RQ1 완전 델로나 폴리토프가 존재할 수 있는가, 즉 그 정점의 정수 아핀 스팬이 환경 라티스를 생성하지 않는가?
• RQ2 완전 라티스가 더 큰 라티스를 갖는 경우에도 동일한 완전 델로나 폴리토프를 유지할 수 있는 비동차 버전의 $\mathsf{A}_9 \subset \mathsf{A}_9^2$ 현상이 존재하는가?
• RQ3 $n$과 $s$에 어떤 조건이 성립하면 $P(n,s)$가 확장된 라티스 $V^4_{n,s}$ 안에서 여전히 델로나 폴리토프로 유지되는가?
• RQ4 대칭적인 $\{0,1\}^{n+1}$ 초입방체의 부분집합을 어떻게 사용하여 대칭성과 라티스 구조를 제어할 수 있는 완전 델로나 폴리토프를 구성할 수 있는가?

주요 결과

• 모든 $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)$는 $L(P) \neq L'$인 확장된 라티스 $L' = V^4_{13,2}$ 안에서 존재하는 첫 번째 알려진 비생성적 완전 델로나 폴리토프이다.
• $6s < n+1$ (홀수 $n$) 또는 $6s < n$ (짝수 $n$) 조건은 $P(n,s)$가 확장된 라티스 $V^4_{n,s}$ 안에서 여전히 델로나 폴리토프임을 보장하며, 이는 새로운 코셋 내 가장 가까운 벡터들이 외접구 반지름보다 더 멀리 떨어져 있음을 의미한다.
• 폴리토프 $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)$는 고셋 폴리토프 $3_{21}$이며, $P(8,2)$는 [DER07]에서 기술된 델로나 폴리토프 $D^8_2$와 일치한다.
• 라티스 $V^4_{n,s}$는 $V^2_{n,s}$의 지수 2 확장이며, $P(n,s)$는 제시된 조건 하에서 $w_{n,s} + V^2_{n,s}$에 속한 벡터들의 최소 $q_{n,s}$-노름이 $\frac{3s}{2}$를 초과하므로 $V^4_{n,s}$ 안에서 여전히 델로나 폴리토프로 유지된다.