[논문 리뷰] The geometric stability of Voronoi diagrams with respect to small changes of the sites

Daniel Reem|arXiv (Cornell University)|2011. 03. 21.

Computational Geometry and Mesh Generation참고 문헌 33인용 수 15

한 줄 요약

이 논문은 균일하게 볼록한 노름 공간, 즉 ℝᵈ와 무한차원 공간을 포함하여, 점들에 대한 소규모 변형에 대해 베로노이 다각형의 기하학적 안정성을 확립한다. 만약 점들이 일정한 양의 거리로 분리되어 있다면, 그 위치나 형태에 대한 소규모 변화가 결과적으로 생기는 베로노이 세포에 대해 균일하게 작은 변화를 초래하며, 세포 간 하우스도르프 거리에 대해 명시적인 경계를 제공한다. 이 결과는 일반적인 형태의 유한하거나 무한한 수의 점에 대해 성립하며, 기하학적 응용 분야에서 베로노이 다각형의 강건성에 대한 근본적인 질문을 해결한다.

ABSTRACT

Voronoi diagrams appear in many areas in science and technology and have numerous applications. They have been the subject of extensive investigation during the last decades. Roughly speaking, they are a certain decomposition of a given space into cells, induced by a distance function and by a tuple of subsets called the generators or the sites. Consider the following question: does a small change of the sites, e.g., of their position or shape, yield a small change in the corresponding Voronoi cells? This question is by all means natural and fundamental, since in practice one approximates the sites either because of inexact information about them, because of inevitable numerical errors in their representation, for simplification purposes and so on, and it is important to know whether the resulting Voronoi cells approximate the real ones well. The traditional approach to Voronoi diagrams, and, in particular, to (variants of) this question, is combinatorial. However, it seems that there has been a very limited discussion in the geometric sense (the shape of the cells), mainly an intuitive one, without proofs, in Euclidean spaces. We formalize this question precisely, and then show that the answer is positive in the case of R^d, or, more generally, in (possibly infinite dimensional) uniformly convex normed spaces, assuming there is a common positive lower bound on the distance between the sites. Explicit bounds are given, and we allow infinitely many sites of a general form. The relevance of this result is illustrated using several pictures and many real-world and theoretical examples and counterexamples.

연구 동기 및 목표

• 소규모 변화가 점들의 위치나 형태에 영향을 주면, 이에 따라 베로노이 세포 기하학적 구조가 소규모로 변화하는지 수학적으로 정의하고 엄밀히 답변하는 것.
• 기하학적 안정성(조합적 구조를 초월하여)이 대부분 증명되지 않았거나 직관적으로만 논의된 오랜 문헌적 격차를 메우는 것.
• 특히 균일하게 볼록한 공간에서 일반적인 노름 공간 내에서 점들의 변형에 대한 베로노이 세포 경계의 연속성을 확립하는 것.
• 소규모 기하학적 가정 하에 원래와 변형된 베로노이 세포 간 하우스도르프 거리에 대한 명시적인 정량적 경계를 제공하는 것.
• 이론적 예와 반례를 통해 핵심 조건(예: 양의 점 간 거리, 방사성 성질)의 필요성을 검증하는 것.

제안 방법

• 베로노이 세포 간 유사도 측정으로 하우스도르프 거리를 사용하여 기하학적 안정성 문제를 수식화하는 것.
• 점에서 가장 가까운 점까지의 거리 함수의 행동을 분석하며, 특히 점들의 집합까지의 거리의 Supremum에 초점을 맞추는 것.
• 점 p에서의 방사성 성질의 개념을 사용하여, p에서 방향 θ로 향하는 반사선이 경계에 도달하기 전에 해당 점의 영향 영역에 도달하도록 보장하는 것.
• 균일하게 볼록한 노름 공간 이론을 적용하여, 방향 θ를 점 p에서 베로노이 세포 경계까지의 거리로 매핑하는 함수 T(θ,p)의 연속성을 도출하는 것.
• 모순 증명과 기하학적 보조정리(예: 보조정리 8.6, 보조정리 8.9)를 사용하여, θ의 소규모 각도 변화에 따른 T(θ,p)의 변화 범위를 확립하는 것.
• 거리의 성장 제어와 변형에 의한 안정성 확보를 위해 조건 (19)의 유한성 조건을 도입하고 활용하는 것.

실험 결과

연구 질문

• RQ1 균일하게 볼록한 노름 공간에서 점들의 소규모 변형(위치 또는 형태 변화)이 해당 베로노이 세포의 기하학적 형태에 소규모 변화를 초래하는가?
• RQ2 점 구성(configuration)에서 베로노이 세포로의 사상이 하우스도르프 거리에서 연속성이 성립하는 조건은 무엇인가?
• RQ3 점들이 일정한 양의 거리로 분리되어 있다면, 무한히 많은 점들에 대해서도 베로노이 다각형의 기하학적 안정성이 유지되는가?
• RQ4 소규모 점 변화 하에서 원래와 변형된 베로노이 세포 간 하우스도르프 거리에 대한 명시적인 정량적 경계는 무엇인가?
• RQ5 방사성 성질이나 양의 점 간 거리와 같은 기하학적 및 위상수학적 가정은 이러한 안정성에 필수적인가?

주요 결과

• 균일하게 볼록한 노름 공간, 즉 ℝᵈ를 포함하여, 일정한 양의 거리로 분리된 점들에 대한 소규모 변형은 하우스도르프 거리로 측정했을 때, 해당 베로노이 세포에 대해 균일하게 작은 변화를 초래한다.
• 방향의 각도 변화와 공간의 기하학적 성질에 따라, 점들의 변형에 따른 베로노이 세포 경계의 변화에 대해 명시적인 경계를 제공한다.
• 점 p에서 방향 θ로의 베로노이 세포 경계까지의 거리를 주는 함수 T(θ,p)는 방사성 성질과 점들의 집합까지의 양의 거리 조건 하에서 연속적이다.
• 점들이 임의의 형태이더라도 일정한 양의 거리로 분리되어 있다면, 무한히 많은 점들에 대해서도 결과가 성립한다.
• 반례들을 통해 균일하게 볼록성, 양의 점 간 거리, 방사성 성질 등의 조건이 연속성에 필수적임을 보여주며, 이 조건들이 없으면 기하학적 불안정성이 발생할 수 있음을 확인한다.
• 논문은 일반적인 노름 공간에서는 기하학적 안정성이 보장되지 않음을 반례를 통해 보여주며, 비균일하게 볼록한 공간이나 점들의 집합까지의 거리가 0인 경우에 기하학적 불안정성이 발생할 수 있음을 입증한다.