Authors: Akitoshi Kawamura Jiří Matoušek Takeshi Tokuyama
Publish Date: 2011/11/17
Volume: 354, Issue: 4, Pages: 1201-1221
Abstract
Zone diagrams are a variation on the classical concept of Voronoi diagrams Given n sites in a metric space that compete for territory the zone diagram is an equilibrium state in the competition Formally it is defined as a fixed point of a certain “dominance” map Asano Matoušek and Tokuyama proved the existence and uniqueness of a zone diagram for point sites in the Euclidean plane and Reem and Reich showed existence for two arbitrary sites in an arbitrary metric space We establish existence and uniqueness for n disjoint compact sites in a Euclidean space of arbitrary finite dimension and more generally in a finitedimensional normed space with a smooth and rotund norm The proof is considerably simpler than that of Asano et al We also provide an example of nonuniqueness for a norm that is rotund but not smooth Finally we prove existence and uniqueness for two point sites in the plane with a smooth but not necessarily rotund norm
Keywords: