Jump to content

Heesch's problem

From Wikipedia, the free encyclopedia
Heesch's polygon with Heesch number 1 (black) showing its decomposition into a square, and one and a half equilateral triangles, with its only layer (cyan; darker tiles needed to surround its respective vertex)
The smallest polyomino (a nonomino) with Heesch number 2 (black) surrounded by its first (red) and second coronas (amber)

In geometry, the Heesch number of a shape is the maximum number of layers of copies of the same shape that can surround it with no overlaps and no gaps. Heesch's problem is the problem of determining the set of numbers that can be Heesch numbers. Both are named for geometer Heinrich Heesch,[1] who found a tile with Heesch number 1 (the union of a square, equilateral triangle, and 30-60-90 right triangle)[2] and proposed the more general problem.[3]

For example, a square may be surrounded by infinitely many layers of congruent squares in the square tiling, while a circle cannot be surrounded by even a single layer of congruent circles without leaving some gaps. The Heesch number of the square is infinite and the Heesch number of the circle is zero. In more complicated examples, such as the one shown in the illustration, a polygonal tile can be surrounded by several layers, but not by infinitely many; the maximum number of layers is the tile's Heesch number.

Formal definitions

[edit]
A polygon with Heesch number 6, found by Bojan Bašić in 2020[4]
A polygon with Heesch number 5, found by Casey Mann[5]
Ammann's example of a polygon with Heesch number 3 (or 4, depending on the definition)

A tessellation of the plane is a partition of the plane into smaller regions called tiles. The zeroth corona of a tile is defined as the tile itself, and for k > 0 the kth corona is the set of tiles sharing a boundary point with the (k − 1)th corona. The Heesch number of a figure S is the maximum value k such that there exists a tiling of the plane, and tile t within that tiling, for which that all tiles in the zeroth through kth coronas of t are congruent to S. In some work on this problem this definition is modified to additionally require that the union of the zeroth through kth coronas of t is a simply connected region.[5]

If there is no upper bound on the number of layers by which a tile may be surrounded, its Heesch number is said to be infinite. In this case, an argument based on Kőnig's lemma can be used to show that there exists a tessellation of the whole plane by congruent copies of the tile.[6]

Example

[edit]

Consider the non-convex polygon P shown in the figure to the right, which is formed from a regular hexagon by adding projections on two of its sides and matching indentations on three sides. The figure shows a tessellation consisting of 61 copies of P, one large infinite region, and four small diamond-shaped polygons within the fourth layer. The first through fourth coronas of the central polygon consist entirely of congruent copies of P, so its Heesch number is at least four. One cannot rearrange the copies of the polygon in this figure to avoid creating the small diamond-shaped polygons, because the 61 copies of P have too many indentations relative to the number of projections that could fill them. By formalizing this argument, one can prove that the Heesch number of P is exactly four. According to the modified definition that requires that coronas be simply connected, the Heesch number is three. This example was discovered by Robert Ammann.[5]

Known results

[edit]

It is unknown whether all positive integers can be Heesch numbers. The first examples of polygons with Heesch number 2 were provided by Fontaine (1991), who showed that infinitely many polyominoes have this property.[5][7] Casey Mann has constructed a family of tiles, each with the Heesch number 5. Mann's tiles have Heesch number 5 even with the restricted definition in which each corona must be simply connected.[5] In 2020, Bojan Bašić found a figure with Heesch number 6, the highest finite number until the present.[4]

History of the discoveries of shapes with finite Heesch numbers
Heesch number Discovered Discovered by Shape
1 1928 Walther Lietzmann [de][8]
1 1968 Heinrich Heesch
2 1991 Anne Fontaine
3 1990-1995[9] Robert Ammann
4 2001[5] Casey Mann
5 2001[5] Casey Mann
6 2020[4] Bojan Bašić


For the corresponding problem in the hyperbolic plane, the Heesch number may be arbitrarily large.[10]


References

[edit]
  1. ^ Heesch (1968), as cited by Grünbaum & Shephard (1987) and Fontaine (1991).
  2. ^ Dutch, Steven. "The Heesch Tile: An Interesting Non-Tiler". Natural and Applied Sciences, University of Wisconsin–Green Bay. Archived from the original on 2017-08-25. Retrieved 2008-12-22.
  3. ^ Grünbaum & Shephard (1987, pp. 155–156, Heesch's Problem)
  4. ^ a b c Bašić, Bojan (2021). "A Figure with Heesch Number 6: Pushing a Two-Decade-Old Boundary". The Mathematical Intelligencer. 43 (3): 50–53. doi:10.1007/s00283-020-10034-w. ISSN 0343-6993. PMC 7812982. PMID 34934265.
  5. ^ a b c d e f g Mann, Casey (2004). "Heesch's tiling problem" (PDF). American Mathematical Monthly. 111 (6): 509–517. doi:10.2307/4145069. JSTOR 4145069. MR 2076583..
  6. ^ Grünbaum & Shephard (1987, p. 151, 3.8.1 The Extension Theorem)
  7. ^ Fontaine, Anne (1991). "An infinite number of plane figures with Heesch number two". Journal of Combinatorial Theory. Series A. 57 (1): 151–156. doi:10.1016/0097-3165(91)90013-7..
  8. ^ Lietzmann, Walther (1928). Lustiges und Merkwuerdiges von Zahlen und Formen [Funny and curious facts about numbers and shapes]. Breslau: Hirt. p. 242.
  9. ^ Senechal, Marjorie (1995). Quasicrystals and Geometry. Vol. 111. Cambridge University Press. pp. 145–146..
  10. ^ Тарасов, А. С. (2010). О числе Хееша для плоскости Лобачевского [On the Heesch number for the hyperbolic plane]. Matematicheskie Zametki (in Russian). 88 (1): 97–104. doi:10.4213/mzm5251. MR 2882166.. English translation in Math. Notes 88 (1–2): 97–102, 2010, doi:10.1134/S0001434610070096.

Sources

[edit]

Further reading

[edit]
[edit]