Aperiodic order and spherical diffraction, II: Translation bounded measures on homogeneous spaces

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 symmetric space can be identified with a (typically non-tempered) positive-definite distribution on $\mathbb R^n$. This paves the way for a diffraction theory for such model sets, which will be discussed in the sequel to the present article.


General themes of this article
The study of aperiodic Delone sets in R n and more general locally compact abelian groups is a classical topic in harmonic analysis (see [3] for an extensive reference list). A particular interesting class of such Delone sets are model sets as introduced by Meyer in his pioneering work [24]. In the first part of this series of articles [7] we have studied model sets in the wider setting of -typicall non-abelian -locally compact second-countable (lcsc) groups and developed a theory of auto-correlation for such model sets (and more generally, for so-called Delone sets of finite local complexity in locally compact groups).
In this second part we study Delone sets, i.e. uniformly discrete and relatively dense subsets, in arbitrary lcsc homogeneous metric spaces. Here a locally compact metric space is called homogeneous if its isometry group G acts transitively on X . Examples of such spaces exist in abundance; we will consider in particular Euclidean spaces, hyperbolic spaces, Riemannian symmetric spaces, vertex sets of regular trees and Bruhat-Tits buildings and locally compact second countable (lcsc) groups themselves with an invariant metric.
Any locally compact homogeneous metric space is of the form X = K\G for a compact subgroup K < G and we will show that every Delone set in X is the orbit of a Delone set in G as defined in [6]. In particular, we can define a model set in X as the orbit of a model set in G, and these are the main protagonists of the current article. While the case of Euclidean space (seen as homogeneous space under the group of Euclidean motions, [2]) and abelian locally compact groups [3] have been studied before, this seems to be the first systematic investigation of auto-correlation of Delone sets in general lcsc homogeneous metric spaces.
The bulk of this article is devoted to transferring the theory of auto-correlation developed in [7] from model sets in lcsc groups to model sets (and more general translation bounded measures) in arbitrary lcsc homogeneous metric spaces.
While our results apply in large generality, this introduction will focus on the simple special case of Delone sets in the hyperbolic plane, for which we can state some of our results in a particularly nice form. In particular we are going to explain how a model set in the hyperbolic plane gives rise to an evenly positive-definite (generally non-tempered) distribution on the real line. The complex Fourier transform of this distribution will be the subject of the third paper in this series [8], where it will be established that it is a pure point Radon measure if the model set is uniform. The natural context of this result is the theory of spherical diffraction alluded to in the title of this series of articles. The Poincaré disc model of the hyperbolic plane is given by the unit disc D ⊂ C with the metric d(z 1 , z 2 ) := 2 artanh |z 1 − z 2 | |1 − z 1 z 2 | A subset Λ ⊂ D is called a Delone set if it is uniformly discrete and relatively dense, i.e. if there exist constants R > r > 0 such that d(λ 1 , λ 2 ) ≥ r for all λ 1 , λ 2 ∈ Λ with λ 1 = λ 2 and if for every z ∈ D there exists λ ∈ Λ with d(λ, z) ≤ R. It is called periodic if the group Γ := {g ∈ Is(D, d) | g.Λ = Λ} acts cocompactly on D.

Tilings of the hyperbolic plane
If Λ is a Delone set in the hyperbolic plane, then the Voronoi cell of λ ∈ Λ is the convex compact set with piecewise-geodesic boundary given by The Voronoi cells (V λ ) λ∈Λ form a tiling of the hyperbolic plane called the Voronoi tiling of Λ. Figure 1, due to Stefan Witzel, shows a piece of a Voronoi tiling associated with a Delone set in the Poincaré disc. The underlying Delone set is not periodic, but nevertheless enjoys a great deal of structure, analogous to "quasi-crystals" in the Euclidean plane. In fact, in the terminology introduced below, it is a uniform model set in the Poincaré disc.
We remark that the study of such non-periodic tilings in the hyperbolic plane has a long history (see e.g. [25,23,10,5]), but we will see that hyperbolic model sets and their associated tilings have a number of features which are not known to hold in previous examples.

Weighted model sets and unique ergodicity
In the sequel it will be convenient for us to work with the upper half-plane model of the hyperbolic plane as given by with metric d((x 1 , y 1 ), (x 2 , y 2 )) = arcosh 1 + (x 1 − x 2 ) 2 + (y 1 − y 2 ) 2 2y 1 y 2 .
The group SL 2 (R) acts on H 2 by isometries via a b c d .z := az + b cz + d a b c d ∈ SL 2 (R), z ∈ C, Im(z) > 0 , and every orientation-preserving isometry of H 2 arises from a matrix in SL 2 (R) in this way. Moreover, the action SL 2 (R) H 2 is transitive.

Lemma 1.1 (Lifting lemma).
For every Delone set Λ ⊂ H 2 there exists a Delone set Λ in SL 2 (R) whose orbit coincides with Λ, i.e. Λ = { λ.i | λ ∈ Λ}. (1.1) Not every orbit of a Delone set in SL 2 (R) is a Delone set in the hyperbolic plane, but if Γ < SL 2 (R) is a uniform lattice, then the orbit Γ.i of Γ in H 2 defines a periodic Delone set in H.
This is an example of a uniform model set in SL 2 (R), and such model sets have been systemat-and hence η corresponds to a Radon measure on [1, ∞). We now offer several descriptions of this measure. Firstly, we can identify C c (K\G/K) with the convolution algebra C c (G, K) of bi-K-invariant functions on G via pullback along the canonical projection G → K\G/K. From this identification C c (K\G/K) inherits the structure of a * -algebra. Secondly, we can also identify every f ∈ C c (K\G/K) with a radial function f H 2 on the hyperbolic plane. We then obtain the following description of η. Proposition 1.5 (General formula for the auto-correlation measure). The auto-correlation measure η is the unique Radon measure on K\G/K such that for all f ∈ C c (K\G/K), Using results from [7] we obtain the following alternative description. Here, we denote by F ⊂ G × G a fundamental domain for the Γ-action on G × G and by m G a suitably normalized choice of left-Haar measure on G. Moreover, given f ∈ C c (G, K) we denote by K f K ∈ C c (K\G/K) the function given by K f K (K gK) = f (g). Theorem 1.6 (Auto-correlation formula for weighted model sets). The auto-correlation measure η is the unique Radon measure on K\G/K such that for all f ∈ C c (G, K), where F is a fundamental domain for Γ in G × G. Equivalently, η is the unique Radon measure on K\G/K such that for all f ∈ C c (G, K), Finally, denote by (B t ) the ball of radius t around i in the hyperbolic plane, and define F t := {g ∈ G | g.i ∈ B t } ⊂ G. Theorem 1.7 (Sampling formula for the auto-correlation). The auto-correlation measure η is the unique Radon measure on K\G/K such that for all f ∈ C c (G, K) From Proposition 1.5 one sees that the auto-correlation measure is positive-definite on K\G/K in the sense that However, if we consider η as a Radon measure on [1, ∞) ⊂ R via the identification (1.2), then η is not a positive definite Radon measure on R in these coordinates. We can remedy this by applying the so-called Harish transform and obtain an evenly positive-definite distribution on R.
To state the result, we denote by C ∞ c (R) ev ⊂ C ∞ c (R) the subspace of even functions, i.e. functions satisfying f (t) = f (−t). The dual space D(R) ev := C ∞ c (R) * ev can be identified with the subspace of D(R) = C ∞ c (R) * consisting of those distributions which are invariant under the reflection at 0, and hence we refer to elements of D(R) ev as even distributions. A distribution is positive-definite if ξ(ϕ * ϕ * ) ≥ 0 for all ϕ ∈ C ∞ c (R), and we call an even distribution ξ evenly positive-definite if ξ(ϕ * ϕ * ) ≥ 0 for all ϕ ∈ C ∞ c (R) ev . Given ξ ∈ D(R) ev and ϕ ∈ C ∞ (R) ev we write ∞ 0 ϕ(t) dξ(t) := ξ(ϕ). Theorem 1.8 (Auto-correlation as a positive-definite distribution). If η denotes the auto-correlation measure considered as a Radon measure on [1, ∞), then the formula defines an evenly positive-definite distribution ξ ∈ D(R) ev , and for all ψ ∈ C ∞ c ([1, ∞)) we have In particular, η is uniquely determined by ξ.
In view of the theorem we refer to ξ ∈ D(R) as the auto-correlation distribution of (Λ, w). In general, ξ is not a tempered distribution, i.e. it does not extend to a continuous linear functional on the Schwartz space S (R). The reason for this is that, unlike for model sets in the Euclidean plane, the number of elements of a model sets contained in a ball of radius R in the hyperbolic plane grows exponentially (rather than polynomially) in R. While tempered distributions can be studied by their real Fourier transform, to study non-tempered distributions one needs to employ a certain complex Fourier transform. We will see in the sequel article [8], that ξ is uniquely determined by its complex Fourier transform, which we will show to be a pure-point positive Radon measure supported on a certain 1-dimensional subset of C. This should be seen as the analog of pure point diffraction of Euclidean quasi-crystals in the hyperbolic setting.

