Zone and double zone diagrams in abstract spaces
Abstract
A zone diagram is a relatively new concept which was first defined and studied by T. Asano, J. Matousek and T. Tokuyama. It can be interpreted as a state of equilibrium between several mutually hostile kingdoms. Formally, it is a fixed point of a certain mapping. These authors considered the Euclidean plane and proved the existence and uniqueness of zone diagrams there. In the present paper we generalize this concept in various ways. We consider general sites in m-spaces (a simple generalization of metric spaces) and prove several existence and (non)uniqueness results in this setting. In contrast to previous works, our (rather simple) proofs are based on purely order theoretic arguments. Many explicit examples are given, and some of them illustrate new phenomena which occur in the general case. We also re-interpret zone diagrams as a stable configuration in a certain combinatorial game, and provide an algorithm for finding this configuration in a particular case.
Cite
@article{arxiv.0708.2668,
title = {Zone and double zone diagrams in abstract spaces},
author = {Daniel Reem and Simeon Reich},
journal= {arXiv preprint arXiv:0708.2668},
year = {2017}
}
Comments
17 pages, 5 figures; slight modifications and additions (including thanks); Theorem 5.5 was slightly improved. This version is essentially from the beginning of 2009 and it does not take into account several developments which have occurred since then