A substitution $\vp$ is strong Pisot if its abelianization matrix is non-singular and all eigenvalues except the Perron-Frobenius eigenvalue have modulus less than one. For strong Pisot $\vp$ that satisfies a no cycle condition and for which the translation flow on the tiling space $\T_\vp$ has pure discrete spectrum, we describe the collection $\T^P_\vp$ of pairs of proximal tilings in $\T_\vp$ in a natural way as a substitution tiling space. We show that if $ψ$ is another such substitution, then $\T_\vp $ and $\T_ψ$ are homeomorphic if and only if $\T^P_\vp$ and $\T^P_ψ$ are homeomorphic. We make use of this invariant to distinguish tiling spaces for which other known invariants are ineffective. In addition, we show that for strong Pisot substitutions, pure discrete spectrum of the flow on the associated tiling space is equivalent to proximality being a closed relation on the tiling space.
We investigate the role of the proximality relation for tiling dynamical systems. Under two hypotheses, namely that the minimal rank is finite and the set of fiber distal points has full measure we show that the following conditions are equivalent: (i) proximality is topologically closed, (ii) the minimal rank is one, (iii) the continuous eigenfunctions of the translation action span the L^2-functions over the tiling space. We apply our findings to model sets and to Meyer substitution tilings. It turns out that the Meyer property is crucial for our analysis as it allows us to replace proximali…
We consider the structure of Pisot substitution tiling spaces, in particular, the structure of those spaces for which the translation action does not have pure discrete spectrum. Such a space is always a measurable m-to-one cover of an action by translation on a group called the maximal equicontinuous factor. The integer m is the coincidence rank of the substitution and equals one if and only if translation on the tiling space has pure discrete spectrum. By considering factors intermediate between a tiling space and its maximal equicontinuous factor, we establish a lower bound on the cohomolog…
We discuss the application of various concepts from the theory of topological dynamical systems to Delone sets and tilings. We consider in particular, the maximal equicontinuous factor of a Delone dynamical system, the proximality relation and the enveloping semigroup of such systems.
If phi is a Pisot substitution of degree d, then the inflation and substitution homeomorphism Phi on the tiling space T_Phi factors via geometric realization onto a d-dimensional solenoid. Under this realization, the collection of Phi-periodic asymptotic tilings corresponds to a finite set that projects onto the branch locus in a d-torus. We prove that if two such tiling spaces are homeomorphic, then the resulting branch loci are the same up to the action of certain affine maps on the torus.
We consider 1-dimensional, unimodular Pisot substitution tilings with three intervals, and discuss conditions under which pairs of such tilings are locally isomorhphic (LI), or mutually locally derivable (MDL). For this purpose, we regard the substitutions as homomorphisms of the underlying free group with three generators. Then, if two substitutions are conjugated by an inner automorphism of the free group, the two tilings are LI, and a conjugating outer automorphism between two substitutions can often be used to prove that the two tilings are MLD. We present several examples illustrating the…
We consider self-affine tilings in the Euclidean space and the associated tiling dynamical systems, namely, the translation action on the orbit closure of the given tiling. We investigate the spectral properties of the system. It turns out that the presence of the discrete component depends on the algebraic properties of the eigenvalues of the expansion matrix $ϕ$ for the tiling. Assuming that $ϕ$ is diagonalizable over $\C$ and all its eigenvalues are algebraic conjugates of the same multiplicity, we show that the dynamical system has a relatively dense discrete spectrum if and only if it is …
From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $β$ and the greedy $β$-transformation. In this paper, we consider different transformations generating expansions in base $β$, including cases where the associated subshift is not sofic. Under certain mild conditions, we show that they give multiple tilings. We also give a necessary and sufficient condition for the tiling property, generalizing the weak finiteness property (W) for greedy $β$-expansions. Remarkably, the symmetric $β$-transformation does …
For a (non-unit) Pisot number $β$, several collections of tiles are associated with $β$-numeration. This includes an aperiodic and a periodic one made of Rauzy fractals, a periodic one induced by the natural extension of the $β$-transformation and a Euclidean one made of integral beta-tiles. We show that all these collections (except possibly the periodic translation of the central tile) are tilings if one of them is a tiling or, equivalently, the weak finiteness property (W) holds. We also obtain new results on rational numbers with purely periodic $β$-expansions; in particular, we calculate …
We prove that if a primitive and non-periodic substitution is injective on initial letters, constant on final letters, and has Pisot inflation, then the R-action on the corresponding tiling space has pure discrete spectrum. As a consequence, all beta-substitutions for beta a Pisot simple Parry number have tiling dynamical systems with pure discrete spectrum, as do the Pisot systems arising, for example, from the Jacobi-Perron and Brun continued fraction expansions.
Given an n-dimensional substitution whose associated linear expansion is unimodular and hyperbolic, we use elements of the one-dimensional integer Čech cohomology of the associated tiling space to construct a finite-to-one semi-conjugacy, called geometric realization, between the substitution induced dynamics and an invariant set of a hyperbolic toral automorphism. If the linear expansion satisfies a Pisot family condition and the rank of the module of generalized return vectors equals the generalized degree of the linear expansion, the image of geometric realization is the entire torus and co…
We set up a geometrical theory for the study of the dynamics of reducible Pisot substitutions. It is based on certain Rauzy fractals generated by duals of higher dimensional extensions of substitutions. We obtain under certain hypotheses geometric representations of stepped surfaces and related polygonal tilings, as well as self-replicating and periodic tilings made of Rauzy fractals. We apply our theory to an infinite family of substitutions. For this family, we analyze and interpret in a new combinatorial way the codings of a domain exchange defined on the associated fractal domains. We dedu…
Let $β\in(1,2)$ be a Pisot unit and consider the symmetric $β$-expansions. We give a necessary and sufficient condition for the associated Rauzy fractals to form a tiling of the contractive hyperplane. For $β$ a $d$-Bonacci number, i.e., Pisot root of $x^d-x^{d-1}-\dots-x-1$ we show that the Rauzy fractals form a multiple tiling with covering degree $d-1$.
We introduce a procedure for establishing pure discrete spectrum for substitution tiling systems of Pisot family type and illustrate with several examples.
We consider one-dimensional substitution tiling spaces where the dilatation (stretching factor) is a degree d Pisot number, and where the first rational Cech cohomology is d-dimensional. We construct examples of such "homological Pisot" substitutions that do not have pure discrete spectra. These examples are not unimodular, and we conjecture that the coincidence rank must always divide a power of the norm of the dilatation. To support this conjecture, we show that homological Pisot substitutions exhibit an Exact Regularity Property (ERP), in which the number of occurrences of a patch for a ret…
We prove the Pisot Conjecture for beta-substitutions: If beta is a Pisot number, the tiling dynamical system associated with the beta-substitution has pure discrete spectrum. As corollaries: (1) arithmetical coding of the hyperbolic solenoidal automorphism associated with the companion matrix of the minimal polynomial of any Pisot number is almost everywhere one-to-one; and (2) every Pisot number is weakly finitary.
This paper studies tilings related to the beta-transformation when beta is a Pisot number (that is not supposed to be a unit). Then it applies the obtained results to study the set of rational numbers having a purely periodic beta-expansion. Special focus is given to some quadratic examples.
For a fairly general class of two-dimensional tiling substitutions, we prove that if the length expansion $β$ is a Pisot number, then the tilings defined by the substitution must be locally finite. We also give a simple example of a two-dimensional substitution on rectangular tiles, with a non-Pisot length expansion $β$, such that no tiling admitted by the substitution is locally finite. The proofs of both results are effectively one-dimensional and involve the idea of a certain type of generalized $β$-transformation.
We consider substitution tilings and Delone sets without the assumption of finite local complexity (FLC). We first give a sufficient condition for tiling dynamical systems to be uniquely ergodic and a formula for the measure of cylinder sets. We then obtain several results on their ergodic-theoretic properties, notably absence of strong mixing and conditions for existence of eigenvalues, which have number-theoretic consequences. In particular, if the set of eigenvalues of the expansion matrix is totally non-Pisot, then the tiling dynamical system is weakly mixing. Further, we define the notion…
One of the simplest non-Pisot substitution rules is investigated in its geometric version as a tiling with intervals of natural length as prototiles. Via a detailed renormalisation analysis of the pair correlation functions, we show that the diffraction measure cannot comprise any absolutely continuous component. This implies that the diffraction, apart from a trivial Bragg peak at the origin, is purely singular continuous. En route, we derive various geometric and algebraic properties of the underlying Delone dynamical system, which we expect to be relevant in other such systems as well.
We show that any primitive substitution tiling of the plane creates a separated net which is biLipschitz to the integer lattice. Then we show that if H is a primitive Pisot substitution in an Euclidean space, for every separated net Y, that corresponds to some tiling of the tiling space, there exists a bijection F between Y and the integer lattice that translate every element of Y a bounded distance. As a corollary we get that we have such an F for any separated net that corresponds to a Penrose Tiling. The proofs rely on results of Laczkovich, and Burago and Kleiner.
Let $σ$ be a non-unit Pisot substitution and let $α$ be the associated Pisot number. It is known that one can associate certain fractal tiles, so-called \emph{Rauzy fractals}, with $σ$. In our setting, these fractals are subsets of a certain open subring of the adèle ring $\mathbb{A}_{\mathbb{Q}(α)}$. We present several approaches on how to define Rauzy fractals and discuss the relations between them. In particular, we consider Rauzy fractals as the natural geometric objects of certain numeration systems, define them in terms of the one-dimensional realization of $σ$ and its dual (in the spiri…
Every sufficiently regular space of tilings of $\R^d$ has at least one pair of distinct tilings that are asymptotic under translation in all the directions of some open $(d-1)$-dimensional hemisphere. If the tiling space comes from a substitution, there is a way of defining a location on such tilings at which asymptoticity `starts'. This leads to the definition of the {\em branch locus} of the tiling space: this is a subspace of the tiling space, of dimension at most $d-1$, that summarizes the `asymptotic in at least a half-space' behavior in the tiling space. We prove that if a $d$-dimensiona…
We prove that for the uniquely ergodic ${\bf R}^d$ action associated with a primitive substitution tiling of finite local complexity, every measurable eigenfunction coincides with a continuous function almost everywhere. Thus, topological weak-mixing is equivalent to measure-theoretic weak-mixing for such actions. If the expansion map for the substitution is a pure dilation by $θ>1$ and the substitution has a fixed point, then failure of weak-mixing is equivalent to $θ$ being a Pisot number.
For substitution satisfying Pisot, irreducible, unimodular condition, a tiling substitution plays a key role in construction of a stepped surface and Rauzy fractal. In this paper we will extend the method to hyperbolic automorphisms on the free group of rank 2 in some class, and obtain set equations of Rauzy fractals by virtue of a tiling substitution. We will also see that the domain exchange transformation on Rauzy fractal is just a two interval exchange transformation.
The Exact Regularity Property was introduced recently as a property of homological Pisot substitutions in one dimension. In this paper, we consider exact regularity for arbitrary tiling spaces. Let ${T}$ be a $d$ dimensional repetitive tiling, and let $Ω_{T}$ be its hull. If $\check H^d(Ω_{T}, Q) = Q^k$, then there exist $k$ patches whose appearance govern the number of appearances of every other patch. This gives uniform estimates on the convergence of all patch frequencies to the ergodic limit. If the tiling ${T}$ comes from a substitution, then we can quantify that convergence rate. If ${T}…
In this paper we prove that, for any integer $d>0$, every linearly repetitive Delone set in the Euclidean $d$-space $\RR^d$ is equivalent, up to a bi-Lipschitz homeomorphism, to the integer lattice $\ZZ^d$. In the particular case when the Delone set $X$ in $\RR^d$ comes from a primitive substitution tiling of $\RR^d$, we give a condition on the eigenvalues of the substitution matrix which implies the existence of a homeomorphism with bounded displacement from $X$ to the lattice lattice $λ\ZZ^d$ for some positive $λ$. This condition includes primitive Pisot substitution tilings but also concern…
For point sets and tilings that can be constructed with the projection method, one has a good understanding of the correlation structure, and also of the corresponding spectra, both in the dynamical and in the diffraction sense. For systems defined by substitution or inflation rules, the situation is less favourable, in particular beyond the much-studied class of Pisot substitutions. In this contribution, the geometric inflation rule is employed to access the pair correlation measures of self-similar and self-affine inflation tilings and their Fourier transforms by means of exact renormalisati…
