Jump to content

Danzer set

From Wikipedia, the free encyclopedia
(Redirected from Conway's dead fly problem)
Unsolved problem in mathematics:
Does a Danzer set with bounded density or bounded separation exist?
Construction of a two-dimensional Danzer set with growth rate from overlaid rectangular grids of aspect ratio 1:1, 1:9, 1:81, etc.

In geometry, a Danzer set is a set of points that touches every convex body of unit volume. Ludwig Danzer asked whether it is possible for such a set to have bounded density.[1][2] Several variations of this problem remain unsolved.[3]

Formulation

[edit]

A Danzer set, in an n-dimensional Euclidean space, is a set of points in the space that has a non-empty intersection with every convex body whose n-dimensional volume is one. The whole space is itself a Danzer set, but it is possible for a Danzer set to be a discrete set with only finitely many points in any bounded area.[4] Danzer's question asked whether, more strongly, the average number of points per unit area could be bounded.[1]

One way to define the problem more formally is to consider the growth rate of a set in -dimensional Euclidean space, defined as the function that maps a real number to the number of points of that are within distance of the origin. Danzer's question is whether it is possible for a Danzer set to have growth rate , expressed in big O notation. If so, this would equal the growth rate of well-spaced point sets like the integer lattice (which is not a Danzer set).[1]

An equivalent formulation involves the density of a set , defined as where denotes the Euclidean ball of radius in -dimensional Euclidean space, centered at the origin, and denotes its volume. Danzer's question asks whether there exists a Danzer set of bounded density or, alternatively, whether every set of bounded density has arbitrarily high-volume convex sets disjoint from it.[3]

Instead of asking for a set of bounded density that intersects arbitrary convex sets of unit volume, it is equivalent to ask for a set of bounded density that intersects all ellipsoids of unit volume, or all hyperrectangles of unit volume. For instance, in the plane, the shapes of these intersecting sets can be restricted to ellipses, or to rectangles. However, these shapes do not necessarily have their sides or axes parallel to the coordinate axes.[3]

Partial results

[edit]

It is possible to construct a Danzer set of growth rate that is within a polylogarithmic factor of . For instance, overlaying rectangular grids whose cells have constant volume but differing aspect ratios can achieve a growth rate of .[5] A construction for Danzer sets is known with a somewhat slower growth rate, .[3][4] This construction is based on deep results of Marina Ratner in ergodic theory (Ratner's theorems).[4] Because both the overlaid grids and the improved construction have growth rates faster than , these sets do not have bounded density, and the answer to Danzer's question remains unknown.[3][4]

Although the existence of a Danzer set of bounded density remains open, it is possible to restrict the classes of point sets that may be Danzer sets in other ways than by their densities, ruling out certain types of solution to Danzer's question. In particular, a Danzer set cannot be the union of finitely many lattices,[5] it cannot be generated by choosing a point in each tile of a substitution tiling (in the same position for each tile of the same type), and it cannot be generated by the cut-and-project method for constructing aperiodic tilings. Therefore, the vertices of the pinwheel tiling and Penrose tiling are not Danzer sets.[4]

Variations

[edit]

Bounded coverage

[edit]

A strengthened variation of the problem, posed by Timothy Gowers, asks whether there exists a Danzer set for which there is a finite bound on the number of points of intersection between and any convex body of unit volume.[6] This version has been solved: it is impossible for a Danzer set with this property to exist.[7]

Separation

[edit]

Another strengthened variation of the problem, still unsolved, is Conway's dead fly problem. John Horton Conway recalled that, as a child, he slept in a room with wallpaper whose flower pattern resembled an array of dead flies, and that he would try to find convex regions that did not have a dead fly in them.[8] In Conway's formulation, the question is whether there exists a Danzer set in which the points of the set (the dead flies) are separated at a bounded distance from each other. Such a set would necessarily also have an upper bound on the distance from each point of the plane to a dead fly (in order to touch all circles of unit area), so it would form a Delone set, a set with both lower and upper bounds on the spacing of the points. It would also necessarily have growth rate , so if it exists then it would also solve the original version of Danzer's problem. Conway offered a $1000 prize for a solution to his problem,[8][9] as part of a set of problems also including Conway's 99-graph problem, the analysis of sylver coinage, and the thrackle conjecture.[9]

See also

[edit]
  • Heilbronn triangle problem, on sets of points that do not form triangles of small area
  • Minkowski's theorem, that every unit-volume closed convex body that is centrally symmetric around the origin contains a nonzero point of the half-integer lattice

References

[edit]
  1. ^ a b c Croft, Hallard T.; Falconer, Kenneth J.; Guy, Richard K. (1991), "E14: Positioning convex sets relative to discrete sets", Unsolved problems in geometry, Problem Books in Mathematics, Springer-Verlag, New York, p. 148, doi:10.1007/978-1-4612-0963-8, ISBN 0-387-97506-3, MR 1107516
  2. ^ Fenchel, Werner (1967), "Problems", Proceedings of the Colloquium on Convexity, Copenhagen, 1965, Copenhagen: Kobenhavns Universitets Matematiske Institut, pp. 308–325, MR 0214420, Problem 6 (Danzer), as cited by Croft, Falconer & Guy (1991)
  3. ^ a b c d e Adiceam, Faustin (2022), "Around the Danzer problem and the construction of dense forests", L'Enseignement Mathématique, 68 (1–2): 25–60, arXiv:2010.06756, doi:10.4171/lem/1020, MR 4420864
  4. ^ a b c d e Solomon, Yaar; Weiss, Barak (2016), "Dense forests and Danzer sets", Annales Scientifiques de l'École Normale Supérieure, 49 (5): 1053–1074, arXiv:1406.3807, doi:10.24033/asens.2303, MR 3581810, S2CID 672315
  5. ^ a b Bambah, R. P.; Woods, A. C. (1971), "On a problem of Danzer", Pacific Journal of Mathematics, 37 (2): 295–301, doi:10.2140/pjm.1971.37.295, MR 0303419
  6. ^ Gowers, W. T. (2000), "Rough structure and classification", Geometric and Functional Analysis (Special Volume, Part I): 79–117, doi:10.1007/978-3-0346-0422-2_4, ISBN 978-3-0346-0421-5, MR 1826250
  7. ^ Solan, Omri; Solomon, Yaar; Weiss, Barak (2017), "On problems of Danzer and Gowers and dynamics on the space of closed subsets of ", International Mathematics Research Notices (21): 6584–6598, arXiv:1510.07179, doi:10.1093/imrn/rnw204, MR 3719473
  8. ^ a b Roberts, Siobhan (2015), Genius at Play: The Curious Mind of John Horton Conway, New York: Bloomsbury Press, p. 382, ISBN 978-1-62040-593-2, MR 3329687
  9. ^ a b Conway, John H., Five $1,000 Problems (Update 2017) (PDF), On-Line Encyclopedia of Integer Sequences, retrieved 2019-02-12. See also OEIS sequence A248380.