No label defined (Q4356064)

This is mainly the description of a new aperiodic triple of prototiles in the plane i.e., three tiles which admit tilings of the plane, but do not admit any periodic tiling. It is called a \((1+\varepsilon+\varepsilon^2)\) set because it consists of a large (`2-dimensional') tile -- essentially a regular hexagon -- and two key tiles, an essentially 1-dimensional tile (which can be made arbitrarily thin) that serves to join the edges of hexagons, and a `0-dimensional' tile (which can be made arbitrarily small) that occurs at the corners of the hexagons. The matching rules (local rules) of these three tiles are defined by their shape. If decorations of the edges are used, then only one key tile is needed, and with a generalized (`second order') matching rule a single prototile, the hexagon, is sufficient. In addition, the article (based on a talk) also is a (partial) survey on aperiodic (quasisymmetric) tilings: It contains a personal account of the history of the subject (that began with the proof that the `tiling problem' is undecidable), and it offers some ideas that might be useful in quest for a single aperiodic prototile. For the entire collection see [Zbl 0861.00015].