Zone diagrams in compact subsets of uniformly convex normed spaces
A zone diagram is a relatively new concept which has emerged in computational geometry and is related to Voronoi diagrams. Formally, it is a fixed point of a certain mapping, and neither its uniqueness nor its existence are obvious in advance. It has been studied by several authors, starting with T. Asano, J. Matoušek and T. Tokuyama, who considered the Euclidean plane with singleton sites, and proved the existence and uniqueness of zone diagrams there. In the present paper we prove the existence of zone diagrams with respect to finitely many pairwise disjoint compact sites contained in a compact and convex subset of a uniformly convex normed space, provided that either the sites or the convex subset satisfy a certain mild condition. The proof is based on the Schauder fixed point theorem, the Curtis-Schori theorem regarding the Hilbert cube, and on recent results concerning the characterization of Voronoi cells as a collection of line segments and their geometric stability with respect to small changes of the corresponding sites. Along the way we obtain the continuity of the Dom mapping as well as interesting and apparently new properties of Voronoi cells.
KeywordsConvex Subset Voronoi Diagram Emanation Property Convex Space Voronoi Cell
Unable to display preview. Download preview PDF.
- T. Asano and D. Kirkpatrick, Distance trisector curves in regular convex distance metrics, Proceedings of the 3rd International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2006), pp. 8–17.Google Scholar
- T. Asano and T. Tokuyama, Drawing equally-spaced curves between two points, Abstracts of the 14th Annual Workshop on Computational Geometry with a Focus on Open Problems, 2004, pp. 24–25.Google Scholar
- S. C. de Biasi, B. Kalantari and I. Kalantari, Maximal zone diagrams and their computation, Proceedings of the 7th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2010), pp. 171–180.Google Scholar
- J. Chun, Y. Okada and T. Tokuyama, Distance trisector of segments and zone diagram of segments in a plane, Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2007), pp. 66–73.Google Scholar
- K. Goebel and S. Reich, Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, Monographs and Textbooks in Pure and AppliedMathematics, Vol. 83, Marcel Dekker Inc., New York, 1984.Google Scholar
- C. Gold, The Voronoi Web Site, http://www.voronoi.com/wiki/index.php?title=MainPage.
- A. Illanes and S. B. Nadler Jr, Hyperspaces. Fundamentals and Recent Advances, Monographs and Textbooks in Pure and Applied Mathematics, Vol. 216, Marcel Dekker Inc., New York, 1999.Google Scholar
- K. Imai, A. Kawamura, J. Matoušek, Y. Muramatsu and T. Tokuyama, Distance ksectors and zone diagrams, Extended abstract in EuroCG 2009, pp. 191–194. Available at http://www.cs.toronto.edu/?kawamura/publ/090317.
- A. Kawamura, J. Matoušek and T. Tokuyama, Zone diagrams in Euclidean spaces and in other normed spaces, Mathematische Annalen, to appear. arXiv 0912.3016 (2009), a short version in SoCG 2010, pp. 216–221.Google Scholar
- D. Reem, An algorithm for computing Voronoi diagrams of general generators in general normed spaces, Proceedings of the 6th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2009), pp. 144–152.Google Scholar
- D. Reem, Voronoi and zone diagrams, Ph.D. thesis, The Technion-Israel Institute of Technology, 2010.Google Scholar
- D. Reem, the geometric stability of Voronoi diagrams with respect to small changes of the sites, arXiv 1103.4125.Google Scholar