The general picture
All of the results mentioned this introduction work in much larger generality: The basic theory of auto-correlation measures up to Proposition 1.5 can be developed for translation bounded measures with uniformly locally bounded orbit (in particular, weighted Delone sets of finite local complexity) in an arbitrary locally compact homogeneous metric space. The formula in Theorem 1.6 still works for arbitrary weighted model sets in this very general setting. The approximation formula in Theorem 1.7 is more restrictive. It works for example if G is amenable and (F t ) is a weakly admissible Følner sequence as define in [7]. It also works in many non-amenable situations, for example if G satisfies the conclusion of the Howe-Moore theorem, (G, K) is a Gelfand pair and (F t ) is an arbitrary bi-K-invariant weakly admissible sequence. Notably this covers the case of balls in Riemannian symmetric space, in particular balls in the hyperbolic plane. Theorem 1.8 makes use of an identification between the * -algebra C ∞ c (K\G/K) and the subalgebra of C ∞ c (R) consisting of even functions. This can be extended to semisimple Lie groups: If G is a semisimple Lie group of real rank n with maximal compact subgroup K, then by work of Harish-Chandra the * -algebra C ∞ c (K\G/K) is isomorphic to the subalgebra of C ∞ c (R n ) consisting of functions which are invariant under a certain finite reflection group, the so-called Weyl group of G. In this case, the auto-correlation measure can be identified with a Weyl group invariant positive-definite distribution on R n , and we will investigate complex Fourier transforms of these distributions in the sequel article [8].

Organization of the article
In Section 2 we discuss Delone sets in and translation bounded measures on a general proper lcsc metric space X . We explain how Delone sets in X give rise to translation bounded measures (Proposition 2.6) and how they can be lifted to Delone sets in the isometry group provided X is homogeneous (Corollary 2.13). As special cases we obtain Lemma 1.1 and Proposition 1.2 from the introduction. We conclude by discussing weighted model sets as important examples.
In Section 3 we define the hull dynamical system of a translation bounded measure. Corollary 3.6 yields a compactness result generalizing Proposition 1.3 from the introduction (as well as [4,Thm. 4] in the abelian case). Proposition 3.9 relates hulls of Delone sets (as studied in [7]) to the hull dynamical systems of their Dirac combs and Lemma 3.11 yields naturality of these systems under proper equivariant maps. Together with results from [7] these imply (the general form of) Theorem 1.4 (cf. Corollary 3.12).
Section 4 introduces the auto-correlation measure of a sufficiently nice translation bounded measure (including Dirac combs of weighted model sets). The most general form of Proposition 1.5 is given in Proposition 4.14. We then specialize to the case of weighted model sets and derive the auto-correlation formulas from Theorem 1.6 in Corollary 4.18 and Proposition 4.19.
The final two sections are logically independent. Section 5 discusses the notion of autocorrelation distribution (for SL 2 (R) and more general semisimple Lie groups) and establishes Theorem 1.8. Section 6 establishes a sampling formula like the one in Theorem 1.7 in large generality (Theorem 6.6).
The appendix collects various useful facts concerning convolution structures on double coset spaces, in particular concerning the existence of certain approximate identities.

Notational conventions
Throughout this article G will always denote a unimodular lcsc group G and the letter K is reserved to denote a compact subgroup of G. We denote by m G a fixed choice of Haar measure on G and by m K the Haar probability measure on K. Moreover, we will use the following notations. Remark 1.9 (Notations concerning point sets in groups). Given subsets A, B ⊂ G we denote by AB := {ab | a ∈ A, b ∈ B} the product set of A and B. Similarly, we define A −1 := {a −1 | a ∈ A} and write A n+1 := A A n for iterated product sets. To avoid confusion with Cartesian products of sets we will usually write X ×2 := X × X and X ×(n+1) := X × X ×n for iterated Cartesian products of a set X with itself, except in standard notations like R n or C n . Remark 1.10 (Notations concerning G-spaces). By a G-space we shall mean a lcsc space X together with an action of G on X which is jointly continuous in the sense that the map G × X → X , (g, x) → g.x is continuous. If there exists a metric d on X which defines the topology and is invariant under G in the sense that d(g.x, g.y) = d(x, y) for all g ∈ G and x, y ∈ Ω, then (X , d) is called an isometric G-space. If Ω is a compact G-space (in particular metrizable), then we sometimes call Ω a topological dynamical system (TDS) over G. Remark 1.11 (Notations concerning function spaces). If X is a lcsc space, then we denote by C c (X ), C 0 (X ) and C b (X ) the function spaces of complex-valued compactly supported continuous functions, continuous functions vanishing at infinity and continuous bounded functions respectively.
If (X , ν) is a measure space and f , g ∈ L 2 (X , ν), then we denote by the L 2 -inner product. Contrary to the convention in [7] we will choose all our inner products to be anti-linear in the second variable.
Given a function f : G → C we denote byf ,f and f * respectively the functions on G given bȳ Given f ∈ C c (G) and x, y ∈ G we define L x f (y) := f (x −1 y) and R x f (y) := f (yx).

Remark 1.12 (Notations concerning measures)
. If X is a lcsc space, then we denote by M(X ) = C c (X ) * the Banach space of complex Radon measure on X . We write M b (X ) for the subspace of finite complex measures (i.e. µ ∈ M(X ) with |µ|(X ) < ∞) and M + (X ) for the subset of (positive) Radon measures. Finally, we denote by M + b (X ) the space of bounded Radon measures on X and by Prob(X ) ⊂ M + b (X ) the space of probability measures on X . We identify µ ∈ M(X ) with the corresponding linear functional on C c (X ) and write µ( f ) := X f dµ for f ∈ C c (X ).

Acknowledgement.
The authors acknowledge financial support from the Young Excellence Grant (1142331) at Gothenburg Center of Advanced Studies (GoCas) and Längmanska kulturfonden BA19-1702. The authors are grateful for the hospitality shown to them by the Departments of Mathematics at Technion, Paderborn University, Giessen University and Chalmers University during the time that they worked on this paper. They thank Stephan Elsenhans for help in computing the explicit example in Subsection 1.3 and Stefan Witzel for allowing us to use his beautiful picture of a Vornoi tiling associated with a weighted model set in the hyperbolic plane.

Metrics on proper homogeneous spaces
Recall that G denotes a unimodular lcsc group with Haar measure m G and that K < G denotes a compact subgroup with Haar probability measure m K . We denote by K\G, G/K and K\G/K respectively the quotients of G by the left-action of K, right-action of K and action of K × K respectively and denote by K p : G → K\G, p K : G → G/K and K p K : G → K\G/K the canonical projections. We will always topologize K\G, G/K and K\G/K with the quotient topology with respect to these projections, so that K p and p K are open, closed and proper. While K\G and G/K are homeomorphic, we will prefer to work with the left-quotient K\G. In the sequel we will refer to K\G as a proper homogeneous space of G.

