[논문 리뷰] Delaunay triangulation of manifolds

Jean‐Daniel Boissonnat, Ramsay Dyer외 1명|arXiv (Cornell University)|2013. 11. 01.

Topological and Geometric Data Analysis참고 문헌 20인용 수 4

한 줄 요약

이 논문은 유클리드 공간에 임bedded되어 있지 않은 추상 다변량의 데라운이 삼각형을 구성하기 위한 새로운 알고리즘 프레임워크를 제안한다. 왜곡이 1에 가까운 bi-Lipschitz 좌표 패치를 활용함으로써, 전이 함수의 매끄러움 조건 없이도 충분한 표본 밀도 하에서 원래 다변량과 호환되는 다변량 단체 복합체를 생성한다.

ABSTRACT

We present an algorithmic framework for producing Delaunay triangulations of manifolds. The input to the algorithm is a set of sample points together with coordinate patches indexed by those points. The transition functions between nearby coordinate patches are required to be bi-Lipschitz with a constant close to 1. The primary novelty of the framework is that it can accommodate abstract manifolds that are not presented as submanifolds of Euclidean space. The output is a manifold simplicial complex that is the Delaunay complex of a perturbed set of points on the manifold. The guarantee of a manifold output complex demands no smoothness requirement on the transition functions, beyond the bi-Lipschitz constraint. In the smooth setting, when the transition functions are defined by common coordinate charts, such as the exponential map on a Riemannian manifold, the output manifold is homeomorphic to the original manifold, when the sampling is sufficiently dense.

연구 동기 및 목표

• 유클리드 공간에 임bedded되어 있지 않은 다변량에 대한 일반적인 데라운이 삼각형화 방법을 개발하는 것.
• bi-Lipschitz 전이 함수를 갖는 좌표 패치만을 사용하여 추상 다변량을 다루는 것.
• 전이 함수의 매끄러움 조건 없이도 출력 결과가 유효한 다변량 단체 복합체가 되도록 보장하는 것.
• 조밀한 표본 추출 조건 하에서 출력 결과가 원래 다변량과 위상적으로 동치(홈오모르피즘)가 되도록 보장하는 것.
• 데라운이 삼각형화 기법을 일반 리만 다변량 및 비매끄러운 다변량으로 확장하는 것.

제안 방법

• 알고리즘은 bi-Lipschitz 전이 함수를 갖는 표본 점들과 관련된 좌표 패치를 입력으로 받는다.
• 로컬 좌표 차트에서 데라운이 성질을 확보하기 위해 다변량 상의 표본 점들을 변형한다.
• 표준 유클리드 데라운이 삼각형화를 사용하여 각 로컬 좌표 패치에서 데라운이 복합체를 구성한다.
• bi-Lipschitz 구조를 활용하여 국소 데라운이 복합체들을 이어붙여 전체 다변량 일致성을 유지한다.
• 로컬 이웃 조건을 검증함으로써 결과 복합체가 단체 복합체 다변량임을 보장한다.
• 기하적 왜곡을 제어하고 패치 간 기하적 충실도를 유지하기 위해 bi-Lipschitz 조건에 의존한다.

실험 결과

연구 질문

• RQ1 유클리드 공간에 임bedded되어 있지 않은 추상 다변량에 대해 데라운이 삼각형화를 일반화할 수 있는가?
• RQ2 어떤 조건이 결과 삼각형화가 유효한 다변량 단체 복합체가 되도록 보장하는가?
• RQ3 전이 함수에 대한 bi-Lipschitz 조건이 출력 결과의 위상적 정확성에 어떻게 영향을 주는가?
• RQ4 어떤 표본 밀도가 결과 복합체가 원래 다변량과 위상적으로 동치가 되도록 보장하는가?
• RQ5 비매끄러운 전이 함수를 다룰 수 있을까? 여전히 위상적으로 정확한 데라운이 복합체를 생성할 수 있는가?

주요 결과

• 프레임워크는 전이 함수의 매끄러움 조건 없이도 bi-Lipschitz 좌표 패치만을 사용하여 추상 다변량의 데라운이 삼각형화를 생성한다.
• 표본 추출이 충분히 조밀할 경우 출력 결과는 위상적으로 정확한 다변량 단체 복합체임이 보장된다.
• 매끄러운 설정(예: 리만 다변량의 지수 함수 사용)에서 결과 복합체는 원래 다변량과 위상적으로 동치임이 보장된다.
• 왜곡 상수가 1에 가까운 bi-Lipschitz 조건은 기하적 왜곡을 제어하고 패치 간 데라운이 성질을 유지하는 데 충분하다.
• 프레임워크는 유클리드 공간의 부분다변량을 초월한 일반 다변량으로 데라운이 삼각형화를 확장한다.
• 표본 점의 변형에 대해 알고리즘 구조가 안정적이며, 결과 복합체의 안정성을 보장한다.