1994/05/01 by Charles Radin · 15 citations
Materials Science · Computer Science · Engineering · #Quasicrystal Structures and Properties #Cellular Automata and Applications #Advanced Materials and Mechanics
paper · doi:10.2307/2118575
Abstract. We discuss two new results on tilings of the plane. In the first, we give sufficient conditions for the tilings associated with an inflation rule to be uniquely ergodic under translations, the conditions holding for the pinwheel inflation rule. In the second result we prove there are matching rules for the pinwheel inflation rule, making the system the first known to have complete rotational symmetry. We consider tilings of the Euclidean plane, E2, by (orientation-preserving) congruent copies of a fixed finite set of prototiles. Prototiles are topological disks in the plane satisfying some mild restrictions on their shapes, as detailed below. Congruent copies of prototiles are called tiles, and a tiling is simply an unordered collection of tiles whose union is the plane and in which each pair of tiles has disjoint interiors. We are concerned here with two constructions associated with a fixed finite set S = Pj of prototiles, the most important of which is the set X(S) of all tilings by tiles from S. In particular, we are interested in understanding the purest cases, in which all the tilings in X(S) are “essentially the same”; we will define this precisely further on. Two examples are exhibited in Figures 1 and 2 on the next page, both with two prototiles; in Figure 1, S = SK produces only a checkerboard-like tiling (and all congruences), and in Figure 2, S = SP produces the well-known tilings of Penrose [3, 4, 6]. Tilings like those of Penrose are not usually invariant under any congruence of the plane (other than the identity), so to analyze their symmetries we introduce some elementary ergodic theory and another basic construction which can sometimes be associated with a prototile set S, the set XF (S) of tilings defined by an “inflation function ” F. An “inflation rule ” for S, if it exists, consists of a dilation DF of E2 by some factor λF < 1 and a finite set Cjk of congruences of E2, such that for each Pj ∈ S we have