[논문 리뷰] Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations

Jean Gallier|ArXiv.org|2008. 05. 02.

Computational Geometry and Mesh Generation참고 문헌 34인용 수 48

한 줄 요약

이 논문은 볼록 집합, 다면체, 다면체 및 조합적 위상수학에 대한 엄밀하고 자가 포함적인 강의를 제공하며, 비르호프 다이어그램과 데라운이 삼각분할에 중점을 두고 있다. 프로젝티브 기하학과 구상 투영을 사용하여 구상과 매개면으로의 올림을 통해 데라운이 삼각분할과 비르호프 다이어그램의 동치성을 엄밀히 증명하는 새로운 프레임워크를 수립함으로써, 계산 기하학에서의 기초적 모호성을 해결한다.

ABSTRACT

Some basic mathematical tools such as convex sets, polytopes and combinatorial topology, are used quite heavily in applied fields such as geometric modeling, meshing, computer vision, medical imaging and robotics. This report may be viewed as a tutorial and a set of notes on convex sets, polytopes, polyhedra, combinatorial topology, Voronoi Diagrams and Delaunay Triangulations. It is intended for a broad audience of mathematically inclined readers. I have included a rather thorough treatment of the equivalence of V-polytopes and H-polytopes and also of the equivalence of V-polyhedra and H-polyhedra, which is a bit harder. In particular, the Fourier-Motzkin elimination method (a version of Gaussian elimination for inequalities) is discussed in some detail. I also included some material on projective spaces, projective maps and polar duality w.r.t. a nondegenerate quadric in order to define a suitable notion of ``projective polyhedron'' based on cones. To the best of our knowledge, this notion of projective polyhedron is new. We also believe that some of our proofs establishing the equivalence of V-polyhedra and H-polyhedra are new.

연구 동기 및 목표

• 기하 모델링, 로봇공학 및 의료 영상에서 사용되는 볼록 기하학과 조합적 위상수학 개념에 대한 종합적이고 수학적으로 엄밀한 기초를 제공하기 위해.
• 데라운이 삼각분할을 위한 표준 올림 구조에서의 모호성을 제거하기 위해, 구상에서 매개면으로의 프로젝티브 사상의 정당성을 엄밀히 증명함으로써.
• 비퇴화된 이차곡선에 대한 원뿔과 극대 이중성에 기반한 '프로젝티브 다면체'의 개념을 도입하고 형식화하여, 비유한 다면체를 일관적으로 다룰 수 있도록 하기 위해.
• 선형 부등식계를 다루는 데 핵심적인 도구인 포아르-모츠킨 소거법을 사용하여 V-다면체와 H-다면체의 동치성을 증명하기 위해.

제안 방법

• 프로젝티브 기하학을 사용하여 프로젝티브 공간 내의 볼록 다면체를 정의함으로써, 비유한 구조의 잘 정의된 다루기 가능성을 확보하고, 구상 투영을 가능하게 한다.
• 데라운이 삼각분할과 비르호프 다이어그램을 매개면으로 올리기 위해, 구상에서 매개면으로의 역 구상 투영을 적용하여, 이 사상이 조합적 구조를 유지함을 증명한다.
• 비퇴화된 이차곡선에 대한 원뿔과 극대 이중성을 기반으로 한 새로운 '프로젝티브 다면체' 개념을 도입하여, 비유한 경우를 다루는 데 핵심적인 역할을 한다.
• 포아르-모츠킨 소거법을 계산적 방법으로 사용하여 V-다면체와 H-다면체의 동치성을 증명함으로써, 표준 선형 프로그래밍 기법을 부등식계로 확장한다.
• 쉘링과 조합적 위상수학을 사용하여 다면체에 대한 오일러-포앵카르 공식과 상한 정리를 증명하며, 단순형과 단순 다면체에 중점을 둔다.
• 극대 이중성을 적용하여, 원본 다면체가 단순형이 아니더라도 데라운이 다면체의 이중은 단순 다면체임을 보여주며, 이중에서 무한원점에 있는 정점은 정점 수에 기여하지 않기 때문이다.

실험 결과

연구 질문

• RQ1 구상에서 매개면으로의 사상이 프로젝티브 공간에서만 잘 정의될 때, 프로젝티브 기하학을 사용하여 데라운이 삼각분할을 위한 표준 올림 구조를 어떻게 엄밀히 정당화할 수 있는가?
• RQ2 비르호프와 데라운이 복합체의 맥락에서 비유한 다면체와 이중성을 일관되게 다룰 수 있도록 하는 적절한 '프로젝티브 다면체'의 개념은 무엇인가?
• RQ3 선형 부등식계와 비유한 영역을 다룰 때, V-다면체와 H-다면체의 동치성이 어떻게 확립될 수 있는가?
• RQ4 쉘링은 다면체에 대한 오일러-포앵카르 공식과 상한 정리를 증명하는 데 어떤 역할을 하는가? 그리고 이는 데라운이 및 비르호프 복합체의 구조와 어떻게 관련이 있는가?
• RQ5 왜 비르호프 다이어그램과 데라운이 삼각분할은 구상에서 매개면으로의 구상 투영에 대해 불변하는가? 이를 보장하는 기하학적 및 위상수학적 조건은 무엇인가?

주요 결과

• 구상에서 매개면으로의 프로젝티브 사상은 데라운이 삼각분할과 비르호프 다이어그램의 조합적 구조를 정확히 유지하며, 이는 두 구성 방식이 동치임을 증명한다.
• 원본 다면체가 단순형이 아니더라도, 무한원점에 있는 정점이 포함된 비유한 면으로 인해 정점 수에 기여하지 않기 때문에, 데라운이 다면체의 이중은 단순 다면체가 된다.
• 포아르-모츠킨 소거법을 사용하여 V-다면체와 H-다면체의 동치성이 증명되었으며, 이는 선형 부등식계에 대해 가우스 소거법을 일반화한 방법이다.
• 점 집합 P가 일반 위치에 있을 경우, 비르호프 다이어그램의 정점은 d+1개의 점과 동일한 거리에 있으며, 데라운이 삼각분할은 단순 복합체가 된다.
• 가장 큰 빈 원 문제는 비르호프 정점과 변을 검토하여 해결할 수 있으며, 최적의 중심이 볼록 hull 내부에 있을 경우 비르호프 정점에 위치한다.
• 점 집합의 최소 스패닝 트리는 데라운이 삼각분할에 포함되어 있으며, 이는 데라운 기반 방법을 통해 최소 스패닝 트리를 효율적으로 계산할 수 있음을 의미한다.