Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-14T19:42:35.226Z Has data issue: false hasContentIssue false

Spectral cocycle for substitution tilings

Published online by Cambridge University Press:  18 September 2023

BORIS SOLOMYAK*
Affiliation:
Department of Mathematics, Bar-Ilan University, Ramat-Gan, Israel
RODRIGO TREVIÑO
Affiliation:
Department of Mathematics, University of Maryland, College Park, MD, USA (e-mail: rodrigo@trevino.cat)
Rights & Permissions [Opens in a new window]

Abstract

The construction of a spectral cocycle from the case of one-dimensional substitution flows [A. I. Bufetov and B. Solomyak. A spectral cocycle for substitution systems and translation flows. J. Anal. Math. 141(1) (2020), 165–205] is extended to the setting of pseudo-self-similar tilings in ${\mathbb R}^d$, allowing expanding similarities with rotations. The pointwise upper Lyapunov exponent of this cocycle is used to bound the local dimension of spectral measures of deformed tilings. The deformations are considered, following the work of Treviño [Quantitative weak mixing for random substitution tilings. Israel J. Math., to appear], in the simpler, non-random setting. We review some of the results of Treviño in this special case and illustrate them on concrete examples.

Type
Original Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.
Copyright
© The Author(s), 2023. Published by Cambridge University Press

1 Introduction

We extend the construction of the spectral cocycle and partially extend the results from the case of one-dimensional substitution flows treated in [Reference Bufetov and Solomyak11] to higher dimensions. Another motivation for us is to make the results of [Reference Treviño40] more accessible by presenting them in the simplest possible non-trivial case of a single self-similar tiling (corresponding to a stationary Bratteli diagram in [Reference Treviño40]). We also indicate how the results of [Reference Treviño40], where it is assumed that the expansion map is a pure dilation, may be extended to the case of general expanding similarities with rotations, which necessitates dealing with fractal boundaries and passing from self-similar to pseudo-self-similar tiling spaces. We do not repeat the rather technical proofs of [Reference Treviño40], but illustrate the results on concrete examples (Kenyon’s tilings defined via free group endomorphisms [Reference Kenyon25] and a ‘square’ tiling).

The spectral cocycle was introduced in [Reference Bufetov and Solomyak11] for translation flows and S-adic systems; here we are concerned with the case of a single substitution. Briefly, given a primitive aperiodic substitution $\zeta $ on m symbols with a non-singular substitution matrix $\mathsf {S}_\zeta $ , the spectral cocycle from [Reference Bufetov and Solomyak11] is a complex matrix $m\times m$ cocycle over the endomorphism of the m-torus induced by the transpose $\mathsf {S}_\zeta ^{\mathsf {T}}$ .

(In fact, in the case when $\mathsf {S}_\zeta $ is singular, one can restrict the underlying system to a lower-dimensional sub-torus on which non-singularity holds, see [Reference Yaari42].) Implicitly, the spectral cocycle appeared already in [Reference Bufetov and Solomyak8] as a generalized matrix Riesz product. In [Reference Bufetov and Solomyak11], it was shown that the (top, pointwise upper) Lyapunov exponents of this cocycle in some sense control the local spectral behavior of substitution ${\mathbb R}$ -actions—suspension flows over the usual substitution ${\mathbb Z}$ -action, with a piecewise-constant roof function. By ‘control’ we mean lower and upper bounds for the local dimension of spectral measures of cylindrical functions, see [Reference Bufetov and Solomyak8] for details. Independently, Baake et al [Reference Baake, Frank, Grimm and Robinson3, Reference Baake, Gähler and Mañibo4] introduced a Fourier matrix cocycle, which coincides with the spectral cocycle on the one-dimensional $\mathsf {S}_\zeta ^{\mathsf {T}}$ -invariant manifold on the torus corresponding to the Perron–Frobenius eigenvector; it is tailored for the spectral analysis of (geometrically) self-similar tiling flows and was used to prove singularity of the diffraction spectrum for a class of non-Pisot substitution systems. In [Reference Treviño40], it appeared as the application of traces applied to elements of certain AF algebras.

The tools of spectral cocycle (without calling it such) provided a framework for the proof of almost sure Hölder regularity of translation flows on higher genus flat surfaces, first in [Reference Bufetov and Solomyak9] for genus 2 and then in [Reference Bufetov and Solomyak12] for an arbitrary genus greater than 1, including many surfaces of infinite genus and finite area. (The last paper appeared after the preprint of, now published, [Reference Forni16] who used a different technique.)

The work [Reference Treviño40] extended almost sure Hölder regularity results of [Reference Bufetov and Solomyak12] to the case of (globally) random substitution tilings in ${\mathbb R}^d$ . In a sense, this is a higher-dimensional version of an S-adic system, in which self-similar tile substitutions are applied randomly, according to an underlying ergodic dynamical system, resulting in a tiling ${\mathbb R}^d$ -action. A crucial distinction with the one-dimensional case is that one needs to define what is meant by a ‘deformation’ of the tiling dynamical system. Whereas for $d=1$ , it was rather natural to vary the tile lengths, or equivalently, view the system as a suspension with a piecewise-constant roof function and vary the ‘heights’, this issue becomes more complicated for $d\ge 2$ . In this setting, admissible deformations were studied, first by Clark and Sadun [Reference Clark and Sadun14] and then by Kellendonk [Reference Kellendonk23] and Julien and Sadun [Reference Julien and Sadun22]; this required dealing with the (e.g., Čech) cohomology group $\check H^1(X,{\mathbb R}^d)$ , where X is the tiling space. The spectral cocycle for $d\ge 2$ is still a complex matrix $m\times m$ cocycle, where m is the number of prototiles, but the cocycle is over the endomorphism induced by the inflation map on the first cohomology group. Incidentally, this point of view offers an advantage even for $d=1$ .

The Fourier matrix cocycle has been introduced for self-similar tilings in [Reference Baake, Gähler and Mañibo4], see also [Reference Baake, Frank, Grimm and Robinson3, Reference Baake, Grimm, Akiyama and Arnoux6]; it is a cocycle over the inflation map of the entire ${\mathbb R}^d$ and it coincides with the spectral cocycle on a measure zero subset. In this case, it was also used to prove singularity for some systems, such as the Godrèche–Lançon–Billard tiling.

The paper is organized as follows. In §2, we recall the background on tilings and tiling dynamical systems, which is mostly standard and appeared in many articles and books. We also discuss pseudo-self-similar tilings, which are needed to define deformations when the prototiles of the original self-similar tiling have fractal boundaries. Section 3 deals with cohomology and deformations. It also includes a treatment of geometric properties of deformed tiling spaces and their consequences, in particular, unique ergodicity and a formula for measures of cylinder sets. In §4, we define the spectral cocycle and state the main result on local dimension estimates. In §5, we first state the result saying that for deformed tiling spaces, weak mixing is equivalent to topological weak mixing, which was characterized in [Reference Clark and Sadun14]. The proof is a minor variation of the argument from [Reference Solomyak35]; we sketch it in §7. Next we explain how a natural quantitative strengthening of the condition, which we call the ‘quantitative Host–Veech criterion’, yields Hölder regularity of spectral measures and quantitative weak mixing. Further, we state a theorem on quantitative weak mixing, which is essentially a special case of [Reference Treviño40, Theorem 1.1], but we believe it is more accessible and easier to apply. A brief proof outline is included. Finally, we revisit the case of one-dimensional substitution tilings and show how to extend [Reference Bufetov and Solomyak8, Theorem 4.1] to the case of a reducible substitution matrix. Section 6 is devoted to examples. There is a detailed discussion of a family of pseudo-self-similar planar tilings due to Kenyon [Reference Kenyon25], to which our results apply. An example with ‘square tilings’ is included as well. Section 7 contains the remaining proofs.

2 Background

2.1 Tilings and tiling spaces

A tiling ${\mathcal T}$ of ${\mathbb R}^d$ is a covering by compact sets, called tiles, such that their interiors do not intersect. The tiles need not be homeomorphic to balls or even connected. We assume that every tile is a closure of its interior. We will consider the translation ${\mathbb R}^d$ -action on tiling spaces (defined below in equation (2.1)): the translation of ${\mathcal T}$ by $t\in {\mathbb R}^d$ is $\{T-t:T\in {\mathcal T}\}$ . Strictly speaking, a tile is a pair $T=(A,j)$ , where A is the support of T and j is its type, color, or label. This is needed, since frequently we need to distinguish geometrically equivalent tiles. However, to avoid cluttered notation, we will often think of tiles as sets with colors or labels. The colors are assumed to be preserved under translations, linear maps, etc.

A patch of the tiling ${\mathcal T}$ is a finite subset of ${\mathcal T}$ . For two patches ${\mathcal P},{\mathcal P}'\subset {\mathcal T}$ , we write ${\mathcal P}\sim {\mathcal P}'$ if there exists $t\in {\mathbb R}^d$ such that ${\mathcal P}' = {\mathcal P}-t$ ; such patches are called translation-equivalent. For a bounded $A\subset {\mathbb R}^d$ , define the patches:

$$ \begin{align*} {\mathcal O}^-_{\mathcal T}(A) = \mbox{the largest patch of}\ {\mathcal T} \mbox{completely contained in}\ A; \end{align*} $$
$$ \begin{align*} {\mathcal O}^+_{\mathcal T}(A) = \mbox{the smallest patch of}\ {\mathcal T}\ \mbox{containing}\ A. \end{align*} $$

We will always assume that all our tilings have (translational) finite local complexity, or FLC: for any $R>0$ , there are finitely many patches of the form ${\mathcal O}_{\mathcal T}^-(B_R(x))$ up to translation equivalence. In particular, there are finitely many tiles up to translation. We fix a collection of representatives ${\mathcal A} = \{T_1,\ldots ,T_m\}$ and call them prototiles. Another standing assumption will be that ${\mathcal T}$ is repetitive, that is, for any patch ${\mathcal P}\subset {\mathcal T}$ , there exists $R_{\mathcal P}>0$ such that any ball $B_{R_{\mathcal P}}(x)$ , with $x\in {\mathbb R}^d$ , contains a ${\mathcal T}$ -patch ${\mathcal P}'\sim {\mathcal P}$ .

The tiling space (or ‘hull’) determined by ${\mathcal T}$ is the closure of the translation orbit:

(2.1) $$ \begin{align} X_{\mathcal T}:= \textrm{clos}\{{\mathcal T}-x:x\in {\mathbb R}^d\} \end{align} $$

