We explore an extended notion of a tiling of translational finite local complexity (FLC) being substitutional, or hierarchical, to Euclidean `patterns’ and define, more generally, a similar notion for spaces of patterns. We prove recognisability results for these, relating injectivity of substitution to aperiodicity, with no minimality requirements. More precisely, for a suitable power of the substitution map, we determine the size of fibre over any pattern to be the index of its inflated (translational) periods in its whole group of periods. This answers an open question of Cortez and Solomyak, on whether non-periodic tilings necessarily have unique pre-images under substitution: they do, even for a wider notion of pattern and being substitutional; conversely, for an appropriate power of the substitution, discretely periodic points necessarily have multiple pre-images. Our results cover examples of FLC pattern spaces, such as of uniformly discrete but non-relatively dense point sets, that contain elements with non-discrete groups of periods.
We develop a systematic approach to continuous substitutions on compact Hausdorff alphabets. Focussing on implications of irreducibility and primitivity, we highlight important features of the topological dynamics of their (generalised) subshifts. We then reframe questions from ergodic theory in terms of spectral properties of a corresponding substitution operator. This requires an extension of standard Perron–Frobenius theory to the setting of Banach lattices. As an application, we identify computable criteria that guarantee quasi-compactness of the substitution operator. This allows unique ergodicity to be verified for several classes of examples. For instance, it follows that every primitive and constant length substitution on an alphabet with an isolated point is uniquely ergodic, a result which fails when there are no isolated points.
We show that Kellendonk’s tiling semigroup of a finite local complexity substitution tiling is self-similar, in the sense of Bartholdi, Grigorchuk and Nekrashevych. We extend the notion of the limit space of a self-similar group to the setting of self-similar semigroups, and show that it is homeomorphic to the Anderson–Putnam complex for such substitution tilings, with natural self-map induced by the substitution. Thus, the inverse limit of the limit space, given by the limit solenoid of the self-similar semigroup, is homeomorphic to the translational hull of the tiling.
Indagationes Mathematicae, Special Issue on Aperiodic Order in honor of Uwe Grimm
The cut and project method is a central construction in the theory of Aperiodic Order for generating quasicrystals with pure point diffraction. Linear repetitivity (LR) is a form of ideal regularity of aperiodic patterns. Recently, Koivusalo and the present author characterised LR for cut and project sets with convex polytopal windows whose supporting hyperplanes are commensurate with the lattice, the weak homogeneity property. For such cut and project sets, we show that LR is equivalent to two properties. One is a low complexity condition, which may be determined from the cut and project data by calculating the ranks of the intersections of the projection of the lattice to the internal space with the subspaces parallel to the supporting hyperplanes of the window. The second condition is that the projection of the lattice to the internal space is Diophantine (or ‘badly approximable’), which loosely speaking means that the lattice points in the total space stay far from the physical space, relative to their norm. We review then extend these results to non-convex and disconnected polytopal windows, as well as windows with polytopal partitions producing cut and project sets of labelled points. Moreover, we obtain a complete characterisation of LR in the fully general case, where weak homogeneity is not assumed. Here, the Diophantine property must be replaced with an inhomogeneous analogue. We show that cut and project schemes with internal space isomorphic to $\mathbb{R}^n \oplus G \oplus \mathbb{Z}^r$, for $G$ finite Abelian, can, up to MLD equivalence, be reduced to ones with internal space $\mathbb{R}^n$, so our results also cover cut and project sets of this form, such as the (generalised) Penrose tilings.
Journal of the Institute of Mathematics of Jussieu
We present a single, connected tile which can tile the plane but only nonperiodically. The tile is hexagonal with edge markings, which impose simple rules as to how adjacent tiles are allowed to meet across edges. The first of these rules is a standard matching rule, that certain decorations match across edges. The second condition is a new type of matching rule, which allows tiles to meet only when certain decorations in a particular orientation are given the opposite charge. This forces the tiles to form a hierarchy of triangles, following a central idea of the Socolar–Taylor tilings. However, the new edge-to-edge orientational matching rule forces this structure in a very different way, which allows for a surprisingly simple proof of aperiodicity. We show that the hull of all tilings satisfying our rules is uniquely ergodic and that almost all tilings in the hull belong to a minimal core of tilings generated by substitution. Identifying tilings which are charge-flips of each other, these tilings are shown to have pure point dynamical spectrum and a regular model set structure.
We consider substitutions on compact alphabets and provide sufficient conditions for the diffraction to be pure point, absolutely continuous and singular continuous. This allows one to construct examples for which the Koopman operator on the associated function space has specific spectral components. For abelian bijective substitutions, we provide a dichotomy result regarding the spectral type of the diffraction. We also provide the first example of a substitution that has countably infinite Lebesgue spectral components and countably infinite singular continuous components. Lastly, we give a non-constant length substitution on a countably infinite alphabet that gives rise to substitutive Delone sets of infinite type. This extends the spectral theory of substitutions on finite alphabets and Delone sets of finite type with inflation symmetry.
In this paper we give a complete characterisation of linear repetitivity for cut and project schemes with convex polytopal windows satisfying a weak homogeneity condition. This answers a question of Lagarias and Pleasants from the 90s for a natural class of cut and project schemes which is large enough to cover almost all such polytopal schemes which are of interest in the literature. We show that a cut and project scheme in this class has linear repetitivity exactly when it has the lowest possible patch complexity and satisfies a Diophantine condition. Finding the correct Diophantine condition is a major part of the work. To this end we develop a theory, initiated by Forrest, Hunton and Kellendonk, of decomposing polytopal cut and project schemes to factors. We also demonstrate our main theorem on a wide variety of examples, covering all classical examples of canonical cut and project schemes, such as Penrose and Ammann–Beenker tilings.
We study the rotational structures of aperiodic tilings in Euclidean space of arbitrary dimension using topological methods. Classical topological approaches to the study of aperiodic patterns have largely concentrated just on translational structures, studying an associated space, the continuous hull, here denoted $\Omega_t$. In this article we consider two further spaces $\Omega_r$ and $\Omega_G$ (the rotational hulls) which capture the full rigid motion properties of the underlying patterns. The rotational hull $\Omega_r$ is shown to be a matchbox manifold which contains $\Omega_t$ as a sub-matchbox manifold. We develop new S-MLD invariants derived from the homotopical and cohomological properties of these spaces demonstrating their computational as well as theoretical utility. We compute these invariants for a variety of examples, including a class of 3-dimensional aperiodic patterns, as well as for the space of periodic tessellations of $\mathbb{R}^3$ by unit cubes. We show that the classical space group of symmetries of a periodic pattern may be recovered as the fundamental group of our space $\Omega_G$. Similarly, for those patterns associated to quasicrystals, the crystallographers’ aperiodic space group may be recovered as a quotient of our fundamental invariant.
We calculate the growth rate of the complexity function for polytopal cut and project sets. This generalizes work of Julien where the almost canonical condition is assumed. The analysis of polytopal cut and project sets has often relied on being able to replace acceptance domains of patterns by so-called cut regions. Our results correct mistakes in the literature where these two notions are incorrectly identified. One may only relate acceptance domains and cut regions when additional conditions on the cut and project set hold. We find a natural condition, called the quasicanonical condition, guaranteeing this property and demonstrate by counterexample that the almost canonical condition is not sufficient for this. We also discuss the relevance of this condition for the current techniques used to study the algebraic topology of polytopal cut and project sets.
In this article pattern statistics of typical cubical cut and project sets are studied. We give estimates for the rate of convergence of appearances of patches to their asymptotic frequencies. We also give bounds for repetitivity and repulsivity functions. The proofs use ideas and tools developed in discrepancy theory.
Linearly repetitive cut and project sets are mathematical models for perfectly ordered quasicrystals. In a previous paper we presented a characterization of linearly repetitive cut and project sets. In this paper we extend the classical definition of linear repetitivity to try to discover whether or not there is a natural class of cut and project sets which are models for quasicrystals which are better than `perfectly ordered’. In the positive direction, we demonstrate an uncountable collection of such sets (in fact, a collection with large Hausdorff dimension) for every choice of dimension of the physical space. On the other hand, we show that, for many natural versions of the problems under consideration, the existence of these sets turns out to be equivalent to the negation of a well-known open problem in Diophantine approximation, the Littlewood conjecture.
For the development of a mathematical theory which can be used to rigorously investigate physical properties of quasicrystals, it is necessary to understand regularity of patterns in special classes of aperiodic point sets in Euclidean space. In one dimension, prototypical mathematical models for quasicrystals are provided by Sturmian sequences and by point sets generated by substitution rules. Regularity properties of such sets are well understood, thanks mostly to well known results by Morse and Hedlund, and physicists have used this understanding to study one dimensional random Schrödinger operators and lattice gas models. A key fact which plays an important role in these problems is the existence of a subadditive ergodic theorem, which is guaranteed when the corresponding point set is linearly repetitive. In this paper we extend the one-dimensional model to cut and project sets, which generalize Sturmian sequences in higher dimensions, and which are frequently used in mathematical and physical literature as models for higher dimensional quasicrystals. By using a combination of algebraic, geometric, and dynamical techniques, together with input from higher dimensional Diophantine approximation, we give a complete characterization of all linearly repetitive cut and project sets with cubical windows. We also prove that these are precisely the collection of such sets which satisfy subadditive ergodic theorems. The results are explicit enough to allow us to apply them to known classical models, and to construct linearly repetitive cut and project sets in all pairs of dimensions and codimensions in which they exist.
Pattern-equivariant (PE) cohomology is a well-established tool with which to interpret the Čech cohomology groups of a tiling space in a highly geometric way. We consider homology groups of PE infinite chains and establish Poincaré duality between the PE cohomology and PE homology. The Penrose kite and dart tilings are taken as our central running example; we show how through this formalism one may give highly approachable geometric descriptions of the generators of the Čech cohomology of their tiling space. These invariants are also considered in the context of rotational symmetry. Poincaré duality fails over integer coefficients for the “ePE homology groups” based upon chains which are PE with respect to orientation-preserving Euclidean motions between patches. As a result we construct a new invariant, which is of relevance to the cohomology of rotational tiling spaces. We present an efficient method of computation of the PE and ePE (co)homology groups for hierarchical tilings.
A spectral sequence is defined which converges to the Čech cohomology of the Euclidean hull of a tiling of the plane with Euclidean finite local complexity. The terms of the second page are determined by the so-called Euclidean pattern-equivariant (ePE) homology and ePE cohomology groups of the tiling, and the only potentially non-trivial boundary map has a simple combinatorial description in terms of its local patches. Using this spectral sequence, we compute the Čech cohomology of the Euclidean hull of the Penrose tilings.
Mathematical Proceedings of the Cambridge Philosophical Society
We establish a connection between gaps problems in Diophantine approximation and the frequency spectrum of patches in cut and project sets with special windows. Our theorems provide bounds for the number of distinct frequencies of patches of size r, which depend on the precise cut and project sets being used, and which are almost always less than a power of log r. Furthermore, for a substantial collection of cut and project sets we show that the number of frequencies of patches of size r remains bounded as r tends to infinity. The latter result applies to a collection of cut and project sets of full Hausdorff dimension.