The geometric stability of Voronoi diagrams in normed spaces which are not uniformly convex

TL;DR

This paper investigates the stability of Voronoi diagrams in non-uniformly convex normed spaces, demonstrating conditions under which stability can be preserved despite the lack of uniform convexity.

Contribution

It extends the stability results of Voronoi diagrams to a broader class of normed spaces with specific geometric structures of the unit sphere.

Findings

Voronoi diagrams are stable under certain conditions in non-uniformly convex spaces.

The unit sphere's structure influences the stability of Voronoi diagrams.

Topological properties of Voronoi cells are established in these spaces.

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.