in the standard ‘local’ metric, in which ${\mathcal T}$ and ${\mathcal T}'$ are ${\varepsilon }$ -close for ${\varepsilon }>0$ sufficiently small if and only if there exists $t\in B_{\varepsilon }(0)$ such that ${\mathcal T}$ and ${\mathcal T}' - t$ coincide in $B_{1/{\varepsilon }}(0)$ . The tiling dynamical system $(X_{\mathcal T},{\mathbb R}^d)$ is the ${\mathbb R}^d$ -action by translations. If ${\mathcal T}$ is repetitive, then $X_{\mathcal T} = X_{{\mathcal T}'}$ for any ${\mathcal T}' \in X_{{\mathcal T}}$ , so the tiling dynamical system is minimal. We will often omit the subscript ${\mathcal T}$ and simply write X for a tiling space. An alternative way to define the tiling space is via the atlas of admissible patches (analogous to a language in symbolic dynamics).

2.1.1 Functions

Let ${\mathcal T}$ be a tiling of ${\mathbb R}^d$ . A function $h:X_{\mathcal T}\to {\mathbb C}$ is transversally locally constant (TLC) if there exists $R>0$ such that

$$ \begin{align*} {\mathcal O}^-_{{\mathcal T}'}(B_R(0)) = {\mathcal O}^-_{{\mathcal T}"}(B_R(0)) \!\implies\! h({\mathcal T}') = h({\mathcal T}"). \end{align*} $$

A function $f:{\mathbb R}^d\to {\mathbb C}$ is ${\mathcal T}$ -equivariant if there exists $R>0$ such that

(2.2) $$ \begin{align} {\mathcal O}^-_{{\mathcal T}}(B_R(x)) = {\mathcal O}^-_{{\mathcal T}}(B_R(y)) + (x-y) \!\implies\! f(x) = f(y). \end{align} $$

Given a TLC-function $h:X_{\mathcal T}\to {\mathbb C}$ , we get a ${\mathcal T}$ -equivariant function via $f(x) := h ({\mathcal T}-x)$ .

2.1.2 Mutual local derivability

For two tilings ${\mathcal T}_1$ and ${\mathcal T}_2$ , we say that ${\mathcal T}_2$ is locally derivable (LD) from ${\mathcal T}_1$ with radius $R>0$ if for all $x,y\in \mathbb {R}^d$ ,

$$ \begin{align*}{\mathcal O}^-_{{\mathcal T}_1}(B_R(x)) = {\mathcal O}^-_{{\mathcal T}_1}(B_R(y))+(x-y)\Rightarrow {\mathcal O}^+_{{\mathcal T}_2}(\{x\}) = {\mathcal O}^+_{{\mathcal T}_2}(\{y\}) + (x-y).\end{align*} $$

If ${\mathcal T}$ is LD from ${\mathcal S}$ and vice versa, then we say that tilings ${\mathcal T}$ and ${\mathcal S}$ are mutually locally derivable (MLD). Note that this is similar in spirit to ${\mathcal T}$ -equivariance. MLD implies conjugacy of tiling dynamical systems, but not the other way round, see [Reference Petersen32, Reference Radin and Sadun33]. We will say that two minimal tiling spaces X and $X'$ are MLD if there exist ${\mathcal T}\in X$ and ${\mathcal T}'\in X'$ that are MLD.

2.1.3 Frequency of patches and unique ergodicity

Denote $Q_R=[-R,R]^d$ . The following is well known and may be considered folklore. We refer the reader to [Reference Lee, Moody and Solomyak28], which is written in the language of Delone multisets; passing to the tiling setting is routine.

Given an FLC tiling ${\mathcal T}$ , we say that ${\mathcal T}$ has uniform patch frequencies (UPFs) if for any patch ${\mathcal P}\subset {\mathcal T}$ , the limit

$$ \begin{align*} \mathrm{freq}({\mathcal P},{\mathcal T}) = \lim_{n\to \infty} \frac{\#\{t\in {\mathbb R}^d: \ t+{\mathcal P} \subset Q_R + x\}}{(2R)^d}\ge 0 \end{align*} $$

exists uniformly in $x\in {\mathbb R}^d$ . For a repetitive tiling space, the UPF property and the uniform frequencies do not depend on the choice of the tiling.

Theorem 2.1. [Reference Lee, Moody and Solomyak28, Theorem 2.7]

Let ${\mathcal T}$ be an FLC tiling in ${\mathbb R}^d$ . The dynamical system $(X_{\mathcal T},{\mathbb R}^d)$ is uniquely ergodic if and only if ${\mathcal T}$ has the UPF property.

Under the UPF assumption, we also have an explicit formula for the measure of ‘cylinder sets’. For a tiling space X, we define the transversal of a patch ${\mathcal P}$ by

$$ \begin{align*} \Upsilon({\mathcal P}) = \{{\mathcal T} \in X:{\mathcal P}\subset {\mathcal T}\}. \end{align*} $$

For a patch ${\mathcal P}$ and a Borel set $U\subset {\mathbb R}^d$ , the corresponding cylinder set is $ \Upsilon ({\mathcal P})+U:= \{{\mathcal T} + x:{\mathcal T}\in \Upsilon ({\mathcal P}),\ x\in U\}. $

Proposition 2.2. [Reference Lee, Moody and Solomyak28, Corollary 2.8]

Let X be a uniquely ergodic FLC tiling space, with the unique invariant Borel probability measure $\mu $ . Let $\eta =\eta (X)$ be the diameter of the largest ball contained in every prototile. Then for any patch ${\mathcal P}$ and a Borel set U with $\textrm {diam}(U) < \eta (X)$ ,

(2.3) $$ \begin{align} \mu(\Upsilon({\mathcal P})+U) = {\mathcal L}^d(U)\cdot \mathrm{freq}({\mathcal P},{\mathcal T}). \end{align} $$

2.2 Self-similar tilings

Now we define a self-similar tiling space, in the sense of [Reference Kenyon25, Reference Solomyak35, Reference Thurston39]. Here we start with a substitution rule. As before, suppose that we have a finite prototile set $\{{\mathfrak T}_1,\ldots ,{\mathfrak T}_m\}$ , where each ${\mathfrak T}_j\subset {\mathbb R}^d$ is the closure of its interior, possibly with a fractal boundary. Let $\varphi $ be an expanding similarity on ${\mathbb R}^d$ , with expansion constant $\theta>1$ (we do not assume that $\varphi $ is a pure dilation; in general, $\varphi = \theta {\mathcal O}$ , where ${\mathcal O}$ is an orthogonal transformation). Assume that there is a tile substitution

(2.4) $$ \begin{align} \omega({\mathfrak T}_j) = \bigcup_{k\le m} ({\mathfrak T}_k + {\mathcal D}_{jk}),\quad j\le m, \end{align} $$

where ${\mathcal D}_{jk}$ is a finite set of translations and the right-hand side represents a patch such that

(2.5) $$ \begin{align} \varphi A_j = \bigcup_{k} (A_k + {\mathcal D}_{jk}),\quad j\le m,\quad A_j = \textrm{supp}({\mathfrak T}_j). \end{align} $$

For a translated prototile, the substitution acts by

(2.6) $$ \begin{align} \omega({\mathfrak T}_j + x) = \omega({\mathfrak T}_j) + \varphi(x),\quad j\le m,\ x\in {\mathbb R}^d. \end{align} $$

This and the property in equation (2.5) imply that the substitution map can be iterated, resulting in increasingly larger patches. In particular,

(2.7) $$ \begin{align} \omega^2({\mathfrak T}_j) = \{{\mathfrak T}_s + \varphi {\mathcal D}_{jk} + {\mathcal D}_{ks}\}_{s\le m, k\le m},\quad 1 \le j \le m, \end{align} $$

etc. The substitution tiling space $X_\omega $ corresponding to $\omega $ is, by definition, the collection of all tilings ${\mathscr T}$ of ${\mathbb R}^d$ such that every ${\mathscr T}$ -patch is a sub-patch of $\omega ^n({\mathfrak T}_j)$ for some $j\le m$ and $n\in {\mathbb N}$ . We will sometimes omit the subscript $\omega $ and simply write X for the tiling space. By definition, one can pass from $\omega $ to $\omega ^k$ for $k\ge 2$ , without affecting the substitution tiling space. The substitution naturally extends to a continuous self-map of the tiling space $\omega :\,X_\omega \to X_\omega $ . This map is surjective, but not necessarily injective. Note that

(2.8) $$ \begin{align} \omega({\mathscr T}-t) = \omega({\mathscr T}) - \varphi(t),\quad {\mathscr T}\in X_\omega,\ t\in {\mathbb R}^d. \end{align} $$

The substitution matrix is defined by

(2.9) $$ \begin{align} \mathsf{S}_\omega(j,k) = \#{\mathcal D}_{kj}. \end{align} $$

We will assume that the substitution is primitive, that is, some power of $\mathsf {S}_\omega $ has all entries strictly positive. Repetitivity of ${\mathscr T} \in X_\omega $ implies primitivity. A tiling is called self-similar if it is a fixed point of the substitution: $\omega ({\mathscr T}) = {\mathscr T}$ . Such a tiling always exists, after passing to a higher power of $\omega $ , if necessary. FLC repetitive self-similar tiling spaces are known to be uniquely ergodic, see [Reference Lee, Moody and Solomyak28, Reference Solomyak35].

2.2.1 Aperiodicity and recognizability; hierarchical structure

We will assume that our tiling spaces are aperiodic, that is, ${\mathscr T} = {\mathscr T}-t$ implies $t=0$ . It follows from equation (2.8) that aperiodicity of $X_\omega $ is necessary for $\omega $ to be injective. It turns out that it is also sufficient [Reference Solomyak36]. Then $\omega $ is a homeomorphism, and we can ‘desubstitute’ any ${\mathscr T}\in X_\omega $ in a unique way; this property is usually called ‘recognizability’. Equivalently, there is a unique way to compose the tiles of ${\mathscr T}$ into a collection of patches of the form $\omega ({\mathfrak T}_j), j\le m$ , in such a way that we get a tiling from the space $\varphi (X_\omega )$ . These patches are called super-tiles of order 1. This procedure can be iterated; thus any ${\mathfrak T}\in {\mathscr T}$ is contained in a unique increasing sequence of super-tiles of order n.

2.2.2 Substitution Delone set associated with a self-similar tiling

Let ${\mathscr T}$ be a self-similar tiling, $\omega ({\mathscr T}) = {\mathscr T}$ , which we assume exists, without loss of generality. Specify the location of each prototile ${\mathfrak T}_j$ in ${\mathscr T}$ . Then $\omega ({\mathfrak T}_j)$ is a ${\mathscr T}$ -patch, with the support $\varphi (\textrm {supp}({\mathfrak T}_j))$ . The definition in equation (2.4) implies that each element of ${\mathcal D}_{jk}$ is a translation vector between two occurrences of equivalent tiles in ${\mathscr T}$ , namely, ${\mathfrak T}_k$ and its translate. This means that ${\mathcal D}_{jk}$ is a set of return vectors, which will be important in what follows. We can write

(2.10) $$ \begin{align} {\mathscr T} = \bigcup_{k=1}^m ({\mathfrak T}_k + {\mathscr L}_k({\mathscr T})), \end{align} $$

where ${\mathscr L}_k({\mathscr T})$ represents the set of locations of tiles of type k in ${\mathscr T}$ (relative to the prototiles). Each ${\mathscr L}_k({\mathscr T})$ is a Delone set, that is, a uniformly discrete relatively dense set in ${\mathbb R}^d$ . By convention, $0\in {\mathscr L}_k({\mathscr T})$ for each k. Note that equations (2.10) and (2.4) yield a ‘dual system of equations’ for the Delone sets:

(2.11) $$ \begin{align} {\mathscr L}_k({\mathscr T}) = \coprod_{j\le m} (\varphi{\mathscr L}_j({\mathscr T}) + {\mathcal D}_{jk}), \quad k\le m. \end{align} $$

This means that $({\mathscr L}_k({\mathscr T}))_{k\le m}$ is a substitution Delone multiset in the sense of [Reference Lagarias and Wang27, Reference Lee, Moody and Solomyak28].

Definition 2.3. [Reference Lee, Moody and Solomyak28]. A family of Delone sets $({\mathscr L}_k)_{k\le m}$ is called a substitution Delone multiset with expansion $\varphi $ if there exist finite sets ${\mathcal D}_{jk}$ such that

(2.12) $$ \begin{align} {\mathscr L}_k = \coprod_{j\le m} (\varphi{\mathscr L}_j + {\mathcal D}_{jk}), \quad k\le m. \end{align} $$

This notion was introduced by Lagarias and Wang [Reference Lagarias and Wang27], except that they allowed each $\Lambda _k$ to be a set ‘with multiplicities’.

We will also need a set of control points for the tiling ${\mathscr T}$ and other tilings in $X_\omega $ . The sets ${\mathscr L}_k$ are not convenient, since they represent locations of tiles of type k in ${\mathscr T}$ relative to the prototiles ${\mathfrak T}_k\in {\mathscr T}$ . To this end, pick a point $c({\mathfrak T}_k)\in \textrm {int}({\mathfrak T}_k)$ for each prototile, and let $c({\mathfrak T}_k+x) = c({\mathfrak T}_k)+x$ for translated tiles. Then

$$ \begin{align*} \Lambda_k({\mathscr T}) := {\mathscr L}_k({\mathscr T}) + c({\mathfrak T}_k) \end{align*} $$

represents the set of control points in all the tiles of type k, and

(2.13) $$ \begin{align} \Lambda({\mathscr T}) := \coprod_{k\le m} \Lambda_k({\mathscr T}) \end{align} $$

is a Delone set of all the control points for the tiling. Note that $(\Lambda _k({\mathscr T}))_{k\le m}$ is a substitution Delone multiset as well, satisfying equation (2.12), with ${\mathcal D}_{jk}$ replaced by ${\mathcal D}_{jk} + c({\mathfrak T}_k) - \varphi c({\mathfrak T}_j)$ .

2.3 Pseudo-self-similar (PSS) tilings

Our main object in this paper is tiling deformations, which are more conveniently defined for tilings whose tiles are convex polytopes meeting face-to-face. When the tile boundaries are fractal, which is necessarily the case if the expansion map $\varphi $ involves an irrational rotation, an extra step is needed. We are going to use (a variant of) the construction of derived Voronoi (DV) tilings introduced by N. Priebe Frank [Reference Frank17], which turns a self-similar tiling into a pseudo-self-similar one, but with ‘nice’ convex polytope tiles.

Definition 2.4. Let $\varphi :\mathbb {R}^d\rightarrow \mathbb {R}^d$ be an expanding similarity map. A repetitive tiling $\mathcal {T}$ of finite local complexity is called a pseudo-self-similar tiling, or PSS, with expansion $\varphi $ if $\mathcal {T}$ is locally derivable from $\varphi \mathcal {T}$ .

In fact, in [Reference Frank17], the map $\varphi $ is allowed to be any expanding linear map, but here we restrict ourselves to similitudes.

Let $\Lambda $ be a Delone set in ${\mathbb R}^d$ . The Voronoi cell of a point $x\in \Lambda $ is, by definition,

$$ \begin{align*} V(x) = \{\mathbf{t}\in {\mathbb R}^d: \|\mathbf{t}-x\| \le \|\mathbf{t}-y\| \text{ for all } y\in \Lambda\setminus \{x\}\}, \end{align*} $$

and the corresponding Voronoi tiling (tesselation) is

$$ \begin{align*} {\mathcal T}_\Lambda:= \{V(x):x\in \Lambda\}. \end{align*} $$

The tiles of ${\mathcal T}_\Lambda $ are convex polytopes meeting face-to-face. Applying this procedure to $\Lambda ({\mathscr T})$ , we want to make sure that the cells corresponding to equivalent tiles are also translationally equivalent. This will usually require increasing the set of labels, by ‘decorating’ each point with the translation equivalence class of a sufficiently large neighborhood. It is always possible to achieve this, see [Reference Frank17, §4]. Below we assume that this has already been done, and equations (2.4) and (2.5) still apply, possibly with a larger m. Now let $\Lambda = \Lambda ({\mathscr T})$ be from equation (2.13) and consider the tiling ${\mathcal T}_\Lambda $ , where the tiles ‘inherit’ the labels from the corresponding control points. It can be shown, as in [Reference Frank17], that, assuming that the labels carry the information about a sufficiently large neighborhood, the tiling ${\mathcal T}_\Lambda $ is MLD with the original ${\mathscr T}$ and hence the translation dynamics are conjugate. If ${\mathscr T}$ is self-similar, then ${\mathcal T}_\Lambda $ , with $\Lambda = \Lambda ({\mathscr T})$ , is pseudo-self-similar with the same expansion map. We have

$$ \begin{align*} {\mathcal T}_\Lambda = \bigcup_{k=1}^m (T_k + {\mathscr L}_k({\mathscr T})), \end{align*} $$

where

$$ \begin{align*} \textrm{supp}(T_k) = \textrm{supp}(V_{\Lambda-x}(c({\mathfrak T}_k))\quad \mbox{for}\ x\in {\mathscr L}_k({\mathscr T}), \end{align*} $$

and consistency (independence of x) is guaranteed by construction. For the pseudo- self-similar tiling ${\mathcal T}_\Lambda $ , we have a substitution, ‘inherited’ from $\omega $ , which we denote by the same letter by abuse of notation. In fact, similarly to equations (2.4) and (2.6),

(2.14) $$ \begin{align} \omega(T_j) = \bigcup_{k\le m} (T_k + {\mathcal D}_{jk}),\quad \omega(T_j + x) = \omega(T_j) + \varphi(x),\quad j\le m,\ x\in {\mathbb R}^d, \end{align} $$

but the analog of equation (2.5) does not hold exactly—only approximately. Then the PSS tiling satisfies $\omega ({\mathcal T}_\Lambda ) = {\mathcal T}_\Lambda $ . The atlas of patches of ${\mathcal T}_\Lambda $ , or equivalently, its orbit closure in the natural topology, defines the PSS tiling space. By construction, the PSS tiling space is MLD with the initial self-similar tiling space.

We summarize this discussion in the following proposition, but first we need some terminology.

Definition 2.5. A tiling of ${\mathbb R}^d$ will be called polytopal if its tiles are convex polytopes meeting face-to-face, and this induces a structure of a CW-complex.

Definition 2.6. A repetitive FLC PSS tiling ${\mathcal T}$ , with the prototile set $\{T_j\}_{j\le m}$ , an expansion map $\varphi $ , and a (combinatorial-geometric) substitution $\omega $ , will be called an L-PSS tiling (L is for ‘lucky’) if it is polytopal and there exists a substitution Delone multi-set $({\mathscr L}_k)_{k\le m}$ with expansion $\varphi $ , satisfying equation (2.12), such that ${\mathcal T} = \bigcup _{k=1}^m (T_k + {\mathscr L}_k)=\omega ({\mathcal T})$ and $\omega $ acts by equation (2.14).

We have proved the following.

Proposition 2.7. If ${\mathcal T}'$ is a self-similar tiling with an expansion map $\varphi $ , then there exists an L-PSS tiling ${\mathcal T}$ with the expansion map $\varphi $ , such that ${\mathcal T}$ and ${\mathcal T}'$ are MLD.

Remark 2.8. (a) Although the procedure described above is general, for specific examples, there is frequently a direct and relatively simple way to obtain a PSS tiling from a self-similar one without increasing the number of prototiles. In fact, often a planar PSS tiling is given directly, equipped with a ‘substitution-with-amalgamation’, see [Reference Clark and Sadun14], and a procedure of ‘redrawing the boundary’ is used to show that it is MLD to a genuine self-similar one [Reference Frank and Solomyak19]. This is the case for the class of Kenyon’s tilings [Reference Kenyon25] which we analyze in §6.

(b) The step of passing from a self-similar tiling to a PSS tiling is not needed if the self-similar tiling is polytopal to begin with.

(c) It is proved in [Reference Frank and Solomyak19] for tilings in the plane and in [Reference Solomyak37] for the general case that any PSS tiling with an expansion map $\varphi $ is MLD with a genuine self-similar tiling, with the expansion map $\varphi ^n$ for some $n\in {\mathbb N}$ . Thus in the last proposition, we could start with an arbitrary PSS tiling, at the cost of raising the associated expansion map to a power.

3 Cohomology and deformations

3.1 Pattern equivariant cohomology

Let $\mathcal {T}$ be an aperiodic repetitive tiling of finite local complexity and recall the definition of a $\mathcal {T}$ -equivariant function in equation (2.2). A $\mathcal {T}$ -equivariant k-form is a k-form $\alpha $ such that its coefficients are $\mathcal {T}$ -equivariant functions. We denote the set of $C^{\infty }$ , $\mathcal {T}$ -equivariant k-forms by $\Delta _{\mathcal {T}}^k$ , which is a subspace of the set of smooth k-forms on $\mathbb {R}^d$ . As such, the restriction of the usual de Rham differential operator gives a differential operator on the complex $\{\Delta _{\mathcal {T}}^k\}_k$ of $\mathcal {T}$ -equivariant forms.

Definition 3.1. The cohomology of the complex of smooth $\mathcal {T}$ equivariant forms

$$ \begin{align*}H^k(X;\mathbb{R}) := \frac{\ker d:\Delta_{\mathcal{T}}^k\rightarrow \Delta_{\mathcal{T}}^{k+1}}{\textrm{im}\, d:\Delta_{\mathcal{T}}^{k-1}\rightarrow \Delta_{\mathcal{T}}^{k}}\end{align*} $$

is called the $\mathcal {T}$ -equivariant cohomology.

We denoted the cohomology as $H^k(X;\mathbb {R})$ since it is independent of which tiling $\mathcal {T}\in X$ we used to define it [Reference Kellendonk and Putnam24].

3.2 Čech cohomology

Let $\mathcal {T}$ be an aperiodic, repetitive tiling of finite local complexity, which we now assume has a CW structure. More specifically, we assume that all the tiles of $\mathcal {T}$ are d-cells of the CW complex $\mathcal {T}$ where all tiles meet face-to-face. (In practice, we will work with polytopal tilings, see Definition 2.5.) For any tile $t\in \mathcal {T}$ , we define $\mathcal {T}(t) = {\mathcal T}^{(1)}$ , called the 1-corona of t, to be the set of all tiles in $\mathcal {T}$ which intersect t. Continue recursively as follows. Given a $(k-1)$ -corona of a tile $\mathcal {T}^{(k-1)}(t)$ , the k-corona of the tile t is the patch

$$ \begin{align*}\mathcal{T}^{(k)}(t) = \{t'\in\mathcal{T}: t'\cap\mathcal{T}^{(k-1)}(t)\neq \varnothing\}.\end{align*} $$

A k-collaring of a tile t is the tile with the same support as t, but the label being the translation-equivalence class of ${\mathcal T}^{(k)}(t)$ . This is a useful tool to keep track of bigger neighborhoods of tiles by increasing the set of labels.

3.2.1 The Anderson–Putnam complex

Following Anderson and Putnam [Reference Anderson and Putnam1], we define a cell complex ${AP}_{0}(X)$ by gluing together the prototiles along their faces in all the ways in which they can be adjacent in the tiling space. This can be done equally well for k-collared tiles (this just increases the set of labels). The resulting space is denoted $AP_k(X)$ . Here is a formal definition.

Definition 3.2. Let X be a tiling space of repetitive, aperiodic tilings of $\mathbb {R}^d$ of finite local complexity. We define on $X\times \mathbb {R}^d$ an equivalence relation $\sim _1$ , where X carries the discrete topology and $\mathbb {R}^d$ the usual topology, as $(\mathcal {T}_1,v_1)\sim _1(\mathcal {T}_2,v_2)$ if and only if $\mathcal {T}_1(t_1)-v_1 = \mathcal {T}_2(t_2)-v_2$ for some tiles $t_1,t_2$ with $v_1\in t_1\in \mathcal {T}_1$ and $v_2\in t_2\in \mathcal {T}_2$ . The space $X\times \mathbb {R}^d/\sim _1$ is the Anderson–Putnam complex of X, denoted by $AP(X)$ . For $k\geq 0$ , the kth-collared Anderson–Putnam complex $AP_{k}(X)$ is similarly obtained by using k-collared tiles instead of $1$ -collared tiles, where 0-collared tiles are just tiles. Note that $AP(X) = AP_1(X)$ by definition.

Assuming a tile substitution rule as in equation (2.14) is a cellular map, it defines a map $\gamma :AP(X)\rightarrow AP(X)$ . The important observation of Anderson and Putnam is that, as defined,

$$ \begin{align*}X \cong \lim_{\longleftarrow}(AP(X),\gamma),\end{align*} $$

that is, the tiling space X is homeomorphic to the set of all infinite sequences $\{x_i\}_{i\in \mathbb {N}}\in AP(X)^{\infty }$ with the property that $\gamma (x_i) = x_{i-1}$ . What this result gives is the easy calculation of the Čech cohomology of X using the induced maps $\gamma ^*$ on the cohomology of $AP(X)$ :

(3.1) $$ \begin{align} \check H^*(X;\mathbb{Z})\cong \lim_{\longrightarrow} (\check H^*(AP(X);\mathbb{Z}),\gamma^*). \end{align} $$

3.2.2 Cohomology for PSS tilings

Let $\mathcal {T}$ be a polytopal pseudo-self-similar tiling. The latter means that there exists an $R>0$ and expansive map $\varphi $ such that for all $x,y\in \mathbb {R}^d$ ,

$$ \begin{align*}\mathcal{O}^-_{\varphi \mathcal{T}}(B_R(x)) = \mathcal{O}^-_{\varphi \mathcal{T}}(B_R(x)) +(x-y) \Longrightarrow \mathcal{O}^-_{\mathcal{T}}(B_1(x)) = \mathcal{O}^-_{\mathcal{ T}}(B_1(x)) +(x-y).\end{align*} $$

Let X be the tiling space of $\mathcal {T}$ and $X_\varphi $ the tiling space of $\varphi \mathcal {T}$ . If $\varphi $ is pure dilation, then $AP(X_{\varphi })$ is a rescaled copy of $AP(X)$ by $\theta := {|}{\det}\, \varphi |^{1/d}$ , since linear expansive maps do not affect the process of collaring. If $\varphi $ is not pure dilation, then $AP(X_{\varphi })$ is a rescaled copy of $AP(X)$ by $\theta $ , but where all the cells have also been rotated.

Proposition 3.3. Let X be the tiling space of a polytopal pseudo-self-similar tiling $\mathcal {T}$ . Then there exists a $\kappa \in \mathbb {N}$ and a map $\gamma :AP_\kappa (X)\rightarrow AP_\kappa (X)$ such that

(3.2) $$ \begin{align} X\cong \lim_{\longleftarrow} (AP_\kappa(X),\gamma ). \end{align} $$

Proof. Since $\mathcal {T}$ is PSS with expanding map $\varphi $ , there exists an $R>0$ such that for any $x\in \mathbb {R}^d$ , the R-neighborhood of x in $\varphi \mathcal {T}$ determines the tile(s) to which x belongs in $\mathcal {T}$ . Let $k'\in \mathbb {N}$ be the smallest integer k such that the R-neighborhood of any tile $t\in \varphi \mathcal {T}$ is contained in $(\varphi \mathcal {T})^{(k)}(t)$ . We will first show that any $\ell \geq k'$ allows us to define a map $\gamma _\ell :AP_{\ell }(X)\rightarrow AP_{\ell }(X)$ .

Let $X_\varphi $ be the tiling space of $\varphi \mathcal {T}$ . Since the pseudo-self-similarity $\varphi $ maps n-cells of $\mathcal {T}$ to n-cells of $\varphi \mathcal {T}$ and respects collaring, it determines a bijection $r_\ell :AP_\ell (X)\rightarrow AP_\ell (X_\varphi )$ for every $\ell \in \mathbb {N}$ . We now define a map $s_\ell :AP_{\ell }(X_\varphi )\rightarrow AP_{\ell }(X)$ for any $\ell \geq k'$ as follows. Let $[x]_\varphi \in AP_{\ell }(X_\varphi )$ and let $x \in t\in \varphi \mathcal {T}\in X_\varphi $ be a representative on the tiling. Then the R neighborhood of x in $\varphi \mathcal {T}$ determines a point in $\mathcal {T}$ whereon x lies, and thus a point $[x]\in AP_{\ell }(X)$ . Since $[x]$ was completely determined by the R-neighborhood of x and this neighborhood is completely contained in $(\varphi \mathcal {T})^{(\ell )}$ , then the map $s_\ell ([x]_\varphi ) = [x]\in AP_{\ell }(X)$ is well defined (that is, independent of representatives of classes). Let $\gamma _\ell := s_\ell \circ r_{\ell }:AP_{\ell }(X)\rightarrow AP_{\ell }(X)$ .

Now the inverse limit of $(AP_{k'}(X),\gamma _{k'})$ is well defined, but it may or may not be homeomorphic to X. By the argument of Anderson and Putnam, collaring once more guarantees that the map forces the border. Therefore, picking $\kappa = k'+1$ ensures that and we obtain equation (3.2).

Corollary 3.4. Let X be the tiling space of a polytopal pseudo-self-similar tiling $\mathcal {T}$ and $\gamma : AP_\kappa (X)\rightarrow AP_\kappa (X)$ the map from Proposition 3.3. Then,

(3.3) $$ \begin{align} \check H^*(X;\mathbb{Z})\cong \lim_{\longrightarrow} (\check H^*(AP_\kappa(X);\mathbb{Z}),\gamma^* ). \end{align} $$

Finally, we note that for polytopal tilings of finite local complexity in which cells meet face to face, we have that the $\mathcal {T}$ -equivariant and Čech cohomologies are isomorphic [Reference Kellendonk and Putnam24], that is,

(3.4) $$ \begin{align} H^*(X;\mathbb{R})\cong \check H^*(X;\mathbb{R}). \end{align} $$

3.3 Deformations

In this section, we go over deformations of tiling spaces, following [Reference Clark and Sadun14, Reference Julien and Sadun22]. Let $\mathcal {T}$ be a repetitive, aperiodic polytopal tiling of finite local complexity and let X be the corresponding tiling space. Observe that for L-PSS tiling spaces, $H^1(X;\mathbb {R})$ is finite dimensional by equation (3.3). Each class $[\alpha ]\in H^1(X;\mathbb {R})$ is represented by a $\mathcal {T}$ -equivariant smooth 1-form $\alpha :\mathbb {R}^d\rightarrow T^*\mathbb {R}^d$ (up to a $\mathcal {T}$ -equivariant exact form). Now consider the space $H^1(X;\mathbb {R}^d) = H^1(X;\mathbb {R})\otimes \mathbb {R}^d$ . Each class $[{\mathfrak f}]\in H^1(X;\mathbb {R}^d)$ is represented by a $\mathcal {T}$ -equivariant smooth 1-form ${\mathfrak f}:\mathbb {R}^d\rightarrow T^*\mathbb {R}^d\otimes \mathbb {R}^d \cong M_{d\times d}$ (up to a $\mathcal {T}$ -equivariant exact form). That is, the representative ${\mathfrak f}$ is a $\mathcal {T}$ -equivariant choice of linear transformation of $\mathbb {R}^d$ .

A representative ${\mathfrak f}$ of a class in $H^1(X;\mathbb {R}^d)$ is called shape deformation as it defines a deformation of $\mathcal {T}$ as follows. (We essentially quote the beginning of [Reference Julien and Sadun22, §8] here.) Suppose that ${\mathfrak f}$ is ${\mathcal T}$ -equivariant with some radius R. Let $H_{\mathfrak f}:\mathbb {R}^d\rightarrow \mathbb {R}^d$ be defined as $H_{\mathfrak f}(x) = \int _0^x{\mathfrak f}$ . We will deform the vertices of tiles, assuming that one of the vertices is at the origin. Each of these vertices is decorated with the equivalence class of the pattern of radius $R_0>R$ around it, where $R_0$ is greater than R plus the greatest distance between the adjacent vertices (that is, connected by an edge). If x is a vertex, we let $H_{\mathfrak f}(x)$ be the deformed vertex (with the same label). If $v_1 v_2$ was an edge, then the displacement vector $v_2 - v_1$ has been changed to $\int _{v_1}^{v_2} {\mathfrak f}$ . The label of $v_1$ determines the pattern of ${\mathcal T}$ out to distance R along the entire edge and hence determines $\int _{v_1}^{v_2} {\mathfrak f}$ . Thus, the local patterns of ${\mathcal T}^{\mathfrak f}$ are determined from local patterns of ${\mathcal T}$ , and ${\mathcal T}^{\mathfrak f}$ has FLC.

Since we deform the tiles by deforming their edges, for $d>2$ , we need to make sure that higher-dimensional faces are well defined. For instance, for two-dimensional faces, we would need the side edges to remain co-planar. To avoid imposing such a condition, we can simply triangulate all the tiles to begin with. It is easy to see that there exists a triangulation which is equivariant and preserves the face-to-face property. When all the faces are simplices, they stay being simplices after perturbing the edges. The new simplex sub-tiles should carry a label which contains both the label of the tile it came from and its location in the triangulation; then the triangulated tiling is MLD to the original one, and we can work with it from the start without loss of generality.

What is not clear at this point is whether the deformation is in fact a homeomorphism or not. As proved by [Reference Julien and Sadun22], what determines the answer to this question is invertibility of the Ruelle–Sullivan cycle applied to $[{\mathfrak f}]$ .

Definition 3.5. Let $\mathcal {T}$ be a polytopal, repetitive, aperiodic tiling of finite local complexity, with uniform patch frequency. The Ruelle–Sullivan map is the map $C:H^1(X;\mathbb {R}^d)\rightarrow M_{d\times d}$ defined, for a class $[{\mathfrak f}] \in H^1(X;\mathbb {R}^d)$ , as

$$ \begin{align*}C([{\mathfrak f}]) = \lim_{R\rightarrow \infty} \frac{1}{\textrm{Vol}(B_R)}\int_{B_R}{\mathfrak f}(t)\, dt,\end{align*} $$

which is independent of the representative ${\mathfrak f}$ .

We can now recall one of the main results of [Reference Julien and Sadun22]: if $C([{\mathfrak f}])$ is invertible, then one can choose a representative ${\mathfrak f}$ so that $H_{\mathfrak f}$ is a homeomorphism of ${\mathbb R}^d$ . Then the shape deformation ${\mathfrak f}$ induces an orbit equivalence between the tiling spaces X and $X^{\mathfrak f}$ . In particular, the spaces X and $X^{\mathfrak f}$ are homeomorphic. As such, the set

$$ \begin{align*}\mathcal{M}(X) := \{[{\mathfrak f}]\in H^1(X;\mathbb{R}^d):\det C([{\mathfrak f}])\neq 0\}\end{align*} $$

parameterizes deformations of the tiling space X, up to deformations given by coboundaries. Deformations given by representatives of classes in $\mathcal {M}(X)$ are all orbit equivalences. Moreover, ${\mathfrak f}$ can be chosen so that the homeomorphism $H_{\mathfrak f}$ will be arbitrarily close to the identity, see the proof of [Reference Julien and Sadun22, Theorem 8.1]. This, however, will come at the cost of collaring to a possibly very large radius.

It is important for us that the deformation preserves the combinatorial structure of the tiling, in the sense of neighbor graph and faces of all dimensions. This can be achieved either by collaring, or by working only with super-tiles of sufficiently large size and ignoring the ‘small-scale’ combinatorics.

Definition 3.6. A shape deformation of an FLC polytopal tiling space X will be called admissible if it preserves the local combinatorial structure of the tilings and it defines a homeomorphism via the map $H_{{\mathfrak f}}$ introduced above. In practical terms, this means that we will consider deformations that are small compared with the size of the prototiles.

Now consider the tiling space $X_\omega $ of an L-PSS tiling, see Definition 2.6. Picking $[{\mathfrak f}]\in \mathcal {M}(X_\omega )$ and applying an admissible ${\mathfrak f}$ to ${\mathscr S}\in X_\omega $ having a vertex at the origin, we obtain a tiling ${\mathscr S}^{\mathfrak f}$ and the ${\mathfrak f}$ -deformed substitution tiling space $X^{\mathfrak f}_{\omega }$ (the translation orbit closure), whose prototiles will be denoted by $T_j^{\mathfrak f}$ . To be precise, we need to specify the location of $T_j^{\mathfrak f}$ in ${\mathbb R}^d$ . By construction, the L-PSS tiling ${\mathcal T}$ has distinguished prototiles $T_k\in {\mathcal T}$ and is also a fixed point of the substitution $\omega ({\mathcal T}) = {\mathcal T}$ . Choose any vertex v in ${\mathcal T}$ and consider the shifted tiling ${\mathcal T}-v$ , with a vertex at the origin. Then the deformation $({\mathcal T}-v)^{\mathfrak f}$ is well defined. We then let the deformed prototiles be

(3.5) $$ \begin{align} T_j^{\mathfrak f}:= (T_j - v)^{\mathfrak f},\quad j\le m. \end{align} $$

Further, $\omega ^n(T_j) - v \subset {\mathcal T}-v$ for all $n\in {\mathbb N}$ , so we can define deformed higher order super-prototiles by

(3.6) $$ \begin{align} T_j^{{\mathfrak f},n} = (\omega^n(T_j) - v)^{\mathfrak f}. \end{align} $$

(Strictly speaking, these are patches rather than individual tiles. The exact location is not that important, but we want their supports to be subsets of ${\mathbb R}^d$ , e.g., to be able to perform integration over them.) The assumption that ${\mathfrak f}$ is admissible implies that the tilings in the deformed tiling space $X_\omega ^{\mathfrak f}$ will have a hierarchical structure combinatorially equivalent to those of $X_\omega $ .

3.4 Recurrences, return vectors, and recurrence vectors

Let ${\mathcal T}$ be a repetitive FLC polytopal tiling and X the corresponding tiling space. Following [Reference Clark and Sadun14], we say that a pair of points $(z_1,z_2)$ in a tiling ${\mathcal T}$ is a recurrence of size r if

(3.7) $$ \begin{align} {\mathcal O}^-_{\mathcal T}(B_r(z_2)) = {\mathcal O}^-_{\mathcal T}(B_r(z_1)) + (z_2 - z_1) \end{align} $$

and r is maximal possible. The vector $z_2-z_1$ is called a return vector of size r. We will always assume that $r\ge 2D_{\max }$ , where $D_{\max }$ is the diameter of the largest prototile, then equation (3.7) implies that ${\mathcal O}^+_{\mathcal T}(\{z_2\}) = {\mathcal O}^+_{\mathcal T}(\{z_1\}) + (z_2 - z_1)$ . We can assume without loss of generality that $z_1$ and $z_2$ are vertices of the tiling ${\mathcal T}$ . Each path along edges from $z_1$ to $z_2$ projects to a closed loop in $AP(X)$ , and hence to a closed chain in $C_1(AP(X))$ . Different paths from $z_1$ to $z_2$ project to homologous chains. The class in $H_1(AP(X),{\mathbb Z})$ of a recurrence is called a recurrence class. Recurrences of size greater than $(k+1)D_{\max }$ project to closed chains in $AP_k(X)$ and define classes in $H_1(AP_k(X),{\mathbb Z})$ .

Definition 3.7. Let ${\mathcal T}$ be a polytopal tiling. A pair of points $(z_1,z_2)$ in ${\mathcal T}$ will be called an elementary recurrence if there exists a tile $T\in {\mathcal T}$ such that $z_1\in \textrm {supp}(T)$ and $T+ (z_2-z_1) \in {\mathcal T}$ . Similarly to the above, we can associate to $(z_1,z_2)$ a closed loop in ${AP}_{0}(X)$ which defines a class in $H_1({AP}_0(X),{\mathbb Z})$ , called an elementary recurrence class.

Definition 3.8. Let $[{\mathfrak f}]\in \mathcal {M}(X) \subset H^1(X;{\mathbb R}^d)$ . We will call it elementary if it is a pull-back of a class in $H^1({AP}_0(X),{\mathbb R}^d)$ under the ‘forgetful’ map. In particular, it is a class of a shape deformation which acts on elementary recurrences. A representative ${\mathfrak f}$ of an elementary class $[{\mathfrak f}]$ will also be called elementary.

In the rest of the paper, we will restrict ourselves to elementary shape deformations. This is not an essential restriction, since we can always ‘collar’ the tiles of ${\mathcal T}$ to the level $\kappa $ , given in Proposition 3.3, and then an elementary deformation defines a class in $H^1(AP_\kappa (X);{\mathbb R}^d)$ , hence in $H^1(X;{\mathbb R}^d)$ , by Proposition 3.3.

We continue with the construction, following [Reference Clark and Sadun14]. Let X be an L-PSS tiling space. The set of integer linear combinations of elementary recurrence classes is a subgroup $\Gamma < H_1({AP}_0(X),{\mathbb Z})$ , which is a finitely generated free ${\mathbb Z}$ -module. Let $\{a_1,\ldots ,a_s\}$ be a basis (set of free generators) for $\Gamma $ . For each elementary recurrence $(z_1,z_2)$ , which defines a class $[(z_1,z_2)]$ , the corresponding recurrence vector in ${\mathbb Z}^s$ is the decomposition of the class in this basis; it will be denoted $\alpha (z_1,z_2)$ . The transformation $\alpha :\Gamma \to {\mathbb Z}^s$ is sometimes called the address map. For a shape parameter ${\mathfrak f}$ , define

(3.8) $$ \begin{align} \mathbf{L}_{\mathfrak f} = ({\mathfrak f}(a_1),\ldots, {\mathfrak f}(a_s)), \end{align} $$

which can be thought of as a ${\mathbb R}^d$ -valued row vector that gives the displacements of the deformed vectors in the basis. Then the deformation of the displacement vector $z_2-z_1$ , corresponding to the recurrence vector $\mathbf {v}=\alpha (z_1,z_2)$ , is equal to $\mathbf {L}_{\mathfrak f} \mathbf {v}$ .

Given an elementary recurrence $(z_1,z_2)$ in ${\mathcal T}$ , we have that $(\varphi (z_1),\varphi (z_2))$ is an elementary recurrence as well, because ${\mathcal T}$ is a PSS tiling with expansion $\varphi $ , see equation (2.14). (In fact, applying the substitution increases the size of the recurrence, but is still an elementary too.) It follows that the expansion map $\varphi $ induces an endomorphism of the ${\mathbb Z}$ -module generated by elementary recurrence vectors. Thus, there exists an integer $s\times s$ matrix M satisfying

(3.9) $$ \begin{align} \alpha(\varphi(z_1),\varphi(z_2)) = M \alpha(z_1,z_2),\quad z_1, z_2 \in \Lambda({\mathcal T}). \end{align} $$

Let ${\mathfrak f}$ be an elementary admissible deformation. Then, combining equations (2.14) and (3.6) (for $n=1$ ) yields

(3.10) $$ \begin{align} T_j^{{\mathfrak f},1} = \bigcup_{j\le m} (T_k^{\mathfrak f} + {\mathfrak f}({\mathcal D}_{jk})), \end{align} $$

where the right-hand side is a patch of a tiling in $X_\omega ^{\mathfrak f}$ . Here we view the elements of ${\mathcal D}_{jk}$ as elementary recurrences, since they represent the prototile $T_k\in {\mathcal T}$ and its translated copy in $\omega ({\mathcal T}) \subset {\mathcal T}$ . Using the address map, as above, we get an associated set of recurrence vectors, denoted $\alpha ({\mathcal D}_{jk})$ . By definition,

$$ \begin{align*} {\mathfrak f}({\mathcal D}_{jk}) = \mathbf{L}_{\mathfrak f}\alpha({\mathcal D}_{jk}). \end{align*} $$

We can iterate the procedure and obtain the decomposition of higher order deformed super-tiles as well. For instance,

(3.11) $$ \begin{align} T_j^{{\mathfrak f},2} = & \bigcup_{s\le m, k\le m} (T_s^{\mathfrak f} + {\mathfrak f}(\varphi {\mathcal D}_{jk}) + {\mathfrak f}({\mathcal D}_{ks})), \nonumber \\[1.2ex] = & \bigcup_{s\le m, k\le m} (T_s^{\mathfrak f} + \mathbf{L}_{\mathfrak f} M \alpha ({\mathcal D}_{jk}) + \mathbf{L}_{\mathfrak f} \alpha ({\mathcal D}_{ks})),\quad 1 \le j \le m. \end{align} $$

3.5 Geometric properties of deformed tilings and consequences

The following geometric lemma will be useful. We will write $\asymp $ to indicate that the equality holds up to a uniformly bounded from $0$ and $\infty $ multiplicative constant.

Lemma 3.9. Let $\omega $ be an L-PSS tile substitution with expansion $\varphi $ and $X_\omega $ the corresponding tiling space. Fix an elementary admissible shape deformation ${\mathfrak f}$ , and consider the corresponding deformed tiling space $X_\omega ^{\mathfrak f}$ . For the ${\mathfrak f}$ -deformed super-tiles $ T_j^{{\mathfrak f},n},\ j\le m, $ let $R_n^{{\mathfrak f}}$ be the radius of the smallest ball containing (a translate of) every $T_j^{{\mathfrak f},n}$ , and let $r_n^{{\mathfrak f}}$ be the radius of largest ball contained in a (translate of) any $T_j^{{\mathfrak f},n}$ . Then there exists $C_{\mathfrak f}>1$ depending only on ${\mathfrak f}$ such that

(3.12) $$ \begin{align} r_n^{\mathfrak f}\ge C_{\mathfrak f}^{-1} \theta^n \end{align} $$

and

(3.13) $$ \begin{align} R^{\mathfrak f}_n \le C_{\mathfrak f} \theta^n, \end{align} $$

where $\theta =\|\varphi \|$ .

Proof. We use the fact that, combinatorially, the hierarchical structure of the tilings in $X_\omega ^{\mathfrak f}$ is the same as in $X_\omega $ . The L-PSS tile substitution was obtained from a self-similar, ‘geometric’ tile substitution, so that ${\mathcal T}$ is MLD with a self-similar tiling ${\mathscr T}$ having the expansion $\varphi $ . For the tiles and super-tiles of ${\mathscr T}$ , the properties in equations (3.12) and (3.13) are immediate by self-similarity. It follows that the same properties hold for the PSS tiling, since it was built using a derived Voronoi tesselation construction, with $\Lambda =\Lambda ({\mathscr T})$ .

Let us call a sequence of tiles $S_1,\ldots ,S_k$ (of arbitrary type) a chain if $S_j\cap S_{j+1}\ne \emptyset $ for $j=1,\ldots ,k-1$ (recall that our tiles are compact sets which share faces).

Claim 1. Let $T_j$ be a prototile of the L-PSS tiling ${\mathcal T}$ , with $c(T_j)$ (control point) in its interior, and consider the ${\mathcal T}$ -patch $\omega ^n (T_j)$ , as well as $A_j^n := \textrm {supp} (\omega ^n (T_j))$ . Let S be any ${\mathcal T}$ -tile in the patch $\omega ^n (T_j)$ containing the point $\varphi ^n(c(T_j))$ . Then any chain of ${\mathcal T}$ -tiles in $\omega ^n (T_j)$ connecting S to $\partial A_j^n$ contains at least $c_1 \theta ^n$ tiles, where $c_1>0$ depends only on ${\mathcal T}$ .

The claim is immediate since $A^n_j$ , being a bounded displacement of $\varphi ^n A_j$ , with $A_j = \textrm {supp}(T_j)$ , contains a ball of radius $\asymp \theta ^n$ centered at $\varphi ^n(c(T_j))$ , by the equation (3.12) property for ${\mathcal T}$ .

Now consider the ${\mathfrak f}$ -deformed super-tile $T_j^{{\mathfrak f},n} = (\omega ^n (T_j)-v)^{\mathfrak f}$ , see equation (3.6), with the deformed tile $(S-v)^{\mathfrak f}$ inside. Denote $A_j^{{\mathfrak f},n} := \textrm {supp}(T_j^{{\mathfrak f},n})$ .

Claim 2. Let $d((S-v)^{\mathfrak f},\partial A_j^{{\mathfrak f},n})$ be the usual Euclidean distance between the compact boundary of the deformed super-tile and the compact $(S-v)^{\mathfrak f}$ in its interior. Then there exists a chain of ${\mathfrak f}$ -deformed tiles in the patch $T_j^{{\mathfrak f},n}$ connecting $(S-v)^{\mathfrak f}$ to $\partial A_j^{{\mathfrak f},n}$ of cardinality $N_{\mathfrak f}(n)$ , such that

(3.14) $$ \begin{align} N_{\mathfrak f}(n)\cdot V_{\min}^{\mathfrak f} \le c_{d-1}\cdot [d((S-v)^{\mathfrak f},\partial A_j^{{\mathfrak f},n}) +2\mathsf{d}^{\mathfrak f}_{\max}] \cdot (\mathsf{d}^{\mathfrak f}_{\max})^{d-1}, \end{align} $$

where $V^{\mathfrak f}_{\min }$ is the minimal volume of an ${\mathfrak f}$ -deformed tile, $\mathsf {d}^{\mathfrak f}_{\max }$ is the maximal diameter of an ${\mathfrak f}$ -deformed tile, and $c_{d-1}$ is the volume of a unit ball in ${\mathbb R}^{d-1}$ .

Combining Claim 2 with Claim 1 yields equation (3.12). Indeed, for every ${\mathfrak f}$ -chain in $T_j^{{\mathfrak f},n}$ , there is a combinatorially equivalent chain in the pseudo-self-similar $\omega ^n(T_j)$ , and this yields a lower bound $\asymp \theta ^n$ for $d((S-v)^{\mathfrak f},\partial A_j^{{\mathfrak f},n})$ for large enough n. (For small n, both equations (3.12) and (3.13) are trivial.)

For the proof of Claim 2, consider the shortest straight line segment J from $(S-v)^{\mathfrak f}$ to $\partial A_j^{{\mathfrak f},n}$ and consider the union of deformed tiles in $T_j^{{\mathfrak f},n}$ intersecting J. One can certainly form a chain of ${\mathfrak f}$ -deformed tiles connecting $(S-v)^{\mathfrak f}$ to $\partial A_j^{{\mathfrak f},n}$ out of them, and their total volume is at least the expression in the left-hand side of equation (3.14). However, these tiles are all contained in the $\mathsf {d}^{\mathfrak f}$ -neighborhood of J, whose volume is less than that on the right-hand side of equation (3.14).

The proof of equation (3.13) is similar. Indeed, the maximal distance from a point in S to a point on the boundary $\partial A^n_j$ is at most $C_2\theta ^n$ by self-similarity, hence for any point on $\partial A^n_j$ , there exists a chain of ${\mathcal T}$ -tiles connecting that point to S of cardinality at most $\widetilde C_2\theta ^n$ . For any such chain, there is a corresponding deformed chain of the same cardinality, showing that the diameter of $A_j^{{\mathfrak f},n}$ is bounded above by $\textrm {const}\cdot \theta ^n$ , with the constant depending only on the deformation. This completes the proof of the lemma.

For each prototile $T_j^{\mathfrak f}$ of the deformed tiling space $X_\omega ^{\mathfrak f}$ , we also fix a control point $c(T_j^{\mathfrak f})$ in the interior and then in all tiles at the same relative location. For a tiling ${\mathscr S}^{\mathfrak f}\in X_\omega ^{\mathfrak f}$ , let

$$ \begin{align*} \Lambda({\mathscr S}^{\mathfrak f}) := \{c(T^{\mathfrak f}):T^{\mathfrak f}\in {\mathscr S}^{\mathfrak f}\}. \end{align*} $$

Lemma 3.10. Let ${\mathcal T}\in X_\omega $ be an L-PSS tiling, ${\mathfrak f}$ an admissible elementary deformation, and ${\mathscr S}^{\mathfrak f} = ({\mathcal T}-v)^{\mathfrak f}\in X_\omega ^{\mathfrak f}$ , where v is a vertex of ${\mathcal T}$ . Then $\Lambda ({\mathcal T})$ and $\Lambda ({\mathscr S}^{\mathfrak f})$ are quasi-isometric; in fact, there exists $C_{\omega ,{\mathfrak f}}$ (independent of ${\mathcal T}$ ) such that for any $z_1, z_2 \in \Lambda ({\mathcal T})$ and the corresponding $z_1^{\mathfrak f}, z_2^{\mathfrak f} \in \Lambda ({\mathscr S}^{\mathfrak f})$ , holds

(3.15) $$ \begin{align} C_{\omega,{\mathfrak f}}^{-1} |z_1 - z_2| \le |z_1^{\mathfrak f} - z_2^{\mathfrak f}| \le C_{\omega,{\mathfrak f}} |z_1 - z_2|. \end{align} $$

Proof. Consider the graph $\textrm {Graph}({\mathcal T})$ associated with a tiling ${\mathcal T}$ , in which the vertices are the tiles and graph edges connect neighboring tiles (tiles whose compact supports intersect). By construction, this graph is stable under the deformations that we consider. It follows from the proof of Lemma 3.9 that for the deformed tiling ${\mathscr S}^{\mathfrak f}$ , the set $\Lambda ({\mathscr S}^{\mathfrak f})$ is quasi-isometric to the set of vertices of the graph $\textrm {Graph}({\mathscr S}^{\mathfrak f}) \cong \textrm {Graph}({\mathcal T})$ , endowed with the graph metric. This implies the desired claim.

Definition 3.11. A tiling ${\mathcal T}$ is called linearly repetitive if there exists $C>0$ such that for every patch ${\mathcal P}\subset {\mathcal T}$ , a translationally equivalent ${\mathcal T}$ -patch may be found in every ball of radius $C\textrm {diam}({\mathcal P})$ .

Corollary 3.12. Let $X_\omega $ be an FLC primitive aperiodic L-PSS tiling space. Fix an admissible elementary shape deformation ${\mathfrak f}$ and consider the corresponding deformed tiling space $X_\omega ^{\mathfrak f}$ . Then:

  1. (i) all the tilings in $ X^{\mathfrak f}_{\omega }$ are linearly repetitive;

  2. (ii) the deformed tiling dynamical system $( X^{\mathfrak f}_{\omega }, {\mathbb R}^d)$ is uniquely ergodic.

Proof. Linear repetitivity of primitive self-similar tiling spaces is well known, see, e.g. [Reference Solomyak36], and the last lemma implies that this is the case for $X^{\mathfrak f}_\omega $ . Linear repetitivity implies the existence of uniform patch frequencies [Reference Lagarias and Pleasants26] and hence unique ergodicity.

The unique invariant probability measure for $( X^{\mathfrak f}_{\omega }, {\mathbb R}^d)$ will be denoted by $\mu _{\mathfrak f}$ .

Remark 3.13. The deformed tiling space $X_\omega ^{\mathfrak f}$ falls into the very general framework of fusion, developed by Frank and Sadun [Reference Frank and Sadun18]. In fact, our situation satisfies the conditions of transition-regular, primitive, and recognizable fusion rules, for which unique ergodicity was proved in [Reference Frank and Sadun18, Corollary 3.10]. Moreover, we have a constant number of prototiles (equal to m) at each level, and a constant transition matrix, hence the tiling dynamical system $( X^{\mathfrak f}_{\omega }, {\mathbb R}^d)$ , with the unique invariant probability measure $\mu _{\mathfrak f}$ , is not strongly mixing by [Reference Frank and Sadun18, Theorem 4.13].

We will need a formula for the unique invariant measure $\mu _{\mathfrak f}$ on $X^{\mathfrak f}_\omega $ . Recall the notion of transversal, defined by

$$ \begin{align*} \Upsilon({\mathcal P}^{\mathfrak f}) = \{{\mathcal T}^{\mathfrak f}\in X^{\mathfrak f}_\omega:{\mathcal P}^{\mathfrak f} \subset {\mathcal T}^{\mathfrak f}\} \end{align*} $$

for a deformed tiling space $X^{\mathfrak f}_\omega $ and a deformed patch ${\mathcal P}^{\mathfrak f}$ .

Lemma 3.14. Let $X_\omega $ be an FLC primitive aperiodic L-PSS tiling space, with expansion $\varphi = \theta {\mathcal O}$ . Fix an elementary admissible shape deformation ${\mathfrak f}$ and consider the corresponding deformed tiling space $X_\omega ^{\mathfrak f}$ . Then there exists $c_{\omega ,{\mathfrak f}}>0$ , such that for any Borel set U and all $n\in {\mathbb N}$ ,

(3.16) $$ \begin{align} \textrm{diam}(U) \le c_{\omega,{\mathfrak f}} \theta^n \implies \mu_{\mathfrak f}(\Upsilon(T_j^{{\mathfrak f},n})+U) \ge \textrm{const}\cdot {\mathcal L}^d(U)\cdot \theta^{-nd}, \end{align} $$

with the constants depending only on $\omega $ and on ${\mathfrak f}$ .

Proof. It is proved in [Reference Solomyak36, Lemma 2.4] that for an aperiodic primitive self-similar tiling ${\mathscr T}$ , there exists $0< c < 1$ such that if ${\mathcal P}\subset {\mathscr T}$ is a patch containing a ball of radius $R>0$ in its support, then ${\mathcal P} + x\not \subset {\mathscr T}$ for all x with $\|x\| \le c R$ . Since the Delone set of the deformed tiling ${\mathscr S}^{\mathfrak f}=({\mathcal T}-v)^{\mathfrak f}$ is quasi-isometric to $\Lambda ({\mathcal T})=\Lambda ({\mathscr T})$ by Lemma 3.10, this property persists, with an appropriate constant, for ${\mathscr S}^{\mathfrak f}$ . By equation (3.12), the patch $T_j^{{\mathfrak f},n}$ contains a ball of radius $\asymp \theta ^n$ in its support. We are going to use Proposition 2.2. Represent the set U as a union of disjoint Borel sets $U_k$ , each of diameter less than $\eta ({\mathscr S}^{\mathfrak f})=2r_{\mathfrak f}$ , the maximal diameter of a ball contained in the support of every deformed tile. It follows that if $\textrm {diam}(U) \le c_{\omega ,{\mathfrak f}} \theta ^n$ , with a sufficiently small constant, independent of n, then the sets $\Upsilon (T_j^{{\mathfrak f},n})+U_k$ are mutually disjoint, and hence by equation (2.3),

(3.17) $$ \begin{align} \mu_{\mathfrak f}(\Upsilon(T_j^{{\mathfrak f},n})+U) =\! \sum_k \mu_{\mathfrak f}(\Upsilon(T_j^{{\mathfrak f},n})+U_k ) =\! \sum_k {\mathcal L}^d(U_k) \cdot \mathrm{freq}(T_j^{{\mathfrak f},n}) = {\mathcal L}^d(U) \cdot \mathrm{freq}(T_j^{{\mathfrak f},n}). \end{align} $$

By primitivity of the substitution and the Perron–Frobenius theorem, the frequency of $\omega ^n(T_j)$ in the self-similar tiling space is at least $\textrm {const}\cdot \theta ^{-nd}$ (in fact, an upper bound holds as well, using [Reference Solomyak36, Lemma 2.4] again, but we do not need it), just by counting the number of n-level super-tiles inside $(n+k)$ -level super-tiles. By quasi-isometry, the same asymptotic bound holds for the deformed tiling space, and equation (3.16) follows.

4 The spectral cocycle; statement of result on local dimension

Let $X_\omega $ be an FLC primitive aperiodic L-PSS tiling space. The Fourier matrix is an $m\times m$ complex matrix-function on ${\mathbb R}^d$ whose $(j,k)$ -entry is

(4.1) $$ \begin{align} [{\mathscr B}(\mathbf{\unicode{x3bb}})]_{(j,k)}:=\bigg[\sum_{{\mathbf x}\in {\mathcal D}_{jk}} \exp(-2\pi i \langle {\mathbf{\unicode{x3bb}}}, {\mathbf x}\rangle)\bigg],\quad {\mathbf{\unicode{x3bb}}}\in {\mathbb R}^d,\quad 1 \le j,k \le m, \end{align} $$

see [Reference Baake, Gähler and Mañibo4, (29)]. First, we need to define a ‘deformed’ Fourier matrix. Recall that the set of integer linear combinations of elementary recurrence classes is a subgroup $\Gamma < H_1(AP_0(X_\omega ),{\mathbb Z})$ , for which we fixed a set of free generators $\{a_1,\ldots ,a_s\}$ . The decomposition with respect to this basis is given by $\alpha :\Gamma \to {\mathbb Z}^s$ , the address map. Recall equation (3.9) saying that the expansion induces a linear mapping on ${\mathbb Z}^s$ given by a matrix M, so that

$$ \begin{align*} \alpha\varphi = M\alpha. \end{align*} $$

For a shape parameter ${\mathfrak f}$ (a representative of a class in $H^1(AP_0(X_\omega );{\mathbb R}^d)$ ), we considered the row vector $ \mathbf {L}_{\mathfrak f} = ({\mathfrak f}(a_1),\ldots , {\mathfrak f}(a_s)), $ see equation (3.8). We also discussed that elements of ${\mathcal D}_{jk}$ can be identified with elementary recurrences, so $\alpha ({\mathbf x})\in {\mathbb Z}^s$ is well defined for ${\mathbf x}\in {\mathcal D}_{jk}$ . Now we define the deformed Fourier matrix by

(4.2) $$ \begin{align} \bigg[\sum_{{\mathbf x}\in {\mathcal D}_{jk}} \exp(-2\pi i \langle {\mathbf{\unicode{x3bb}}},\mathbf{L}_{\mathfrak f}\alpha({\mathbf x}) \rangle )\bigg]_{j,k\le m} =\bigg[\sum_{{\mathbf x}\in {\mathcal D}_{jk}} \exp(-2\pi i \langle \mathbf{L}^{\mathsf{T}}_{\mathfrak f}{\mathbf{\unicode{x3bb}}}, \alpha({\mathbf x}) \rangle_{_{{\mathbb R}^s}} )\bigg]_{j,k\le m},\ \ {\mathbf{\unicode{x3bb}}}\in {\mathbb R}^d. \end{align} $$

The spectral cocycle will be over the toral endomorphism

$$ \begin{align*} {\mathbf z}\mapsto M^{\mathsf{T}} {\mathbf z} \ \mbox{mod} \ {\mathbb Z}^s, \end{align*} $$

where the superscript $\mathsf {T}$ indicates the transpose. It will be an endomorphism of the s-torus ${\mathbb T}^s$ if $\det (M)\ne 0$ ; otherwise, we can restrict it to a lower-dimensional invariant sub-torus. Let

(4.3) $$ \begin{align} {\mathscr M}({\mathbf z}) := \bigg[\sum_{{\mathbf x}\in {\mathcal D}_{jk}} \exp(-2\pi i \langle {\mathbf z}, \alpha({\mathbf x})\rangle_{_{{\mathbb R}^s}})\bigg]_{j,k\le m},\ \ {\mathbf z}\in {\mathbb R}^s; \end{align} $$

this is closely related to the deformed Fourier matrix, which was defined as ${\mathscr M}(\mathbf {L}_{\mathfrak f}^{\mathsf {T}}{\mathbf{\unicode{x3bb}}} )$ , for ${\mathbf{\unicode{x3bb}}} \in {\mathbb R}^d$ , in equation (4.2). Because of periodicity, ${\mathscr M}$ is well defined on the torus ${\mathbb T}^s={\mathbb R}^s/{\mathbb Z}^s$ .

Definition 4.1. The matrix product

$$ \begin{align*} {\mathscr M}({\mathbf z},n):= {\mathscr M}({(M^{\mathsf{T}})}^{n-1}{\mathbf z})\cdot\cdots\cdot {\mathscr M}({\mathbf z}),\quad {\mathbf z}\in {\mathbb T}^s,\ n\in {\mathbb N}, \end{align*} $$

will be called the spectral cocycle associated with the L-PSS tiling space $X_\omega $ .

We will see below that for ${\mathbf z}= \mathbf {L}_{\mathfrak f}^{\mathsf {T}}{\mathbf{\unicode{x3bb}}} $ , the growth behavior of ${\mathscr M}({\mathbf z},n)$ in some sense ‘controls’ the local behavior of spectral measures at ${\mathbf{\unicode{x3bb}}} $ .

As a consistency check, consider the case of unperturbed self-similar tiling, when $\mathbf {L}_{\mathfrak f} = [a_1,\ldots ,a_s]$ . Then ${\mathbf z} = [a_1,\ldots ,a_s]^{\mathsf {T}}{\mathbf{\unicode{x3bb}}} $ and

$$ \begin{align*} \langle {\mathbf z},\alpha({\mathbf x}) \rangle = \langle {\mathbf{\unicode{x3bb}}}, [a_1,\ldots,a_s]\alpha({\mathbf x})\rangle = \langle {\mathbf{\unicode{x3bb}}}, {\mathbf x}\rangle, \end{align*} $$

by the definition of the address map $\alpha $ . So we obtain ${\mathscr M}({\mathbf z}) = {\mathscr B}({\mathbf{\unicode{x3bb}}} )$ (the Fourier matrix) from equations (4.3), (4.1). Further,

(4.4) $$ \begin{align} M^{\mathsf{T}}{\mathbf z} = M^{\mathsf{T}} [a_1,\ldots,a_s]^{\mathsf{T}} {\mathbf{\unicode{x3bb}}} = [a_1,\ldots,a_s]^{\mathsf{T}}\varphi^{\mathsf{T}} {\mathbf{\unicode{x3bb}}}, \end{align} $$

by the definition of M, and hence

$$ \begin{align*} {\mathscr M}({\mathbf z},n) = \prod_{j=0}^{n-1} {\mathscr B}((\varphi^{\mathsf{T}})^j {\mathbf{\unicode{x3bb}}}), \end{align*} $$

which agrees with the Fourier matrix cocycle of Baake et al, see [Reference Baake, Gähler and Mañibo4, Reference Baake, Grimm, Akiyama and Arnoux6].

Define the pointwise upper Lyapunov exponent of the cocycle ${\mathscr M}({\mathbf z},n)$ at the point ${\mathbf z}\in {\mathbb R}^s$ by

(4.5) $$ \begin{align} \chi^+({\mathbf z}):= \limsup_{n\to \infty} \frac{1}{n} \log\|{\mathscr M}({\mathbf z},n)\|; \end{align} $$

we omit the superscript if the limit exists. In the ‘unperturbed,’ self-similar case, it becomes

$$ \begin{align*} \chi^+({\mathbf{\unicode{x3bb}}}) := \limsup_{n\to \infty} \frac{1}{n} \log\bigg\|\prod_{j=0}^{n-1} {\mathscr B}((\varphi^{\mathsf{T}})^j {\mathbf{\unicode{x3bb}}})\bigg\|. \end{align*} $$

We will also need a more refined version of the Lyapunov exponent: for $\vec \zeta \in {\mathbb C}^m$ , let

(4.6) $$ \begin{align} \chi^+({\mathbf z},\vec\zeta):= \limsup_{n\to \infty} \frac{1}{n} \log\|{\mathscr M}({\mathbf z},n)\vec\zeta\|. \end{align} $$

Obviously, $\chi ^+({\mathbf z},\vec \zeta ) \le \chi ^+({\mathbf z})$ for all $\vec \zeta $ .

Observe that ${\mathscr M}(\mathbf {0})=\mathsf {S}_\omega ^{\mathsf {T}}$ , the transpose substitution matrix of $\omega $ , see equation (2.9). Its PF eigenvalue is $\vartheta _1 = {|}{\det}\, \varphi |=\theta ^d$ , where $\theta $ is the expansion constant, by self-similarity. Thus, $\chi (\mathbf {0}) = d\log \theta $ . Since every entry of ${\mathscr M}({\mathbf z})$ in absolute value is less than or equal to the corresponding entry of ${\mathscr M}(\mathbf {0})$ , a non-negative primitive matrix, we obtain that

$$ \begin{align*} \chi^+({\mathbf z}) \le d\log\theta\quad \mbox{for all } {\mathbf z}\in {\mathbb R}^s. \end{align*} $$

The lower local dimension of a finite positive Borel measure $\nu $ at a point x is defined by

(4.7) $$ \begin{align} {d}^-(\nu,x) = \liminf_{r\to 0} \frac{\log \nu(B_r(x))}{\log r}. \end{align} $$

Equivalently,

(4.8) $$ \begin{align} {d}^-(\nu,x) = \sup\{\gamma \ge 0:\nu(B_r(x)) \le Cr^{\gamma} \mbox{ for all}\ r>0, \mbox{ for some}\ C>0\}. \end{align} $$

Note that the definition is not changed if we only require the upper bound for the measure of balls of sufficiently small radius, since the measure is finite. We will say that a measure $\nu $ is Hölder regular on a set F if

(4.9) $$ \begin{align} \text{ there exists }\,\alpha>0\quad \mbox{such that } {d}^-(\nu,x)\ge \alpha\quad \mbox{for all}\ x\in F. \end{align} $$

Let ${\mathfrak f}$ be an elementary admissible deformation of $X_\omega $ . Recall that the deformation was well defined only on a transversal of the tiling space, namely, on the tilings having a vertex at the origin, whereas the deformed tiling space $X_\omega ^{\mathfrak f}$ is simply the translation orbit closure of one representative deformed tiling. For concreteness, we fixed a vertex $v\in {\mathcal T}$ , an L-PSS tiling in $X_\omega $ , and define the deformed prototiles and super-prototiles for $j\le m$ by

$$ \begin{align*} T_j^{\mathfrak f}:= (T_j - v)^{\mathfrak f}\in ({\mathcal T}-v)^{\mathfrak f};\quad T_j^{{\mathfrak f},n} = (\omega^n(T_j) - v)^{\mathfrak f}\subset ({\mathcal T}-v)^{\mathfrak f},\ \ j\le m, \end{align*} $$

see equations (3.5) and (3.6).

For a tiling ${\mathscr S}^{\mathfrak f}\in X_\omega ^{\mathfrak f}$ and $j\le m$ , let ${\mathscr L}_j({\mathscr S}^{\mathfrak f})$ be the Delone set of translation vectors between the prototiles $T_j^{\mathfrak f}$ and the tiles in ${\mathscr S}^{\mathfrak f}$ equivalent to it, that is,

(4.10) $$ \begin{align} {\mathscr S}^{\mathfrak f} = \bigcup_{j\le m} (T_j^{\mathfrak f} + {\mathscr L}_j({\mathscr S}^{\mathfrak f})). \end{align} $$

Now we are ready to state our main result. Assume for simplicity that the test function $\phi $ is a TLC function of level 0 on $X^{\mathfrak f}_\omega $ , represented as

(4.11) $$ \begin{align} \phi({\mathscr S}^{\mathfrak f}) = \sum_{j=1}^m \sum_{x\in {\mathscr L}_j({\mathscr S}^{\mathfrak f})} \delta_x * \psi_j(0), \end{align} $$

where $\psi _j$ is an integrable function, with $\textrm {supp}(\psi _j) \subset T_j^{\mathfrak f}$ . General TLC functions may be represented in a similar way, using higher-level super-tiles.

Theorem 4.2. Let ${\mathcal T}$ be an FLC primitive aperiodic L-PSS tiling and $X_\omega $ the corresponding tiling space. Let $\Gamma $ be the ${\mathbb Z}$ -module generated by elementary recurrences for ${\mathcal T}$ and $\{a_1,\ldots ,a_s\}$ a set of free generators for $\Gamma $ . Let ${\mathfrak f}$ be a shape parameter defining an admissible elementary deformation, $\mathbf {L}_{\mathfrak f} = [{\mathfrak f}(a_1),\ldots ,{\mathfrak f}(a_s)]$ , and $X^{\mathfrak f}_\omega $ the deformed substitution tiling space. Consider the measure-preserving system $(X^{\mathfrak f}_\omega , {\mathbb R}^d,\mu _{\mathfrak f})$ . For a TLC function $\phi $ on $X^{\mathfrak f}_\omega $ of the form in equation (4.11), let $\sigma _\phi $ be the corresponding spectral measure on ${\mathbb R}^d$ . Then

(4.12) $$ \begin{align} {d}^-(\sigma_\phi,{\mathbf{\unicode{x3bb}}}) \ge 2\min\bigg\{ d - \frac{\chi^+({\mathbf z},\vec\zeta)}{\log\theta},1\bigg\},\ \ {\mathbf{\unicode{x3bb}}} \in {\mathbb R}^d\setminus \{0\}, \end{align} $$

where ${\mathbf z} = \mathbf {L}_{\mathfrak f}^{\mathsf {T}}{\mathbf{\unicode{x3bb}}} $ and $\vec \zeta = [\widehat \psi _1({\mathbf{\unicode{x3bb}}} ),\ldots ,\widehat \psi _m({\mathbf{\unicode{x3bb}}} )]^{\mathsf {T}}$ .

For ${\mathbf{\unicode{x3bb}}} =0$ , suppose that $\phi $ is orthogonal to constants, that is, $\int _{X_\omega ^{\mathfrak f}} \phi \,d\mu _{\mathfrak f} = 0$ . Then,

(4.13) $$ \begin{align} {d}^-(\sigma_\phi,0) \ge 2\min\bigg\{ d - \frac{\log|\vartheta_2|}{\log\theta},1\bigg\}, \end{align} $$

where $\vartheta _2$ is the second eigenvalue of $\mathsf {S}_\omega $ (the PF eigenvalue being $\vartheta _1 = \theta ^d$ ).

Remark 4.3

  1. (a) This is an extension to higher dimensions of the lower bound in [Reference Bufetov and Solomyak11, Theorem 4.6] (in the case of a single substitution); it is essentially contained in [Reference Treviño40], although it is not stated there in terms of the spectral cocycle.

  2. (b) The reason for the ‘switch’ in the estimate at $\chi ^+({\mathbf z}) = (d-1)\log \theta $ is due to ‘boundary effects,’ as in [Reference Bufetov and Solomyak7, Reference Schmieding and Treviño34, Reference Treviño40].

  3. (c) For unperturbed tiling self-similar spaces, there are more precise, two-sided bounds for the local dimension of the spectral measure at zero and even asymptotic expansions; see [Reference Bufetov and Solomyak7] (for one-dimensional tilings) and [Reference Emme15] (for $d>1$ ).

  4. (d) Juan Marshall Maldonaldo [Reference Marshall-Maldonaldo31, Theorem 3.10] proved that for a self-similar tiling in ${\mathbb R}^d$ , with an expansion diagonalizable over ${\mathbb R}$ that is strongly non-Pisot (that is, has an eigenvalue outside the unit circle), spectral measures are log-Hölder regular. This means that they satisfy an estimate of the form $\sigma _f(B_r({\mathbf{\unicode{x3bb}}} )) \le C_{{\mathbf{\unicode{x3bb}}} } \log (1/r)^{\gamma }$ , $r>0$ , with $\gamma>0$ independent of ${\mathbf{\unicode{x3bb}}} \ne 0$ . This is an extension of [Reference Bufetov and Solomyak8, Theorem 5.1] which obtained the result for $d=1$ .

  5. (e) Using the Fourier matrix cocycle in equation (4.4), Baake, Grimm, and Mañibo [Reference Baake, Gähler and Mañibo4, Theorem 5.7] proved that for an unperturbed self-similar tiling (even for self-affine and even without the FLC assumption), if there exists ${\varepsilon }>0$ such that $\chi ^+({\mathbf{\unicode{x3bb}}} ) \le ({d}/{2})\log \theta -{\varepsilon }$ for Lebesgue-almost every (a.e.) ${\mathbf{\unicode{x3bb}}} $ , then the diffraction spectrum (which is essentially a ‘part’ of the dynamical spectrum) is purely singular. For $d=1$ , this follows from [Reference Bufetov and Solomyak11, Corollary 4.7], but for $d\ge 2$ , we cannot make such a conclusion by our methods, essentially because $(d-1)\log \theta \ge ({d}/{2})\log \theta $ .

  6. (f) It would be interesting to also obtain upper bounds for the local dimension of spectral measures, by analogy with [Reference Bufetov and Solomyak11]. We have some partial results in this direction and hope to return to this question in the future.

5 Eigenvalues, quantitative Host–Veech criterion, and Hölder regularity of spectral measures

The material in this section is not particularly new, but included for completeness, and we also emphasize the connections.

5.1 Eigenvalues

Recall that ${\mathbf{\unicode{x3bb}}} \in {\mathbb R}^d$ is a topological eigenvalue for the tiling dynamical system $(X^{\mathfrak f}_\omega ,{\mathbb R}^d)$ if there exists a continuous function $\phi : X^{\mathfrak f}_\omega \to {\mathbb C}$ such that

(5.1) $$ \begin{align} \phi({\mathscr S}^{\mathfrak f} - {\mathbf z}) = \exp(-2\pi i\langle {\mathbf{\unicode{x3bb}}},{\mathbf z}\rangle) \cdot\phi({\mathscr S}^{\mathfrak f})\quad \mbox{for all } {\mathscr S}^{\mathfrak f} \in X^{\mathfrak f}_\omega,\ {\mathbf z}\in {\mathbb R}^d. \end{align} $$

Theorem 5.1. (Variant of [Reference Clark and Sadun14, Theorem 4.1])

Let ${\mathcal T}$ be an FLC primitive aperiodic L-PSS tiling and $X_\omega $ the corresponding tiling space. Let ${\mathfrak f}$ be a shape parameter defining an elementary admissible deformation, $X^{\mathfrak f}_\omega $ the deformed substitution tiling space, and $\mathbf {L}_{\mathfrak f}$ given by equation (3.8). A vector ${\mathbf{\unicode{x3bb}}} \in {\mathbb R}^d$ is in the topological point spectrum of $(X^{\mathfrak f}_\omega ,{\mathbb R}^d)$ if and only if for every elementary recurrence vector $\mathbf {v}$ of ${\mathcal T}$ ,

(5.2) $$ \begin{align} \langle {\mathbf{\unicode{x3bb}}},\mathbf{L}_{\mathfrak f} M^n \mathbf{v}\rangle \to 0\ \textrm{(mod\, 1)},\quad n\to \infty, \end{align} $$

where the convergence is exponentially fast and uniform in $\mathbf {v}$ . Here M is the matrix from equation (3.9).

In fact, our setting is more general, since [Reference Clark and Sadun14] assumed a pure dilation expansion map, whereas we allow an expansion which is a general similitude. However, the proof transfers almost verbatim. Furthermore, in [Reference Clark and Sadun14, Theorem 4.1], only uniform in $\mathbf {v}$ convergence is claimed, but the exponential rate follows from the proof immediately.

Next we show that the same condition characterizes measurable eigenvalues for the uniquely ergodic system $(X^{\mathfrak f}_\omega ,{\mathbb R}^d,\mu )$ . Thus, for admissible deformations of pseudo-self-similar tiling spaces, weak mixing is equivalent to topological weak mixing. These results follow a long line of earlier work, starting with Host [Reference Host21], who obtained a similar criterion for the eigenvalues of (symbolic) substitution ${\mathbb Z}$ -actions, in terms of return words, and also proved that every measure-theoretic eigenvalue is topological. For interval exchange transformations and translation flows, an analogous criterion was obtained by Veech [Reference Veech41].

Proposition 5.2. Under the assumptions of Theorem 5.1, a vector ${\mathbf{\unicode{x3bb}}} \in {\mathbb R}^d$ is in the topological point spectrum of $(X^{\mathfrak f}_\omega ,{\mathbb R}^d)$ if and only if it is in the point spectrum of the uniquely ergodic measure-preserving system $(X^{\mathfrak f}_\omega ,{\mathbb R}^d,\mu _{\mathfrak f})$ .

The proof is a minor variation of the argument in [Reference Solomyak35]; we sketch it for completeness in §7. Note that

(5.3) $$ \begin{align} \langle {\mathbf{\unicode{x3bb}}}, \mathbf{L}_{\mathfrak f} M^n \mathbf{v}\rangle = \langle \mathbf{L}^{\mathsf{T}}_{\mathfrak f}{\mathbf{\unicode{x3bb}}}, M^n \mathbf{v}\rangle_{_{{\mathbb R}^s}} = \langle {(M^{\mathsf{T}})}^n(\mathbf{L}^{\mathsf{T}}_{\mathfrak f}{\mathbf{\unicode{x3bb}}}), \mathbf{v}\rangle_{_{{\mathbb R}^s}} , \end{align} $$

where $\langle \cdot ,\cdot \rangle $ is the inner product in ${\mathbb R}^d$ , as opposed to the inner product in ${\mathbb R}^s$ on the right-hand side.

Lemma 5.3. There exists a uniform $c_1>0$ with the following property. Let $\mathbf {v}$ be a recurrence vector for ${\mathcal T}$ , such that for all $j\le m$ , there exists k satisfying

(5.4) $$ \begin{align} \text{ there exists }\, z_1, z_2 \in {\mathcal D}_{jk}\quad \mbox{such that } \mathbf{v} = \alpha(z_1,z_2). \end{align} $$

Then,

(5.5) $$ \begin{align} \|{\mathscr M}(\mathbf{L}^{\mathsf{T}}_{\mathfrak f}{\mathbf{\unicode{x3bb}}},n)\|\le \textrm{const}\cdot \theta^{nd} \prod_{i=0}^{n-1} (1 - c_1 \|\langle {(M^{\mathsf{T}})}^i (\mathbf{L}^{\mathsf{T}}_{\mathfrak f}{\mathbf{\unicode{x3bb}}}), \mathbf{v}\rangle_{_{{\mathbb R}^s}}\|_{_{{\mathbb R}/{\mathbb Z}}}^2),\ \ n\ge 1. \end{align} $$

For the proof, see [Reference Treviño40]; it is a generalization of [Reference Bufetov and Solomyak8] to higher rank actions.

In view of primitivity and repetitivity, for any given recurrence vector $\mathbf {v}$ , the property in equation (5.4) holds if we replace $\omega $ by a sufficiently high power. Passing from $\omega $ to