Example.
Recall from the introduction that a metric space (X , d X ) is called homogeneous if its isometry group G := Is(X , d) acts transitively on X . If X is a lcsc space (hence a proper metric space), then G is a lcsc group with respect to the topology of pointwise convergence and for every x 0 ∈ X the stabilizer K := Stab G (x o ) is compact [11,Lemma 5.B.4]. Moreover, by the open mapping theorem, the map K\G → X , K g → g −1 (x o ) is a homeomorphism, hence every proper homogeneous metric space is a proper homogeneous space in our sense.
Our standing assumptions on G imply that there exists a proper, continuous and rightinvariant metric on G which automatically defines the given topology on G (Struble's theorem, see [11, 2.B.4]). We call any such metric right-admissible. By averaging over K we can produce a right-admissible metric on G which is moreover left-K-invariant; we call such a metric (K,G)-admissible.
Given a (K,G)-admissible metric d G , we can define a metric on K\G by setting We refer to this metric as the induced metric on K\G. It is proper, continuous, G-invariant and induces the quotient topology on K\G.
The group G acts on K\G by g.K x := K xg −1 , and if d is a metric on K\G which is induced by a (K,G)-admissible metric, then the action of G on (K\G) is by isometries.
Example. Let (X , d X ) be a proper homogeneous metric space with isometry group G with the topology of pointwise convergence. By [26,Prop. 4.4.6] a right-admissible metric on G is given by for any basepoint x 0 ∈ X . If we set K := Stab G (x 0 ), then this metric is even (K,G)-admissible [26,Prop. 4.4.4], and hence induces a metric d on K\G. Under the canonical identification K\G ∼ = X this metric is given by By definition we have for all g, h ∈ G, Note that if f ∈ G, then since f is an isometry we have Applying this to f := h • g −1 • k −1 and using k −1 (x 0 ) = x 0 and max{2te −t | t ≥ 0} = 2e −1 we obtain We may thus record: Proposition 2.1 (Lifting metrics up to quasi-isometry). If (X , d X ) is a proper homogeneous metric space with isometry group G and point stablizer K, then there exists a metric d on X induced by a (K,G)-admissible metric d G on G such that (2.1)

Weighted Delone sets and translation bounded measures
Definition 2.2 (Terminology concerning weighted point sets). Let (X , d) be a lcsc metric space and let Λ ⊂ X be a subset.
(1) Λ is called discrete if every subset of Λ is open in Λ with respect to the subspace topology, and locally finite if it is closed and discrete, or equivalently the intersection with every pre-compact subset of X is finite. (2) Λ is called r-uniformly discrete for some r > 0 if for all x, y ∈ X with x = y we have d(x, y) > r. It is called R-relatively dense for some R > 0 if its R-neighbourhood N R (Λ) in X coincides with X . It is called a (r, R)-Delone set if it is r-uniformly discrete and R-relatively dense for some R > r > 0. These notions depend on the choice of metric d. Any uniformly discrete set is locally finite. (3) We denote by LF(X ) the collection of all locally finite subsets of X , by U r (X ) the collection of all r-uniformly-discrete subsets of X , and by Del r,R (X ) the collection of all (r, R)-Delone subsets. (4) A subset A ⊂ LF(X ) is called uniformly locally finite if for every pre-compact subset K ⊂ X there exists a constant C(K) such that |Λ ∩ K| ≤ C(K) for all Λ ∈ A . (5) If Λ ⊂ X is a locally finite set, then we refer to a bounded function w : Λ → C as a weight function and to (Λ, w) as a weighted point set. It is called uniformly discrete or Delone if the underlying set Λ is.

Remark 2.3 (Weighted point sets as measures)
. If (X , d) is a lcsc metric space, then every Λ ∈ LF(X ) defines a Radon measure δ Λ on X , called the associated Dirac comb, by the formula Since Λ ∩ supp( f ) is finite for every f ∈ C c (X ), this is well-defined. For Λ = we have δ = 0 by convention. Similarly, if (Λ, w) is a weighted point set, then we may define In the sequel we will thus often think of locally finite sets as Radon measures via the embedding and similarly for weighted point sets.
Dirac combs of (weighted) uniformly discrete point sets in isometric G-spaces have additional properties such as the following (cf. [4]): Definition 2.4 (Translation bounded measures). Let X be a lcsc G-space. A complex Radon measure µ ∈ M(X ) is called translation bounded with respect to G (or G-bounded for short) if for every compact L ⊂ X we have sup g∈G |µ(gL)| < ∞.
We denote the space of G-bounded measures on X by T b (G X ).

Remark 2.5 (Translation bounded measures and uniformly locally finite orbits)
. If X is a Gspace and Λ ⊂ X is a locally finite subset, then δ Λ is G-bounded if and only if for every compact subset K ⊂ X we have sup g∈G |Λ ∩ gK| < ∞. This means precisely that the orbit G.Λ of Λ is uniformly locally finite.
Proposition 2.6 (Uniformly discrete subsets and translation bounded measures). Let (Λ, w) be a uniformly discrete weighted point set in an isometric lcsc G-space (X , d). Then δ (Λ,w) is G-bounded. In particular, if Λ is uniformly discrete, then its orbit is uniformly locally finite.
Proof. We fix a basepoint o ∈ X . Given an r-uniformly discrete set Λ and R > 0 we choose x 1 , . . . , x n ∈ X such that B R (o) is covered by the balls B r/2 (x i ). Then for every g ∈ G we have and since every ball of radius r/2 contains at most one element of The converse implication is not true, even for X = G and the constant weight 1. A counterexample is given by the subset Λ := Z ∪ {n + 1 n | n ∈ Z{0}} of R, which is not uniformly discrete, but whose R-orbit is uniformly locally finite and whose Dirac comb is therefore R-bounded.

Weighted Delone sets in groups and proper homogeneous spaces
Remark 2.7 (Delone sets in groups). As explained in [6], all right-admissible metrics on G define the same notion of uniformly discrete, respectively relatively dense subsets, and we refer to such subsets simply as uniformly discrete, respectively relatively dense subsets of G. Explicitly, Λ ⊂ G is uniformly discrete if e is not an accumulation point of ΛΛ −1 and relatively dense if LΛ = G for some compact subset L ⊂ G. In particular, Λ ⊂ G is uniformly discrete if ΛΛ −1 is locally finite, in which case Λ is said to have (right-)finite local complexity (FLC).
The following analogous result holds in the case of proper homogeneous spaces: Lemma 2.8 (Metric independence of Delone sets). Let Λ ⊂ K\G, denote by K p : G → K\G the canonical projection, set Ξ := K p −1 (Λ) and let d G be (K,G)-admissible with induced metric d.
(i) Λ is relatively dense with respect to d iff Ξ is relatively dense in G.
(ii) Λ is uniformly discrete with respect to d iff there exists an identity neighbourhood U in G such that ΞΞ −1 ∩U K ⊂ K. In particular, these notions are independent of the choice of d.
In view of the lemma we will refer to a uniformly discrete, relative dense or Delone set in K\G with respect to some (hence any) metric d induced from a (K,G)-admissible metric simply as a uniformly discrete, relative dense or Delone set in K\G. The lemma motivates the following definition: In this terminology a subset Ξ ⊂ G is uniformly discrete iff it is {e}-uniformly discrete. Note that in general a K-uniformly discrete set need not be uniformly discrete.
(ii) ⇒ (iii) Let ∆ ⊂ Ξ be a subset, which intersects each K p-fiber of Ξ in a single point and fix a right-admissible metric d G on G. If Ξ is R-relatively dense for some R > 0 with respect to d G , then ∆ is (R +diam(K))-relatively dense, and ∆ is K-uniformly discrete as a subset of Ξ. Finally, it is relatively dense, and hence Λ is relatively dense by Lemma 2.8. If λ 1 and λ 2 are two distinct points in Λ with respective pre-images δ 1 and δ 2 in Remark 2.11. From Proposition 2.10 one deduces the following: (1) Every projection of a K-uniformly discrete Delone set is again Delone.
(2) Every Delone set in K\G is a projection of a Delone set in G. By analogy, we will say that a subset of K\G has FLC if it is the projection of an FLC set in G. (3) The proof of Lemma 2.8 shows that Ξ ⊂ G is K-uniformly discrete if and only if for every right-admissible metric dist(ΞΞ −1 \ K, K) > 0. This implies that every FLC set in G is K-uniformly discrete, and hence every FLC set in K\G is uniformly discrete.
We conclude in particular, that if Λ ⊂ G is an FLC Delone set, then K p(Λ) is a Delone set Remark 2.12 (Application to proper homogeneous metric spaces). Let (X , d X ) be a proper homogeneous lcsc metric space with isometry group G and point stabilizer K and let d be a metric as in Proposition 2.1. We claim that a subset Λ ⊂ X is Delone with respect to d X if and only if it is Delone with respect to d. Indeed, that relative denseness carries over is immediate from (2.1), and this inequality also implies that any d X -uniformly discrete subset is d-uniformly discrete with the same constant. Now assume that Λ is r-uniformly discrete with respect to d, but not with respect to d X . Then there exist elements x n = y n in Λ with d X (x n , y n ) ≤ 1 n . Choose g n ∈ G such that g n x n = x 0 ; then d X (x 0 , g n (y n )) ≤ 1 n and thus g n (y n ) → x 0 . Since d is continuous this implies hence for sufficiently large n we have d(x n , y n ) < r, which is a contradiction.
Together with Proposition 2.10 we deduce: Corollary 2.13 (Lifting Delone sets, II). Let (X , d X ) be a lcsc proper metric space. Assume that G < Is(X ) acts transitively on X with point-stabilizer K. Then a subset Λ ⊂ X is Delone if and only if it is the orbit of a K-uniformly discrete Delone set in G.
Remark 2.14 (Push-forwards of point sets and measures). Let K p : G → K\G denote the canonical projection.
(1) We have seen that if Λ ⊂ G is uniformly discrete, then the naive push-forward K p(Λ) need not be uniformly discrete.
(2) On the other hand, since K p is proper, it induces a push-forward map K p * : M(G) → M(K\G), and the push-forward of a translation bounded measure will always be translation bounded, i.e. K p * restricts to a map K p * : M(G) → M(K\G). In this sense translation bounded measures behave better under push-forward than uniformly discrete sets. (3) Let Λ ⊂ G be uniformly discrete. Then the weighted push forward K p * Λ of Λ is the weighted point set ( K p(Λ), w) with weight function given by w(x) = |Λ ∩ K p −1 (x)|. The definition is made in such a way that This implies in paticular that δ K p * Λ is translation bounded, and hence Λ has a a uniformly locally finite G-orbit. (4) If w is a weight function on Λ, then we can similarly define K p * (Λ, w) as the unique weighted point set such that Explicitly, the weight function w of K p * (Λ, w) is given by Note that if Λ ⊂ G is an FLC Delone set, then K p(Λ) is a Delone set, and hence K p * Λ is a weighted Delone set.

Weighted model sets in proper homogeneous spaces
We now discuss the class of examples which motivated the current series of papers. In [7] we introduced the notion of a model set in a lcsc group G. To state the definition, we recall that a discrete subgroup Γ of a lcsc group G is a lattice if Γ\G admits a G-invariant probability measure, and a uniform lattice if Γ\G is moreover compact.

Definition 2.15.
(1) A cut-and-project-scheme is a triple (G, H, Γ) where G and H are lcsc groups and Γ < G × H is a lattice which projects injectively to G and densely to H. A cut-and-project scheme is called uniform if Γ is moreover a uniform lattice.
(2) If (G, H, Γ) is a cut-and-project scheme and p G : G × H → G denotes the projection onto the first coordinate, then for every pre-compact 1 set W ⊂ G the subset Now let Λ ⊂ G be a model set, let K < G be a compact subgroup and K p : G → K\G denote the canonical projection. Then the weighted push-forward K p * Λ is a weighted Delone set of the form ( K p(Λ), w Λ ).
is called a weighted model set in K\G, and w Λ is called its canonical weight function. (π(Λ), w Λ ) is called a regular (respectively uniform) weighted model set, if Λ has the corresponding property.
We emphasize that in our terminology, a weighted model set is not just a weighted Delone set with underlying Delone set K p(Λ). Rather, when we speak of weighted model sets, we always assume that the weight function is the canonical one.

Remark 2.17.
Let Λ be a model set in G and K p * Λ = ( K p(Λ), w). If the weight function w is trivial (i.e. w(x) = 1 for all x ∈ K p(Λ)), then we may identify K p * Λ with the underlying set (1) We equip M(X ) with the weak- * -topology with respect to C c (X ). This topology is secondcountable, since X is, and the action of G on M(X ) is jointly continuous with respect to the weak- * -topology.
there exists a compact set K containing the supports of all of the functions g n .ϕ. If we set C := supµ n (K), then C < ∞ and Since both terms converge to 0 as n → ∞, this shows g n .µ n → g.µ.
(2) The set C (X ) of all closed subsets of X carries a natural compact metrizable topology called the Chabauty-Fell topology. A sequence (P n ) in C (X ) converges to P with respect to this topology if and only if the following two properties hold: (CF1) If (n k ) is an unbounded sequence of natural numbers and p n k ∈ P n k converge to p ∈ X , then p ∈ P.
(CF2) For every p ∈ P there exist elements p n ∈ P n such that p n → p. From this characterization one sees immediately that the G action on C (X ) is jointly continuous with respect to the Chabauty-Fell topology. (3) For every R > r > 0 we have inclusions Del r,R (X ) ⊂ U r (X ) ⊂ LF(X ) ⊂ C (X ) and we denote by τ CF the restrictions of the Chabauty-Fell topology to either of these spaces. (4) We obtain another topology on LF(X ) and its subspaces by pulling back the weak- *topology on M(X ) via the embedding LF(X ) → M(X ) from (2.2). We refer to this topology as the measure topology on LF(X ). The measure topology on weighted point sets is defined accordingly.
Proposition 3.2 (Chabauty-Fell topology vs. measure topology). Let (X , d) be a lcsc metric space. Then for every r > 0 the Chabauty-Fell topology and the measure topology coincide on the subset U r (X ) ⊂ LF(X ) and define a compact metrizable topology on U r (X ).
Explicitly this means that a sequence of r-uniformly discrete sets Λ n converges to Λ in the Chabauty-Fell topology if and only if for every f ∈ C c (X ) we have For the proof we follow roughly the same strategy as in the abelian case, cf. [4,Thm. 4]. We need the following lemma: Lemma 3.3 (Convergence of uniformly discrete sets). Suppose that Λ n → Λ in U r (X ) with respect to the Chabauty-Fell topology. Then for every p ∈ Λ and 0 < ε < r/2 there exists n 0 (p, ε) ∈ N such that for all n ≥ n 0 (p, ε), Proof. If p ∈ Λ, then by (CF2) there exist p n ∈ Λ n with p n → p, hence for every ε > 0 there exists n 0 (p) such that for all n ≥ n 0 we have p n ∈ B ε (p) ∩ Λ n . If ε < r/2, then p n is necessarily unique by the triangle inequality.
Proof of Proposition 3.2. The space (U r (X ), τ CF ) is compact and second countable (see e.g. [6]). It thus suffices to show that the embedding (U r (X ), Thus assume that Λ n → Λ in (U r (X ), τ CF ) and let f ∈ C c (X ). Let K 0 := supp( f ), and let K 1 be a compact set containing a 10r-neighbourhood of K 0 . Note that K 1 ∩ Λ is finite, say (1) , . . . , p (N) }. Now fix ε ∈ (0, r/2] and with the notation of Lemma 3.3 set Then for all n ≥ n 0 we have B ε (p j ) ∩ Λ n = {p ( j) n }. We claim that for all but finitely many n ≥ n 0 we have Indeed, otherwise we would find an unbounded sequence n k and elements p n k ∈ Λ n k ∩ K 0 such that d(p n k , Λ ∩ K 1 ) > ε. Passing to a further subsequence we may assume that p n k converges to some p ∈ X , and then p ∈ Λ by (CF1). Since p is not contained in K 1 , it has distance at least 10r from K 0 . But then at most finitely many of the p n k can be contained in K 0 , which is a contradiction. We deduce that for sufficiently large n we have Since f is uniformly continuous on compacta, we deduce that δ Λ n ( f ) → δ Λ ( f ), which finishes the proof.

The hull of a translation bounded measure
From now on let G be a lcsc group and let (X , d) be an isometric G-space. We fix a basepoint o ∈ X .

Remark 3.4 (C-translation bounded measures). Since every compact subset of
If this holds for a fixed function C : (0, ∞) → (0, ∞), then we say that µ is C-translation bounded (with respect to d and o). Given a function C : where the right-hand side is given the product topology, this amounts to showing that T C (G X ) has compact image under this embedding. If ϕ ∈ C c (X ) and µ ∈ T C (G X ), then and hence the image of T C (G X ) under the embedding is bounded in each coordinate. Moreover, for every µ ∈ M(X ) we have hence the conditions µ(gB R (o)) ≤ C(R) are closed conditions. This shows that T C (G X ) is compact and finishes the proof. Corollary 3.6. If µ ∈ T b (G X ), then the orbit closure Ω µ := G.µ is a compact metrizable space and the action of G on Ω µ is continuous. Definition 3.7 (Hull of a translation-bounded measure). Given µ ∈ T b (G X ), the orbit closure is called the hull of µ, and the TDS G Ω µ is called the associated hull system. Remark 3.8 (Hulls systems of locally finite sets). In [7] we defined the notion of a hull of a locally finite subset of G. More generally, let X be a lcsc G-space and let Λ ∈ LF(X ). Then one defines the hull of Λ as the orbit closure Ω Λ := G.Λ, where the orbit closure is taken with respect to the Chabauty-Fell topology. The associated TDS G Ω Λ is then called the hull system of Λ. Proposition 3.9 (Hulls of uniformly discrete sets vs. hulls of their Dirac combs). Let (X , d) be an lcsc isometric G-space and let Λ ⊂ X be uniformly discrete. Then there is a well-defined G-equivariant homeomorphism Proof. Assume that Λ is r-uniformly discrete. Since X is isometric, every translate gΛ of Λ is also r-uniformly discrete, and since U r (X ) is closed with respect to the Chabauty-Fell topology, we have Ω Λ ⊂ U r (X ). By Proposition 3.2 the map Ω Λ → U r (X ) → M(X ) given by Λ → δ Λ is continuous, and it is evidently G-equivariant. It thus maps the orbit closure of Λ onto the orbit closure of its image. By compactness, the resulting bijection is a homeomorphism.
In this sense, the hull system of a uniformly discrete set can be seen as a special case of the hull system of a translation bounded measure. If (Λ, w) is a weighted point set we define Ω (Λ,w) := Ω δ Λ,w and refer to Ω (Λ,w) as the hull system of (Λ, w).

Remark 3.10 (Punctured hull). Given a translation bounded measure
we observe that it may happen that 0 ∈ Ω µ even if µ = 0. For example, if µ = δ Λ is the Dirac comb of a uniformly discrete set Λ ⊂ G, then this happens if and only if Λ is not relatively dense (see [7]). It is then convenient to remove the G-fixpoint and to consider also the punctured hull Ω × µ := Ω µ \ {0}. By construction, Ω × µ is a lcsc space, and if 0 ∈ Ω µ , then Ω µ is its one-pointcompactification.
Lemma 3.11 (Naturality of the hull under push-forward). Let X , Y be lcsc G-spaces, let µ ∈ T b (G X ) and let p : X → Y be a proper continuous G-equivariant map. Then p induces continuous G-factor maps p * : Ω µ → Ω p * µ , µ → p * µ and p * : Proof. As in Remark 2.14 one observes that p induces a continuous G-equivariant push-forward map p * : , since it is proper. It thus maps the orbit closure of µ surjectively onto the orbit closure of p * µ. This proves the first statement, and the second statement then follows from the fact that 0 is the only pre-image of 0 under p * .
As an application we can extend properties of hulls of model sets in lcsc groups from [7] to hulls of weighted model sets in proper homogeneous spaces. We remind the reader that by a weighted model set we always mean a projection of a model set together with its canonical weight function (cf. Definition 2.16). We also recall from Convention 2.18 that all weighted model sets are implicitly assumed to be regular. Proof. Let Λ ⊂ G be a model set and consider K p * Λ = ( K p(Λ), w) in K\G. By Lemma 3.11 we have a continuous G-factor map K p * : Ω × Λ → Ω × K p * Λ . Let µ be a probability measure on G which is absolutely continuous with respect to Haar measure and whose support generates G as a semigroup. It was established in [7,Thm. 3.4] that there exists a unique µ-stationary probability measure ν on Ω Λ , which is moreover G-invariant. In particular, K p * ν defines a Ginvariant probability measure on Ω × K p * Λ . Now if ν is any G-invariant probability measure on Ω × K p * Λ , then its fiber { ν ∈ Prob(Ω Λ ) | K p * ν = ν } is a compact convex G-invariant set, hence contains a fixpoint under the convolution action by µ. By uniqueness, this fixpoint must coincide with ν, and hence ν = K p * ν, showing that Ω × K p * Λ is uniquely ergodic. If Λ is uniform, then Ω × Λ is minimal by [7,Prop. 3.3], and this property descends to the continuous factor Ω × K p * Λ . Remark 3.13 (Invariant measure on the hull of a weighted model set). We record for later reference that the unique G-invariant probability measure on Ω × K p * Λ is the push-forward of the unique G-invariant probability measure on Ω Λ under the map K p * .

Uniform local boundedness of the hull
In the next section we are going to define a periodization map for the hull of a translationbounded measure. Continuity of this map will depend on a property of the hull called uniform local boundedness, which we investigate in the present subsection.
Recall from Remark 2.2 that, given a lcsc space X , a subset Ω ⊂ LF(X ) is called d uniformly locally finite, if for every pre-compact subset K ⊂ X there exists a constant C K > 0 such that |Λ∩K| ≤ C K for all Λ ∈ Ω. Similarly, a subset A ⊂ M(X ) will be called uniformly locally bounded if for every pre-compact subset K ⊂ G there exists a constant C K > 0 such that µ(K) ≤ C K for all µ ∈ A . Here we are interested in conditions on translation bounded measures which guarantee uniform local boundedness of the hull.
We first consider the situation for point sets Λ in an isometric lcsc G-space (X , d). By Proposition 2.6, uniform discreteness of Λ is enough to ensure uniform local finiteness of the orbit G.Λ, but it is not enough to ensure uniform local finiteness of the orbit closure Ω Λ . In the case where X = G, the latter is implied by finite local complexity: Proposition 3.14 (Uniform local finiteness of FLC hulls). Let G be a lcsc group and Λ ⊂ G be an FLC set. Then the hull Ω Λ is uniformly locally finite, and more generally the hull Ω (Λ,w) is uniformly locally bounded for every weight function w : Λ → [0, ∞).
The proof of the proposition makes use of the following lemma from [6]. Since we worked with left-FLC rather than right-FLC sets there, we repeat the short proof: Lemma 3.15. Let G be a lcsc group and let Λ ⊂ G be a locally finite subset. Then for all Λ ∈ Ω Λ we have Λ (Λ ) −1 ⊂ ΛΛ −1 .
Proof. If Λ ∈ Ω Λ then there exist g n ∈ G such that Λg −1 n → Λ . By (CF2) we thus find for every p, q ∈ Λ sequences (p n ) (q n ) in Λ such that p n g −1 n → p and q n g −1 n → q. By continuity of multiplication and inversion in G we obtain p n q −1 n → pq −1 and thus Λ (Λ ) −1 ⊂ ΛΛ −1 . We will apply this in the following form: . Proof. Since ΛΛ −1 is locally finite, there exists an open identity neighbourhood V such that ΛΛ −1 ∩ V = {e}. Since ΛΛ −1 is closed, Lemma 3.15 then shows that Λ (Λ ) −1 ∩ V = {e} for all Λ ∈ Ω Λ . Now let U ⊂ G be an open identity neighbourhood with UU −1 ⊂ V . Given g ∈ G and Λ ∈ Ω Λ we either have Λ ∩ U g −1 = or there exist p ∈ Λ and u ∈ U such that p = u g −1 , i.e. g = p −1 u. In the latter case we have hence |Λ ∩U g −1 | ≤ 1 in either case.
Proof of Proposition 3.14. Let K ⊂ G be pre-compact. Choose U as in Lemma 3.16 and cover K by finitely many translates of U, say K ⊂ U g −1 1 ∪ · · · ∪ U g −1 N . Then by the lemma we have for every (Λ , w ) ∈ Ω Λ,w , and this bound is independent of (Λ , w ).
In particular, Proposition 3.14 implies that the hull of every model set is uniformly locally finite. To extend this result to weighted model sets we are going to use: Proposition 3.17. Let X , Y be lcsc G-spaces, let µ ∈ T b (G X ) and let p : X → Y be a proper continuous G-equivariant map. If µ has a uniformly locally bounded hull, then also p * µ has a uniformly locally bounded hull.
Since by Lemma 3.11 the map p * : Ω µ → Ω p * µ is onto, the proposition follows.
Applying this to the canonical projection K p : G → K\G and using Proposition 3.14 we have arrived at the following result: Corollary 3.18 (Hulls of weighted model sets are uniformly locally bounded). If Λ ⊂ G is an FLC set and w is an arbitrary weight function on Λ, then the hull Ω K p * (Λ,w) is uniformly locally bounded. In particular, the hull of every weighted model set is uniformly locally bounded.

The periodization map
Let X be a lcsc G-space. The following construction generalizes the periodization map of a locally finite set in G as introduced in [6] to the case of a translation bounded measure in X . (i) For every f ∈ C c (X ) the function Proof. The map P µ f is just the restriction of the evaluation map M(X ) → C, µ → µ ( f ), which is well-defined and continuous by definition of the weak- * -topology. This shows (i), and (ii) and (iii) are immediate from the definitions. Continuity of the periodization map depends on uniform local boundedness of the hull: We equip C c (X ) with the direct limit topology where L runs through all compact subsets of X . Then continuity of the periodization map P µ with respect to this topology means that for every compact subset L ⊂ X there exists (4.1)

Proposition 4.3 (Continuity of the periodization map). Let
If Ω µ is uniformly locally bounded, then the periodization map P µ : C c (X ) → C(Ω µ ) is continuous with respect to the Frechét topology on C c (X ).
Proof. Let L ⊂ X be compact. Since Ω µ is uniformly locally bounded there exists C L > 0 such that for all µ ∈ Ω µ we have µ (L) < C L . But then for all f ∈ C c (G) with supp( f ) ⊂ L we have This shows that P µ is continuous and finishes the proof.

Remark 4.4 (Conditions ensuring continuity of the periodization map). The periodization map is continuous in each of the following cases:
(i) X = G (with the action given by g.x := xg −1 ) and µ = δ Γ , where Γ < G is a discrete subgroup. For this case it was established in [9] that Ω × Γ = Γ\G, and the periodization map P Γ : C c (G) → C 0 (Γ\G) is given by the classical formula (ii) X = G (with the action given by g.x := xg −1 ) and µ = δ Λ , where Λ is a (right-)FLC set in G. In this case, under the canonical identification of Ω × µ with Ω Λ , the periodization map is given by the formula Up to the issue of left-vs. right-action, this is precisely our definition of the periodization map from [6,7], hence the current definition is compatible with our previous one in this case. (iii) X = G and µ = δ (Λ,w) , where (Λ, w) is a weighted FLC set in G (cf. Proposition 3.14). (iv) X = K\G is a proper G-space and Λ is an FLC set in X and w an arbitrary (bounded) weight function (cf. Corollary 3.18).
In particular, we have a continuous periodization map both for model sets in a lcsc group G (as already defined in [7]) and weighted model sets in proper homgeoneous G-space. These are the two classes of examples in which we are most interested in the current article.
(iii) The algebra generated by the constant function 1 and the image of the periodization map is dense in C(Ω µ ). (iv) The algebra generated by the image of the periodization map is dense in C 0 (Ω × µ ). Proof. (i) and (ii) follow from the fact that a complex Radon measure is uniquely determined by the associated integral. From (ii) we deduce that if ν 1 , ν 2 ∈ Ω µ are distinct, then there exists f ∈ C c (X ) such that P µ f (ν 1 ) = P µ f (ν 2 ), and hence Thus the algebra generated by 1 and the image of the periodization map separates points in Ω µ , hence is dense in C(Ω µ ) by the Stone-Weierstrass theorem. This shows (iii), and (iv) follows from (iii).

Functoriality of periodization
Remark 4.6 (Functoriality for measures). Let X , Y be lcsc G-spaces, let p : X → Y be a proper continuous G-equivariant map and let µ ∈ T b (G X ). Then for all f ∈ C c (Y ) and g ∈ G we have and hence the following diagram commutes: Most notably, this applies to the case, where X = G and Y = K\G is a proper homogeneous G-space, and we will apply this in the case of (weighted) model sets below.
Caveat 4.7 (Failure of functoriality for point sets). If, in the situation of the previous remark, Λ is a uniformly discrete subset of X and p(Λ) is the naive push-forward of Λ to Y, then the following diagram need not commute: In this sense, the only "natural" push-forward of an FLC set Λ ⊂ G to K\G via the canonical projection K p : G → K\G is the weighted push-forward K p * Λ, whereas the naive push-forward K p(Λ) is not natural. This lack of functoriality for the naive push-forward is what led us to consider translation bounded measures on, rather than point sets in, K\G.

Correlation measures and the auto-correlation
Throughout this subsection let X be a lcsc G-space and µ ∈ T b (G X ) be a translation bounded measure with uniformly locally bounded punctured hull Ω × µ . Note that if ν ∈ M(Ω × µ ), then for every n ∈ N the linear functional on C c (X ) ⊗ · · · ⊗ C c (X ) ⊂ C c (X ×n ) given by is continuous by Proposition 4.3. It is thus given by integration against a Radon measure on X ×n , and we define: Definition 4.8. Given n ∈ N the measure η (n) ν ∈ M(X ×n ) given by is called the nth correlation measure of ν.
It is an interesting question whether finitely many correlation measures are enough to determine an arbitrary (i.e. not necessarily G-invariant) probability measure on Ω × µ , but we will not pursue this here. Rather we focus on the case of a G-invariant Radon measure ν on Ω × µ . The following observation is immediate from G-equivariance of the periodization map:

Proposition 4.10 (Correlations of invariant measures are invariant). If ν is a G-invariant
Radon measure on Ω × µ , then for every n ∈ N the correlation measure η (n) ν ∈ M(X ×n ) is G-invariant.
As explained in Lemma A.7 in the appendix, under suitable assumptions on X and G a Ginvariant measure on X ×n corresponds to a measure on the quotient G\X ×n . Specifically for the second correlation measure we obtain: Corollary 4.11 (Auto-correlation measure). Let G be a unimodular lcsc group, X be a G-space such that X × X is strongly proper as a G-space, and let µ ∈ T b (G X ) be a translation bounded measure with uniformly locally bounded hull. Then for every G-invariant Radon measure ν on Ω × µ there exists a unique Radon measure η ∈ M(G\(X × X )) such that for all f ∈ C c (X × X ), 1 , x 2 )).

