[论文解读] The geometric stability of Voronoi diagrams with respect to small changes of the sites

Daniel Reem|arXiv (Cornell University)|Mar 21, 2011

Computational Geometry and Mesh Generation参考文献 33被引用 15

一句话总结

本文在一致凸范数空间（包括 ℝᵈ 和无限维空间）中，建立了站点在小扰动下 Voronoi 图的几何稳定性。证明表明，若站点间保持均匀正距离，则其位置或形状的微小变化将导致 Voronoi 单元的几何变化也 uniformly 小，且提供了 Voronoi 单元之间 Hausdorff 距离的显式上界。该结果适用于有限或无限多个一般形式的站点，解决了 Voronoi 图在几何应用中鲁棒性这一基本问题。

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.

研究动机与目标

• 将几何稳定性问题形式化，使用 Voronoi 单元之间的 Hausdorff 距离作为相似性度量。
• 解决文献中长期存在的空白：几何稳定性（超越组合结构）在很大程度上未被证明或仅被直观讨论。
• 在一般范数空间（特别是一致凸空间）中，建立 Voronoi 单元边界关于站点扰动的连续性。
• 在较弱的几何假设下，提供原始与扰动 Voronoi 单元之间 Hausdorff 距离的显式定量上界。
• 通过理论示例和反例验证结果，证明正确定位条件（如站点间正距离和发射性质）的必要性。

提出的方法

• 使用 Voronoi 单元之间的 Hausdorff 距离作为相似性度量，形式化几何稳定性问题。
• 分析点到最近站点的距离函数，特别关注其到站点集合的上确界。
• 引入点 p 处的发射性质概念，确保从 p 沿方向 θ 的射线在到达边界前先与站点影响域相交。
• 应用一致凸范数空间理论，推导函数 T(θ,p) 的连续性，该函数将方向 θ 映射为从 p 到 Voronoi 单元在方向 θ 上边界的距离。
• 采用反证法和几何引理（如引理 8.6、引理 8.9），建立在 θ 的小角度扰动下 T(θ,p) 变化幅度的上界。
• 引入并利用有界性条件 (19)，以控制距离的增长，确保扰动下的稳定性。

实验结果

研究问题

• RQ1 在一致凸范数空间中，站点（位置或形状）的小扰动是否会导致对应 Voronoi 单元的几何形状发生小变化？
• RQ2 在 Hausdorff 度量下，站点构型到 Voronoi 单元的映射在何种条件下是连续的？
• RQ3 当存在无限多个站点时，若其均匀分离，Voronoi 图的几何稳定性是否仍然成立？
• RQ4 在站点发生小变化时，原始与扰动 Voronoi 单元之间 Hausdorff 距离的显式定量上界是什么？
• RQ5 哪些几何和拓扑假设（如发射性质或正站点分离）是实现此类稳定性的必要条件？

主要发现

• 在一致凸范数空间（包括 ℝᵈ）中，若站点间保持均匀正距离，则其小扰动将导致对应 Voronoi 单元的几何变化 uniformly 小，以 Hausdorff 距离度量。
• 提供了站点扰动下 Voronoi 单元边界变化的显式上界，其依赖于方向的角偏差及空间的几何特性。
• 在发射性质假设和站点集合正距离的前提下，函数 T(θ,p)（即从点 p 到其 Voronoi 单元在方向 θ 上边界的距离）是连续的。
• 该结果对任意形状的无限多个站点成立，只要它们之间保持均匀正距离。
• 反例表明，一致凸性、正站点分离和发射性质等条件是连续性的必要条件；若缺少这些条件，几何不稳定性可能发生。
• 本文表明，在一般范数空间中，几何稳定性无法保证，如在非一致凸空间中或当点到站点集合的距离为零时，反例已证明这一点。