Local rules for pentagonal quasi-crystals

The existence of different kinds of local rules is established for many sets of pentagonal quasi-crystal tilings. For eacht∈ℝ there is a set of pentagonal tilings of the same local isomorphism class; the caset=0 corresponds to the Penrose tilings. It is proved that the set admits a local rule which does not involve any colorings (or markings, decorations) if and only ift=m+nτ. In other words, this set of tilings is totally characterized by patches of some finite radius, orr-maps. When the set admits a local rule which involvescolorings. For the set of Penrose tilings the construction here leads exactly to the Penrose matching rules. Local rules for the caset=1/2 are presented.     

Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems

   Abstract. There is a growing body of results in the theory of discrete point sets and tiling systems giving conditions under which such systems are pure point diffractive. Here we look at the opposite direction: what can we infer about a discrete point set or tiling, defined through a primitive substitution system, given that it is pure point diffractive? Our basic objects are Delone multisets and tilings, which are self-replicating under a primitive substitution system of affine mappings with a common expansive map Q . Our first result gives a partial answer to a question of Lagarias and Wang: we characterize repetitive substitution Delone multisets that can be represented by substitution tilings using a concept of ``legal cluster.' This allows us to move freely between both types of objects. Our main result is that for lattice substitution multiset systems (in arbitrary dimensions), being a regular model set is not only sufficient for having pure point spectrum—a known fact—but is also necessary. This completes a circle of equivalences relating pure point dynamical and diffraction spectra, modular coincidence, and model sets for lattice substitution systems begun by the first two authors of this paper.     

A primer of substitution tilings of the Euclidean plane

This paper is intended to provide an introduction to the theory of substitution tilings. For our purposes, tiling substitution rules are divided into two broad classes: geometric and combinatorial. Geometric substitution tilings include self-similar tilings such as the well-known Penrose tilings; for this class there is a substantial body of research in the literature. Combinatorial substitutions are just beginning to be examined, and some of what we present here is new. We give numerous examples, mention selected major results, discuss connections between the two classes of substitutions, include current research perspectives and questions, and provide an extensive bibliography. Although the author attempts to represent the field as a whole, the paper is not an exhaustive survey, and she apologizes for any important omissions.     

Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems

Abstract. There is a growing body of results in the theory of discrete point sets and tiling systems giving conditions under which such systems are pure point diffractive. Here we look at the opposite direction: what can we infer about a discrete point set or tiling, defined through a primitive substitution system, given that it is pure point diffractive? Our basic objects are Delone multisets and tilings, which are self-replicating under a primitive substitution system of affine mappings with a common expansive map Q . Our first result gives a partial answer to a question of Lagarias and Wang: we characterize repetitive substitution Delone multisets that can be represented by substitution tilings using a concept of ``legal cluster.' This allows us to move freely between both types of objects. Our main result is that for lattice substitution multiset systems (in arbitrary dimensions), being a regular model set is not only sufficient for having pure point spectrum—a known fact—but is also necessary. This completes a circle of equivalences relating pure point dynamical and diffraction spectra, modular coincidence, and model sets for lattice substitution systems begun by the first two authors of this paper.     

Some Generalizations of the Pinwheel Tiling

We introduce a new family of nonperiodic tilings, based on a substitution rule that generalizes the pinwheel tiling of Conway and Radin. In each tiling the tiles are similar to a single triangular prototile. In a countable number of cases, the tiles appear in a finite number of sizes and an infinite number of orientations. These tilings generally do not meet full-edge to full-edge, but can be forced through local matching rules. In a countable number of cases, the tiles appear in a finite number of orientations but an infinite number of sizes, all within a set range, while in an uncountable number of cases both the number of sizes and the number of orientations is infinite. Received April 9, 1996, and in revised form September 16, 1996.     

Invariant measures for non-primitive tiling substitutions

