[논문 리뷰] The hyperbolic Voronoi diagram in arbitrary dimension

Frank Nielsen, Richard Nock|arXiv (Cornell University)|2012. 10. 31.

Geometric and Algebraic Topology참고 문헌 25인용 수 6

한 줄 요약

이 논문은 초등각 벨트라미 반구 모델을 사용하여 임의의 차원에서 초등각 베로노이 도형을 정확하게 유리수 산술을 통해 계산하는 새로운 방법을 제시한다. 이 모델에서 초등각 베로노이 도형이 애매선형임을 증명함으로써, 비용이 많이 드는 제곱근 연산 없이 표준적인 힘의 도형을 통해 효율적인 계산이 가능해지며, 거리 계산에서 제곱근 연산이 필요한 클라인 모델의 한계를 극복한다.

ABSTRACT

We show that in the Klein projective ball model of hyperbolic space, the hyperbolic Voronoi diagram is affine and amounts to clip a corresponding power diagram, requiring however algebraic arithmetic. By considering the lesser-known Beltrami hemisphere model of hyperbolic geometry, we overcome the arithmetic limitations of Klein construction. Finally, we characterize the bisectors and geodesics in the other Poincar\' e upper half-space, the Poincaré ball, and the Lorentz hyperboloid models, and discusses on degenerate cases for which the dual hyperbolic Delaunay complex is not a triangulation.

연구 동기 및 목표

• 거리 계산에서 제곱근 연산이 필요한 클라인 볼 모델의 계산적 한계를 극복하기 위해.
• 오직 유리수 산술만을 사용하여 초등각 베로노이 도형을 임의의 차원에서 계산하는 방법을 개발하기 위해.
• 고정된 행렬식을 가진 대칭 양의 정부호 행렬과 초등각 기하학 간의 연결 고리를 설정하기 위해, 특히 2차원에서의 경우에 대해.
• 모든 다섯 가지 표준 초등각 기하학 모델(Poincaré, 클라인, 벨트라미, 로렌츠, 상반평면)에서 이분선과 전지오데식을 특성화하기 위해.
• 이중 데라우누이 복합체가 삼각형 분할이 되지 않는 특수한 경우를 분석하기 위해.

제안 방법

• 초등각 공간을 표현하기 위해 벨트라미 반구 모델을 사용하여, (d+1)차원 좌표에서 오직 유리수 산술만을 사용해 초등각 베로노이 도형을 애매선형 도형으로 계산할 수 있도록 한다.
• 반구 모델에서의 초등각 베로노이 도형이 환경 유클리드 공간에서 잘린 힘의 도형과 동치임을 활용한다.
• 모든 다섯 가지 표준 모델(Poincaré 상반평면, Poincaré 볼, 클라인 볼, 로렌츠 쌍곡면, 벨트라미 반구)에 대해 기하학적 지오데식과 이분선을 해석적으로 유도한다.
• 모비우스 변환과 등장변환을 사용하여 서로 다른 모델을 연결하고 기하학적 계산을 단순화한다.
• 고정된 행렬식을 가진 2×2 대칭 양의 정부호 행렬의 공간은 초등각 평면과 등장이며, 이로 인해 초등각 모델을 통한 기하학적 해석이 가능해진다.
• 클라인 모델이 대수적 연산이 필요로 하는 것과는 달리, 반구 모델에서는 유리수 매개변수화를 사용함으로써 제곱근을 피하는 구성이 가능해진다.

실험 결과

연구 질문

• RQ1 임의의 차원에서 초등각 베로노이 도형을 제곱근 연산 없이 오직 유리수 산술만을 사용하여 계산할 수 있는가?
• RQ2 다섯 가지 표준 초등각 기하학 모델에서의 이분선과 지오데식은 상호간에 어떻게 관련되어 있으며, 베로노이 도형의 구조와 어떻게 연결되는가?
• RQ3 행렬식이 고정된 2×2 대칭 양의 정부호 행렬의 공간과 2차원 초등각 기하학 간의 관계는 무엇인가?
• RQ4 초등각 공간에서 이중 데라우누이 복합체가 삼각형 분할이 되지 않는 조건은 무엇인가?
• RQ5 클라인 모델의 베로노이 도형을 비유리수 산술을 피할 수 있도록 재구성할 수 있는가?

주요 결과

• 벨트라미 반구 모델에서의 초등각 베로노이 도형은 애매선형이며, (d+1)차원 좌표에서 오직 유리수 산술만을 사용해 잘린 힘의 도형으로 계산할 수 있다.
• 이 방법은 거리 계산에서 제곱근 연산이 필요한 클라인 모델의 산술적 한계를 극복한다.
• d차원 초등각 공간에서의 초등각 베로노이 도형의 복잡도는 Θ(n^⌈d/2⌉)이며, 이는 Poincaré 상반평면 모델에서의 이전 결과와 일치한다.
• 행렬식이 고정된 2×2 대칭 양의 정부호 행렬의 공간은 초등각 평면과 등장이며, Poincaré, 클라인 또는 로렌츠 모델을 사용해 유리수 표현식으로 초등각 거리를 계산할 수 있다.
• 특수한 경우로, 점들이 고차원에서 공통의 k-평면이나 k-구 위에 있을 경우, 이중 데라우누이 복합체가 삼각형 분할이 되지 않는 경우가 존재한다.
• 논문은 Poincaré, 클라인, 벨트라미, 로렌츠, 상반평면을 포함한 모든 다섯 가지 표준 초등각 기하학 모델에 대해 지오데식과 이분선의 명시적 공식을 제공하며, 특히 계산 기하학에서 덜 사용되는 벨트라미 반구 모델까지 포함한다.