[논문 리뷰] On the enumeration of lattice $3$-polytopes

Mónica Blanco, Francisco Santos|arXiv (Cornell University)|2016. 01. 11.

Advanced Combinatorial Mathematics인용 수 3

한 줄 요약

이 논문은 크기가 11 이하인 너비가 1을 초과하는 격자 3차원 다면체를 세 가지 구조적 유형인 자가, 상자형, 접합형 다면체로 나누어 완전한 분류를 제시한다. 모든 이러한 다면체가 이러한 유형 중 하나에 속함을 증명함으로써, 크기가 8 이하인 서로 다른 쌍의 합을 가진 3차원 다면체의 완전한 계산적 분류를 완성한다.

ABSTRACT

A lattice $3$-polytope is a polytope $P$ with integer vertices. We call size of $P$ the number of lattice points it contains, and width of $P$ the minimum, over all integer linear functionals $f$, of the length of the interval $f(P)$. In a previous paper we have shown that all but finitely many lattice $3$-polytopes of a given size have width one, which opens the possibility of enumerating those of width larger than one. There is none of size 4 (White, 1964) and those of sizes five and six were classified in our previous papers. In this paper we prove that every lattice $3$-polytope $P$ of width larger than one and size at least seven falls into one of the following three categories: - It projects in a very specific manner to one of a list of seven particular $2$-polytopes. We call $3$-polytopes of this type \emph{spiked}, and we describe them explicitly. - All except three of the lattice points in $P$ are contained in a rational parallelepiped of width one with respect to every facet. We call these polytopes \emph{boxed}. They have size at most 11 and we have completely enumerated them. - $P$ has (at least) two vertices $u$ and $v$ such that, when removing each of them, the width is still larger than one. Polytopes of this type can be all obtained gluing smaller polytopes of width larger than one. This allows for a computational enumeration of all lattice $3$-polytopes of width larger than one up to any given size. We have completely enumerated $3$-polytopes of width larger than one and size up to eleven. In particular, this implies the complete classification of distinct-pair-sum (or dps, for short) $3$-polytopes, which have size at most eight, of width larger than one.

연구 동기 및 목표

• 주어진 크기까지 너비가 1을 초과하는 모든 격자 3차원 다면체를 분류하는 것.
• 크기 4~6에 대한 이전 연구를 바탕으로 크기 6을 초월하는 격자 3차원 다면체의 분류를 확장하는 것.
• 서로 다른 쌍의 합을 가진(dps) 3차원 다면체의 완전한 분류를 해결하는 것. 이는 크기가 최대 8이 되는 것으로 알려져 있다.
• 높은 너비를 가진 격자 3차원 다면체를 세 가지 표준 유형인 자가, 상자형, 접합 기반으로 분해하는 구조적 분해를 제공하는 것.
• 기하학적 및 조합적 성질을 특성화하여 크기 11까지의 모든 이러한 다면체에 대한 계산적 분류를 가능하게 하는 것.

제안 방법

• 기하학적 및 투사 성질에 기반하여 너비 >1인 격자 3차원 다면체를 세 가지 구조적 유형으로 분류: 자가, 상자형, 접합 기반.
• 특정 방식으로 일곱 개인 2차원 격자 다면체 중 하나로 투사되는 다면체를 '자가'로 정의하며, 명시적인 기술이 가능하다.
• 모든 점이 세 점을 제외한 나머지 점들이 각 면에 대해 너비가 1인 유리 평행육면체 내에 포함되는 다면체를 '상자형'으로 특성화하며, 크기는 최대 11이다.
• 최소 두 개의 정점가 제거되어도 너비 >1을 유지하는 다면체에 대해 접합 구조를 사용하여 재귀적 분류를 가능하게 한다.
• 구조적 분해를 활용하여 계산적 분류를 구현함으로써 크기 11까지의 완전성 보장.
• 분류를 적용하여 서로 다른 쌍의 합을 가진(dps) 3차원 다면체를 완전히 분류함. 이는 크기가 최대 8이 되는 것으로 알려져 있다.

실험 결과

연구 질문

• RQ1 크기가 7 이상인 모든 격자 3차원 다면체 중 너비가 1을 초과하는 경우를 특징짓는 구조적 유형은 무엇인가?
• RQ2 기하학적 및 조합적 기준을 사용하여 너비 >1인 격자 3차원 다면체를 체계적으로 분해하고 분류할 수 있는가?
• RQ3 '상자형' 격자 3차원 다면체의 최대 크기는 얼마이며, 이를 완전히 분류할 수 있는가?
• RQ4 모든 너비 >1인 격자 3차원 다면체는 더 작은 다면체들에 대한 접합 연산을 통해 생성될 수 있는가?
• RQ5 서로 다른 쌍의 합을 가진(dps) 3차원 다면체의 완전한 분류는 무엇이며, 어느 크기까지 달성 가능한가?

주요 결과

• 너비 >1 이고 크기가 ≥7인 모든 격자 3차원 다면체는 세 가지 구조적 유형 중 하나에 속한다: 자가, 상자형, 또는 접합 기반.
• 상자형 격자 3차원 다면체의 클래스는 크기가 최대 11이며, 본 연구에서 완전히 분류되었다.
• 너비 >1인 격자 3차원 다면체의 완전한 분류가 크기 11까지 달성되었으며, 이 범위 내에서 완전한 분류를 제공한다.
• 서로 다른 쌍의 합을 가진(dps) 3차원 다면체의 분류가 완전히 해결되었으며, 크기가 최대 8이 되는 것으로 알려져 있고, 본 분류에 포함되어 있다.
• 자가, 상자형, 접합 유형으로의 구조적 분해는 크기 11까지의 모든 이러한 다면체에 대한 완전한 계산적 분류를 가능하게 한다.
• 본 논문은 크기가 4인 격자 3차원 다면체 중 너비 >1인 것이 존재하지 않음을 증명하여 이전 결과를 확인하고 분류 프레임워크의 기초를 다진다.