Definition 4.12.
In the situation of Corollary 4.11 the measure η ∈ M(G\(X × X )) is called the auto-correlation measure of the measure ν.
Higher auto-correlation measures can be defined similarly, but we will not consider them in the current article.

Auto-correlation measures in the case of proper homogeneous G-spaces
In this subsection we specialize to the case of a proper homogeneous G-space X = K\G. We denote by K p : G → K\G and K p K : G → K\G/K the canonical projections. Moreover, µ denotes a translation bounded measure on X := K\G with uniformly locally bounded punctured hull Ω × µ and ν denotes a G-invariant probability measure on Ω × µ . We are interested in describing the auto-correlation measure η of ν more explicitly.
We first consider the group case, where K = {e} and X = G with the G-action given by g.x := xg −1 . In this case, the quotient space G\(G × G) can be identified with G via the map (g 1 , g 2 ) → g 1 g −1 2 and hence we obtain an isomorphism M + (G\(G × G)) → M + (G). In particular, we can consider the auto-correlation measure as a Radon measure on G itself. In the case where µ was a Dirac comb of an FLC set, this measure was described in [7], and the result carries over to our setting at hand as follows: Proposition 4.13 (Autocorrelation formula, group case). Let µ ∈ T b (G G) be a translation bounded measure with uniformly locally bounded hull under the right-action of G on itself and let ν be a G-invariant probability measure on Ω × µ . Then the auto-correlation measure η ∈ M + (G) is the unique Radon measure such that Proof. Let f ∈ C c (G). On the one hand we observe that On the other hand, in view of the identification G\(G × G) ∼ = G above the measure η ∈ M + (G) satisfies where for g 1 , g 2 ∈ G we have Finally, η is uniquely determined by Formula (4.3) in view of Corollary A.13.
If f , g ∈ C c (G), then it follows from (4.3) and polarization that . Thus if (ρ n ) denotes a convenient approximate identity in C c (G) as in Remark A.12 consisting of real-valued symmetric functions with supports contained in a fixed compact set, then . We now want to given a similar characterization of the autocorrelation measure for a general proper homogeneous space K\G. Observe first that if X = K\G, then we have a natural identification G\(X × X ) → K\G/K, [(K g 1 , K g 2 )] → K g 1 g −1 2 K. We may thus consider the auto-correlation measure η as a Radon measure on the double coset space K\G/K, and hence as a linear functional on C c (K\G/K). We recall from Subsection A.4 in the appendix that C c (K\G/K) carries a natural convolution structure and involution such that becomes an isomorphism of * -algebras. The canonical projection (K) p K : K\G → K\G/K induces an embedding (K) p * K : C c (K\G/K) → C c (K\G) and by abuse of notation we denote the composition also by P µ . Explicitly, this means that With this abuse of notation understood we have:  As in the group case, we can use a polarization argument to give a formula for the measure η ∈ M + (K\G/K): If ρ n is a convenient approximate identity in C c (K\G/K) (cf. Remark A. 12), Proof of Proposition 4.14. Let f ∈ C c (K\G/K) and denote by (K) p K : K\G → K\G/K the canonical projection. We set f † := (K) p * K f so that, by definition, P µ f = P µ f † . Then On the other hand, in view of the identification G\(X × X ) ∼ = K\G/K above the measure η ∈ M + (K\G/K) satisfies η (2) where for g 1 , g 2 ∈ G we have The same computation as in the proof of Proposition 4.13 (but applied to K p * K f instead of f ) now yields This shows that F = f * f * and thus η( f * f * ) = η(F) = η (2) ( f † ⊗ f † ), which yields (4.4).
As in the group case, η is uniquely determined by Formula (4.4) in view of Corollary A.13.
In Subsection A.4 in the appendix we also define a function f * f * ∈ C c (K\G/K) for a given function f ∈ C c (K\G). With this definition understood, the above proof actually shows that (4.4) holds for all f ∈ C c (K\G).

