×

From the Kneser-Poulsen conjecture to ball-polyhedra. (English) Zbl 1156.52007

Summary: A very fundamental geometric problem on finite systems of spheres was independently phrased by M. Kneser [Arch. Math. 6, 382–390 (1955; Zbl 0065.04001)] and E. T. Poulsen [Problem 10, Math. Scand. 2, 346 (1954)]. According to their well-known conjecture if a finite set of balls in Euclidean space is repositioned so that the distance between the centers of every pair of balls is decreased, then the volume of the union (resp., intersection) of the balls is decreased (resp., increased).
In the first half of this paper we survey the state of the art of the Kneser-Poulsen conjecture in Euclidean, spherical as well as hyperbolic spaces with the emphases being on the Euclidean case. Based on that it seems very natural and important to study the geometry of intersections of finitely many congruent balls from the viewpoint of discrete geometry in Euclidean space. We call these sets ball-polyhedra.
In the second half of this paper we survey a selection of fundamental results known on ball-polyhedra. Besides the obvious survey character of this paper we want to emphasize our definite intention to raise quite a number of open problems to motivate further research.

MSC:

52A38 Length, area, volume and convex sets (aspects of convex geometry)

Citations:

Zbl 0065.04001
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Andreev, E. M., Convex polyhedra in Lobachevskii space, Math. USSR Sbornik, 10, 413-440 (1970) · Zbl 0217.46801
[2] Alexander, R., Lipschitzian mappings and the total mean curvature of polyhedral surfaces (I), Trans. Amer. Math. Soc., 288, 2, 661-678 (1985) · Zbl 0563.52008
[3] M. Belk, R. Connelly, Making contractions continuous: A problem related to the Kneser-Poulsen conjecture, Contributions to Discrete Math. 1-10 (in press); M. Belk, R. Connelly, Making contractions continuous: A problem related to the Kneser-Poulsen conjecture, Contributions to Discrete Math. 1-10 (in press)
[4] Bern, M.; Sahai, A., Pushing disks together—The continuous-motion case, Discrete Comput. Geom., 20, 499-514 (1998) · Zbl 0923.51023
[5] D. Bezdek, K. Bezdek, Finding the shortest billiard trajectories in disk-polygons, Geom. Dedicata (submitted for publication); D. Bezdek, K. Bezdek, Finding the shortest billiard trajectories in disk-polygons, Geom. Dedicata (submitted for publication) · Zbl 1169.52002
[6] Bezdek, K., On the monotonicity of the volume of hyperbolic convex polyhedra, Beiträge Algebra Geom., 46, 2, 609-614 (2005) · Zbl 1087.52003
[7] Bezdek, K., The illumination conjecture and its extensions, Period. Math. Hungar., 53, 1-2, 59-69 (2006) · Zbl 1127.52026
[8] Bezdek, K., From the Kneser-Poulsen conjecture to ball-polyhedra via Voronoi diagrams, (Proceedings of the 4th International Symposium on Voronoi Diagrams in Science and Engineering (2007), IEEE Computer Society), 3-6
[9] Bezdek, K.; Connelly, R., Covering curves by translates of a convex set, Amer. Math. Monthly, 96, 9, 789-806 (1989) · Zbl 0706.52006
[10] Bezdek, K.; Connelly, R., Pushing disks apart—The Kneser-Poulsen conjecture in the plane, J. Reine Angew. Math., 553, 221-236 (2002) · Zbl 1021.52012
[11] Bezdek, K.; Connelly, R., The Kneser-Poulsen conjecture for spherical polytopes, Discrete Comput. Geom., 32, 101-106 (2004) · Zbl 1059.52016
[12] Bezdek, K.; Connelly, R.; Csikós, B., On the perimeter of the intersection of congruent disks, Beiträge Algebra Geom., 47, 1, 53-62 (2006) · Zbl 1094.52010
[13] Bezdek, K.; Lángi, Zs.; Naszódi, M.; Papez, P., Ball-polyhedra, Discrete Comput. Geom., 38 (2007), 201-230 · Zbl 1133.52001
[14] Bezdek, K.; Naszódi, M., Rigidity of ball-polyhedra in Euclidean 3-space, European J. Combin., 27, 255-268 (2006) · Zbl 1089.52010
[15] Bollobás, B., Area of union of disks, Elem. Math., 23, 60-61 (1968) · Zbl 0153.51903
[16] Capoyleas, V., On the area of the intersection of disks in the plane, Comput. Geom., 6, 6, 393-396 (1996) · Zbl 0859.68116
[17] Capoyleas, V.; Pach, J., On the perimeter of a point set in the plane, (DIMACS Ser., Discrete Math. and Th. Computer Sci. (1991), AMS: AMS Providence, RI), 67-76 · Zbl 0748.52002
[18] Connelly, R., Rigidity, (Handbook of Convex Geometry (1993), North Holland), 223-271 · Zbl 0788.52001
[19] Csikós, B., On the Hadwiger-Kneser-Poulsen conjecture, Bolyai Math. Studies Ser., Intuitive Geom., 6, 291-300 (1995) · Zbl 0888.51023
[20] Csikós, B., On the volume of the union of balls, Discrete Comput. Geom., 20, 449-461 (1998) · Zbl 0922.51010
[21] Csikós, B., On the volume of flowers in space forms, Geom. Dedicata, 86, 59-79 (2001) · Zbl 0990.51010
[22] Csikós, B., A Schläfli-type formula for polytopes with curved faces and its application to the Kneser-Poulsen conjecture, Monatsh. Math., 147, 273-292 (2006) · Zbl 1093.53041
[23] Edelsbrunner, H., The union of balls and its dual shape, Discrete Comput. Geom., 13, 3-4, 415-440 (1995) · Zbl 0826.68053
[24] Fowler, P. W.; Tarnai, T., Transition from spherical circle packing to covering: Geometrical analogues of chemical isomerization, Proc. R. Soc. London, 452, 2043-2064 (1996) · Zbl 0871.52014
[25] Gromov, M., Monotonicity of the volume of intersections of balls, (Geometrical Aspects of Functional Analysis. Geometrical Aspects of Functional Analysis, Springer Lecture Notes, vol. 1267 (1987)), 1-4
[26] V. Klee, V.S. Wagon, Old and new unsolved problems in plane geometry and number theory, MAA Dolciani Mathematical Expositions, 1991; V. Klee, V.S. Wagon, Old and new unsolved problems in plane geometry and number theory, MAA Dolciani Mathematical Expositions, 1991 · Zbl 0784.51002
[27] Kneser, M., Einige Bemerkungen über das Minkowskische Flächenmass, Arch. Math., 6, 382-390 (1955) · Zbl 0065.04001
[28] Poulsen, E. T., Problem 10, Math. Scand., 2, 346 (1954)
[29] Seidel, R., Exact upper bounds for the number of faces in d-dimensional Voronoi diagrams, (Appl. Geom. Discrete Math.. Appl. Geom. Discrete Math., DIMACS Ser. Discrete Math. Th. Comput. Sci., vol. 4 (1991), Amer. Math. Soc.), 517-529 · Zbl 0752.52002
[30] Stokker, J. J., Geometric problems concerning polyhedra in the large, Comm. Pure Appl. Math., 21, 119-168 (1968) · Zbl 0159.24301
[31] Sudakov, V. N., Gaussian random processes and measures of solid angles in Hilbert space, Dokl. Akad. Nauk. SSSR, 197, 43-45 (1971) · Zbl 0231.60025
[32] Tabachnikov, S., Geometry and Billiards (2005), Amer. Math. Soc. · Zbl 1119.37001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.