We consider self-affine tiling substitutions in Euclidean space and the corresponding tiling dynamical systems. It is well known that in the primitive case, the dynamical system is uniquely ergodic. We investigate invariant measures when the substitution is not primitive and the tiling dynamical system is non-minimal. We prove that all ergodic invariant probability measures are supported on minimal components, but there are other natural ergodic invariant measures, which are infinite. Under some mild assumptions, we completely characterize σ-finite invariant measures which are positive and finite on a cylinder set. A key step is to establish recognizability of non-periodic tilings in our setting. Examples include the “integer Sierpiński gasket and carpet” tilings. For such tilings, the only invariant probability measure is supported on trivial periodic tilings, but there is a fully supported σ-finite invariant measure that is locally finite and unique up to scaling.     

Space tilings and substitutions

We generalize the study of symbolic dynamical systems of finite type and ² action, and the associated use of symbolic substitution dynamical systems, to dynamical systems with ² action. The new systems are associated with tilings of the plane. We generalize the classical technique of the matrix of a substitution to include the geometrical information needed to study tilings, and we utilize rotation invariance to eliminate discrete spectrum. As an example we prove that the pinwheel tilings have no discrete spectrum.Research supported in part by NSF Grant No. DMS-9304269 and Texas ARP Grant 003658-113     

Monotone labelings in polygonal tilings

Labeling the vertices of a finite sequence of polygonal tilings with fewest monotonicity violations enables to represent the tilings by merely specifying sets of vertices—the sequences of their appearance results from the labels. Eventually, this allows a lossless data compression for the sequence of tilings.The existence and computation of suitable labelings is derived from matching and graph colorings which induce an order on the tilings. This order is series-parallel on each individual tiling.     

Spaces of domino tilings

We consider the set of all tilings by dominoes (2×1 rectangles) of a surface, possibly with boundary, consisting of unit squares. Convert this set into a graph by joining two tilings by an edge if they differ by aflip, i.e., a 90° rotation of a pair of side-by-side dominoes. We give a criterion to decide if two tilings are in the same connected component, a simple formula for distances, and a method to construct geodesics in this graph. For simply connected surfaces, the graph is connected. By naturally adjoining to this graph higher-dimensional cells, we obtain a CW-complex whose connected components are homotopically equivalent to points or circles. As a consequence, for any region different from a torus or Klein bottle, all geodesics with common endpoints are equivalent in the following sense. Build a graph whose vertices are these geodesics, adjacent if they differ only by the order of two flips on disjoint squares: this graph is connected. The first two authors received support from SCT and CNPq, Brazil. The other two were supported by a grant for undergraduates by CNPq.     

A Framework for the Construction of Self-replicating Tilings

Dekking (Adv. Math. 44:78–104, 1982; J. Comb. Theory Ser. A 32:315–320, 1982) provided an important method to compute the boundaries of lattice rep-tiles as a ‘recurrent set’ on a free group of a finite alphabet. That is, those tilings are generated by lattice translations of a single tile, and there is an expanding linear map that carries tiles to unions of tiles. The boundary of the tile is identified with a sequence of words in the alphabet obtained from an expanding endomorphism (substitution) on the alphabet. In this paper, Dekking’s construction is generalized to address tilings with more than one tile, and to have the elements of the tilings be generated by both translation and rotations. Examples that fall within the scope of our main result include self-replicating multi-tiles, self-replicating tiles for crystallographic tilings and aperiodic tilings.     

Fusion: a general framework for hierarchical tilings of \mathbb{R }^d

We introduce a formalism for handling general spaces of hierarchical tilings, a category that includes substitution tilings, Bratteli–Vershik systems, S-adic transformations, and multi-dimensional cut-and-stack transformations. We explore ergodic, spectral and topological properties of these spaces. We show that familiar properties of substitution tilings carry over under appropriate assumptions, and give counter-examples where these assumptions are not met. For instance, we exhibit a minimal tiling space that is not uniquely ergodic, with one ergodic measure having pure point spectrum and another ergodic measure having mixed spectrum. We also exhibit a 2-dimensional tiling space that has pure point measure-theoretic spectrum but is topologically weakly mixing.     

Exchanged toric tilings,Rauzy substitution,and bounded remainder sets

This paper is devoted to the two-dimensional problem of the distribution of the fractional parts of a linear function. A new class of tilings of the two-dimensional torus into bounded remainder sets with an effective estimate of the remainder is introduced. It is shown that examples of the tilings under consideration can be obtained by using the geometric version of the Rauzy substitution.     