Remark 4.15
(Positive-definiteness of the auto-correlation measure). In the group case, the auto-correlation measure η ∈ M + (G) is "positive-definite" or of "positive type" in the usual sense, i.e. η( f * f * ) ≥ 0 for all f ∈ C c (G). In the case of a proper homogeneous space, the auto-correlation measure η ∈ M + (K\G/K) has the analogous positivity property that η( f * f * ) ≥ 0 for all f ∈ C c (K\G/K) for the given * -algebra structure on C c (K\G/K). In this sense, the auto-correlation measure is positive-definite also in the case of proper homogeneous spaces.

Naturality of correlation and auto-correlation measures
In this section we consider a translation bounded measure µ on G (with respect to the rightaction); we will assume that the punctured hull Ω × µ is uniformly locally bounded and that there exists a G-invariant probability measure ν on Ω × µ . We also consider the push-forward K p * µ of µ under the canonical projection K p : G → K\G.
By Proposition 3.17, the punctured hull Ω × K p * µ is also uniformly locally bounded, and by Lemma 3.11 the map K p induces a continuous G-factor map K p * : Ω µ → Ω K p * µ . It follows from G-equivariance that the push-forward K p * ν of ν with respect to this map is a G-invariant probability measure on Ω K p * µ .
We are going to compare the correlation measures η (n) of ν to the correlation measures η (n) of K p * ν and the auto-correlation measure η of ν. to the correlation measure η of K p * ν and by η the auto-correlation measure of K p * ν. For this we denote by K p ×n : G ×n → (K\G) ×n and Proposition 4.16 (Naturality of the auto-correlation). The correlation measures and the autocorrelation measure of ν and K p * ν are related by the formulas Proof. The second statement follows from the first one (for n = 2) since the diagram commutes. The first statement follows in turn from Remark 4.6, since for all f 1 , . . . , f n ∈ C c (X ) we have The proposition follows.

