Modulated crystals and almost periodic measures

Modulated crystals and quasicrystals can simultaneously be described as modulated quasicrystals, a class of point sets introduced by de Bruijn in 1987. With appropriate modulation functions, modulated quasicrystals themselves constitute a substantial subclass of strongly almost periodic point measures. We re-analyze these structures using methods from modern mathematical diffraction theory, thereby providing a coherent view over that class. Similar to de Bruijn’s analysis, we find stability with respect to almost periodic modulations.


Introduction
In 1964, Brouns et al. performed an X-ray diffraction experiment on a washing soda crystal, which was expected to behave like a perfect crystal.Surprisingly, a slight anomaly in its diffraction pattern was found [18].It was later suggested to describe such anomalies by modulated crystals [73,32].Over the years, the crystallography of such structures has been worked out and has found many applications including protein crystallography [44].Numerous important contributions to the field have been made by Ted Janssen [67].Recent overviews of modulated structures and of other types of aperiodic crystals are Janssen [35] and Janner and Janssen [33].See also the monographs by Janssen et al. [34] and by van Smaalen [62] for a detailed discussion of aperiodic crystals from physical and crystallographic perspectives.
On the mathematical side, Bombieri and Taylor [16] suggested studying modulated lattices in 1985, as they appeared to have properties similar to quasicrystals, a fundamentally different type of aperiodic crystal that had been discovered shortly before.Models for quasicrystals were obtained by the so-called cut-and-project construction [41,23].De Bruijn introduced modulated quasicrystals in Euclidean space [19], a class of point sets that is nowadays subsumed by so-called deformed weighted model sets.Whereas this class comprises weighted cut-and-project sets, de Bruijn showed that it also includes certain modulated lattices [19,Sec. 5,6].De Bruijn's Fourier analysis relied on a particular class of smooth weight functions of unbounded support, which cannot readily be extended beyond Euclidean space.
Deformed weighted model sets have further been studied by Hof [31] and by Bernuau and Duneau [14], who coined the name.In the meantime, it was realized that cut-and-projects sets are in fact model sets as introduced earlier by Meyer [49,51,52].Also Euclidean space was generalized to a locally compact abelian group, and dynamical systems techniques were introduced as a powerful tool [61,63].In that setting, deformed weighted model sets (in fact much more generally deformed weighted Delone sets) were analyzed by Baake and Lenz [8].Modulated structures were studied by Sing [65,72,66], by reconstructing the internal space of the underlying deformed model set from the diffraction pattern of the modulated structure.Let us stress that there is no universally agreed definition of modulation or deformation at present.
As mathematical diffraction theory has now reached a certain maturity, see e.g.[3,54,48,59] for recent expositions of various parts, it seems appropriate to re-analyze modulated crystals within that general framework.Whereas mean almost periodicity of the underlying point set emerges to be characteristic of pure point diffraction in general, modulated crystals are examples of more restrictive strongly almost periodic point sets.For that reason, we adopt the setting of strongly almost periodic (SAP) measures on locally compact abelian groups in our article [26,54].On a conceptual level, diffraction has recently been studied for more general weakly almost periodic measures [48].In particular it is known that such measures are pure point diffractive, as their autocorrelation is strongly almost periodic [48,Thm. 7.5(a)].Also, their diffraction amplitudes can be computed as the squared modulus of their Fourier-Bohr coefficients [48,Thm. 7.5(b)].
Although our motivation is modulations of lattices and of general ideal crystals, we will profit from the considerably more general setting of deformed weighted model sets.Hence in this article, we discuss deformed weighted model sets as a substantial subclass of SAP measures.We will prove that deformed weighted model sets with continuous and compactly supported weight and deformation functions are strongly almost periodic, thereby extending older results for weighted model sets [12,46,60,68,69].We will then deform such structures using continuous almost periodic modulations.We will prove that such modulations of deformed weighted model sets stay within the class of deformed weighted model sets, which is in line with de Bruijn's analysis [19].We will also show that, in Euclidean space, the class of deformed weighted model sets in fact coincides with the class of modulated weighted model sets.In retrospect, this justifies de Bruijn's terminology.Our diffraction analysis relies on dynamical systems techniques based on the so-called torus parametrization [6,61,63,46,39,40].In particular, it yields short alternative proofs of previous results.
Our examples also shed some light on Lagarias' question [43]: Which Delone Dirac combs are strongly almost periodic?Whereas finite local complexity enforces crystallinity [38,Cor. 5.6], deformed weighted model sets provide many examples of infinite local complexity, e.g.almost periodic modulations of lattices or of ideal crystals.
Let us briefly mention two lines of problems within that context.It would be interesting to classify SAP measures.But at present we do not even know of a simple characterization of SAP Dirac combs.Note that such combs need not be modulated crystals: think for example of the incommensurate structure Z ∪ αZ where α is irrational [3,Ex. 9.6].Whereas this point set is not uniformly discrete, it is possible to define uniformly discrete variants [3,Ex. 9.7] and [62,Ch. 4].There are other examples on the line, arising as factors of the Kronecker flow on the two-dimensional torus [38,Sec. 6], which fail to be modulations of the integer lattice.
Another aspect concerns modulation functions beyond almost periodic ones.Consider the deterministic displacement model {n + ε • frac(αn) : n ∈ Z} for α / ∈ Q, see [3,Ex. 9.8] or [19,Sec. 6], where frac(x) denotes the fractional part of x.This model is not strongly almost periodic, but it is a model set [3,Ex. 9.8].It is tempting to ask whether there is some different type of almost periodicity to cover such examples.A candidate is almost automorphicity, see e.g.[70] and [39,Thm. 1].More generally, the above problem might be analyzed using functions with prescribed continuity properties on the Bohr compactification [56].The latter problem may of course also be analyzed from a dynamical perspective.Consider the hull of a point set, i.e., its translation orbit closure in a Hausdorff-type metric.The hull of any SAP point set is a group, see Lemma 4.1.One may now ask for which deformation functions the hull is sufficiently close to a group in order to retain pure point diffractivity.
Here is the structure of the article.As a motivating example, we discuss the diffraction of sine modulated integers.The succeeding general analysis uses mathematical diffraction theory and model sets in general locally compact abelian groups.Section 3 gives basic definitions and background on dynamical systems and diffraction theory.In Section 4, we treat dynamical and spectral properties of general SAP measures, from which we derive their diffraction.Although these results follow from the weakly almost periodic case, we decided to give specialized proofs for a self-contained presentation.Section 5 provides necessary background about cut-and-project schemes and model sets.Section 6 is devoted to modulations and deformations of lattices, which extend our motivating example.The examples of Section 6 are in fact deformed weighted model sets, which are shown to be strongly almost periodic in Section 7. Modulations of deformed weighted model sets are analyzed in Section 8.It is shown that the class of deformed weighted model sets is stable under modulation, and that in Euclidean space that class coincides with the class of modulated weighted model sets.The final Section 9 treats modulations of ideal crystals, a class which comprises many examples from conventional crystallography.Hence our results in that section extend the analysis from the lattice case and specialize those for deformed model sets.In the Appendix, we discuss almost periodic functions taking values in a topological group.

