arXiv++ Combinatorics

We present a simplified proof of a forty-year-old result concerning the tiling of the plane with equilateral convex polygons. Our approach is based on a theorem by M. Rao, who used an exhaustive computer search to confirm the completeness of the well-known list of fifteen pentagon types. Assuming the validity of Rao's result, we provide a concise and mainly geometric proof of a tiling theorem originally due to Hirschhorn and Hunt. Finally, a possible connection to quasicrystals is sketched.

The so-called "einstein problem" (a pun playing with the famous scientist's name and the German term "ein Stein" for "one stone") asks for a simply connected prototile only allowing nonperiodic tilings without need of any matching rule. So far, researchers come only close to this demand by defining decorated prototiles forcing nonperiodicity of any generated tiling using matching rules. In this paper a class of spiral tilings (and one non-spiral example) is linked to a weaker form of the einstein problem where one or several seed tiles are used. Furthermore, the classical types of matching rules are listed and some new types are discussed.

In 2017 a definition of spiral tilings was given, thereby answering a question posed by Grünbaum and Shephard in the late 1970s. The author had the pleasure to discuss the topic via e-mail with Branko Grünbaum in his 87th year. During this correspondence the question arose whether a spiral structure (given a certain definition of it) could be recognized automatically or whether "to some extent, at least, the spiral effect is psychological", as Grünbaum and Shephard had conjectured in 1987 (see exercise section of chapter 9.5 in "Tilings and Patterns"). In this paper, an algorithm for automatic detection of such a tiling's spiral structure and its first implementation results will be discussed. Finally, the definitions for several types of spiral tilings are refined based on this investigation.

In contrast to many known results concerning periodic tilings of the Euclidean plane with pentagons, here tilings with rotational symmetry are investigated. A certain class of convex pentagons is introduced. It can be shown that for any given symmetry type $\mathbf{C}_{n}$ or $\mathbf{D}_{n}$ there exists a monohedral tiling generated by a pentagon from this class. For $n>1$ each of these tilings is also a spiral tiling with $n$ arms. As a byproduct it follows that the same holds for convex hexagons.