Auto-correlation measures of weighted model sets
We have seen in [7] that we can obtain an explicit formula for the auto-correlation measure of a model set Λ in G. Using functoriality, we now extend this result to weighted model sets in proper homogeneous spaces.
Since the results in [7] were stated for the left-action of G on itself, and since we prefer to work with the right-action here, we briefly restate the relevant results in the group case in our current notation. We fix a cut-and-project scheme (G, H, Γ) and consider a model set of the form Λ = Λ(G, H, Γ,W) with window W ⊂ H. We recall our convention that model sets are assumed to be regular in this article. We also recall that the punctured hull Ω × Λ of Λ is uniformly locally finite and uniquely ergodic and denote by ν the unique G-invariant probability measure on Ω × Λ . By our standing assumptions on W, the characteristic function 1 W is a compactly-supported bounded measurable function on H. Since Γ is a uniformly discrete subset of G×H we can define the periodization of an arbitrary compactly-supported measurable functions F : G × H → C by the same formula as in the continuous case, i.e. P Γ F(Γ(g, h)) := (γ 1 ,γ 2 )∈Γ f (γ 1 g, γ 2 h).
With this notation, [7, Thm. 1.4] (translated from left-into right-action) can be stated as follows: Theorem 4.17 (Auto-correlation formula for model sets in groups). If Λ = Λ(G, H, Γ,W) is a model set in G and ν denotes the unique G-invariant probability measure on Ω × Λ , then the associated auto-correlation measure η is the unique Radon measure on G which satisfies ) for all f ∈ C c (G). Now let K p * Λ denote the associated weighted model set in K\G. By Remark 3.13 the unique G-invariant measure ν on Ω × K p * Λ is given by the push-forward of ν under the continuous factor map K p * : Ω Λ → Ω K p * Λ . Its auto-correlation measure η can thus be obtained from the autocorrelation measure η of ν by the formula in Proposition 4.16. Using the explicit formula from Theorem 4.17 for η and denoting by K p K : G → K\G/K the canonical projection we obtain the following formula for η: Corollary 4.18 (Auto-correlation formula for weighted model sets). If ν denotes the unique Ginvariant probability measure on the weighted model set K p * Λ(G, H, Γ,W) and K p * Λ denotes the associated weighted model set in K\G, , then the associated auto-correlation measure η is the unique Radon measure on K\G/K which satisfies For actual computations of the auto-correlation measure, the following formula is often the most useful one: Proposition 4.19 (Summation formula for the auto-correlation). The auto-correlation measure η from Corollary 4.18 is the unique Radon measure on K\G/K with Proof. Set ϕ := K p * K f and r := 1 W . Since K p K is a * -homomorphism we have to show that (ϕ * ϕ * )(γ 1 ) · (r * r * )(γ 2 ). (4.5) Set F := ϕ⊗ r and denote by P Γ F(g, h) := P Γ F(Γ(g, h)) the lift of P Γ F to a function on G × H. We compute Now denote by F a fundamental domain for the left-action of Γ on G × H. We then have The proposition follows.

