“Danzer set”的意思、由来-开放百科全书

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.{{r|cfg|dan}} Several variations of this problem remain unsolved.

Density

One way to define the problem more formally is to consider the growth rate of a set

-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

, the growth rate of well-spaced point sets like the integer lattice (which is not a Danzer set).{{r|cfg}}

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

.{{r|bw}}

Constructions for Danzer sets are known with a somewhat faster growth rate,

, but the answer to Danzer's question remains unknown.{{r|sw}}

Bounded coverage

Another 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.{{r|g}} This version has been solved: it is impossible for a Danzer set with this property to exist.{{r|ssw}}

Separation

A third variation of the problem, still unsolved, is Conway's dead fly problem. John Horton Conway recalls 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.{{r|r}}

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 has offered a $1000 prize for a solution to his problem,{{r|r|c}} as part of a set of problems also including Conway's 99-graph problem, the analysis of sylver coinage, and the thrackle conjecture.{{r|c}}

Additional properties

It is also possible to restrict the classes of point sets that may be Danzer sets in other ways than by their densities. In particular, they cannot be the union of finitely many lattices,{{r|bw}} they 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 they 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.{{r|sw}}

See also

References

1. ^{{citation | last = Conway | first = John H. | author-link = John Horton Conway | accessdate = 2019-02-12 | publisher = On-Line Encyclopedia of Integer Sequences | title = Five $1,000 Problems (Update 2017) | url = https://oeis.org/A248380/a248380.pdf}}. See also {{OEIS el|A248380}}.
2. ^{{citation | last1 = Croft | first1 = Hallard T. | last2 = Falconer | first2 = Kenneth J. | author2-link = Kenneth Falconer (mathematician) | last3 = Guy | first3 = Richard K. | author3-link = Richard K. Guy | contribution = E14: Positioning convex sets relative to discrete sets | doi = 10.1007/978-1-4612-0963-8 | isbn = 0-387-97506-3 | mr = 1107516 | page = 148 | publisher = Springer-Verlag, New York | series = Problem Books in Mathematics | title = Unsolved problems in geometry | year = 1991}}
3. ^{{citation | last = Fenchel | first = Werner | author-link = Werner Fenchel | contribution = Problems | mr = 0214420 | pages = 308–325 | publisher = Kobenhavns Universitets Matematiske Institut | location = Copenhagen | title = Proceedings of the Colloquium on Convexity, Copenhagen, 1965 | year = 1967}}, Problem 6 (Danzer), as cited by {{harvtxt|Croft|Falconer|Guy|1991}}
4. ^{{citation | last = Gowers | first = W. T. | authorlink = Timothy Gowers | doi = 10.1007/978-3-0346-0422-2_4 | issue = Special Volume, Part I | journal = Geometric and Functional Analysis | mr = 1826250 | pages = 79–117 | title = Rough structure and classification | year = 2000}}
5. ^{{citation | last = Roberts | first = Siobhan | authorlink = Siobhan Roberts | isbn = 978-1-62040-593-2 | location = New York | mr = 3329687 | page = 382 | publisher = Bloomsbury Press | title = Genius at Play: The Curious Mind of John Horton Conway | url = https://books.google.com/books?id=gJssCQAAQBAJ&pg=PA382 | year = 2015}}
6. ^{{citation | last1 = Solan | first1 = Omri | last2 = Solomon | first2 = Yaar | last3 = Weiss | first3 = Barak | doi = 10.1093/imrn/rnw204 | issue = 21 | journal = International Mathematics Research Notices | mr = 3719473 | pages = 6584–6598 | title = On problems of Danzer and Gowers and dynamics on the space of closed subsets of

| year = 2017}}
7. ^{{citation | last1 = Solomon | first1 = Yaar | last2 = Weiss | first2 = Barak | arxiv = 1406.3807 | doi = 10.24033/asens.2303 | issue = 5 | journal = Annales Scientifiques de l'École Normale Supérieure | mr = 3581810 | pages = 1053–1074 | title = Dense forests and Danzer sets | volume = 49 | year = 2016}}