Dilation, smoothed distance, and minimization diagrams of convex functions

We study Voronoi diagrams for distance functions that add together two convex functions, each taking as its argument the difference between Cartesian coordinates of two planar points. When the functions do not grow too quickly, then the Voronoi diagram has linear complexity and can be constructed in near-linear randomized expected time. Additionally, the level sets of the distances from the sites form a family of pseudocircles in the plane, all cells in the Voronoi diagram are connected, and the set of bisectors separating any one cell in the diagram from each of the others forms an arrangement of pseudolines in the plane. We apply these results to the smoothed distance or biotope transform metric, a geometric analogue of the Jaccard distance whose Voronoi diagrams can be used to determine the dilation of a star network with a given hub. For sufficiently closely spaced points in the plane, the Voronoi diagram of smoothed distance has linear complexity and can be computed efficiently. We also experiment with a variant of Lloyd's algorithm, adapted to smoothed distance, to find uniformly spaced point samples with exponentially decreasing density around a given point.

[1]  Kurt Mehlhorn,et al.  On the construction of abstract voronoi diagrams , 1990, STACS.

[2]  P. Gritzmann,et al.  Applied geometry and discrete mathematics : the Victor Klee festschrift , 1991 .

[3]  Robert L. Scot Drysdale,et al.  Voronoi diagrams based on convex distance functions , 1985, SCG '85.

[4]  Micha Sharir,et al.  New bounds for lower envelopes in three dimensions, with applications to visibility in terrains , 1993, SCG '93.

[5]  J. Isbell Six theorems about injective metric spaces , 1964 .

[6]  S. P. Lloyd,et al.  Least squares quantization in PCM , 1982, IEEE Trans. Inf. Theory.

[7]  Robert Ulichney,et al.  Digital Halftoning , 1987 .

[8]  Patrice Ossona de Mendez,et al.  Stretching of Jordan Arc Contact Systems , 2003, Graph Drawing.

[9]  Peter W. Shor,et al.  Stretchability of Pseudolines is NP-Hard , 1990, Applied Geometry And Discrete Mathematics.

[10]  David Eppstein Algorithms for Drawing Media , 2004, Graph Drawing.

[11]  Micha Sharir,et al.  On the union of Jordan regions and collision-free translational motion amidst polygonal obstacles , 1986, Discret. Comput. Geom..

[12]  P. Jaccard,et al.  Etude comparative de la distribution florale dans une portion des Alpes et des Jura , 1901 .

[13]  Paul S. Heckbert Color image quantization for frame buffer display , 1998 .

[14]  L. Kucera,et al.  Randomized incremental construction of abstract Voronoi diagrams , 1993 .

[15]  Ronald Ortner,et al.  An arrangement of pseudocircles not realizable with circles , 2005 .

[16]  David Eppstein,et al.  Spanning Trees and Spanners , 2000, Handbook of Computational Geometry.

[17]  Sergei Ovchinnikov,et al.  Media theory , 2002, Discret. Appl. Math..

[18]  David S. Ebert,et al.  Measuring Stipple Aesthetics in Hand-Drawn and Computer-Generated Images , 2008, IEEE Computer Graphics and Applications.

[19]  Rolf Klein,et al.  Concrete and Abstract Voronoi Diagrams , 1990, Lecture Notes in Computer Science.

[20]  A. Dress Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces , 1984 .

[21]  Richard Nock,et al.  On Bregman Voronoi diagrams , 2007, SODA '07.