Sine modulated integers
This holds as the point set {αℓ mod 1 : ℓ ∈ Z} is dense in [0, 1], a wellknown fact that may be regarded as a consequence of Weyl's equidistribution theorem, see e.g.[42,Ch. 1,Ex. 2.1].In fact f is an almost periodic function, see the Appendix for background.
For the distance d ℓ between points arising from two consecutive integers ℓ and ℓ + 1 we compute

We thus have {d
In particular for ε < 1/2 the set Λ is uniformly discrete, and we may label the points ℓ + f (ℓ) in ascending order by ℓ.If ε ≥ 1/2, then Λ fails to be uniformly discrete.In either case Λ has infinite local complexity, i.e., Λ − Λ is not uniformly discrete.
There is a topological dynamical system Ω with shift action naturally assigned to Λ, which is called its hull.It will be constructed in Section 2.2.The hull contains all translates of Λ and certain additional point sets which, loosely spoken, do not differ much from the translates.The relation between the dynamical spectrum of Ω and the diffraction spectrum of Λ allows us to compute its diffraction explicitly in Section 2.3.In fact any point set of the hull has the same diffraction.This dynamical approach is complementary to the usual one of computing the Fourier-Bohr coefficients by a limiting procedure.It is reviewed in Section 3.3 in a general setting.
There is a simple parametrization of the hull of sine modulated integers by a two-dimensional torus T with induced shift action.We call the corresponding factor map µ : T → Ω the torus parametrization2 of Ω.Since the induced shift action on T is a dense rotation on the compact group T, one can conclude that sine modulated integers are pure point diffractive [8, 0.0 1.0 2.0 3.0 4.0 wave number  Before we do the calculations, let us describe the diffraction of sine modulated integers for ε < 1/2.The Bragg peak positions lie dense in Fourier space and are explicitly given by Z The diffraction of sine modulated integers is depicted in Figure 1 for ε = 1/20 and α = 1/τ 4 , where τ denotes the golden mean.
In general, for small modulation strength ε > 0 one observes Bragg peaks of high intensity at the lattice positions, accompanied by Bragg peaks of small intensity.If a Bragg peak of small intensity is close to some lattice Bragg peak, it is sometimes called a satellite.In particular, this is the case if the modulation length is of a different order of magnitude than the lattice constant.

2.2.
The hull and its torus parametrization.Recall that the point set Λ ⊂ R is uniformly discrete if and only if ε < 1/2.In general Λ is locally finite, i.e., discrete and closed.In fact Λ is translation bounded, i.e., there exists finite constants C and R such that any intersection with a ball of radius R contains at most C points.
The hull of Λ is the translation orbit closure of Λ in a suitable topology, which we now describe.Let us consider the collection D = D C,R of point sets that are translation bounded with constants C, R. We equip D with the local topology, a Hausdorff type uniform topology that is frequently used when studying point set dynamical systems [7,Sec. 4].It is generated by the entourages where R, δ vary over the positive real numbers.Here B r denotes the centered closed ball of radius r.In particular, for every Λ ∈ D, the collection of all U R,δ (Λ) = {Λ ′ ∈ D : (Λ, Λ ′ ) ∈ U R,δ }, where R, δ vary over the positive reals, is a neighborhood system of Λ.It turns out that D is a compact metrizable Hausdorff space [7,Thm. 3].In particular, we can use sequences for convergence arguments.Two point sets are close in the local topology, if they coincide on large centered balls up to small local shifts.
Consider the hull Ω = {x + Λ : x ∈ R} ⊂ D of Λ in the local topology, with point set translation as natural R-action.Since α is irrational, it is not hard to see that Ω = {Λ r,s : (r, s) ∈ R 2 }, where Λ r,s = {r +ℓ+ϕ(αℓ+s) : ℓ ∈ Z} and ϕ(x) = ε•sin(2πx).Due to the symmetries Λ r,s+1 = Λ r+1,s+α = Λ r,s , the hull is parametrized by a two-dimensional torus.We will describe in Section 4 how such a torus arises for strongly almost periodic structures in a natural way.
There is another natural construction of the torus, which will be central in Section 6 below: Consider the function space H = {f (• + ℓ) : ℓ ∈ Z}, where the closure is taken using the topology of uniform convergence.It carries a natural group structure + defined via f Lemma 2.1.The map µ : T → Ω is a factor map, i.e., it is continuous onto and commutes with the natural R-actions on T and on Ω.If ε < 1/2, then µ is a homeomorphism.
Proof.We show that µ is well-defined, onto and continuous.We then show that µ is an R-map.We finally show that µ is one-to-one if ε < 1/2, which implies that µ is a homeomorphism in that case since Ω is compact.
µ is well-defined: Take arbitrary (r, g) ∈ R × H and write The latter limit indeed exists in Ω, as any accumulation point of (r + ℓ k + Λ) k in the compact space Ω coincides with µ([r, g]).The definition is independent of the choice of representative: Let (ℓ, f (• + ℓ)) ∈ L and note µ is onto: Consider any Λ ′ ∈ Ω.For every k ∈ N choose r k ∈ R such that By passing to a suitable subsequence of (r k ) k , we can find integers (ℓ k ) k such that lim k→∞ (r k − ℓ k ) = r for some r ∈ [0, 1).Note that Using compactness of H, we may assume that f (•−ℓ k ) converges, by passing to a suitable subsequence.Now define g = lim k→∞ f (• − ℓ k ).We then have µ is continuous: Consider an arbitrary member µ([r, g]) in the hull.Fix arbitrary R > 0 and ε > 0 and consider r ′ ∈ B ε/2 (r) ⊂ R and g ′ ∈ B ε/2 (g) ⊂ H.By the triangle inequality, we then have .
As (T, R) is a dense rotation on a compact group, the space L 2 (T) admits an orthonormal basis of eigenfunctions e ξ with eigenvalue ξ ∈ R ∼ = R, compare [71].Every such ξ is a potential Bragg peak position in the diffraction of Λ.For explicit expressions, let us denote by Γ the invariance lattice of Ω = {Λ r,s : (r, s) ∈ R 2 } and its dual lattice by Γ 0 .We have Eigenfunctions of the translation operator on L 2 (T), where T = R 2 /Γ, arise from lattice invariant plane waves x → χ k (x) = e 2πik•x , which restricts k to elements in Γ 0 .Given k = (−m − αn, n) T , we will write e ξ instead of χ k for ξ = m + αn, which will cause no confusion as k can be reconstructed from ξ.A simple calculation shows that e ξ ∈ L 2 (T) is indeed an eigenfunction of the translation operator with eigenvalue ξ, and {e ξ : ξ ∈ Z[α]} is total and orthonormal in L 2 (T).Using the isometric embedding, we can apply the diffraction formula Eqn.(5) from Section 3.3.The diffraction intensity at ξ is given by |a ξ | 2 , where Here ψ ∈ C c (R) is any function satisfying R ψ(x)dx = 1, and we have used Let us now assume ε < 1/2 for simplicity.In order to compute a ξ for ξ = m + αn, we write As ψ has compact support, only finitely many terms are nonzero in the above sum.Suppose now that ψ is sharply concentrated about 0. Then, up to an arbitrarily small error, the above expression simplifies to Consider the term corresponding to ℓ = 0 in the above sum.We can have r+ϕ(s) = 0 for some r ∈ (0, 1) only if s ∈ (1/2, 1).Thus, up to an arbitrarily small error, that term equals Next, consider the term corresponding to ℓ = −1 in the above sum.We can have r − 1 + ϕ(−α + s) = 0 for some r ∈ (0, 1) only if s ∈ (α, α + 1/2).As we might choose a fundamental domain of Γ arbitrarily for integration, that term equals Combining the latter two results, we get

Setting and notation
Throughout G, H will denote locally compact abelian groups (LCAG) [57,24,22].The group operation on a LCAG will be written additively as + or ∔ if necessary to avoid misunderstandings.Given an LCA group G, we choose a Haar measure on G and denote it by m G or by dt.The dual group of G is denoted by G, and the pairing between a character χ ∈ G and t ∈ G is written as χ(t).As usual the Fourier transform f of an integrable function f is defined by f (χ) = G χ(t)f (t) dt.We always choose the Haar measure on G such that the Plancherel theorem [22,Thm. 3.4.8]holds.
3.1.Complex Radon measures.Whenever X is a topological space the space of continuous functions on X is denoted by C(X), the subspace of continuous functions with compact support by C c (X), the space of continuous bounded functions by C b (X), and the subspace of uniformly continuous and bounded functions by C u (X).The latter two spaces are complete normed spaces when equipped with the supremum norm • ∞ .We will often deal with locally compact σ-compact spaces.
A topological space X carries the Borel σ-algebra generated by all closed subsets of X.By the Riesz-Markov representation theorem, the set M(X) of all complex Radon measures on a locally compact space X can then be identified with the dual space C c (X) * of complex valued, linear functionals on C c (X) which are continuous with respect to a suitable topology, see [55,Ch. 6.5] for details.For this reason we usually write X ϕ dµ = µ(ϕ) for ϕ ∈ C c (X).The space M(X) then carries the vague topology, i.e., the weakest topology that makes all functionals µ → µ(ϕ), ϕ ∈ C c (X), continuous.If X is metrizable, then M(X) is metrizable as well.The convolution µ * ν of two finite measures µ and ν on G is defined to be the measure (µ * ν)(ϕ) := ϕ(s + t) dµ(s) dν(t).By [55, Thm.6.5.6], for each measure µ ∈ M(X) there exists a positive measure |µ|, called the total variation of µ such that for all ϕ ∈ C c (X) with ϕ ≥ 0 we have for every t ∈ G.The set of all translation bounded measures satisfying ( 2) is denoted by M C,V (G).It carries the vague topology inherited from M(G) and is compact in that topology.The set of all translation bounded measures is denoted by M ∞ (G).
3.2.Measure dynamical systems.Whenever the LCAG G acts on the compact Hausdorff space Ω by a continuous action where G × Ω carries the product topology, the pair (Ω, α) is called a topological dynamical system over G.An α-invariant probability measure on Ω is then called ergodic if every measurable invariant subset of Ω has either measure zero or measure one.The dynamical system (Ω, α) is called uniquely ergodic if there exists a unique α-invariant probability measure on Ω, which then is ergodic by standard theory.(Ω, α) is called minimal if, for all ω ∈ Ω, the G-orbit {α t ω : t ∈ G} is dense in Ω.
Given an α-invariant probability measure m on Ω, we can form the Hilbert space L 2 (Ω, m) of square integrable measurable functions on Ω.This space is equipped with the inner product The action α gives rise to a unitary representation T := T The representation T is said to have pure point spectrum if the set of eigenfunctions is total in L 2 (Ω, m).One then also says that the dynamical system (Ω, α) has pure point dynamical spectrum.
We will be concerned with dynamical systems built from measures.These systems will be discussed next.They have been introduced in [7,8], to which we refer for further details and proofs of the subsequent discussion.There is an obvious action of G on M ∞ (G), again denoted by α, given by Here, δ t denotes the unit point mass at t ∈ G and the convolution ω * ϕ between ϕ ∈ C c (G) and ω ∈ M ∞ (G) is defined by It is not hard to see that α is continuous when restricted to a compact subset of M ∞ (G).Every translation bounded measure ν gives rise to a TMDS (Ω(ν), α) [7], where G).We call Ω(ν) the hull of ν.

Mathematical diffraction theory.
We review elements of mathematical diffraction theory following [7,8,45].Fix an LCA group G and assume that G is σ-compact.Then G admits a van Hove sequence [63], i.e., a sequence (B n ) n∈N of compact sets in G such that for every compact Here for arbitrary compact A, K ⊂ G we use the notion of van Hove boundary where the bar denotes the closure of a set and the circle denotes the interior.
In G = R d , the closed n-balls constitute a van Hove sequence.Fix ω ∈ M ∞ (G), such as the Dirac comb of a point set in G, and consider for arbitrary ξ ∈ G the average (3) In this article, the above limit will always exist and will always be independent of the choice of the van Hove sequence.In crystallography, the number a ξ is called the scattering amplitude or the Fourier-Bohr coefficient.In a kinematic diffraction experiment [21], the intensity of diffraction at ξ is given by |a ξ | 2 .
Hof [30] suggested the following mathematical framework for diffraction.Given ω ∈ M ∞ (G), one first computes the autocorrelation measure with respect to the given van Hove sequence (B n ) n∈N .Here the limit is taken in the vague topology, ω Bn denotes the restriction of ω to B n , and the reflected measure µ is, for µ ∈ M ∞ (G), defined by µ(ϕ) := µ(ϕ † ), where ϕ † (x) = ϕ(−x).In this article, the above limit will always exist and will always be independent of the choice of the van Hove sequence.More generally, this is the case if the hull (Ω(ω), α) is uniquely ergodic. 3As γ ω is a positive definite measure by construction, its Fourier transform γ ω exists as a measure.It is called the diffraction measure of ω (see [24,13,1,26,54] for definition and background on Fourier transforms of complex Radon measures).Its point part is explicitly given by (4) , see e.g.[30,Thm. 3.4].We say that ω ∈ M ∞ (G) is pure point diffractive (relative to the given van Hove sequence) if the autocorrelation γ ω exists and its Fourier transform γ ω is a pure point measure.
We now turn to a dynamical description of diffraction [7,45].Let G be an arbitrary LCAG.Let (Ω, α) be a TMDS, equipped with an α-invariant is a positive definite measure which does not depend on the choice of ψ.The measure γ m is called the autocorrelation measure of (Ω, α, m).If e ξ ∈ L 2 (Ω, m) is a normalized eigenfunction of T with eigenvalue ξ ∈ G, we then have (5) γ m ({ξ} where ψ ∈ C c (G) such that G ψ(t)dt = 1 is arbitrary.The measure γ m is called the diffraction measure of (Ω, α, m).

Strongly almost periodic measures
In Section 2 we discussed sine modulated integers.We showed that its hull is a compact abelian group, an insight which enabled us to infer the diffraction of sine modulated integers.The present section is devoted to a discussion of the general phenomenon, where we use measures instead of point sets.Note that diffraction has recently been studied for more general weakly almost periodic measures [48].For the ease of the reader we include proofs adapted to our simpler setting.
Consider ν ∈ M ∞ (G), such as the Dirac comb of a Delone set in G.The following lemma characterises the situation that its hull Ω(ν) is a group compactification of G in terms of strong almost periodicity of ν.This is certainly well known, see e.g.[48,Prop. 3.6] and compare [38,Thm. 3.3] and [38,Thm. 4.2] for Delone sets.We include a proof based on [46] for the convenience of the reader.[20,36] for background.Lemma 4.1.Let ν ∈ M ∞ (G) be given.Then, the following assertions are equivalent:

Recall that a translation bounded
(i) The hull Ω(ν) of ν is a compact abelian group, with the addition + satisfying α s ν +α t ν = α s+t ν for any s, t ∈ G. (ii) The measure ν is strongly almost periodic.(iii) Every ω ∈ Ω(ν) is strongly almost periodic.
In this case, the map  : G → Ω(ν) defined by (t) = α t ν is a continuous group homomorphism with dense range, and holds for any t ∈ G and any ω ∈ Ω(ν).
Finally, the map is continuous with dense range.It is a group homomorphism when Ω(ν) carries the group structure defined in (i).It remains to compute the action α in terms of j: Let ω = lim ι α sι ν, i.e., (α sι ν) ι is a net converging to ω.Then We can now readily derive basic spectral properties of dynamical systems associated to strongly almost periodic measures.For notation and basic results of mathematical diffraction theory, recall Section 3. (i) (Ω(ν), α) is uniquely ergodic and minimal.(ii) For the shift operator T on L 2 (Ω(ν)), any character λ : Ω(ν) → S 1  is an eigenfunction of T to the eigenvalue λ •  : G → S 1 .The set Ω(ν) of continuous characters provides an orthonormal basis of L 2 (Ω(ν)).In particular, every character is continuous, and the measure dynamical system (Ω(ν), α) has pure point dynamical spectrum.(iii) The measure ν has a unique autocorrelation γ.Its Fourier transform, the diffraction measure γ ∈ M ∞ ( G), is pure point and given by γ = λ∈ Ω(ν) where the constants a λ• are given by Proof.(i) Let m be any G-invariant probability measure on the hull Ω(ν).Let f ∈ C(Ω(ν)) be arbitrary.Then we have for every t ∈ G the equalities as m is G-invariant.Since (G) is dense in Ω(ν) and f is continuous on Ω(ν), we have for every σ ∈ Ω(ν).Thus m is a Haar measure.Since m is a probability measure, m is unique.This implies that Ω(ν) is minimal, see e.g.[71, Thm.6.17].Here is a direct argument: Assume ω = lim ι α tι ν ∈ Ω(ν).
(iii) This is an application of the diffraction formula Eqn. ( 5) in Section 3.3.
If G is σ-compact, then both the autocorrelation and the diffraction measure can be computed via the usual limiting procedure.(i) The autocorrelation measure ω| Bn * ω| Bn exists as a vague limit for all ω ∈ Ω(ν), and the limit γ ∈ M ∞ (G) is independent of the choice of ω ∈ Ω(ν).The autocorrelation is a positive definite strongly almost periodic measure and hence Fourier transformable as a measure.(ii) The diffraction measure γ ∈ M ∞ ( G) is pure point and given by In the above equation, we have and the limit c λ• (ω) has constant modulus, which we abbreviate by Proof.Existence of γ and independence of the choice of ω ∈ Ω(ν) is discussed in Section 3.3.Pure point dynamical spectrum of (Ω(ν), α), which is shown in Theorem 4.2, implies that γ is a pure point measure, see e.g.[63].The explicit expression for the amplitudes follows from Eqn. (4) in Section 3.3.

Cut-and-project schemes and model sets
As a preparation for the following sections, we explain the cut-and-project construction.In the physics community, it has been invented to obtain point sets with unusual symmetries [41] and diffraction [23] such as models of quasicrystals, see e.g.[58] for a recent review.In fact that construction already emerged in Meyer's work [49] within a harmonic analysis context.Meyer's approach was later popularised by Moody.We will adopt his notation [51,52].
A triple (G, H, L) is called a cut-and-project scheme (or simply CPS) if G and H are LCAG and L is a lattice in G × H (i.e., a co-compact discrete subgroup) such that The group H is called the internal space.Given these properties of the projections π G and π H , one can define the so-called star map (•) ⋆ : L −→ H as follows.If x ∈ L, then there is a unique y ∈ H such that (x, y) ∈ L, and we set x ⋆ = y.If we denote the inverse map of (π A CPS gives rise to a dynamical system as follows.Define T := (G×H)/L.Then T is a compact abelian group by assumption on L. Let be the canonical quotient map.There is a canonical continuous group homomorphism ι : The homomorphism ι has dense range as L ⋆ is dense in H.It induces an action β of G on T via The dynamical system (T, β) will play a crucial role in our considerations as it appears in the torus parametrization of the hull associated to (a weighted version of) (W ), see Theorem 7.1 and [46,39].The dynamical system (T, β) is minimal and uniquely ergodic, as ι has dense range.Moreover, it has pure point spectrum.More precisely, the dual group T gives a set of continuous eigenfunctions, which form a complete orthonormal basis by the Peter-Weyl theorem (see [64] and [63] for further details).By Pontryagin duality, the dual group T can be naturally identified with the dual lattice Here we identify λ ∈ T and (χ, η) ∈ L 0 if and only if λ([t, k]) = χ(t)η(k) for all [t, k] ∈ T. For a CPS (G, H, L), the situation simplifies as ( G, H, L 0 ) is also a CPS.As the projection π G | L 0 is one-to-one, we can write and we may thus identify T with L 0 := π G (L 0 ).The potential Bragg peak positions in the diffraction of (W ) are elements of L 0 , compare Theorem 7.1.

Lattice modulations
We now generalize the example of Section 2 to (almost periodic) modulations of lattices in LCAG, see Appendix A for basics about almost periodic functions taking values in a group.We will show that any modulated lattice is a deformed weighted lattice model set, and vice versa that any deformed weighted lattice model set is a modulated lattice.We will further show that the class of modulations of a lattice is stable under modulation.In Section 7 we will show that general deformed weighted model sets are strongly almost periodic.This means, in particular, that any lattice modulation is strongly almost periodic.is called a modulation of L. The functions w, g are called the modulation functions.
(i) We interpret a lattice modulation as a measure.We thus allow for multiplicities, i.e., the above sum may include terms ℓ = ℓ ′ satisfying ℓ + g(ℓ) = ℓ ′ + g(ℓ ′ ).The measure setting also allows to incorporate a weighting of the lattice points.(ii) If the modulation functions are almost periodic, then the resulting lattice modulations are strongly almost periodic.This can be seen from Proposition 6.5 and Theorem 7.1.In order to analyse the converse statement, restrict to G = R and w ≡ 1.In that situation, the converse can be shown to be true if g has sufficiently small range.However the converse may not be true in general, as can be seen from the artificial example g : Z → R given by g(0) = 1, g(1) = −1 and g(n) = 0 otherwise.(iii) As any modulation function is bounded, any modulation is a measure of locally finite support.Some geometric properties of modulated lattices are discussed in [25, Ex. 3.10].
6.1.Lattice modulations and deformations.We argue that modulated lattices are so-called deformed weighted model sets.Within that framework, we have a very good overview of structural properties of the modulated lattice.In fact, any deformed weighted lattice model set is a modulated lattice.Our arguments use the Bohr compactification of the lattice, see Appendix A.
There is a natural choice for a CPS, which has compact internal space: The triple (G, H L , L L ), where H L := L b is the Bohr compactification of L, together with the lattice L L = {(ℓ, i b (ℓ)) : ℓ ∈ L}, where i b : L → L b is the canonical dense embedding.The lattice is the model set whose window is the whole internal space.Lemma 6.3.The above CPS is well-defined.
Proof.We argue that L L is a lattice.It is clear that L L is a group.To show uniform discreteness, take a zero neighborhood U ⊂ G such that L∩U = {0}.
We next explain the notion of deformed weighted model set.Whereas the general definition will be analyzed from Section 7 onward, in this section we will consider the special case that the underlying model set is a lattice.(i) The weighted Dirac comb is both a model set and a group.In that case we speak of a deformed weighted lattice model set.
The following three results show that the class of deformed weighted lattice model sets coincides with the class of lattice modulations.Proposition 6.5.Any lattice modulation is a deformed weighted lattice model set in the CPS of Lemma 6.3.

Proof. Use the Bohr compactification
Remark 6.6.The previous proposition states that any modulated lattice is a deformed weighted model set.As a consequence, any modulated lattice is strongly almost periodic by Theorem 7.1.
The above CPS is, in some sense, a universal CPS scheme for the lattice L. This idea is further elaborated in Section 8.Here we note the following result.Proposition 6.7.Let (G, H, L) be a CPS with compact H and lattice L = π G (L). Then any deformed weighted lattice model set in (G, H, L) is a deformed weighted lattice model set in (G, H L , L L ).
Proof.Let f ∈ C c (H) be the weight function and let p ∈ C(H, G) be the deformation map.Since L = (H), the star map ⋆ : L → H is a continuous homomorphism from L to the compact group H.By the universal property of the Bohr compactification, we may find a continuous group homomorphism ψ : Proof.Assume that the deformed weighted lattice model set has weight function f ∈ C c (H L ) and deformation function p ∈ C(H L , G).Then the deformed weighted lattice model set can be written as We gather the previous results in the following theorem.Theorem 6.9.The class of modulated lattices coincides with the class of deformed weighted lattice model sets.
Remark 6.10.The above general results have been obtained using the Bohr compactification of the lattice.However when analyzing particular examples, one might construct a "minimal" internal space using the modulation function, see the following example.This is in line with the experimental situation, where the number of Miller indices is determined and a torus of appropriate dimension is added to an underlying crystallographic model.This approach has been phrased in terms of model sets in [66,Sec. 3].Example 6.11 (Sine modulated integers revisited).Consider the situation of a Dirac comb ℓ∈L δ ℓ+g(ℓ) , i.e., the modulation function w is constant.We will use the group compactification L g = {T ℓ g † : ℓ ∈ L} of L by g † , where i.e., the modulated lattice is a deformed weighted lattice model set in the CPS (G, L g , L g ).This construction was used for sine modulated integers in Section 2.2.

6.2.
Modulations of modulated lattices.We show that the class of modulations of a lattice is stable under modulation.We first extend the definition of modulation beyond the lattice case.Definition 6.12 (modulated measure).Given ν ∈ M(G), let w ∈ C u (G) and g ∈ C u (G, G) be almost periodic functions.Then the measure ν w,g ∈ M(G), defined by for ϕ ∈ C c (G), is called a modulation of ν.The functions w, g are called the modulation functions.Remark 6.13.The above indeed extends Definition 6.1 of a modulated lattice.The domain of the modulation functions is chosen to be the group G. Almost periodicity is inherited by passing to subgroups, compare Lemma A.4. Proposition 6.14 (lattice modulations are modulation stable).Let δ w,g L be a modulation of L, and let w ′ ∈ C u (G) and g ′ ∈ C u (G, G) be almost periodic functions.Then (δ w,g L ) w ′ ,g ′ is a modulation of L. Proof.Note first that by definition we have The statement follows if g ′′ ∈ C u (L, G), given by g ′′ (ℓ) = g(ℓ) + g ′ (ℓ + g(ℓ)), and w ′′ ∈ C u (L), given by w ′′ (ℓ) = w(ℓ)+w ′ (ℓ+w(ℓ)), are almost periodic on L. We show this for g ′′ , the argument for w ′′ is analogous.
Using the notation of Lemma A.3, we have

Deformed weighted model sets
We give a large class of strongly almost periodic measures arising from model sets.In general, Dirac combs of model sets are not strongly almost periodic.However weighted model sets [7] and more general dense Dirac combs [46] are strongly almost periodic.Here we show that also weighted versions of deformed model sets [14,8] are strongly almost periodic.This comprises the weighted model sets with continuous weight functions of [12,46,60,68].Also ideal crystals and their modulations, which are discussed in Section 9, fall into this class.Theorem 7.1.Consider the setting of Definition 6.4 (i).Then the following hold.
(i) The deformed weighted model set ν ∈ M ∞ (G) is strongly almost periodic.(ii) The hull Ω(ν) is a compact abelian group, and the canonical action α is continuous and onto.In particular, (Ω(ν), α) is minimal, uniquely ergodic with continuous eigenfunctions.The unique ergodic measure is the Haar measure on the group, and the set of continuous eigenfunctions is the group dual to Ω(ν).(iii) Consider T = (G × H)/L together with canonical G-action β.The topological dynamical system (Ω(ν), α) is a factor of (T, β) with factor map µ : T → Ω(ν) given by for any ϕ ∈ C c (G).In fact µ is a group homomorphism.(iv) The diffraction measure of any ω ∈ Ω(ν) is given by γ = χ∈L 0 |a χ | 2 δ χ , where Here dens(L) is the inverse measure of a measurable fundamental domain for the lattice L. In the σ-compact case, it coincides with the density of lattice points in G × H.

Remark 7.2. (i)
The continuous map µ : T → Ω(ν) may be called the torus parametrization of Ω(ν).For undeformed weighted model sets, it has previously been used in [46].(ii) Consider (unweighted and undeformed) model set Dirac combs.In that case, continuity of µ fails in general.A torus parametrization is then often defined as a natural continuous map Ω(ν) → T, which is a partial inverse of µ.On the other hand, µ is measurable in that case, which is sufficient in order to infer diffraction properties [39,40].(iii) The proofs of parts (i), (ii), (iii) adapt arguments from [46,Sec. 7].
With more technical effort, the above setting could be extended to comprise deformations of dense Dirac combs [46].(iv) The formula for the diffraction measure in (iv) shows that, in comparison to the undeformed model set, the potential Bragg peak positions are unchanged, but their amplitudes are altered.In the Euclidean setting, the above result has been obtained in [14], by calculating the autocorrelation of the deformed weighted model set and its transform using Eqn.(4).We will give a proof based on almost periodicity and dynamical systems, which uses Eqn.(5).
(v) If there are no extinctions (i.e., zero amplitudes at potential Bragg peak positions), then the result discussed in (iv) says that both hulls are spectrally isomorphic.In that case both hulls are also measuretheoretically isomorphic, by the Halmos-von Neumann theorem (see e.g.[71] for the case of Z-actions).Hence dynamical concepts stronger than measure-theoretic isomorphism are needed in order to distinguish the different types of diffraction.(vi) The statements in (iii) and (iv) are also proved in [8,Thm. 6] and in [45,Sec. 7.1] by a different method.Diffraction calculations for deformed (unweighted) model sets also appear in [14,8].In particular, there are explicit calculations for the Fibonacci chain [14, Sec.5] and the silver mean chain [8, Sec.7].
Proof.(i) We show that ν is strongly almost periodic.This implies translation boundedness, compare Section 4. Consider any ϕ ∈ C c (G).Note first that for any y ∈ G and for any t ∈ L we have by a standard estimate Now take any compact zero neighborhood U in H and restrict to t ∈ L such that t ⋆ ∈ U , i.e., restrict to t ∈ (U ).Then we may have non-vanishing summands only if ℓ ⋆ ∈ supp(f )∪(supp(f )+U ) =: W , which is a compact set.
In addition to the previous condition, we may have non-vanishing summands only if ℓ ∈ y − p(W ) − supp(ϕ) =: y + K, which is a compact set.Hence the above sum may be restricted without loss of generality to ℓ ∈ (W )∩(y+K), which is a finite set.Using the triangle inequality and standard estimates, we thus get for any t ∈ (U ) the estimate Now consider the first sum in the above estimate.As (W ) is uniformly discrete, the number of terms in the sum is bounded uniformly in y ∈ G.
As f is uniformly continuous, this implies that the first sum gets arbitrarily small if t ⋆ approaches zero, uniformly in y ∈ G.We can argue similarly for the second sum, using that ϕ is uniformly continuous and that p is uniformly continuous when restricted to the compact set W . Hence if arbitrary ε > 0 is given, we find a zero neighborhood V ⊂ U such that for all y ∈ G and for every t ∈ (V ).As (V ) is relatively dense and as ϕ was arbitrary, this shows that ν is strongly almost periodic.
(ii) This follows from (i) and Theorem 4.2.
(iii) We first show that µ : T → Ω(ν) is well-defined and continuous.Consider the map µ ′ (s, k) As µ ′ is L-invariant, the map µ is well-defined.The map µ ′ is continuous: we have s ι → s and k ι → k as the canonical projections are continuous.We As the factor map is continuous, this implies continuity of µ.Choose a compact neighborhood Using the triangle inequality and standard estimates, we obtain for ι > ι 0 the estimate As the above sums are finite, the rhs tends to zero with increasing ι as f , ϕ and p are continuous.This shows continuity of µ ′ and of µ, as the projection map is continuous.By definition, we have α t (µ([s, k])) = µ(β t ([s, k])) for every t ∈ G and every (s, k) ∈ G × H.In particular we have By minimality of T, continuity of µ and compactness of T we thus have We have shown that µ : T → Ω(ν) is continuous, onto and commutes with the translation action.Hence µ is a factor map. Let the group homomorphism  : G −→ Ω(ν), t → α t ν be given by Lemma 4.1.Then Eqn.(6) gives that (t) = α t ν = µ(ι(t)).Using Lemma 4.1, we thus have for all t ∈ G and x ∈ T. Thus µ is a group homomorphism by minimality.

Modulations of deformed weighted model sets
In this section, we will prove that any modulation of a deformed weighted model set is a deformed weighted model set.We will also prove that, in Euclidean space, the class of deformed weighted model sets coincides with the class of modulated weighted model sets.
8.1.An extended CPS for modulations.Let (G, H 0 , L 0 ) be any CPS.The Bohr compactification of G can be used to expand the internal space H 0 .In the resulting CPS (G, H, L), the lattice projects injectively to H. We will use that scheme in order to describe modulations of a deformed weighted model set.Now let (W 0 ) be a weak model set in (G, H 0 , L 0 ).Note that W = W 0 × G b is relatively compact and that We can now use the rhs of the above equation to define p ′ ∈ C(H, G) by p ′ (y) = p(y) + g b (π G b (y) + i b (p(y))).Similarly, we choose w b ∈ C(G b ) such that w = w b • i b , and we get 8.3.Modulations and deformations.Specializing Theorem 8.2 to the case p ≡ 0, we get that modulations of weighted model sets are deformed weighted model sets.
for all ℓ ∈ (W ) where W = supp(f ).In particular, any deformed weighted model set in (G, H, L) is a modulation of a weighted model set in (G, H, L).
Proof.We construct g by exploiting the R-vector space structure of R d .We may assume without loss of generality that p : H → G is constant 0 outside a precompact neighborhood W 0 of W . Indeed, pick some h ∈ C c (H) such that h ≡ 1 on W , and define p ′ : H → G via p ′ (y) = h(y) • p(y).Then p vanishes outside the precompact set W 0 = {y ∈ H : h(y) = 0}, and we can replace p by p ′ .In particular, p can be assumed to be uniformly continuous without loss of generality.
Next, take any zero precompact neighborhood V 0 ⊂ H and take any zero neighborhood U 0 in G such that the regular model set (W 0 + V 0 ) is U 0uniformly discrete.This is possible as W 0 + V 0 is precompact, and hence (W 0 + V 0 ) is uniformly discrete.Finally, choose ϕ ∈ C c (G) such that ϕ( 0) = 1, 0 ≤ ϕ ≤ 1 and supp(ϕ) ⊂ U 0 and define g : G → G by For given x ∈ G, the above sum consists of at most one non-zero term.By definition g is uniformly continuous, and we have g(ℓ) = p(ℓ ⋆ ) for all ℓ ∈ (W ).Also note that g(x) = 0 if x / ∈ (W 0 ) + U 0 as p(y) = 0 for all y / ∈ W 0 .We show that g is almost periodic by showing that its almost periods are relatively dense.Fix arbitrary ε > 0 and choose any symmetric zero neighborhood V ⊂ H such that V ⊂ V 0 and p(y)−p(y ′ ) < ε whenever y − y ′ ∈ V , which is possible due to uniform continuity of p.Here • is any norm on R d .We show that (V ) is a set of ε-almost periods for g, which proves the claim.Fix any t ∈ (V ) and assume first x ∈ (W 0 ) + U 0 .Then x = ℓ + u for some ℓ ∈ (W 0 ) and some u ∈ U 0 .Moreover we have x − t = ℓ − t + u and ℓ − t ∈ (W 0 + V 0 ).Hence we can estimate Similarly, assume x−t ∈ (W 0 )+U 0 .Then x−t = ℓ+u for some ℓ ∈ (W 0 ) and some u ∈ U 0 .Moreover we have x = ℓ + t + u and ℓ + t ∈ (W 0 + V 0 ).Hence we can estimate We are left with the case x / ∈ (W 0 ) + U 0 and The function w can be constructed analogously.In fact, for w the above construction works on general LCAG.
Let us summarize the above two results in the following theorem.Theorem 8.5.Every modulation of a weighted model set is a deformed weighted model set in the extended CPS from Lemma 8.1.In Euclidean space, the class of deformed weighted model sets coincides with the class of modulated weighted model sets.

Ideal crystals and their modulations
Ideal crystals are mathematical models of physical crystals.Given a physical crystal, the fundamental problem of crystallography is reconstructing its period group and a decoration of the fundamental domain from diffraction data.
In this section we will show that ideal crystals and their modulations have a strongly almost periodic Dirac comb.Ideal crystals are model sets having a discrete internal space.We also show that the class of ideal crystals is stable under so-called commensurate modulation.Definition 9.1.A locally finite set is an ideal crystal if its period group is a lattice.9.1.Parametrization.The following characterization of ideal crystal is certainly well-known, see e.g.[3,Prop. 3.1].We provide the short proof for the reader's convenience, as the argument shows how to construct a torus parametrization for the hull of an ideal crystal.Lemma 9.2.Let Λ ⊂ G be locally finite.Then Λ is an ideal crystal if and only if there exist a lattice Γ and a finite set F such that Λ = Γ + F .Therefore Γ ⊂ P ( (W )) ⊂ (W ) − (W ).This shows that P ( (W )) is relatively dense and uniformly discrete, thus a lattice.As (W ) is locally finite, this shows that (W ) is an ideal crystal.
"(ii)" Assume that Λ = Γ+F for some lattice Γ and some non-empty finite set F .Consider the group H = G/Γ equipped with the discrete topology and let L = {(x, x) : x ∈ G}, where x = x + Γ.We claim that (G, H, L) is a CPS.
Let us first prove that the group L is a lattice.The group L is discrete: This shows that L is relatively dense.We have shown that L is a lattice.
It is obvious from the definition of L that π G | L is one-to-one, and that π Consider an ideal crystal Λ = Γ + F = (W ) as in the proof of (ii).Then P (Λ) ⋆ = P W , with P W = {h ∈ H : h + W = W } the period group of the window.As a simple consequence P (Λ) = Γ if and only if the window is aperiodic, i.e., P W = {0}.Hence any ideal crystal can be realized as a model set with aperiodic window.In that case, the torus parametrization of Theorem 7.1 is an isomorphism by [46,Prop. 13.2], which is in line with the results from Section 9.1.Injectivity properties of the torus parametrization in the case of nonzero window periods are discussed in [40].9.3.Modulations and deformations of ideal crystals.As any ideal crystal is a model set, we can consider weighted and deformed variants of it.As the internal space can be chosen to be discrete, the following result is readily inferred from Section 8. Theorem 9.6.Let Λ be an ideal crystal, described as a model set in the extended CPS (G, H, L) from Lemma 8.1.Then any modulation of Λ is a deformed weighted variant of the model set Λ in (G, H, L).In particular, any modulation of Λ is strongly almost periodic.In Euclidean space, the class of modulations of Λ coincides with the class of deformed weighted variants of the model set Λ in (G, H, L).The classes of deformed weighted model sets in (G, H, L) and of modulations of Λ are both modulation stable.
The class of ideal crystals is stable under a restricted class of modulations, which is sometimes called commensurate modulations.A function on G is called fully periodic or crystallographic, if its period group is a lattice in G.
Sec. 33.26-27]. 5Our results are natural extensions from the case of complexvalued functions.In view of our applications, we restrict analysis to uniformly continuous and bounded functions.
A.1.Function space topology.The topology on our function spaces is induced by the uniform structure of uniform convergence.For background about topologies on function spaces, see e.g.Chapters 6 and 7 in [37] or Chapters II, III.3 and X.1 in [17].
Let G, H be LCAG, where H is complete.Consider the set H of all maps from G to H.For each zero neighborhood W ⊂ H define Note that for H = C with its usual topology, the topology on the function space H induced by U coincides with the topology induced by the supremum norm.
A.2. Almost periodic functions.From now on, we restrict to uniformly continuous and bounded functions.In that setting, almost periodicity can be described in three equivalent ways.
For f ∈ C u (G, H) consider its hull G f , i.e., the closure of the translation orbit of f in the topology of uniform convergence.We write where we use the notation (T t f )(x) = f (−t + x) for function translation.We say that f is Bochner almost periodic, if its hull G f is compact.
We say f is Bohr almost periodic, if for every zero neighborhood W ⊂ H the set P W (f ) = {t ∈ G : (T t f, f ) ∈ U W } of W -almost periods of f is relatively dense.Here A ⊂ G is relatively dense in G if there is a compact set K ⊂ G such that A + K = G.
Almost periodicity can also be defined using the Bohr compactification G b of G.This is the dual group of the dual group ( G) d of G, equipped with the discrete topology.See [24,Sec. 4.7] for background.We denote by i b : G → G b the canonical injection map.A proof can be given by properly adapting the arguments from the case H = C, which are given e.g. in [54].As arguments based on the Bohr compactification appear throughout the article, we write out the proof (i) ⇔ (iii) for the reader's convenience, assuming that we have established (i) ⇔ (ii).
Proof.(i) ⇒ (iii): Consider the map T f : G → G f given by t → (T f )(t) = T t f .It is a continuous group homomorphism.As G f is a compact by assumption, we can use the universal property of the Bohr compactification to infer the existence of a continuous group homomorphism (T f Let us consider the evaluation map δ : G f → H, which is defined by δ(g) = g(0) for g ∈ G f .We then have f = δ • T f .The situation is summarized in the following commutative diagram.
Hence the above implies where F ⊂ G is some finite set.

Definition 3 . 1 .
(Ω, α) is called a dynamical system on the translation bounded measures on G (TMDS) if Ω is a compact α-invariant subset of M C,V (G) for some open relatively compact V and C > 0.

Remark 4 . 3 .
and ϕ ∈ C c (G) is any function satisfying G ϕ(t) dt = 1.If ν is a Dirac comb, it is possible to interpret minimality geometrically in terms of the underlying point set.The underlying point set is almost repetitive [25, Thm.3.11].

Corollary 4 . 4 .
Assume that G is σ-compact and fix any van Hove sequence (B n ) n∈N in G. Let ν ∈ M ∞ (G) be strongly almost periodic.Then the following hold.

Definition 6 . 1 (
modulated lattice).Let L be lattice in a LCAG G, and let w : L → C and g : L → G be almost periodic functions.Then the weighted Dirac comb δ w,g L = ℓ∈L w(ℓ) δ ℓ+g(ℓ)

Definition 6 . 4 (
Deformed weighted model set).Let (G, H, L) be any CPS.Let f ∈ C c (H) and p ∈ C(H, G) be weight and deformation functions and let L = π G (L).
and p • i b : L → G is almost periodic by Proposition A.2. Hence ν is a modulation of L with modulation functions w = f • i b and g = p • i b .

Lemma 8 . 1 (
Extended CPS).Let (G, H 0 , L 0 ) be any CPS.Then there exists an extended CPS (G, H, L) where π H | L is one-to-one with the following property: Every {weak, deformed, weighted} model set in (G, H 0 , L 0 ) is a {weak, deformed, weighted} model set in (G, H, L).Proof.Consider the Bohr compactification G b of G together with the completion homomorphism i b the lattice L projects densely to H by definition.Hence (G, H, L) is a CPS.The above formulae can also be used to infer injectivity of π H on L from injectivity of i b .

8. 2 .
Modulations of deformed weighted model sets.The class of deformed weighted model sets is stable under modulations.The argument is analogous to that of Proposition 6.14.Theorem 8.2 (Deformed weighted model sets are modulation stable).Let (G, H, L) be an extended CPS as in the previous subsection.Then any modulation of a deformed weighted model set in (G, H, L) is a deformed weighted model set in (G, H, L).Proof.Consider H ⊂ H ′ = H 0 × G b , where we use the notation of the previous subsection.Write L = π G (L).Let ℓ∈L f (ℓ ⋆ )δ ℓ+p(ℓ ⋆ ) be any deformed weighted model set in (G, H, L), where f ∈ C c (H) and where p ∈ C(H, G).Let w ∈ C u (G) and g ∈ C u (G, G) be almost periodic functions for the modulation.Choose g b ∈ C(G b , G) such that g = g b • i b .We then have for ℓ ∈ L the equality

Corollary 8 . 3 .
Let (G, H 0 , L 0 ) be any CPS, and let (G, H, L) be the extended CPS of Lemma 8.1, where H ⊂ H 0 × G b .Then for any two almost periodic functions w ∈ C u (G) andg ∈ C u (G, G) there exist f ∈ C c (H) and p ∈ C(H, G) such that w(ℓ) = f (ℓ ⋆ ) , g(ℓ) = p(ℓ ⋆ )for all ℓ ∈ π G (L).In particular, any modulation of a weighted model set in(G, H 0 , L 0 ) is a deformed weighted model set in (G, H, L).The following result states that for G = R d the converse also holds.Hence in Euclidean space the class of modulated weighted model sets coincides with the class of deformed weighted model sets.Proposition 8.4.Let (G, H, L) be any CPS for G = R d .Conisder f ∈ C c (H) and p ∈ C(H, G).Then there exist almost periodic functions w ∈ C u (G) and g ∈ C u (G, G) such that
and consider U = {U W : W is a zero neighborhood in H}.The following facts are standard.Lemma A.1.(i)U is a fundamental set of entourages for a uniformity on H. (ii) H is complete with respect to the above uniformity.(iii) The subspaces C(G, H) of continuous functions, C b (G, H) of continuous and bounded functions and C u (G, H) of uniformly continuous and bounded functions are closed in H.

Proposition A. 2 .
Consider f ∈ C u (G, H).Then the following are equivalent.(i)f is Bochner almost periodic.(ii)f is Bohr almost periodic.(iii)There existsf b ∈ C(G b , H) such that f = f b • i b .

δ
Now define fb : G b → H by f b = δ • (T f ) b .Then f = f b • i b .(iii) ⇒ (i): Consider f b ∈ C(G b , H) such that f = f b • i b .Consider any zero neighborhood W ⊂ H and choose some zero neighborhood V ⊂ H such that V ⊂ W .As G b is a compact group, the function f b ∈ C(G b , H) isBohr almost periodic and hence also Bochner almost periodic by (ii) ⇒ (i).For some finite set F b ⊂ G b we thus have

A. 3 . 3 .Lemma A. 4 .
For the second inclusion we used that i b (G) ⊂ G b is dense in G b .As W ⊂ H was an arbitrary zero neighborhood, this shows total boundedness of the hull.As C u (G, H) is complete, this implies compactness of the hull[37, Ch. 6.32].Almost periodic functions on subgroups.Let L be a closed subgroup of an LCAG G, and let H be an LCAG.We discuss the relation between almost periodic functions G → H and L → H.It is advantageous to perform the analysis on the Bohr compactifications L b and G b , since we can then work with continuous functions on compact groups.The natural continuous injection maps lead to the following commutative diagram.The above continuous group homomorphism i b is uniquely defined.It is an embedding of L b into G b .Proof.Consider the following commutative diagram.Here i : G → L denotes the character restriction map, and ( L) d resp.( G) d denote the groups L resp.G equipped with the discrete topology.As L b = ( L) d and G b = ( G) d , dualizing this diagram yields the first part of the claim.We show that i b = i d is one-to-one: Note first that the character restriction map is onto [57, Thm.4.2.14], which follows from Pontryagin duality L ≃ G/L 0 , where L 0 ⊂ G is the annihilator of L, compare [57, Thm.4.2.21].Then i d : ( G) d → ( L) d is a continuous onto group homomorphism.In particular, i d has dense range.Now we get by Pontryagin duality that i b = i d is one-to-one.Using Proposition A.2, we can derive the following two results.Let f ∈ C u (G, H) be an almost periodic function and let L be a closed subgroup of G. Consider the restriction fL of f to L. Then f L ∈ C u (L, H) is almost periodic on L. Proof.The almost periodic f ∈ C u (G, H) can be written as f = F • i G for a unique continuous F : G b → H. Then F L : L b → H, defined by F L = F • i b , is continuous.Then F L • i L : L → H is almost periodic on L and satisfies F L • i L (l) = F • i b • i L (l) = F • i G • i(l) = f (l).We have shown F L • i L = f L , with f L the restriction of f to L.Lemma A.5.Let L be a closed subgroup of G. Consider H = R d and let f L ∈ C u (L, H) be an almost periodic function.Then there exists an almost periodic extension f ∈ C u (G, H) of f L to G. Remark A.6.The above extension might not be unique.Proof.The almost periodic function f L ∈ C u (L, H) can be written as f L = F L • i L for a unique continuous function F L : L b → H. Consider A = i b (L b ) ⊂ G b .We can define a continuous function F A : A → H by F A (g) = F L (l), where l ∈ L b is uniquely determined by i b (l) = g, as i b : L b → A is a homeomorphism, compare Lemma A.3.As A is closed, we can invoke Tietze's extension theorem [22, Thm.A.8.3] on each component of F A to infer that F A admits a continuous extension F : Gb → H. Hence f ∈ C u (G, H) defined by f = F • i G is an almost periodic extension of f L to G.acknowledgments.J.-Y. Lee would like to thank to Hyeong-Chai Jeong for motivating this work.J.-Y. Lee was supported by NRF grant No. 2019R1I1A3A01060365.N. Strungaru was supported by NSERC with grants 03762-2014 and 2020-00038, and he is grateful for the support.We thank the referees for very detailed suggestions for improvement.
1 π H dense We fix Haar measures m G on G and m H on H.We then denote by dens(L) the inverse Haar measure of a measurable fundamental domain for L. If G × H is σ-compact, it equals the density of lattice points in G × H.Given a CPS, we can associate to any W ⊂ H, called the window, the set (W ) := {x ∈ L : x ⋆ ∈ W } .If W is relatively compact, then (W ) is called a weak model set.Any weak model set is uniformly discrete.If in addition W = ∅, then (W ) is called a model set.Any model set is a Delone set, i.e., it is uniformly discrete and relatively dense.