[논문 리뷰] More indecomposable polyhedra

Krzysztof Przesławski, David Yost|arXiv (Cornell University)|2016. 07. 03.

Computational Geometry and Mesh Generation인용 수 3

한 줄 요약

이 논문은 다면체의 스켈레톤에 대한 조합적 그래프 이론을 활용하여, 최대 d² + 1/(2d)条를 가진 d차원 다면체의 분해 가능성에 대해 분류한다. 이 범위 내에서 분해 가능한 것은 오직 단순 프리즘 ∆₁,ₙ₋₁ 또는 4차원 다면체 ∆₂,₂뿐이며, d ≠ 3일 때 2d개의 꼭짓점과 d² + 1조각의 모서리를 가진 d차원 다면체는 존재하지 않음을 증명한다. 이 방법은 국소적인 그래프 구조에서 전역적인 분해 불가능성을 유추하기 위해 분해 불가능한 기하학적 그래프와 모서리 추가 확장 기법에 의존한다.

ABSTRACT

We apply combinatorial methods to a geometric problem: the classification of polytopes, in terms of Minkowski decomposability. Various properties of skeletons of polytopes are exhibited, each sufficient to guarantee indecomposability of a significant class of polytopes. We illustrate further the power of these techniques, compared with the traditional method of examining triangular faces, with several applications. In any dimension $d eq 2$, we show that of all the polytopes with $d^2+\frac{d}{2}$ or fewer edges, only one is decomposable. In 3 dimensions, we complete the classification, in terms of decomposability, of the 260 combinatorial types of polyhedra with 15 or fewer edges.

연구 동기 및 목표

• ≤ d² + 1/(2d)조각의 모서리를 가진 d차원 다면체의 민코프스키 분해 가능성에 대해 분류하는 것.
• 삼각형 면에 의존하지 않는 분해 불가능성에 대한 조합적 기준을 확장하는 것.
• 3차원 다면체 중 ≤15조각의 모서리를 가진 경우의 분해 가능성에 대한 분류를 완성하는 것.
• d ≠ 3일 때 2d개의 꼭짓점과 d² + 1조각의 모서리를 가진 d차원 다면체가 존재하지 않음을 증명하는 것.
• ≤ d² + 1/(2d)조각의 모서리를 가진 다면체들 중에서 오직 단순 프리즘 ∆₁,ₙ₋₁ 또는 4차원 다면체 ∆₂,₂만 분해 가능하다는 것을 확립하는 것.

제안 방법

• 다면체의 1-스켈레톤(꼭짓점과 모서리)으로 구성된 기하학적 그래프를 연구의 주요 대상으로 삼는다.
• 각 모서리 [v,w]에 대해 f(v) − f(w)가 v − w의 스칼라 배수인 함수 f: V → ℝᵈ의 개념을 적용하여, 캘레이의 그래프 분해 불가능성 개념을 일반화한다.
• 정리 1: G₀가 분해 불가능하고 Gₙ이 두 개의 기존 꼭짓점에 연결된 한 개의 꼭짓점을 추가하는 단순 확장의 순서이면, Gₙ 역시 분해 불가능하다.
• 두 분해 불가능한 기하학적 그래프가 두 개의 꼭짓점을 공유하지만 공통 모서리가 없으면, 그 합집합도 분해 불가능하다는 사실을 활용한다.
• 바르네티의 면 수에 따른 꼭짓점 수의 하한과 그ün바우의 단순 다면체 분류 결과와 같은 다면체 이론의 결과를 적용한다.
• 오일러의 공식과 모서리-꼭짓점 관계식(2E − dV = 2, d-다면체에 대해)을 사용하여 가능한 구성의 범위를 제약한다.

실험 결과

연구 질문

• RQ1 최대 d² + 1/(2d)조각의 모서리를 가진 d차원 다면체 중에서 분해 가능한 것은 무엇인가?
• RQ2 분해 불가능성에 대한 그래프 이론적 기준을 사용하여, ≤15조각의 모서리를 가진 3차원 다면체의 분류를 완성할 수 있는가?
• RQ3 d ≠ 3일 때 2d개의 꼭짓점과 d² + 1조각의 모서리를 가진 d차원 다면체가 존재하는가?
• RQ4 다수의 삼각형 면이 존재하지 않더라도 분해 불가능성을 확립할 수 있는가?
• RQ5 주어진 수의 면을 가진 단순 d-다면체의 최소 꼭짓점 수와 모서리 수는 얼마인가?

주요 결과

• 최대 d² + 1/(2d)조각의 모서리를 가진 모든 d차원 다면체 중에서 오직 단순 프리즘 ∆₁,ₙ₋₁(정확히 d²조각의 모서리를 가짐) 또는 4차원 다면체 ∆₂,₂만 분해 가능하다.
• 모든 d ≠ 3에 대해 2d개의 꼭짓점과 d² + 1조각의 모서리를 가진 d차원 다면체는 존재하지 않는다.
• d = 3일 때, 2d = 6개의 꼭짓점과 d² + 1 = 10조각의 모서리를 가진 유일한 다면체는 오목 다각형 프리즘과 조합적으로 동일하다.
• ≤15조각의 모서리를 가진 3차원 다면체의 분류가 완성되었다: 오직 하나만 분해 가능하다(삼각형 프리즘), 나머지는 모두 분해 불가능하다.
• 2d = 6개의 꼭짓점과 d² + 1 = 10조각의 모서리를 가진 3차원 다면체는 오직 오목 다각형 프리즘과 조합적으로 동일하며, 이는 유일한 사례이다.
• 목록 [4]의 199번째 다면체(BD199)는 분해 불가능하다. 그 이유는 각각 삼개의 삼각형으로 이루어진 파랑 및 빨강 부분 그래프가 두 개의 꼭짓점을 공유하지만 공통 모서리가 없기 때문이다.