AUTO-CORRELATION DISTRIBUTIONS FOR TRANSLATION BOUNDED MEASURES IN THE
HYPERBOLIC PLANE 5.1. The hyperbolic plane and the group SL 2 (R) Throughout this section let G := SL 2 (R) and define elements of G by the formulas k θ := cos 2πθ sin 2πθ − sin 2πθ cos 2πθ , a t := e t/2 0 0 e −t/2 and n u := 1 u 0 1 .
Then the maps R → G given by θ → k θ , t → a t and u → n u are group homomorphisms, and we denote their images by K = SO 2 (R), A and N respectively. Note that K ∼ = S 1 whereas A ∼ = N ∼ = R.
Recall that the groups G acts by fractional linear transformation on the upper half-plane, i.e.
preserving the hyperbolic metric. This action is transitive and the stabilizer of i is given by K.
We thus have G-equivariant homeomorphisms We may thus think of the hyperbolic plane as the proper homogeneous space K\G of G. Throughout this section, µ ∈ T b (G K\G) denotes a translation bounded measure on the hyperbolic plane. We assume that Ω × µ is uniformly locally bounded and that there exists a Ginvariant probability measure ν on Ω × µ . Under these assumptions the auto-correlation measure η of ν can be defined and is a Radon measure on K\G/K. In particular, µ could be a weighted model set in the hyperbolic plane and ν would then be the unique G-invariant probabiliy measure on its hull.
We will need the following basic facts concerning SL 2 (R) (see [21]). Multiplication induces a diffeomorphism A × N × K → G and thus every g ∈ G can be written uniquely as g = a t n u k θ . (5.1) If f ∈ L 1 (G) and F(t, u, θ) := f (a t n u k θ ), then we will normalize Haar measure on G such that We thus obtain a G-invariant measure dm A\G on A\G by setting This measure is uniquely determined by the fact that for f ∈ C c (G) we have The group A normalizes N, and we have a t n u a −t = n e t u for all t, u ∈ R. This implies in particular that for f ∈ C c (N) and t = 0 we have Explicitly, we have ι A ({a ±t }) = cosh(t) and thus ι −1 A (r) = {a ± arcosh(r) }.

The Harish transform and its inverse
We recall the definition and basic properties of the Harish transform on SL 2 (R). Our exposition follows [21], but we decided to spell out some formulas more explicitly.

Lemma 5.2 (Properties of the Harish transform).
The Harish transform has the following properties: In particular, H yields * -algebra homomorphisms Proof. (i) For all f ∈ C c (G) and t ∈ R we have by (5.3), (ii) It is clear from the formula that H preserves smoothness. Now let f ∈ C c (G, K); given t ∈ R the function ϕ t on G given by ϕ t (x) = f (x −1 a t x) is left-A-invariant and hence descends to a function ϕ t on A\G. Using bi-K-invariance of f and (5.4) we obtain for every t = 0 the formula and this formula extends to t = 0 by continuity. Since a −t = wa t w −1 and m A\G is invariant under the diffeomorphism c w from (5.5) we have m A\G (ϕ t ) = m A\G (ϕ −t ). Since also |e t/2 − e −t/2 | is an even function, we deduce that t → H( f )(a t ) is even.
(iii) For all f 1 , f 2 ∈ C c (G, K) and t ∈ R we have This finishes the proof.
To see that the morphism H : C ∞ c (G, K) → C ∞ c (A) W is actually an isomorphism and describe its inverse explicitly, it is convenient to relate the Harish transform to the more classical Abel transform. The homeomorphisms ι and ι A from (5.6) induce isomorphisms ∞)). Under these isomorphisms, both C ∞ c (G, K) and C ∞ c (A) W are mapped onto the subspace C ∞ c ([1, ∞)) ⊂ C c ([1, ∞)) consisting of fuctions in C ∞ c (R) with support contained in [1, ∞).

Remark 5.3 (Harish transform vs. Abel transform). The Abel transform
is related to the Harish transform by the commutative diagram

Lemma 5.4 (Inversion of the Abel transform). The Abel transform is a linear isomorphism with inverse given by
Proof. For all r ∈ [1, ∞) the substitutions u = R cos θ v = R sin θ and ξ = R 2 /2 yield where the last equality holds since ψ has compact support.
Note that we can write out the formula for the inverse Harish transform explicitly as follows: We conclude that .

The inverse Harish transform on distributions
Given a smooth manifold M we equip C ∞ c (M) with the topology of uniform convergence of all derivatives on compacta. We then denote by D(M) the space of distributions on M, i.e. the space of continuous linear functionals on C ∞ c (M). We claim that the inverse Harish transform induces a map . This amount to showing that the inverse Harish transform is continuous. In view of Corollary 5.5 this is equivalent to continuity of the inverse Abel transform A −1 : . We will establish the following more precise estimate: Lemma 5.6 (Continuity of the inverse Abel transform). For every n ≥ 0, Now, on the one hand, and on the other hand by partial integration We deduce that and applying this to ψ := ϕ (n) yields the lemma.

The auto-correlation as a positive-definite distribution
Recall that η ∈ M + (K\G/K) denotes the auto-correlation measure of ν.
Then H −1 ( f W ) ∈ C ∞ c (G, K) and thus K (H −1 ( f W )) K ∈ C c (K\G/K). We may thus apply the measure η to this function and define Proof. (i) W-invariance holds by construction, and continuity follows from Lemma 5.6. (ii) follows from Remark 4.15 and the fact that H −1 is a * -homomorphism, since for f ∈ C c (A) W we have (iii) follows from the fact that H −1 is onto C ∞ c (G, K) and the latter is dense in C c (G, K). To summarize, we can consider the auto-correlation associated with a translation bounded measure in the hyperbolic plane either as a positive-definite Radon measure on K\G/K or equivalently as a evenly positive-definite distribution on A ∼ = R. Remark 5.9 (Non-temperedness of the auto-correlation distribution). Recall that a distribution ξ ∈ D(R) is called tempered if it can be extended to a continuous linear functional on the Schwartz space S (R). In general there is no reason why the auto-correlation distribution would be tempered. The problem is that uniform model sets in the hyperbolic plane grow exponentially, and hence to define the periodization of a function over the hull of a weighted model set, one needs some form of exponential decay. While the inverse Harish transform does map the Schwartz space to the Schwartz space, the Harish transform of a Schwartz function will only be super-polynomially (rather than exponentially) decaying, and thus cannot be periodized.
An important tool in the study of positive-definite distributions on R is given by the Fourier transform. For tempered distributions there is Fourier inversion theorem which implies that a tempered distribution is uniquely determined by its real Fourier transform. There is no such inversion theorem for non-tempered distributions, and we will see in the sequel to the present article that in order to fully determine the auto-correlation distribution we need to work with a suitable complex Fourier transform, which in the present case turns out to be related to the spherical Fourier transform associated with the Gelfand pair (G, K).

Beyond SL 2 (R)
We have used the Harish transform to transform the auto-correlation measure into an evenly positive-definite distribution on R. The underlying argument is not specific to the case of SL 2 (R) but applies in a much wider context: If G is any semisimple Lie group with finite center, then G admits an Iwasawa decomposition G = N AK with K < G maximal compact and A ∼ = R n , and there is a Harish transform, which defines an isomorphism of * -algebras H : where the Weyl group W = Z K (A)/N K (A) is a finite reflection group. One can verify that the inverse Harish transform is continuous, and hence descends to (non-tempered) distributions.
Consequently, if µ is a translation bounded measure in the Riemannian symmetric space K\G whose hull Ω × µ is uniformly locally bounded and admits a G-invariant probability measure ν with auto-correlation measure η ∈ M + (K\G/K), then one obtains an evenly positive-definite distribution ξ ∈ D(A) W by the formula As in the SL 2 (R)-case, the auto-correlation measure is uniquely determined by this distribution, which justifies calling ξ the auto-correlation distribution of ν. Since A ∼ = R n we can view this distribution as an evenly positive-definite distribution on R n with respect to a finite reflection group. Actually, the story does not end here. There is a version of the Harish transform for semisimple algebraic groups over non-Archimedean local fields, called the Satake transform, and thus auto-correlation distributions can also be defined in the non-Archimedean setting.
We plan to return to both classes of examples in future work.

APPROXIMATION OF THE AUTO-CORRELATION FOR WEIGHTED REGULAR MODEL SETS
Throughout this section let Λ = Λ(G, H, K, Γ) be a regular model set (not necessarily uniform) in G and let K p * Λ be the corresponding weighted model set in K\G. We denote by ν the unique G-invariant probability measure on Ω × K p * Λ and by η ∈ M + (K\G/K) its auto-correlation measure.

Reminder of the amenable case
Assume first that the group G is amenable. We recall from Proposition 4.16 that the autocorrelation measure η satisfies where η is the auto-correlation measure of the unique G-invariant probability measure on Ω × Λ . In view of this formula, [7,Cor. 5.4] yields the following formula for η: Corollary 6.1 (Approximation formula in the amenable case). Assume that G is amenable. Then for every weakly admissible left-Følner sequence (F t ) in G the auto-correlation measure η is given by the sampling limit Let us recall the relevant definition of a weakly admissible sequence: Definition 6.2. We say that a sequence (F t ) t>0 of compact subsets of G is weakly admissible if each (F t ) has positive Haar measure and there are continuous functions α, β : [0, 1) → R + with α(0) = 0 and β(0) = 0 such that This is a weakening of the notion of an admissible sequence from [13].