Dimers, tilings and trees

Generalizing results of Temperley (London Mathematical Society Lecture Notes Series 13 (1974) 202), Brooks et al. (Duke Math. J. 7 (1940) 312) and others (Electron. J. Combin. 7 (2000); Israel J. Math. 105 (1998) 61) we describe a natural equivalence between three planar objects: weighted bipartite planar graphs; planar Markov chains; and tilings with convex polygons. This equivalence provides a measure-preserving bijection between dimer coverings of a weighted bipartite planar graph and spanning trees of the corresponding Markov chain. The tilings correspond to harmonic functions on the Markov chain and to “discrete analytic functions” on the bipartite graph.The equivalence is extended to infinite periodic graphs, and we classify the resulting “almost periodic” tilings and harmonic functions.     

A Homeomorphism Invariant for Substitution Tiling Spaces

We derive a homeomorphism invariant for those tiling spaces which are made by rather general substitution rules on polygonal tiles, including those tilings, like the pinwheel, which contain tiles in infinitely many orientations. The invariant is a quotient of ech cohomology, is easily computed directly from the substitution rule, and distinguishes many examples, including most pinwheel-like tiling spaces. We also introduce a module structure on cohomology which is very convenient as well as of intuitive value.     

Geometric Models for Quasicrystals II. Local Rules Under Isometries

The atomic structures of quasicrystalline materials exhibit long range order under translations. It is believed that such materials have atomic structures which approximately obey local rules restricting the location of nearby atoms. These local constraints are typically invariant under rotations, and it is of interest to establish conditions under which such local rules can nevertheless enforce order under translations in any structure that satisfies them. A set of local rules in is a finite collection of discrete sets {Y _i } containing 0, each of which is contained in the ball of radius ρ around 0 in . A set X satisfies the local rules under isometries if the ρ -neighborhood of each is isometric to an element of . This paper gives sufficient conditions on a set of local rules such that if X satisfies under isometries, then X has a weak long-range order under translations, in the sense that X is a Delone set of finite type. A set X is a Delone set of finite type if it is a Delone set whose interpoint distance set X-X is a discrete closed set. We show for each minimal Delone set of finite type X that there exists a set of local rules such that X satisfies under isometries and all other Y that satisfy under isometries are Delone sets of finite type. A set of perfect local rules (under isometries or under translations, respectively) is a set of local rules such that all structures X that satisfy are in the same local isomorphism class (under isometries or under translations, respectively). If a Delone set of finite type has a set of perfect local rules under translations, then it has a set of perfect local rules under isometries, and conversely. Received February 14, 1997, and in revised form February 14, 1998, February 19, 1998, and March 5, 1998.     

Quasiperiodic tilings and quasicrystals

One gets quasiperiodic tilings by projecting a periodic lattice from a space of a larger number of dimensions. One can choose a fundamental domain of the lattice in various ways — this leads to different quasi-periodic tilings. Thus, one can generalize Penrose's nonperiodic tiling of the plane and the same for space filling.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 116–135, 1986.Finally, I would like to express my gratitude to M. M. Skriganov for discussions.     

An Algebraic Invariant for Substitution Tiling Systems

We consider tilings of Euclidean spaces by polygons or polyhedra, in particular, tilings made by a substitution process, such as the Penrose tilings of the plane. We define an isomorphism invariant related to a subgroup of rotations and compute it for various examples. We also extend our analysis to more general dynamical systems.     

Substitution tilings with statistical circular symmetry

Two new series of substitution tilings are introduced in which the tiles appear in infinitely many orientations. It is shown that several properties of the well-known pinwheel tiling do also hold for these new examples, and, in fact, for all primitive substitution tilings showing tiles in infinitely many orientations.     

Ammann bars and quasicrystals

In 1988 Danzer [3] constructed a family of four tetrahedra which allows—with certain matching conditions—only aperiodic tilings. By analogy with the Ammann bars of planar Penrose tilings we define Ammann bars in space in the form of planar Penrose tilings we define Ammann bars in space in the form of plane sections of the four tetrahedra. If we require that the plane sections continue as planes across the faces of the tilings, we obtain an alternative matching condition, thus answering a question of Danzer.