[논문 리뷰] A weak definition of Delaunay triangulation

Vin de Silva|ArXiv.org|2003. 10. 16.

Computational Geometry and Mesh Generation참고 문헌 2인용 수 13

한 줄 요약

이 논문은 단체가 데라운이 삼각분할에 속하는 것은 모든 부분단체가 약한 증거를 가질 때이고, 그때에만 성립함을 입증하며, 기존의 강한 증거 기준에 의존하지 않는 안정적이고 확률적으로 타당한 대안을 제공한다. 주요 기여는 유클리드, 쌍곡, 반구형, 가중치가 있는 데라운이 설정에서 강한 증거 조건과 약한 증거 조건이 동치임을 증명한 것으로, 점 구름에서의 안정적인 위상적 근사가 가능하게 한다.

ABSTRACT

We show that the traditional criterion for a simplex to belong to the Delaunay triangulation of a point set is equivalent to a criterion which is a priori weaker. The argument is quite general; as well as the classical Euclidean case, it applies to hyperbolic and hemispherical geometries and to Edelsbrunner's weighted Delaunay triangulation. In spherical geometry, we establish a similar theorem under a genericity condition. The weak definition finds natural application in the problem of approximating a point-cloud data set with a simplical complex.

연구 동기 및 목표

• 강한 증거가 희귀하기 때문에 의존도를 줄이는 더 약한, 더 안정적인 데라운이 삼각분할 기준을 수립하기 위해.
• 약한 증거를 사용하여 이산적인 점 샘플로부터 다양체의 신뢰할 수 있는 위상적 근사를 가능하게 하기 위해.
• 구형 및 쌍곡 기하학을 포함한 비유클리드 기하학으로 약한 증거 조건을 일반화하기 위해.
• 계산 위상구조 파ipelinе에서 약한 증거를 사용하는 데 이론적 근거를 제공하기 위해.
• 실제 점 구름 샘플링에서 강한 증거가 존재할 확률이 0이 되는 문제를 해결하기 위해.

제안 방법

• 약한 증거와 강한 증거의 개념을 도입함: 약한 증거는 단체의 꼭짓점에 대한 거리 부등식을 만족하지만, 강한 증거는 모든 꼭짓점과의 거리가 동일해야 한다.
• 수학적 귀납법을 통해 단체가 강한 증거를 가질 때이고, 그때에만 모든 부분단체가 약한 증거를 가진다는 것을 증명함.
• 유클리드 공간에서 연속성과 분리 성질을 활용하여 약한 증거의 볼록결합을 이용해 강한 증거를 구성함.
• 구기하학에서의 변형 기법을 적용하여 일반성 조건 하에서의 안정성을 입증함.
• 강한 증거가 없더라도 약한 증거 복합체가 잘 정의되고 위상적으로 의미 있는지 입증함.
• 기하 이중성과 비보이셀 교차를 이용해 가중치가 있는 데라운이 삼각분할과 비유클리드 기하학으로 이 프레임워크를 확장함.

실험 결과

연구 질문

• RQ1 강한 증거 대신 약한 증거만을 사용하여도 데라운이 삼각분할을 동치로 정의할 수 있는가?
• RQ2 쌍곡 또는 구형 공간과 같은 비유클리드 기하학에서 약한 증거 조건이 강한 증거 조건과 동치로 유지되는가?
• RQ3 약한 증거를 사용하여 유한한 점 구름에서 안정적이고 위상적으로 정확한 단체 복합체를 구성할 수 있는가?
• RQ4 작은 변형에 대해 약한 증거가 얼마나 견고한가, 특히 구기하학에서의 경우에 대해 어떤 조건이 필요한가?
• RQ5 어떤 샘플링 조건에서 약한 증거 기반 데라운이 삼각분할 복합체가 기저 다양체와 호모토피 동치가 되는가?

주요 결과

• 모든 부분단체가 약한 증거를 가질 때, 단체는 데라운이 삼각분할에 속하고, 그때에만 성립함으로써 강한 증거 조건과 약한 증거 조건이 동치임을 입증함.
• 약한 증거의 볼록결합을 통해 강한 증거의 존재를 보장할 수 있는 약한 증거 조건이 충분함.
• 구기하학에서는 비퇴화된 구성이 보장되는 일반성 조건 하에서 동치성 유지됨.
• 약한 증거 정의로 인해 유한한 점 샘플에서 강한 증거가 존재할 확률이 0이 되는 문제를 피할 수 있음.
• 충분한 샘플링 조건 하에서 약한 증거 기반 데라운이 삼각분할 복합체는 기저 다양체와 호모토피 동치임을 보장함.
• 이 프레임워크는 가중치가 있는 데라운이 삼각분할과 비유클리드 기하학, 특히 쌍곡 및 반구형 공간으로 일반화됨.