An approximation theorem for non-amenable groups
We would like to establish a version of Corollary 6.1 also for certain non-amenable groups. Since these groups do by definition not admit any Følner sequences, we need to find a different set of assumptions concerning G and (F t ). We are going to work in the context of Howe-Moore groups in the sense of the following definition: Definition 6.3. The lcsc group G is called a Howe-Moore group if it is non-compact and for every unitary G-representation (V , π) with V G = {0} and all u, v in V we have 〈π(g)(u), v〉 → 0 as g → ∞.
Many non-amenable groups of interest have this property:

Example.
(1) SL n (R) and SL n (Q p ) are Howe-Moore groups. (2) More generally, if G is a semisimple algebraic group over a local field k, then G(k) is a Howe-Moore group [19]. In particular, every semisimple Lie group with finite center is a Howe-Moore group. (3) Finite (and also restricted infinite) products of Howe-Moore groups are Howe-Moore groups. In particular, products of real and p-adic semisimple algebraic groups and adelic semisimple algebraic groups are Howe-Moore groups. (4) If G is the automorphism group of a regular tree, then G is not a Howe-Moore group.
However, G contains a unique topologically simple subgroup G 0 of index 2, which can be defined as the subgroup preserving any bi-partite coloring of the vertices (see [28]), and this group is a Howe-Moore group ( [22]). (5) Similarly, automorphism groups of Bruhat-Tits buildings have a finite-index Howe-Moore subgroup. We will be interested in the following property of Howe-Moore groups: Remark 6.4 (Relative Howe-Moore property). Let Y := Γ\(G × H) and denote by L 2 0 (Y ) the orthogonal complement of the constants in L 2 (Y ) so that the unitary representation π : G → U (L 2 0 (Y )) has no invariant vectors. Moreover, let (F t ) be a weakly-admissible sequence in G and define β t := 1 m G (F t ) · 1 F t ∈ L 1 (G). We say that G has the Howe-Moore property relative (Y , K, (F t )) if 〈π(β t )u, v〉 → 0 for all u, v ∈ L 2 0 (Y ) K . (6.1) Note that if G is a Howe-Moore group, then it has this property for any choice of (Y , K, (F t )).
In order to obtain an approximation theorem, we will impose an additional condition on the pair (G, K). This condition is not strictly necessary to obtain an approximation theorem, but it is satisfied in all our examples of interest and simplifies the proof considerably. Example. In developing the current theory we had the following examples of Gelfand pairs (G, K) and commutative spaces X = K\G in mind (cf. [29]): (1) G is abelian and K = {e} so that X = G. This is the classical setting of quasi-crystals.
(2) G = R n O(n), K = O(n) so that X = R n and C c (G, K) can be identified with radial functions on Euclidean space. This setting is implicitly studied in [2]. (3) G = SL 2 (R) and K = SO 2 (R). In this case, X can be identified with the hyperbolic plane and C c (G, K) can be identified with radial functions on the hyperbolic plane. (4) G = SL 2 (Q p ) and K = SL 2 (Z p ). In this case, X can be identified with the vertex set of a (p + 1)-regular tree, and C c (G, K) can be identified with radial functions on the vertices of the tree. (5) Generalizing (3), choose G to be any semisimple Lie group with finite center and K < G a maximal compact subgroup. In this case, X is a Riemannian symmetric space. (6) Generalizing (4), choose G = G(k) and K = G(o k ) where G is a semisimple algebraic group over a non-Archimedian local field k and o k ⊂ k is its valuation ring. In this case X can be identified with an orbit of special vertices in the Bruhat-Tits building of G. (7) Another generalization of (4) is given as follows: Let G be the automorphism group of a regular tree T and let K be the stabilizer of a vertex; in this case, X is the vertex set of T. (8) Let H be the (2n + 1)-dimensional Heisenberg group. The group U(n) acts on H by automorphisms fixing the center, and we can choose K to be any subgroup of U(n) containing a maximal torus and set G := K H. Then X can be identified with the Heisenberg group. If K = U(n), then C c (G, K) corresponds to radial functions on the Heisenberg group, and if K is a maximal torus, then C c (G, K) corresponds to polyradial functions on the Heisenberg group. (9) One can consider finite products (and even restricted infinite products) of all of the pairs above. This includes in particular S-adic and adelic semisimple groups.
Note that in all of these examples, either G is amenable or G has a finite index subgroup which is a Howe-Moore group.
We can now formulate a version of the approximation theorem for non-amenable groups: Theorem 6.6 (Approximation formula for Howe-Moore Gelfand pairs). Assume that G is a Howe-Moore group and that (G, K) is a Gelfand pair. Then for every weakly admissible sequence (F t ) of bi-K-invariant subsets in G the auto-correlation measure η is given by the sampling limit η( K f K ) = lim t→∞ 1 m G (F t ) x∈Λ∩F t y∈Λ f (x y −1 ) ( f ∈ C c (G, K)).
As we will see, the theorem still holds if G is not necessarily a Howe-Moore group, but has the Howe-Moore property relative to (Y , K, (F t )).
The work of Gorodnik and Nevo [13,14,15,16,17] investigates in great generality under which conditions one can sharpen mean ergodic theorems for (possibly non-amenable) groups into pointwise statements. In many cases a pointwise statement can be derived without assuming commutativity of C c (G, K). However, since commutativity of C c (G, K) holds in essentially all examples of interest to us, we confine ourselves to this case, in which there is a particularly simple proof. Recall that the vague topology on bounded measures on Y is the weak- * -topology with respect to C 0 (Y ), and that the subset of sub-probability measures is compact in this topology. Proposition 6.8 (Pointwise ergodic theorem). In the situation of Theorem 6.6 we have vague convergenceβ t * δ y → m Y for every y ∈ Y .
We observe that by a standard approximation argument the convergencě holds not only for f ∈ C 0 (Y ), but also for any compactly supported bounded function f on Y , which is Riemann integrable with respect to m Y . Theorem 6.6 now follows from this pointwise statement and our previous work in [7]: Proof of Theorem 6.6. In [7, Thm. 3.1] we introduced a parametrization map for the hull of a regular model set. Taking into account our change in convention from left-to right-actions, this map yields a G-equivariant surjection of the form β : Ω × Λ → Y , where Y = Γ\(G × H) as before, which induces an isomorphism β * : L 2 (Y ) → L 2 (Ω Λ ), where both L 2 -spaces are with respect to the respective unique G-invariant measures. By [7,Thm. 4.11 and Lemma 4.12] we have for all f ∈ C c (G) and for m G -almost every g ∈ G, P Λ f (Λ) = P Γ ( f ⊗ 1 W )(β(g.Λ)). (6.2) In particular, if we abbreviate y 0 := β(Λ), then for all f ∈ C c (G) and for m G -almost every s ∈ G we have P Λ f (s −1 Λ) = P Γ ( f ⊗ 1 W )(β(s −1 Λ)) = P Γ ( f ⊗ 1 W )(s −1 y 0 ). Now let f 1 , f 2 ∈ C c (G, K). We observe that the bounded measurable function h(y) := P Γ ( f 1 ⊗ 1 W )(y)P Γ ( f 2 ⊗ 1 W )(y), has compact support. Indeed, if F denotes a fundamental domain of Γ in G × H, then the supports of the functions f j ⊗ 1 W intersect only finitely many translates of F , each of them in a compact set. Moreover, since W is Jordan measurable, the function h is Riemann integrable with respect to m Y . Then (6.2) yields . Now if we set β t := 1 m G (F t ) · 1 F t the pointwise ergodic theorem (Proposition 6.8) yields In view of [7,Theorem 5.3] this implies the theorem.
Note that if K p K : G → K\G/K denotes the canonical projection, then pullback induces a bijection K p * K : C c (K\G/K) → C c (G, K). By transport of structure, C c (K\G/K) thus inherits the structure of a * -algebra from the Hecke algebra. We are going to describe this structure explicitly in Subsection A.4, using a canonical measure on K\G/K. To define this measure we need a variant of Weil's formula concerning integration on homogeneous spaces, which we will recall in the next subsection.

A.3. A Weil formula for strongly proper actions
Let H be a unimodular lcsc group. We fix a Haar measure m H on Y .
Definition A.6. A lcsc H-space Y is called a strongly proper H-space if the action of H on Y is proper and the quotient H\Y is Hausdorff and paracompact with respect to the quotient topology.
• If f ∈ C c (G), then convergence holds uniformly, and hence if f ∈ C(G), then convergence holds uniformly on compacta, and in particular pointwise. Now set ρ n := ρ n . Then we have convergence ρ n * f → f and f * ρ n → f in the same sense. In particular, ( ρ n ) is a two-sided approximate identity in C c (G) and L 1 (G), and (ρ n ) is a two-sided approximate identity in C c (G, K) and L 1 (G, K). We refer to these as convenient approximate identities. Via the isomorphism C c (K\G/K) ∼ = C c (G, K) we also obtain a convenient approximate identity on C c (K\G/K) with analogous properties. Proof. The span of { f * f * | f ∈ C c (G, K)} contains all elements of the form f * g * with f , g ∈ C c (G, K) by polarization. Choosing a convenient approximate identity for g then yields (ii) and hence (iii), and (i) follows from (ii) by choosing K := {e}.