An aperiodic hexagonal tile

We show that a single prototile can fill space uniformly but not admit a periodic tiling. A two-dimensional, hexagonal prototile with markings that enforce local matching rules is proven to be aperiodic by two independent methods. The space-filling tiling that can be built from copies of the prototile has the structure of a union of honeycombs with lattice constants of 2^na, where a sets the scale of the most dense lattice and n takes all positive integer values. There are two local isomorphism classes consistent with the matching rules and there is a nontrivial relation between these tilings and a previous construction by Penrose. Alternative forms of the prototile enforce the local matching rules by shape alone, one using a prototile that is not a connected region and the other using a three-dimensional prototile.

[1]  J. Shallit,et al.  Wire bending , 1989, J. Comb. Theory, Ser. A.

[2]  P. Paufler,et al.  Quasicrystals and Geometry , 1997 .

[3]  G. C. Shephard,et al.  Tilings and Patterns , 1990 .

[4]  Michael Baake,et al.  A Guide to Mathematical Quasicrystals , 2002 .

[5]  Joshua E. S. Socolar,et al.  Hexagonal parquet tilings: k-isohedral monotiles with arbitrarily large k , 2007, 0708.2663.

[6]  F. Gähler,et al.  The Diffraction Pattern of Self-Similar Tilings , 1997 .

[7]  Joshua E. S. Socolar.  Growth Rules For Quasicrystals , 1991 .

[8]  Roger Penrose,et al.  Remarks on Tiling: Details of a (1 + ε + ε2)-Aperiodic Set , 1997 .

[9]  R. Robinson.  Undecidability and nonperiodicity for tilings of the plane , 1971 .

[10]  Michael Baake,et al.  Quasiperiodic tilings with tenfold symmetry and equivalence with respect to local derivability , 1991 .

[11]  Chen,et al.  Real-space atomic structure of a two-dimensional decagonal quasicrystal. , 1990, Physical review letters.

[12]  David P. DiVincenzo,et al.  Quasicrystals : the state of the art , 1991 .

[13]  Hyeong-Chai Jeong,et al.  A simpler approach to Penrose tiling with implications for quasicrystal formation , 1996, Nature.

[14]  Joshua E. S. Socolar,et al.  More ways to tile with only one shape polygon , 2007 .

[15]  P. Gummelt,et al.  Penrose tilings as coverings of congruent decagons , 1996 .

[16]  C Godreche.  The sphinx: a limit-periodic tiling of the plane , 1989 .

[17]  Chaim Goodman-Strauss,et al.  A Small Aperiodic Set of Planar Tiles , 1999, Eur. J. Comb..

[18]  Robert L. Berger.  The undecidability of the domino problem , 1966 .

[19]  DiVincenzo,et al.  Growing perfect quasicrystals. , 1988, Physical review letters.