[논문 리뷰] The geometric stability of Voronoi diagrams in normed spaces which are not uniformly convex

Daniel Reem|arXiv (Cornell University)|2012. 12. 04.

Computational Geometry and Mesh Generation참고 문헌 57인용 수 5

한 줄 요약

이 논문은 ℓ₁ 및 ℓ∞ 공간과 같이 균일하게 볼록하지 않은 유한차원 노름 공간에서 비보조도의 기하적 안정성을 확립한다. 이를 위해 단위 구면에 대한 구조 조건(최대 하나의 둥근 부분과 유한한 수의 비퇴화된 볼록 부분)과 사이트에 대한 일반 위치 조건을 도입한다. 핵심 결과는 사이트의 소규모 변형이 비보조도 셀의 형태에 균일하게 소규모 변화를 유도한다는 것이다. 이는 이전에 균일하게 볼록한 공간에 국한되어 있던 연속성 결과를 더 넓은 범주로 확장한다.

ABSTRACT

The Voronoi diagram is a geometric object which is widely used in many areas. Recently it has been shown that under mild conditions Voronoi diagrams have a certain continuity property: small perturbations of the sites yield small perturbations in the shapes of the corresponding Voronoi cells. However, this result is based on the assumption that the ambient normed space is uniformly convex. Unfortunately, simple counterexamples show that if uniform convexity is removed, then instability can occur. Since Voronoi diagrams in normed spaces which are not uniformly convex do appear in theory and practice, e.g., in the plane with the Manhattan (ell_1) distance, it is natural to ask whether the stability property can be generalized to them, perhaps under additional assumptions. This paper shows that this is indeed the case assuming the unit sphere of the space has a certain (non-exotic) structure and the sites satisfy a certain "general position" condition related to it. The condition on the unit sphere is that it can be decomposed into at most one "rotund part" and at most finitely many non-degenerate convex parts. Along the way certain topological properties of Votonoi cells (e.g., that the induced bisectors are not "fat") are proved.

연구 동기 및 목표

• ℓ₁ 및 ℓ∞와 같은 균일하게 볼록하지 않은 노름 공간에서 비보조도의 기하적 안정성 이론의 부재를 해결하기 위해.
• 균일한 볼록성이 없음에도 불구하고 사이트의 소규모 변형이 비보조도 셀 형태에 소규모 변화를 유도할 수 있는 조건을 규명하기 위해.
• 이전에 균일하게 볼록한 공간에 국한되어 있던 연속성 결과를 더 넓은 범주인 노름 공간으로 일반화하기 위해.
• 이러한 공간에서 비보조도 셀과 이분선의 위상적 성질, 예를 들어 유도된 이분선의 비지름성 등을 규명하기 위해.

제안 방법

• 단위 구면에 대한 구조 조건을 도입: 최대 하나의 둥근 부분과 유한한 수의 비퇴화된 볼록 부분으로 분해되어야 한다.
• 단위 구면의 기하적 구조와의 교차성을 보장하기 위해 사이트에 일반 위치 조건을 도입한다.
• 거리 함수와 그 하위레벨 집합의 행동을 변형에 대해 분석하기 위해 유클리드 기하학과 연속성 추론을 사용한다.
• 중간값 정리와 위상적 추론을 적용하여 변형의 전파를 제어한다.
• 비보조도 셀의 합집합이 전체 공간을 덮고 있으며, 경계는 등거리 집합에 포함된다는 사실을 활용한다.
• 제시된 조건 하에 사이트의 변형 크기로 비보조도 셀 경계 간 하우스도르프 거리가 제어됨을 증명한다.

실험 결과

연구 질문

• RQ1 균일하게 볼록하지 않은 노름 공간, 예를 들어 ℓ₁ 또는 ℓ∞와 같은 공간에서 비보조도의 기하적 안정성을 확장할 수 있는가?
• RQ2 노름 공간의 단위 구면에 어떤 구조 조건이 있어야 사이트의 소규모 변형이 비보조도 셀 형태에 소규모 변화를 유도하는가?
• RQ3 균일하게 볼록하지 않은 공간에서 비보조도 셀의 위상적 성질, 예를 들어 유도된 이분선의 성격은 어떻게 행동하는가?
• RQ4 사이트에 대한 일반 위치 조건이 균일하게 볼록하지 않은 설정에서 안정성을 확보하는 데 어떤 역할을 하는가?
• RQ5 추가적인 기하적 제약 조건이 만족되면, 균일한 볼록성이 없는 환경에서 비보조도의 연속성이 유지되는가?

주요 결과

• 유한차원 노름 공간에서 비보조도는 단위 구면이 최대 하나의 둥근 부분과 유한한 수의 비퇴화된 볼록 부분을 가질 경우, 사이트의 소규모 변형에 대해 기하적으로 안정하다.
• 이러한 공간에서 유도된 이분선은 '지름이 큰' 것이 아니며, 즉 전도적 인접 영역을 포함하지 않아, 셀 경계의 안정성을 뒷받침한다.
• 각 비보조도 셀의 경계는 그 사이트와 나머지 모든 사이트의 합집합 사이의 등거리 집합에 포함된다. 즉, ∂(R_k) ⊆ {x : d(x,P_k) = d(x,∪_{j≠k} P_j)}.
• 제시된 조건 하에 원래 구성과 변형된 구성 간 비보조도 셀 경계 간 하우스도르프 거리는 사이트의 변형 크기로 제어된다.
• 증명은 거리 함수의 연속성과 중간값 정리를 활용하여 공간 전반에 걸친 변형의 전파를 제어한다.
• 이 결과는 이전에 균일하게 볼록한 공간에 국한되어 있던 안정성 결과를, 운동 계획, VLSI 설계, 최근접 이웃 검색 등 응용 분야에서 중요한 더 넓은 범주인 노름 공간으로 일반화한다.