Certain topological dynamical systems are considered that arise from actions of $σ$-compact locally compact Abelian groups on compact spaces of translation bounded measures. Such a measure dynamical system is shown to have pure point dynamical spectrum if and only if its diffraction spectrum is pure point.
In this work we consider translation-bounded measures over a locally compact Abelian group $\mathbb{G}$, with particular interest for their so-called diffraction. Given such a measure $Λ$, its diffraction $\widehatγ$ is another measure on the Pontryagin dual $\widehat{\mathbb{G}}$, whose decomposition into the sum $\widehatγ = \widehatγ_{\mathrm{p}}+ \widehatγ_{\mathrm{c}}$ of its atomic and continuous parts is central in diffraction theory. The problem we address here is whether the above decomposition of $\widehatγ$ lifts to $Λ$ itself, that is to say, whether there exists a decomposition $Λ…
We show that for multi-colored Delone point sets with finite local complexity and uniform cluster frequencies the notions of pure point diffraction and pure point dynamical spectrum are equivalent.
For a random field on a general discrete set, we introduce a condition that the range of the correlation from each site is within a predefined compact set D. For such a random field omega defined on the model set Lambda that satisfies a natural geometric condition, we develop a method to calculate the diffraction measure of the random field. The method partitions the random field into a finite number of random fields, each being independent and admitting the law of large numbers. The diffraction measure of omega consists almost surely of a pure-point component and an absolutely continuous comp…
We study the auto-correlation measures of invariant random point processes in the hyperbolic plane which arise from various classes of aperiodic Delone sets. More generally, we study auto-correlation measures for large classes of Delone sets in (and even translation bounded measures on) arbitrary locally compact homogeneous metric spaces. We then specialize to the case of weighted model sets, in which we are able to derive more concrete formulas for the auto-correlation. In the case of Riemannian symmetric spaces we also explain how the auto-correlation of a weighted model set in a Riemannian …
Delone sets of finite local complexity in Euclidean space are investigated. We show that such a set has patch counting and topological entropy 0 if it has uniform cluster frequencies and is pure point diffractive. We also note that the patch counting entropy is 0 whenever the repetitivity function satisfies a certain growth restriction.
We present cut and project formalism based on measures and continuous weight functions of sufficiently fast decay. The emerging measures are strongly almost periodic. The corresponding dynamical systems are compact groups and homomorphic images of the underlying torus. In particular, they are strictly ergodic with pure point spectrum and continuous eigenfunctions. Their diffraction can be calculated explicitly. Our results cover and extend corresponding earlier results on dense Dirac combs and continuous weight functions with compact support. They also mark a clear difference in terms of facto…
This paper deals with certain dynamical systems built from point sets and, more generally, measures on locally compact Abelian groups. These systems arise in the study of quasicrystals and aperiodic order, and important subclasses of them exhibit pure point diffraction spectra. We discuss the relevant framework and recall fundamental results and examples. In particular, we show that pure point diffraction is stable under ``equivariant'' local perturbations and discuss various examples,including deformed model sets. A key step in the proof of stability consists in transforming the problem into …
We examine the diffraction properties of lattice dynamical systems of algebraic origin. It is well-known that diverse dynamical properties occur within this class. These include different orders of mixing (or higher-order correlations), the presence or absence of measure rigidity (restrictions on the set of possible shift-invariant ergodic measures to being those of algebraic origin), and different entropy ranks (which may be viewed as the maximal spatial dimension in which the system resembles an i.i.d.\ process). Despite these differences, it is shown that the resulting diffraction spectra a…
There is a growing body of results in the theory of discrete point sets and tiling systems giving conditions under which such systems are pure point diffractive. Here we look at the opposite direction: what can we infer about a discrete point set or tiling, defined through a primitive substitution system, given that it is pure point diffractive? Our basic objects are Delone multisets and tilings, which are self-replicating under a primitive substitution system of affine mappings with a common expansive map $Q$. Our first result gives a partial answer to a question of Lagarias and Wang: we char…
The translation action of $\RR^{d}$ on a translation bounded measure $ω$ leads to an interesting class of dynamical systems, with a rather rich spectral theory. In general, the diffraction spectrum of $ω$, which is the carrier of the diffraction measure, live on a subset of the dynamical spectrum. It is known that, under some mild assumptions, a pure point diffraction spectrum implies a pure point dynamical spectrum (the opposite implication always being true). For other systems, the diffraction spectrum can be a proper subset of the dynamical spectrum, as was pointed out for the Thue-Morse se…
In this paper, we show that the minimal asymptotic translation length of the Torelli group $\mathcal{I}_g$ of the surface $S_g$ of genus $g$ on the curve graph asymptotically behaves like $1/g$, contrary to the mapping class group $Mod(S_g)$, which behaves like $1/g^2$. We also show that the minimal asymptotic translation length of the pure braid group $PB_n$ on the curve graph asymptotically behaves like $1/n$, contrary to the braid group $B_n$, which behaves like $1/n^2$.
It is well-known that the dynamical spectrum of an ergodic measure dynamical system is related to the diffraction measure of a typical element of the system. This situation includes ergodic subshifts from symbolic dynamics as well as ergodic Delone dynamical systems, both via suitable embeddings. The connection is rather well understood when the spectrum is pure point, where the two spectral notions are essentially equivalent. In general, however, the dynamical spectrum is richer. Here, we consider (uniquely) ergodic systems of finite local complexity and establish the equivalence of the dynam…
We give an introduction into diffraction theory for aperiodic order. We focus on an approach via dynamical systems and the phenomenon of pure point diffraction. We review recent results and sketch proofs. We then present a new uniform Wiener/Wintner type result generalizing various earlier results of this type.
The well-known plastic number substitution gives rise to a ternary inflation tiling of the real line whose inflation factor is the smallest Pisot-Vijayaraghavan number. The corresponding dynamical system has pure point spectrum, and the associated control point sets can be described as regular model sets whose windows in two-dimensional internal space are Rauzy fractals with a complicated structure. Here, we calculate the resulting pure point diffraction measure via a Fourier matrix cocycle, which admits a closed formula for the Fourier transform of the Rauzy fractals, via a rapidly converging…
We prove that a primitive substitution Delone set, which is pure point diffractive, is a Meyer set. This answers a question of J. C. Lagarias. We also show that for primitive substitution Delone sets, being a Meyer set is equivalent to having a relatively dense set of Bragg peaks. The proof is based on tiling dynamical systems and the connection between the diffraction and dynamical spectra.
As a guiding example, the diffraction measure of a random local mixture of the two classic Fibonacci substitutions is determined and reanalysed via self-similar measures of Hutchinson type, defined by a finite family of contractions. Our revised approach yields explicit formulas for the pure point and the absolutely continuous parts, as well as a proof for the absence of singular continuous components. This approach is then extended to the family of random noble means substitutions and, as an example with an underlying 2-adic structure, to a locally randomised version of the period doubling ch…
A translation surface S is said to have the finite blocking property if for every pair (O,A) of points in S there exists a finite number of "blocking" points B_1,...,B_n such that every geodesic from O to A meets one of the B_i's. S is said to be purely periodic if the directional flow is periodic in each direction whose directional flow contains a periodic trajectory (this implies that S admits a cylinder decomposition in such directions). We will prove that finite blocking property implies pure periodicity. We will also classify the surfaces that have the finite blocking property in genus 2:…
We prove that the symbolic dynamical system generated by a purely substitutive Arnoux-Rauzy sequence is measurably conjugate to a toral translation. The proof is based on an explicit construction of a fundamental domain with fractal boundary (a Rauzy fractal) for this toral translation.
We define spherical diffraction measures for a wide class of weighted point sets in commutative spaces, i.e. proper homogeneous spaces associated with Gelfand pairs. In the case of the hyperbolic plane we can interpret the spherical diffraction measure as the Mellin transform of the auto-correlation distribution. We show that uniform regular model sets in commutative spaces have a pure point spherical diffraction measure. The atoms of this measure are located at the spherical automorphic spectrum of the underlying lattice, and the diffraction coefficients can be characterized abstractly in ter…
The paper establishes an equivalence between pure point diffraction and certain types of model sets, called inter model sets, in the context of substitution point sets and substitution tilings. The key ingredients are a new type of coincidence condition in substitution point sets, which we call algebraic coincidence, and the use of a recent characterization of model sets through dynamical systems associated with the point sets or tilings.
The pair correlations of primitive inflation rules are analysed via their exact renormalisation relations. We introduce the inflation displacement algebra that is generated by the Fourier matrix of the inflation and deduce various consequences of its structure. Moreover, we derive a sufficient criterion for the absence of absolutely continuous diffraction components, as well as a necessary criterion for its presence. This is achieved via estimates for the Lyapunov exponents of the Fourier matrix cocycle of the inflation rule. We also discuss some consequences for the spectral measures of such …
We show that a recently proposed Rudin-Shapiro-like sequence, with balanced weights, has purely singular continuous diffraction spectrum, in contrast to the well-known Rudin-Shapiro sequence whose diffraction is absolutely continuous. This answers a question that had been raised about this new sequence.
In this project we show the existence of arbitrary length arithmetic progressions in model sets and Meyer sets in the Euclidean $d$-space. We prove a van der Waerden type theorem for Meyer sets. We show that pure point subsets of Meyer sets with positive density and pure point diffraction contain arithmetic progressions of arbitrary length.
The squiral inflation rule is equivalent to a bijective block substitution rule and leads to an interesting lattice dynamical system under the action of $\mathbb{Z}^{2}$. In particular, its balanced version has purely singular continuous diffraction. The dynamical spectrum is of mixed type, with pure point and singular continuous components. We present a constructive proof that admits a generalisation to bijective block substitutions of trivial height on $\mathbb{Z}^{d}$.
To understand an aperiodic tiling (or a quasicrystal modeled on an aperiodic tiling), we construct a space of similar tilings, on which the group of translations acts naturally. This space is then an (abstract) dynamical system. Dynamical properties of the space (such as mixing, or the spectrum of the translation operator) are closely related to bulk properties of the individual tilings (such as the diffraction pattern). The topology of the space of tilings, particularly the Cech cohomology, gives information on how the original tiling can be deformed. Tiling spaces can be constructed as inver…
Letting $T$ denote an ergodic transformation of the unit interval and letting $f \colon [0,1)\to \mathbb{R}$ denote an observable, we construct the $f$-weighted return time measure $μ_y$ for a reference point $y\in[0,1)$ as the weighted Dirac comb with support in $\mathbb{Z}$ and weights $f \circ T^z(y)$ at $z\in\mathbb{Z}$, and if $T$ is non-invertible, then we set the weights equal to zero for all $z < 0$. Given such a Dirac comb, we are interested in its diffraction spectrum which emerges from the Fourier transform of its autocorrelation and analyse it for the dependence on the underlying t…