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

TL;DR

This paper develops a general framework for auto-correlation measures of aperiodic point sets and measures in homogeneous spaces, with specific formulas for weighted model sets, advancing diffraction theory in these contexts.

Contribution

It extends auto-correlation analysis to invariant measures on homogeneous spaces and provides explicit formulas for weighted model sets, facilitating diffraction studies.

Findings

Auto-correlation measures are characterized for invariant random point processes.

Explicit formulas for auto-correlation of weighted model sets are derived.

Framework connects auto-correlation with positive-definite distributions in symmetric spaces.

Abstract

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.

Equations

$$d(z_1,z_2):=2\mathrm{artanh}\left(\frac{|z_1-z_2|}{|1-z_1\overline{z_2}|}\right)$$

$$V_{\lambda }=\{z\in {\mathbb{H}}^2\mid \forall {\lambda }^{\prime }\in \Lambda \setminus \{\lambda \}:d(z,\lambda )\le d(z,{\lambda }^{\prime })\}.$$

$${\mathbb{H}}^2=\{(x,y)\in {\mathbb{R}}^2\mid y>0\}=\{z\in C\mid \mathrm{Im}(z)>0\}$$

$$d((x_1,y_1),(x_2,y_2))=\mathrm{arcosh}\left(1+\frac{(x_1-x_2{)}^2+(y_1-y_2{)}^2}{2y_1{y}_2}\right).$$

$$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right).z:=\frac{az+b}{cz+d}\left(\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in {\mathrm{SL}}_2(\mathbb{R}),z\in \mathbb{C},\mathrm{Im}(z)>0\right),$$

$$\Lambda =\{\tilde{\lambda }.i\mid \tilde{\lambda }\in \tilde{\Lambda }\}.$$

$$\Gamma =\{(Z_1(x,y),Z_2(x,y))\mid x_0,\dots ,x_3,y_0,\dots ,y_3\in \mathbb{Z},\det (Z_1(x,y))=\det (Z_2(x,y))=1\},$$

$$Z_1(x,y):=\left(\begin{array}{cc}\left(x_0+\frac{1+\sqrt{5}}{2}\cdot y_0\right)+\left(x_1+\frac{1+\sqrt{5}}{2}\cdot y_1\right)\sqrt{3+\sqrt{5}}& \left(x_2+\frac{1+\sqrt{5}}{2}\cdot y_2\right)+\left(x_3+\frac{1+\sqrt{5}}{2}\cdot y_3\right)\sqrt{3+\sqrt{5}}\\ \frac{1-3\sqrt{5}}{2}\left(\left(x_2+\frac{1+\sqrt{5}}{2}\cdot y_2\right)-\left(x_3+\frac{1+\sqrt{5}}{2}\cdot y_3\right)\sqrt{3+\sqrt{5}}\right)& \left(x_0+\frac{1+\sqrt{5}}{2}\cdot y_0\right)-\left(x_1+\frac{1+\sqrt{5}}{2}\cdot y_1\right)\sqrt{3+\sqrt{5}}\end{array}\right),$$

$$Z_2(x,y):=\left(\begin{array}{cc}\left(x_0+\frac{1-\sqrt{5}}{2}\cdot y_0\right)+\left(x_1+\frac{1-\sqrt{5}}{2}\cdot y_1\right)\sqrt{3-\sqrt{5}}& \left(x_2+\frac{1-\sqrt{5}}{2}\cdot y_2\right)+\left(x_3+\frac{1-\sqrt{5}}{2}\cdot y_3\right)\sqrt{3-\sqrt{5}}\\ \frac{1+3\sqrt{5}}{2}\left(\left(x_2+\frac{1-\sqrt{5}}{2}\cdot y_2\right)-\left(x_3+\frac{1-\sqrt{5}}{2}\cdot y_3\right)\sqrt{3-\sqrt{5}}\right)& \left(x_0+\frac{1-\sqrt{5}}{2}\cdot y_0\right)-\left(x_1+\frac{1-\sqrt{5}}{2}\cdot y_1\right)\sqrt{3-\sqrt{5}}\end{array}\right).$$

$$\tilde{\Lambda }:=p_1(\Gamma \cap ({\mathrm{SL}}_2(\mathbb{R})\times W)).$$

$$w(\lambda ):=|\{\tilde{\lambda }\in \tilde{\Lambda }\mid \tilde{\lambda }.i=\lambda \}|<\infty .$$

$${\delta }_{(\Lambda ,w)}(f)=\sum _{\lambda \in \Lambda }w(\lambda )f(\lambda )(f\in C_c({\mathbb{H}}^2)).$$

$${\eta }^{(2)}(f_1\otimes f_2)={\int }_{{\Omega }_{(\Lambda ,w)}}\left({\int }_{{\mathbb{H}}^2}{f}_{1}d\mu \right)\left({\int }_{{\mathbb{H}}^2}{f}_{2}d\mu \right)d\nu (\mu ).$$

$$\iota :K\backslash G/K\to [1,\infty ),KgK\mapsto \frac{1}{2}\mathrm{tr}(g^{\top }g),$$

$$\eta (f\ast f^{\ast })={\int }_{{\Omega }_{(\Lambda ,w)}}{\left|{\int }_{{\mathbb{H}}^2}{f}_{{\mathbb{H}}^2}d\mu \right|}^{2}d\nu (\mu ).$$

$$\eta ({}_K{f}_K\ast ({}_K{f}_K{)}^{\ast })={\int }_G{\int }_G{1}_{\mathcal{F}}(g,h){\left|\sum _{({\gamma }_1,{\gamma }_2)\in \Gamma }f({\gamma }_{1}g)1_W({\gamma }_{2}h)\right|}^{2}d{m}_G(g)d{m}_G(h)$$

$$\eta ({}_K{f}_K\ast ({}_K{f}_K{)}^{\ast })=\sum _{({\gamma }_1,{\gamma }_2)\in \Gamma }(f\ast f^{\ast })({\gamma }_1)(1_W\ast 1_{W^{-1}})({\gamma }_2).$$

$$\eta ({}_K{f}_K)=\underset{t\to \infty }{\lim }\frac{1}{m_G(F_t)}\sum _{x\in \Lambda \cap F_t}\sum _{y\in \Lambda }f(x{y}^{-1}).$$

$$\eta (f\ast f^{\ast })\ge 0\text{for all }f\in C_c(K\backslash G/K).$$

$$\xi (\phi ):=\frac{-1}{2\pi }{\int }_1^{\infty }{\int }_{-\infty }^{\infty }\frac{{\phi }^{\prime }(\mathrm{arcosh}(t+v^2/2))}{\sqrt{(t+v^2/2{)}^2-1}}dvd\eta (t)(\phi \in C_c^{\infty }(\mathbb{R}{)}_{\mathrm{ev}})$$

$$\eta (\psi )={\int }_0^{\infty }{\int }_{-\infty }^{\infty }\psi (\cosh (t)+u^2/2)dud\xi (t).$$

$$⟨f,g{⟩}_X:=⟨f,g{⟩}_{(X,\nu )}:={\int }_{X}f\cdot \overline{g}d\nu$$

$$\bar{f}(g):=\overline{f(g)},\check{f}(g):=f(g^{-1})\text{and}{f}^{\ast }(g):=\overline{f(g^{-1})}.$$

$${}_{K}p:G\to K\backslash G,p_K:G\to G/K\text{and}{}_K{p}_K:G\to K\backslash G/K$$

$$d(Kg,Kh):=\underset{k\in K}{\min }{d}_G(kg,h).$$

$$d_G(g,h):=\underset{x\in X}{\sup }{d}_X(g^{-1}(x),h^{-1}(x))e^{-d_X(x,x_0)}$$

$$d(g^{-1}(x_0),h^{-1}(x_0))=\underset{k\in K}{\min }\underset{x\in X}{\sup }{d}_X(g^{-1}\circ k^{-1}(x),h^{-1}(x))e^{-d_X(x,x_0)}(g,h\in G).$$

$$d(g^{-1}(x_0),h^{-1}(x_0))\ge \underset{k\in K}{\min }{d}_X(g^{-1}\circ k^{-1}(x_0),h^{-1}(x_0))e^{-d_X(x_0,x_0)}=d_X(g^{-1}(x_0),h^{-1}(x_0)).$$

$$d_X(f(x),x)e^{-d(x,x_0)}$$

$$d(g^{-1}(x_0),h^{-1}(x_0))=\underset{k\in K}{\min }\underset{x\in X}{\sup }{d}_X(f(x),x)e^{-d(x,x_0)}=d_X(g^{-1}(x_0),h^{-1}(x_0))+2e^{-1}.$$

Full text

1. Introduction

1.1. General themes of this article

The study of aperiodic Delone sets in $\mathbb{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\backslash 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.

1.2. Tilings of the hyperbolic plane

The Poincaré disc model of the hyperbolic plane is given by the unit disc $\mathbb{D}\subset\mathbb{C}$ with the metric

[TABLE]

A subset $\Lambda\subset\mathbb{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(\lambda_{1},\lambda_{2})\geq r$ for all $\lambda_{1},\lambda_{2}\in\Lambda$ with $\lambda_{1}\neq\lambda_{2}$ and if for every $z\in\mathbb{D}$ there exists $\lambda\in\Lambda$ with $d(\lambda,z)\leq R$. It is called periodic if the group $\Gamma:=\{g\in{\rm Is}(\mathbb{D},d)\mid g.\Lambda=\Lambda\}$ acts cocompactly on $\mathbb{D}$.

If $\Lambda$ is a Delone set in the hyperbolic plane, then the Voronoi cell of $\lambda\in\Lambda$ is the convex compact set with piecewise-geodesic boundary given by

[TABLE]

The Voronoi cells $(V_{\lambda})_{\lambda\in\Lambda}$ form a tiling of the hyperbolic plane called the Voronoi tiling of $\Lambda$. 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.

1.3. 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

[TABLE]

with metric

[TABLE]

The group ${\rm SL}_{2}(\mathbb{R})$ acts on $\mathbb{H}^{2}$ by isometries via

[TABLE]

and every orientation-preserving isometry of $\mathbb{H}^{2}$ arises from a matrix in ${\rm SL}_{2}(\mathbb{R})$ in this way. Moreover, the action ${\rm SL}_{2}(\mathbb{R})\curvearrowright\mathbb{H}^{2}$ is transitive.

Lemma 1.1** (Lifting lemma).**

For every Delone set $\Lambda\subset\mathbb{H}^{2}$ there exists a Delone set $\widetilde{\Lambda}$ in ${\rm SL}_{2}(\mathbb{R})$ whose orbit coincides with $\Lambda$, i.e.

[TABLE]

Not every orbit of a Delone set in ${\rm SL}_{2}(\mathbb{R})$ is a Delone set in the hyperbolic plane, but if $\Gamma<{\rm SL}_{2}(\mathbb{R})$ is a uniform lattice, then the orbit $\Gamma.i$ of $\Gamma$ in $\mathbb{H}^{2}$ defines a periodic Delone set in $\mathbb{H}$.

We now explain how to construct non-periodic examples of highly structured Delone set in the hyperbolic plane: We start from a uniform lattice $\Gamma$ in ${\rm SL}_{2}(\mathbb{R})\times{\rm SL}_{2}(\mathbb{R})$, for example

[TABLE]

where

[TABLE]

[TABLE]

Moreover, let $W$ be a compact identity neightbourhood in ${\rm SL}_{2}(\mathbb{R})$ and denote by $p_{1},p_{2}:{\rm SL}_{2}(\mathbb{R})\times{\rm SL}_{2}(\mathbb{R})\to{\rm SL}_{2}(\mathbb{R})$ the two coordinate projections. We then define a subset of ${\rm SL}_{2}(\mathbb{R})$ by

[TABLE]

This is an example of a uniform model set in ${\rm SL}_{2}(\mathbb{R})$, and such model sets have been systematically studied in [6, 7]. The following proposition holds for model sets and more generally for Delone set in ${\rm SL}_{2}(\mathbb{R})$ of finite local complexity as defined in [6, 7].

Proposition 1.2**.**

If $\widetilde{\Lambda}$ is a Delone set of finite local complexity in ${\rm SL}_{2}(\mathbb{R})$, for example a uniform model set, then its orbit $\Lambda$ as defined by (1.1) is a Delone set in $\mathbb{H}^{2}$, and for every $\lambda\in\Lambda$ we have

[TABLE]

We refer to the pair $(\Lambda,w)$ arising from this construction as a weighted uniform model set in $\mathbb{H}^{2}$ and to the function $w:\Lambda\to\mathbb{N}$ as its weight function. The associated weighted Dirac comb is the Radon measure $\delta_{(\Lambda,w)}$ on $\mathbb{H}^{2}$ given by

[TABLE]

The weighted Dirac comb of a weighted model set is an example of a translation bounded measure on $\mathbb{H}^{2}$. Such measures have been studied extensively in the setting of abelian groups [1, 18, 4], and generalizing results from the abelian case we will show:

Proposition 1.3**.**

The weak-$*$-closure $\Omega_{(\Lambda,w)}:=\overline{{\rm SL}_{2}(\mathbb{R}).\delta_{(\Lambda,w)}}$ in the space of Radon measures on $\mathbb{H}^{2}$ compact.

One can show that $\Omega_{(\Lambda,w)}$ consists of those weighted Dirac combs of weighted Delone sets in $\mathbb{H}^{2}$ which locally coincide with $(\Lambda,w)$ up to an element of ${\rm SL}_{2}(\mathbb{R})$. We refer to $\Omega_{(\Lambda,w)}$ as the hull of $(\Lambda,w)$. By construction the group ${\rm SL}_{2}(\mathbb{R})$ acts on the hull, and we can extend the results from [7] to show:

Theorem 1.4** (Unique ergodicity of regular weighted model sets).**

If $\widetilde{\Lambda}$ is a regular uniform model set, then the hull $\Omega_{(\Lambda,w)}$ is minimal and admits a unique ${\rm SL}_{2}(\mathbb{R})$-invariant probability measure.

We refer the reader to [7] for the precise definition of a regular uniform model set. Besides some technical conditions on the window it requires the window to be in general position with respect to the lattice $\Gamma$.

1.4. Auto-correlation measures and auto-correlation distributions

From now on we fix a weighted uniform model set $(\Lambda,w)$ in the hyperbolic plane arising from a regular uniform model set in ${\rm SL}_{2}(\mathbb{R})$.

By Theorem 1.4 there exists a unique ${\rm SL}_{2}(\mathbb{R})$-invariant probability measure on the hull $\Omega_{(\Lambda,w)}$. If we denote this measure by $\nu$, then the pair $(\Omega_{(\Lambda,w)},\nu)$ is an example of a (weighted) point process in the hyperbolic plane, and for such point processes one can define correlation measures in the usual way. For example, the two-point correlation $\eta^{(2)}$ is the Radon measure on $\mathbb{H}^{2}\times\mathbb{H}^{2}$ given by

[TABLE]

Since $\nu$ is ${\rm SL}_{2}(\mathbb{R})$-invariant, the two-point correlation descends to a Radon measure $\eta$ on the quotient ${\rm SL}_{2}(\mathbb{R})\backslash(\mathbb{H}\times\mathbb{H})$ called the auto-correlation measure of $(\Lambda,w)$ (or of $\nu$).

There are several ways to think of this measure. Firstly, if we abbreviate $G:={\rm SL}_{2}(\mathbb{R})$ and $K:={\rm SO_{2}}(\mathbb{R})$, then we can identify ${\rm SL}_{2}(\mathbb{R})\backslash(\mathbb{H}\times\mathbb{H})$ with the double coset space $K\backslash G/K$, and hence $\eta$ can be seen as a Radon measure on this space. Secondly, one can show that there is a well-defined homeomorphism

[TABLE]

and hence $\eta$ corresponds to a Radon measure on $[1,\infty)$. We now offer several descriptions of this measure.

Firstly, we can identify $C_{c}(K\backslash G/K)$ with the convolution algebra $C_{c}(G,K)$ of bi-$K$-invariant functions on $G$ via pullback along the canonical projection $G\to K\backslash G/K$. From this identification $C_{c}(K\backslash G/K)$ inherits the structure of a $*$-algebra. Secondly, we can also identify every $f\in C_{c}(K\backslash G/K)$ with a radial function $f_{\mathbb{H}^{2}}$ on the hyperbolic plane. We then obtain the following description of $\eta$.

Proposition 1.5** (General formula for the auto-correlation measure).**

The auto-correlation measure $\eta$ is the unique Radon measure on $K\backslash G/K$ such that for all $f\in C_{c}(K\backslash G/K)$,

[TABLE]

Using results from [7] we obtain the following alternative description. Here, we denote by $\mathcal{F}\subset G\times G$ a fundamental domain for the $\Gamma$-action on $G\times G$ and by $m_{G}$ a suitably normalized choice of left-Haar measure on $G$. Moreover, given $f\in C_{c}(G,K)$ we denote by ${}_{K}f_{K}\in C_{c}(K\backslash G/K)$ the function given by ${}_{K}f_{K}(KgK)=f(g)$.

Theorem 1.6** (Auto-correlation formula for weighted model sets).**

The auto-correlation measure $\eta$ is the unique Radon measure on $K\backslash G/K$ such that for all $f\in C_{c}(G,K)$,

[TABLE]

where $\mathcal{F}$ is a fundamental domain for $\Gamma$ in $G\times G$. Equivalently, $\eta$ is the unique Radon measure on $K\backslash G/K$ such that for all $f\in C_{c}(G,K)$,

[TABLE]

Finally, denote by $(B_{t})$ the ball of radius $t$ around $i$ in the hyperbolic plane, and define $F_{t}:=\{g\in G\mid g.i\in B_{t}\}\subset G$.

Theorem 1.7** (Sampling formula for the auto-correlation).**

The auto-correlation measure $\eta$ is the unique Radon measure on $K\backslash G/K$ such that for all $f\in C_{c}(G,K)$

[TABLE]

From Proposition 1.5 one sees that the auto-correlation measure is positive-definite on $K\backslash G/K$ in the sense that

[TABLE]

However, if we consider $\eta$ as a Radon measure on $[1,\infty)\subset\mathbb{R}$ via the identification (1.2), then $\eta$ is not a positive definite Radon measure on $\mathbb{R}$ in these coordinates. We can remedy this by applying the so-called Harish transform and obtain an evenly positive-definite distribution on $\mathbb{R}$. To state the result, we denote by $C_{c}^{\infty}(\mathbb{R})_{\rm ev}\subset C_{c}^{\infty}(\mathbb{R})$ the subspace of even functions, i.e. functions satisfying $f(t)=f(-t)$. The dual space $\mathcal{D}(\mathbb{R})_{\rm ev}:=C_{c}^{\infty}(\mathbb{R})_{\rm ev}^{*}$ can be identified with the subspace of $\mathcal{D}(\mathbb{R})=C_{c}^{\infty}(\mathbb{R})^{*}$ consisting of those distributions which are invariant under the reflection at [math], and hence we refer to elements of $\mathcal{D}(\mathbb{R})_{\rm ev}$ as even distributions. A distribution is positive-definite if $\xi(\varphi\ast\varphi^{*})\geq 0$ for all $\varphi\in C_{c}^{\infty}(\mathbb{R})$, and we call an even distribution $\xi$ evenly positive-definite if $\xi(\varphi\ast\varphi^{*})\geq 0$ for all $\varphi\in C_{c}^{\infty}(\mathbb{R})_{\rm ev}$. Given $\xi\in\mathcal{D}(\mathbb{R})_{\rm ev}$ and $\varphi\in C^{\infty}(\mathbb{R})_{\rm ev}$ we write $\int_{0}^{\infty}\varphi(t)\,d\xi(t):=\xi(\varphi)$.

Theorem 1.8** (Auto-correlation as a positive-definite distribution).**

If $\eta$ denotes the auto-correlation measure considered as a Radon measure on $[1,\infty)$, then the formula

[TABLE]

defines an evenly positive-definite distribution $\xi\in\mathcal{D}(\mathbb{R})_{\rm ev}$, and for all $\psi\in C_{c}^{\infty}([1,\infty))$ we have

[TABLE]

In particular, $\eta$ is uniquely determined by $\xi$.

In view of the theorem we refer to $\xi\in\mathcal{D}(\mathbb{R})$ as the auto-correlation distribution of $(\Lambda,w)$. In general, $\xi$ is not a tempered distribution, i.e. it does not extend to a continuous linear functional on the Schwartz space $\mathcal{S}(\mathbb{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 $\xi$ 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 $\mathbb{C}$. This should be seen as the analog of pure point diffraction of Euclidean quasi-crystals in the hyperbolic setting.

1.5. 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}^{\infty}(K\backslash G/K)$ and the subalgebra of $C_{c}^{\infty}(\mathbb{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}^{\infty}(K\backslash G/K)$ is isomorphic to the subalgebra of $C_{c}^{\infty}(\mathbb{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 $\mathbb{R}^{n}$, and we will investigate complex Fourier transforms of these distributions in the sequel article [8].

1.6. 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 auto-correlation distribution (for ${\rm SL}_{2}(\mathbb{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.

1.7. 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\subset G$ we denote by $AB:=\{ab\mid a\in A,b\in B\}$ the product set of $A$ and $B$. Similarly, we define $A^{-1}:=\{a^{-1}\mid a\in A\}$ and write $A^{n+1}:=AA^{n}$ for iterated product sets. To avoid confusion with Cartesian products of sets we will usually write $X^{\times 2}:=X\times X$ and $X^{\times(n+1)}:=X\times X^{\times n}$ for iterated Cartesian products of a set $X$ with itself, except in standard notations like $\mathbb{R}^{n}$ or $\mathbb{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\times X\to X$, $(g,x)\mapsto 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\in G$ and $x,y\in\Omega$, then $(X,d)$ is called an isometric $G$-space. If $\Omega$ is a compact $G$-space (in particular metrizable), then we sometimes call $\Omega$ 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,\nu)$ is a measure space and $f,g\in L^{2}(X,\nu)$, then we denote by

[TABLE]

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\to\mathbb{C}$ we denote by $\bar{f}$, $\check{f}$ and $f^{*}$ respectively the functions on $G$ given by

[TABLE]

Given $f\in C_{c}(G)$ and $x,y\in 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. $\mu\in M(X)$ with $|\mu|(X)<\infty$) 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 ${\rm Prob}(X)\subset M^{+}_{b}(X)$ the space of probability measures on $X$. We identify $\mu\in M(X)$ with the corresponding linear functional on $C_{c}(X)$ and write $\mu(f):=\int_{X}f\,d\mu$ for $f\in 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.

2. Point sets and measures in proper homogeneous spaces

2.1. 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\backslash G$, $G/K$ and $K\backslash G/K$ respectively the quotients of $G$ by the left-action of $K$, right-action of $K$ and action of $K\times K$ respectively and denote by

[TABLE]

the canonical projections. We will always topologize $K\backslash G$, $G/K$ and $K\backslash 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\backslash G$ and $G/K$ are homeomorphic, we will prefer to work with the left-quotient $K\backslash G$. In the sequel we will refer to $K\backslash 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:={\rm 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}\in X$ the stabilizer $K:={\rm Stab}_{G}(x_{o})$ is compact [11, Lemma 5.B.4]. Moreover, by the open mapping theorem, the map $K\backslash G\to X$, $Kg\mapsto 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 right-invariant 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\backslash G$ by setting

[TABLE]

We refer to this metric as the induced metric on $K\backslash G$. It is proper, continuous, $G$-invariant and induces the quotient topology on $K\backslash G$.

The group $G$ acts on $K\backslash G$ by $g.Kx:=Kxg^{-1}$, and if $d$ is a metric on $K\backslash G$ which is induced by a $(K,G)$-admissible metric, then the action of $G$ on $(K\backslash 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

[TABLE]

for any basepoint $x_{0}\in X$. If we set $K:={\rm 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\backslash G$. Under the canonical identification $K\backslash G\cong X$ this metric is given by

[TABLE]

By definition we have for all $g,h\in G$,

[TABLE]

Note that if $f\in G$, then since $f$ is an isometry we have

[TABLE]

Applying this to $f:=h\circ g^{-1}\circ k^{-1}$ and using $k^{-1}(x_{0})=x_{0}$ and $\max\{2te^{-t}\mid t\geq 0\}=2e^{-1}$ we obtain

[TABLE]

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

[TABLE]

2.2. 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 $\Lambda\subset X$ be a subset.

1. (1)

$\Lambda$ is called discrete if every subset of $\Lambda$ is open in $\Lambda$ 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. (2)

$\Lambda$ is called $r$-uniformly discrete for some $r>0$ if for all $x,y\in X$ with $x\neq y$ we have $d(x,y)>r$. It is called $R$-relatively dense for some $R>0$ if its $R$-neighbourhood $N_{R}(\Lambda)$ 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. (3)

We denote by ${\rm LF}(X)$ the collection of all locally finite subsets of $X$, by ${\rm U}_{r}(X)$ the collection of all $r$-uniformly-discrete subsets of $X$, and by ${\rm Del}_{r,R}(X)$ the collection of all $(r,R)$-Delone subsets. 4. (4)

A subset $\mathcal{A}\subset{\rm LF}(X)$ is called uniformly locally finite if for every pre-compact subset $K\subset X$ there exists a constant $C(K)$ such that $|\Lambda\cap K|\leq C(K)$ for all $\Lambda\in\mathcal{A}$. 5. (5)

If $\Lambda\subset X$ is a locally finite set, then we refer to a bounded function $w:\Lambda\to\mathbb{C}$ as a weight function and to $(\Lambda,w)$ as a weighted point set. It is called uniformly discrete or Delone if the underlying set $\Lambda$ is.

Remark 2.3** (Weighted point sets as measures).**

If $(X,d)$ is a lcsc metric space, then every $\Lambda\in{\rm LF}(X)$ defines a Radon measure $\delta_{\Lambda}$ on $X$, called the associated Dirac comb, by the formula

[TABLE]

Since $\Lambda\cap\operatorname{supp}(f)$ is finite for every $f\in C_{c}(X)$, this is well-defined. For $\Lambda=\emptyset$ we have $\delta_{\emptyset}=0$ by convention. Similarly, if $(\Lambda,w)$ is a weighted point set, then we may define

[TABLE]

In the sequel we will thus often think of locally finite sets as Radon measures via the embedding

[TABLE]

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 $\mu\in M(X)$ is called translation bounded with respect to $G$ (or $G$-bounded for short) if for every compact $L\subset X$ we have

[TABLE]

We denote the space of $G$-bounded measures on $X$ by $\mathcal{T}_{b}(G\curvearrowright X)$.

Remark 2.5** (Translation bounded measures and uniformly locally finite orbits).**

If $X$ is a $G$-space and $\Lambda\subset X$ is a locally finite subset, then $\delta_{\Lambda}$ is $G$-bounded if and only if for every compact subset $K\subset X$ we have $\sup_{g\in G}|\Lambda\cap gK|<\infty$. This means precisely that the orbit $G.\Lambda$ of $\Lambda$ is uniformly locally finite.

Proposition 2.6** (Uniformly discrete subsets and translation bounded measures).**

Let $(\Lambda,w)$ be a uniformly discrete weighted point set in an isometric lcsc $G$-space $(X,d)$. Then $\delta_{(\Lambda,w)}$ is $G$-bounded. In particular, if $\Lambda$ is uniformly discrete, then its orbit is uniformly locally finite.

Proof.

We fix a basepoint $o\in X$. Given an $r$-uniformly discrete set $\Lambda$ and $R>0$ we choose $x_{1},\dots,x_{n}\in X$ such that $B_{R}(o)$ is covered by the balls $B_{r/2}(x_{i})$. Then for every $g\in G$ we have

[TABLE]

and since every ball of radius $r/2$ contains at most one element of $\Lambda$ we have $\delta_{(\Lambda,w)}(g.B_{R}(o))\leq n\cdot\|w\|_{\infty}$, whence $\delta_{(\Lambda,w)}$ is translation bounded. ∎

The converse implication is not true, even for $X=G$ and the constant weight $1$. A counterexample is given by the subset $\Lambda:=\mathbb{Z}\cup\{n+\frac{1}{n}\mid n\in\mathbb{Z}\{0\}\}$ of $\mathbb{R}$, which is not uniformly discrete, but whose $\mathbb{R}$-orbit is uniformly locally finite and whose Dirac comb is therefore $\mathbb{R}$-bounded.

2.3. 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, $\Lambda\subset G$ is uniformly discrete if $e$ is not an accumulation point of $\Lambda\Lambda^{-1}$ and relatively dense if $L\Lambda=G$ for some compact subset $L\subset G$. In particular, $\Lambda\subset G$ is uniformly discrete if $\Lambda\Lambda^{-1}$ is locally finite, in which case $\Lambda$ 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 $\Lambda\subset K\backslash G$, denote by ${}_{K}p:G\to K\backslash G$ the canonical projection, set $\Xi:={}_{K}p^{-1}(\Lambda)$ and let $d_{G}$ be $(K,G)$-admissible with induced metric $d$.

1. (i)

$\Lambda$* is relatively dense with respect to $d$ iff $\Xi$ is relatively dense in $G$.* 2. (ii)

$\Lambda$* is uniformly discrete with respect to $d$ iff there exists an identity neighbourhood $U$ in $G$ such that $\Xi\Xi^{-1}\cap UK\subset K$.*

In particular, these notions are independent of the choice of $d$.

Proof.

(i) Assume that for every $Kg\in K\backslash G$ there exists $\lambda=K\xi\in\Lambda$ with $d(Kg,\lambda)<R$. Then $d_{G}(g,\xi)<R+{\rm diam}(K)$, hence $\Xi$ is relatively dense in $G$. The converse is immediate. (ii) $\Lambda$ is $r$-uniformly discrete if and only if for all $\xi,\xi^{\prime}\in\Xi$ we have either $K\xi=K\xi^{\prime}$ or $d(K\xi,K\xi^{\prime})>r$. Equivalently, for all $g=\xi\xi^{\prime-1}\in\Xi\Xi^{-1}$ we have either $g\in K$ or $d_{G}(k,g)=d_{G}(k\xi,\xi^{\prime})>r$ for all $k\in K$. By right-invariance of the metric this means that $B_{r}(e)(\Xi\Xi^{-1}\setminus K)\cap K=\emptyset$, i.e. $\Xi\Xi^{-1}\cap B_{r}(e)K\subset K$. ∎

In view of the lemma we will refer to a uniformly discrete, relative dense or Delone set in $K\backslash 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\backslash G$. The lemma motivates the following definition:

Definition 2.9**.**

A subset $\Xi\subset G$ is called $K$-uniformly discrete if $\Xi\Xi^{-1}\cap UK\subset K$ for some identity neighbourhood $U$ in $G$.

In this terminology a subset $\Xi\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.

Proposition 2.10** (Lifting Delone sets).**

For a subset $\Lambda\subset K\backslash G$ the following are equivalent:

1. (i)

$\Lambda$* is a Delone set.* 2. (ii)

There exists a $K$-uniformly discrete relatively dense set $\Xi\subset G$ such that ${}_{K}p(\Xi)=\Lambda$ 3. (iii)

There exists a $K$-uniformly discrete Delone set $\Delta\subset G$ such that ${}_{K}p(\Delta)=\Lambda$.

Proof.

(i) $\Rightarrow$ (ii) By Lemma 2.8 we may choose $\Xi:={}_{K}p^{-1}(\Lambda)$.

(ii) $\Rightarrow$ (iii) Let $\Delta\subset\Xi$ be a subset, which intersects each ${}_{K}p$-fiber of $\Xi$ in a single point and fix a right-admissible metric $d_{G}$ on $G$. If $\Xi$ is $R$-relatively dense for some $R>0$ with respect to $d_{G}$, then $\Delta$ is $(R+{\rm diam}(K))$-relatively dense, and $\Delta$ is $K$-uniformly discrete as a subset of $\Xi$. Finally, if $\delta_{1},\delta_{2}\in\Delta$ are distinct, then $\delta_{1}\delta_{2}^{-1}\not\in K$, and hence $d(\delta,\delta_{2})=d(\delta_{1}\delta_{2}^{-1},e)\geq{\rm dist}(\Xi\Xi^{-1}\setminus K,K)>0$, which shows that $\Delta$ is uniformly discrete.

(iii) $\Rightarrow$ (i) Since $\Xi:={}_{K}p^{-1}(\Lambda)$ contains $\Delta$, it is relatively dense, and hence $\Lambda$ is relatively dense by Lemma 2.8. If $\lambda_{1}$ and $\lambda_{2}$ are two distinct points in $\Lambda$ with respective pre-images $\delta_{1}$ and $\delta_{2}$ in $\Delta$, then

[TABLE]

hence $\Lambda$ is uniformly discrete. ∎

Remark 2.11**.**

From Proposition 2.10 one deduces the following:

1. (1)

Every projection of a $K$-uniformly discrete Delone set is again Delone. 2. (2)

Every Delone set in $K\backslash G$ is a projection of a Delone set in $G$. By analogy, we will say that a subset of $K\backslash G$ has FLC if it is the projection of an FLC set in $G$. 3. (3)

The proof of Lemma 2.8 shows that $\Xi\subset G$ is $K$-uniformly discrete if and only if for every right-admissible metric ${\rm dist}(\Xi\Xi^{-1}\setminus K,K)>0$. This implies that every FLC set in $G$ is $K$-uniformly discrete, and hence every FLC set in $K\backslash G$ is uniformly discrete.

We conclude in particular, that if $\Lambda\subset G$ is an FLC Delone set, then ${}_{K}p(\Lambda)$ 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 $\Lambda\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 $\Lambda$ is $r$-uniformly discrete with respect to $d$, but not with respect to $d_{X}$. Then there exist elements $x_{n}\neq y_{n}$ in $\Lambda$ with $d_{X}(x_{n},y_{n})\leq\frac{1}{n}$. Choose $g_{n}\in G$ such that $g_{n}x_{n}=x_{0}$; then $d_{X}(x_{0},g_{n}(y_{n}))\leq\frac{1}{n}$ and thus $g_{n}(y_{n})\to x_{0}$. Since $d$ is continuous this implies

[TABLE]

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<{\rm Is}(X)$ acts transitively on $X$ with point-stabilizer $K$. Then a subset $\Lambda\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\to K\backslash G$ denote the canonical projection.

1. (1)

We have seen that if $\Lambda\subset G$ is uniformly discrete, then the naive push-forward ${}_{K}p(\Lambda)$ need not be uniformly discrete. 2. (2)

On the other hand, since ${}_{K}p$ is proper, it induces a push-forward map ${}_{K}p_{*}:M(G)\to M(K\backslash 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)\to M(K\backslash G)$. In this sense translation bounded measures behave better under push-forward than uniformly discrete sets. 3. (3)

Let $\Lambda\subset G$ be uniformly discrete. Then the weighted push forward ${}_{K}p_{*}\Lambda$ of $\Lambda$ is the weighted point set $({}_{K}p(\Lambda),w)$ with weight function given by $w(x)=|\Lambda\cap{}_{K}p^{-1}(x)|$. The definition is made in such a way that

[TABLE]

This implies in paticular that $\delta_{{}_{K}p_{*}\Lambda}$ is translation bounded, and hence $\Lambda$ has a a uniformly locally finite $G$-orbit. 4. (4)

If $\widetilde{w}$ is a weight function on $\Lambda$, then we can similarly define ${}_{K}p_{*}(\Lambda,\widetilde{w})$ as the unique weighted point set such that

[TABLE]

Explicitly, the weight function $w$ of ${}_{K}p_{*}(\Lambda,\widetilde{w})$ is given by

[TABLE]

Note that if $\Lambda\subset G$ is an FLC Delone set, then ${}_{K}p(\Lambda)$ is a Delone set, and hence ${}_{K}p_{*}\Lambda$ is a weighted Delone set.

2.4. 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 $\Gamma$ of a lcsc group $G$ is a lattice if $\Gamma\backslash G$ admits a $G$-invariant probability measure, and a uniform lattice if $\Gamma\backslash G$ is moreover compact.

Definition 2.15**.**

1. (1)

A cut-and-project-scheme is a triple $(G,H,\Gamma)$ where $G$ and $H$ are lcsc groups and $\Gamma<G\times H$ is a lattice which projects injectively to $G$ and densely to $H$. A cut-and-project scheme is called uniform if $\Gamma$ is moreover a uniform lattice. 2. (2)

If $(G,H,\Gamma)$ is a cut-and-project scheme and $p_{G}:G\times H\to G$ denotes the projection onto the first coordinate, then for every pre-compact111In [7] we insisted that $W$ be compact, but this is actually never used and precludes some naturally arising examples. (DOUBLE CHECK THIS!) set $W\subset G$ the subset

[TABLE]

is called a weak model set in $G$ with window $W$. A weak model set is called uniform if $\Gamma$ is a uniform lattice. 3. (3)

A weak (uniform) model set is called a (uniform) model set if its window $W$ has non-empty interior. It is called a regular model set if $W$ is Jordan-measurable with dense interior, ${\rm Stab}_{H}(W)=\{e\}$ and $\partial\overline{W}\cap p_{H}(\Gamma)=\emptyset$, where $p_{H}:G\times H\to H$ is the projection onto the second factor.

Now let $\Lambda\subset G$ be a model set, let $K<G$ be a compact subgroup and ${}_{K}p:G\to K\backslash G$ denote the canonical projection. Then the weighted push-forward ${}_{K}p_{*}\Lambda$ is a weighted Delone set of the form $({}_{K}p(\Lambda),w_{\Lambda})$.

Definition 2.16**.**

The weighted Delone set ${}_{K}p_{*}\Lambda=({}_{K}p(\Lambda),w_{\Lambda})$ is called a weighted model set in $K\backslash G$, and $w_{\Lambda}$ is called its canonical weight function. $(\pi(\Lambda),w_{\Lambda})$ is called a regular (respectively uniform) weighted model set, if $\Lambda$ 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(\Lambda)$. Rather, when we speak of weighted model sets, we always assume that the weight function is the canonical one.

Remark 2.17**.**

Let $\Lambda$ be a model set in $G$ and ${}_{K}p_{*}\Lambda=({}_{K}p(\Lambda),w)$. If the weight function $w$ is trivial (i.e. $w(x)=1$ for all $x\in{}_{K}p(\Lambda)$), then we may identify ${}_{K}p_{*}\Lambda$ with the underlying set ${}_{K}p(\Lambda)$. We then call ${}_{K}p(\Lambda)$ simply a model set in $K\backslash G$. By definition, ${}_{K}p(\Lambda)$ is a model set if and only if $\Lambda\Lambda^{-1}\cap K=\{e\}$.

Convention 2.18**.**

Throughout this article, all weighted model sets (uniform or not) are assumed to be regular.

3. Hulls of Delone sets and translation bounded measures

3.1. Topologies on point sets and measures

Remark 3.1**.**

Let $(X,d)$ be a lcsc metric space. We define the following topologies on the various sets of point sets and measures defined above.

1. (1)

We equip $M(X)$ with the weak-$*$-topology with respect to $C_{c}(X)$. This topology is second-countable, since $X$ is, and the action of $G$ on $M(X)$ is jointly continuous with respect to the weak-$*$-topology. Indeed, if $(g_{n},\mu_{n})\to(g,\mu)$ in $G\times M(X)$, then for every $\varphi\in C_{c}(X)$ there exists a compact set $K$ containing the supports of all of the functions $g_{n}.\varphi$. If we set $C:={\sup}\mu_{n}(K)$, then $C<\infty$ and

[TABLE]

Since both terms converge to [math] as $n\to\infty$, this shows $g_{n}.\mu_{n}\to g.\mu$. 2. (2)

The set $\mathcal{C}(X)$ of all closed subsets of $X$ carries a natural compact metrizable topology called the Chabauty–Fell topology. A sequence $(P_{n})$ in $\mathcal{C}(X)$ converges to $P$ with respect to this topology if and only if the following two properties hold:

1. (CF1)

If $(n_{k})$ is an unbounded sequence of natural numbers and $p_{n_{k}}\in P_{n_{k}}$ converge to $p\in X$, then $p\in P$. 2. (CF2)

For every $p\in P$ there exist elements $p_{n}\in P_{n}$ such that $p_{n}\to p$.

From this characterization one sees immediately that the $G$ action on $\mathcal{C}(X)$ is jointly continuous with respect to the Chabauty–Fell topology. 3. (3)

For every $R>r>0$ we have inclusions ${\rm Del}_{r,R}(X)\subset{\rm U}_{r}(X)\subset{\rm LF}(X)\subset\mathcal{C}(X)$ and we denote by $\tau_{CF}$ the restrictions of the Chabauty-Fell topology to either of these spaces. 4. (4)

We obtain another topology on ${\rm LF}(X)$ and its subspaces by pulling back the weak-$*$-topology on $M(X)$ via the embedding ${\rm LF}(X)\hookrightarrow M(X)$ from (2.2). We refer to this topology as the measure topology on ${\rm 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 ${\rm U}_{r}(X)\subset{\rm LF}(X)$ and define a compact metrizable topology on ${\rm U}_{r}(X)$.

Explicitly this means that a sequence of $r$-uniformly discrete sets $\Lambda_{n}$ converges to $\Lambda$ in the Chabauty–Fell topology if and only if for every $f\in C_{c}(X)$ we have

[TABLE]

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 $\Lambda_{n}\to\Lambda$ in ${\rm U}_{r}(X)$ with respect to the Chabauty–Fell topology. Then for every $p\in\Lambda$ and $0<\varepsilon<r/2$ there exists $n_{0}(p,\varepsilon)\in\mathbb{N}$ such that for all $n\geq n_{0}(p,\varepsilon)$,

[TABLE]

Proof.

If $p\in\Lambda$, then by (CF2) there exist $p_{n}\in\Lambda_{n}$ with $p_{n}\to p$, hence for every $\varepsilon>0$ there exists $n_{0}(p)$ such that for all $n\geq n_{0}$ we have $p_{n}\in B_{\varepsilon}(p)\cap\Lambda_{n}$. If $\varepsilon<r/2$, then $p_{n}$ is necessarily unique by the triangle inequality. ∎

Proof of Proposition 3.2.

The space $({\rm U}_{r}(X),\tau_{CF})$ is compact and second countable (see e.g. [6]). It thus suffices to show that the embedding $({\rm U}_{r}(X),\tau_{CF})\hookrightarrow M(X)$, $\Lambda\mapsto\delta_{\Lambda}$ is (sequentially) continuous.

Thus assume that $\Lambda_{n}\to\Lambda$ in $({\rm U}_{r}(X),\tau_{CF})$ and let $f\in C_{c}(X)$. Let $K_{0}:={\rm supp}(f)$, and let $K_{1}$ be a compact set containing a $10r$-neighbourhood of $K_{0}$. Note that $K_{1}\cap\Lambda$ is finite, say $K_{1}\cap\Lambda=\{p^{(1)},\dots,p^{(N)}\}$. Now fix $\varepsilon\in(0,r/2]$ and with the notation of Lemma 3.3 set

[TABLE]

Then for all $n\geq n_{0}$ we have $B_{\varepsilon}(p^{{j}})\cap\Lambda_{n}=\{p_{n}^{(j)}\}$. We claim that for all but finitely many $n\geq n_{0}$ we have

[TABLE]

Indeed, otherwise we would find an unbounded sequence $n_{k}$ and elements $p_{n_{k}}\in\Lambda_{n_{k}}\cap K_{0}$ such that $d(p_{n_{k}},\Lambda\cap K_{1})>\varepsilon$. Passing to a further subsequence we may assume that $p_{n_{k}}$ converges to some $p\in X$, and then $p\in\Lambda$ 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

[TABLE]

Since $f$ is uniformly continuous on compacta, we deduce that ${\delta_{\Lambda_{n}}}(f)\to{\delta_{\Lambda}}(f)$, which finishes the proof. ∎

3.2. 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\in X$.

Remark 3.4** ($C$-translation bounded measures).**

Since every compact subset of $X$ is contained in some ball around $o$, a complex measure $\mu\in M(X)$ is translation bounded if and only if for every $R>0$ there exists $C(R)>0$ such that for all $g\in G$,

[TABLE]

If this holds for a fixed function $C:(0,\infty)\to(0,\infty)$, then we say that $\mu$ is $C$-translation bounded (with respect to $d$ and $o$). Given a function $C:(0,\infty)\to(0,\infty)$ we then denote by $\mathcal{T}_{C}(G\curvearrowright X)\subset\mathcal{T}_{b}(G\curvearrowright X)$ the collection of all complex Radon measures on $X$ which are $C$-translation bounded with respect to $d$ and $o$. By definition, the set $\mathcal{T}_{C}(G\curvearrowright X)$ is invariant under the natural action of $G$ on complex Radon measures.

Lemma 3.5** (Compactness properties of translation bounded measures).**

For every function $C:(0,\infty)\to(0,\infty)$ the subspace $\mathcal{T}_{C}(G\curvearrowright X)\subset M(X)$ is a compact metrizable space, and the $G$-action on $\mathcal{T}_{C}(G\curvearrowright X)$ is continuous.

Proof.

By Remark 3.1, $M(X)$ is second countable (hence metrizable) and the action of $G$ on $M(X)$ is jointly continuous. It thus remains to show that $\mathcal{T}_{C}(G\curvearrowright X)\subset M(X)$ is compact. Since $M(X)$ carries the subspace topology with respect to the embedding

[TABLE]

where the right-hand side is given the product topology, this amounts to showing that $\mathcal{T}_{C}(G\curvearrowright X)$ has compact image under this embedding. If $\varphi\in C_{c}(X)$ and $\mu\in\mathcal{T}_{C}(G\curvearrowright X)$, then

[TABLE]

and hence the image of $\mathcal{T}_{C}(G\curvearrowright X)$ under the embedding is bounded in each coordinate. Moreover, for every $\mu\in M(X)$ we have

[TABLE]

hence the conditions $\mu(gB_{R}(o))\leq C(R)$ are closed conditions. This shows that $\mathcal{T}_{C}(G\curvearrowright X)$ is compact and finishes the proof. ∎

Corollary 3.6**.**

If $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$, then the orbit closure $\Omega_{\mu}:=\overline{G.\mu}$ is a compact metrizable space and the action of $G$ on $\Omega_{\mu}$ is continuous.∎

Definition 3.7** (Hull of a translation-bounded measure).**

Given $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$, the orbit closure

[TABLE]

is called the hull of $\mu$, and the TDS $G\curvearrowright\Omega_{\mu}$ 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 $\Lambda\in{\rm LF}(X)$. Then one defines the hull of $\Lambda$ as the orbit closure $\Omega_{\Lambda}:=\overline{G.\Lambda}$, where the orbit closure is taken with respect to the Chabauty–Fell topology. The associated TDS $G\curvearrowright\Omega_{\Lambda}$ is then called the hull system of $\Lambda$.

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 $\Lambda\subset X$ be uniformly discrete. Then there is a well-defined $G$-equivariant homeomorphism

[TABLE]

Proof.

Assume that $\Lambda$ is $r$-uniformly discrete. Since $X$ is isometric, every translate $g\Lambda$ of $\Lambda$ is also $r$-uniformly discrete, and since $\mathcal{U}_{r}(X)$ is closed with respect to the Chabauty–Fell topology, we have $\Omega_{\Lambda}\subset\mathcal{U}_{r}(X)$. By Proposition 3.2 the map $\Omega_{\Lambda}\hookrightarrow\mathcal{U}_{r}(X)\to M(X)$ given by $\Lambda^{\prime}\mapsto\delta_{\Lambda^{\prime}}$ is continuous, and it is evidently $G$-equivariant. It thus maps the orbit closure of $\Lambda$ 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 $(\Lambda,w)$ is a weighted point set we define $\Omega_{(\Lambda,w)}:=\Omega_{\delta_{\Lambda,w}}$ and refer to $\Omega_{(\Lambda,w)}$ as the hull system of $(\Lambda,w)$.

Remark 3.10** (Punctured hull).**

Given a translation bounded measure $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ we observe that it may happen that $0\in\Omega_{\mu}$ even if $\mu\neq 0$. For example, if $\mu=\delta_{\Lambda}$ is the Dirac comb of a uniformly discrete set $\Lambda\subset G$, then this happens if and only if $\Lambda$ is not relatively dense (see [7]). It is then convenient to remove the $G$-fixpoint and to consider also the punctured hull $\Omega_{\mu}^{\times}:=\Omega_{\mu}\setminus\{0\}$. By construction, $\Omega_{\mu}^{\times}$ is a lcsc space, and if $0\in\Omega_{\mu}$, then $\Omega_{\mu}$ is its one-point-compactification.

Lemma 3.11** (Naturality of the hull under push-forward).**

Let $X$, $Y$ be lcsc $G$-spaces, let $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ and let $p:X\to Y$ be a proper continuous $G$-equivariant map. Then $p$ induces continuous $G$-factor maps

[TABLE]

Proof.

As in Remark 2.14 one observes that $p$ induces a continuous $G$-equivariant push-forward map $p_{*}:\mathcal{T}_{b}(G\curvearrowright X)\to\mathcal{T}_{b}(G\curvearrowright Y)$, since it is proper. It thus maps the orbit closure of $\mu$ surjectively onto the orbit closure of $p_{*}\mu$. This proves the first statement, and the second statement then follows from the fact that [math] is the only pre-image of [math] 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.

Corollary 3.12** (Hulls of weighted model sets).**

The punctured hull of a weighted model set in a proper homogeneous $G$-space $K\backslash G$ is uniquely ergodic with respect to the $G$-action. If the weighted model set is uniform, then its hull is moreover minimal.

Proof.

Let $\Lambda\subset G$ be a model set and consider ${}_{K}p_{*}\Lambda=({}_{K}p(\Lambda),w)$ in $K\backslash G$. By Lemma 3.11 we have a continuous $G$-factor map ${}_{K}p_{*}:\Omega^{\times}_{\Lambda}\to\Omega^{\times}_{{}_{K}p_{*}\Lambda}$. Let $\mu$ 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 $\mu$-stationary probability measure $\nu$ on $\Omega_{\Lambda}$, which is moreover $G$-invariant. In particular, ${}_{K}p_{*}\nu$ defines a $G$-invariant probability measure on $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$. Now if $\nu^{\prime}$ is any $G$-invariant probability measure on $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$, then its fiber

[TABLE]

is a compact convex $G$-invariant set, hence contains a fixpoint under the convolution action by $\mu$. By uniqueness, this fixpoint must coincide with $\nu$, and hence $\nu^{\prime}={}_{K}p_{*}\nu$, showing that $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$ is uniquely ergodic. If $\Lambda$ is uniform, then $\Omega^{\times}_{\Lambda}$ is minimal by [7, Prop. 3.3], and this property descends to the continuous factor $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$. ∎

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 $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$ is the push-forward of the unique $G$-invariant probability measure on $\Omega_{\Lambda}$ under the map ${}_{K}p_{*}$.

3.3. Uniform local boundedness of the hull

In the next section we are going to define a periodization map for the hull of a translation-bounded 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 $\Omega\subset{\rm LF}(X)$ is called d uniformly locally finite, if for every pre-compact subset $K\subset X$ there exists a constant $C_{K}>0$ such that $|\Lambda\cap K|\leq C_{K}$ for all $\Lambda\in\Omega$. Similarly, a subset $\mathcal{A}\subset M(X)$ will be called uniformly locally bounded if for every pre-compact subset $K\subset G$ there exists a constant $C_{K}>0$ such that $\mu(K)\leq C_{K}$ for all $\mu\in\mathcal{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 $\Lambda$ in an isometric lcsc $G$-space $(X,d)$. By Proposition 2.6, uniform discreteness of $\Lambda$ is enough to ensure uniform local finiteness of the orbit $G.\Lambda$, but it is not enough to ensure uniform local finiteness of the orbit closure $\Omega_{\Lambda}$. 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 $\Lambda\subset G$ be an FLC set. Then the hull $\Omega_{\Lambda}$ is uniformly locally finite, and more generally the hull $\Omega_{({\Lambda,w})}$ is uniformly locally bounded for every weight function $w:\Lambda\to[0,\infty)$.

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 $\Lambda\subset G$ be a locally finite subset. Then for all $\Lambda^{\prime}\in\Omega_{\Lambda}$ we have $\Lambda^{\prime}(\Lambda^{\prime})^{-1}\subset\overline{\Lambda\Lambda^{-1}}$.

Proof.

If $\Lambda^{\prime}\in\Omega_{\Lambda}$ then there exist $g_{n}\in G$ such that $\Lambda g_{n}^{-1}\to\Lambda^{\prime}$. By (CF2) we thus find for every $p,q\in\Lambda^{\prime}$ sequences $(p_{n})$ $(q_{n})$ in $\Lambda$ such that $p_{n}g_{n}^{-1}\to p$ and $q_{n}g_{n}^{-1}\to q$. By continuity of multiplication and inversion in $G$ we obtain $p_{n}q_{n}^{-1}\to pq^{-1}$ and thus $\Lambda^{\prime}(\Lambda^{\prime})^{-1}\subset\overline{\Lambda\Lambda^{-1}}$. ∎

We will apply this in the following form: .

Corollary 3.16**.**

Let $\Lambda\subset G$ be an FLC set. Then there exists an open identity neighbourhood $U\subset G$ such that $|\Lambda^{\prime}\cap Ug^{-1}|\leq 1$ for all $\Lambda^{\prime}\in\Omega_{\Lambda}$ and $g\in G$.

Proof.

Since $\Lambda\Lambda^{-1}$ is locally finite, there exists an open identity neighbourhood $V$ such that $\Lambda\Lambda^{-1}\cap V=\{e\}$. Since $\Lambda\Lambda^{-1}$ is closed, Lemma 3.15 then shows that $\Lambda^{\prime}(\Lambda^{\prime})^{-1}\cap V=\{e\}$ for all $\Lambda^{\prime}\in\Omega_{\Lambda}$. Now let $U\subset G$ be an open identity neighbourhood with $UU^{-1}\subset V$. Given $g\in G$ and $\Lambda^{\prime}\in\Omega_{\Lambda}$ we either have $\Lambda^{\prime}\cap Ug^{-1}=\emptyset$ or there exist $p\in\Lambda^{\prime}$ and $u\in U$ such that $p=ug^{-1}$, i.e. $g=p^{-1}u$. In the latter case we have

[TABLE]

hence $|\Lambda^{\prime}\cap Ug^{-1}|\leq 1$ in either case. ∎

Proof of Proposition 3.14.

Let $K\subset G$ be pre-compact. Choose $U$ as in Lemma 3.16 and cover $K$ by finitely many translates of $U$, say $K\subset Ug_{1}^{-1}\cup\dots\cup Ug_{N}^{-1}$. Then by the lemma we have for every $(\Lambda^{\prime},w^{\prime})\in\Omega_{\Lambda,w}$,

[TABLE]

and this bound is independent of $(\Lambda^{\prime},w^{\prime})$. ∎

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 $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ and let $p:X\to Y$ be a proper continuous $G$-equivariant map. If $\mu$ has a uniformly locally bounded hull, then also $p_{*}\mu$ has a uniformly locally bounded hull.

Proof.

Let $L\subset Y$ be compact. Since $M:=p^{-1}(L)$ is compact, there exists $C_{M}>0$ such that for all $\mu^{\prime}\in\Omega_{\mu}$ we have $\mu(M)<C_{M}$. It follows that if $\mu^{\prime}\in\Omega_{\mu}$, then

[TABLE]

Since by Lemma 3.11 the map $p_{*}:\Omega_{\mu}\to\Omega_{p_{*}\mu}$ is onto, the proposition follows. ∎

Applying this to the canonical projection ${}_{K}p:G\to K\backslash 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 $\Lambda\subset G$ is an FLC set and $w$ is an arbitrary weight function on $\Lambda$, then the hull $\Omega_{{}_{K}p_{*}(\Lambda,w)}$ is uniformly locally bounded. In particular, the hull of every weighted model set is uniformly locally bounded.∎

4. Auto-correlation measures for translation-bounded measures

4.1. 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$.

Proposition 4.1** (Periodization over the hull).**

Let $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$.

1. (i)

For every $f\in C_{c}(X)$ the function

[TABLE]

is well-defined and continuous on $\Omega_{\mu}$. 2. (ii)

If $0\in\Omega_{\mu}$, then $\mathcal{P}_{\mu}f(0)=0$ for all $f\in C_{c}(G)$, hence we obtain a map $\mathcal{P}_{\mu}:C_{c}(X)\to C_{0}(\Omega^{\times}_{\mu})$. 3. (iii)

The map $\mathcal{P}_{\mu}$ is $G$-equivariant.

Proof.

The map $\mathcal{P}_{\mu}f$ is just the restriction of the evaluation map $M(X)\to\mathbb{C}$, $\mu^{\prime}\mapsto\mu^{\prime}(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. ∎

Definition 4.2**.**

For $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ the $G$-equivariant map

[TABLE]

is called the periodization map associated with $\mu$.

Continuity of the periodization map depends on uniform local boundedness of the hull: We equip $C_{c}(X)$ with the direct limit topology

[TABLE]

where $L$ runs through all compact subsets of $X$. Then continuity of the periodization map $\mathcal{P}_{\mu}$ with respect to this topology means that for every compact subset $L\subset X$ there exists $C_{L}>0$ such that if $f\in C_{c}(G)$ with ${\rm supp}(f)\subset L$, then

[TABLE]

Proposition 4.3** (Continuity of the periodization map).**

Let $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$. If $\Omega_{\mu}$ is uniformly locally bounded, then the periodization map $\mathcal{P}_{\mu}:C_{c}(X)\to C(\Omega_{\mu})$ is continuous with respect to the Frechét topology on $C_{c}(X)$.

Proof.

Let $L\subset X$ be compact. Since $\Omega_{\mu}$ is uniformly locally bounded there exists $C_{L}>0$ such that for all $\mu^{\prime}\in\Omega_{\mu}$ we have $\mu^{\prime}(L)<C_{L}$. But then for all $f\in C_{c}(G)$ with ${\rm supp}(f)\subset L$ we have

[TABLE]

This shows that $\mathcal{P}_{\mu}$ 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:

1. (i)

$X=G$ (with the action given by $g.x:=xg^{-1}$) and $\mu=\delta_{\Gamma}$, where $\Gamma<G$ is a discrete subgroup. For this case it was established in [9] that $\Omega_{\Gamma}^{\times}=\Gamma\backslash G$, and the periodization map $\mathcal{P}_{\Gamma}:C_{c}(G)\to C_{0}(\Gamma\backslash G)$ is given by the classical formula

[TABLE] 2. (ii)

$X=G$ (with the action given by $g.x:=xg^{-1}$) and $\mu=\delta_{\Lambda}$, where $\Lambda$ is a (right-)FLC set in $G$. In this case, under the canonical identification of $\Omega^{\times}_{\mu}$ with $\Omega_{\Lambda}$, the periodization map is given by the formula

[TABLE]

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. 3. (iii)

$X=G$ and $\mu=\delta_{(\Lambda,w)}$, where $(\Lambda,w)$ is a weighted FLC set in $G$ (cf. Proposition 3.14). 4. (iv)

$X=K\backslash G$ is a proper $G$-space and $\Lambda$ 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.

If $\Gamma$ is a discrete subgroup of $G$, then by [27, Sec. 1] the image of the periodization map $\mathcal{P}_{\Gamma}:C_{c}(G)\to C_{0}(\Gamma\backslash G)$ is given by $C_{c}(\Gamma\backslash G)$, hence a dense subalgebra of $C_{0}(\Gamma\backslash G)$. In the setting at hand we have the following weaker statement.

Proposition 4.5** (Almost surjectivity of the periodization map).**

Let $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ be a translation bounded measure with uniformly locally bounded hull.

1. (i)

If $\nu\in\Omega_{\mu}^{\times}$, then there exists $f\in C_{c}(X)$ such that $\mathcal{P}_{\mu}f(\nu)\neq 0$. 2. (ii)

If $\nu_{1},\nu_{2}\in\Omega_{\mu}$ and $\nu_{1}\neq\nu_{2}$, then there exists $f\in C_{c}(X)$ with $\mathcal{P}_{\mu}f(\nu_{1})\neq\mathcal{P}_{\mu}f(\nu_{2})$. 3. (iii)

The algebra generated by the constant function $1$ and the image of the periodization map is dense in $C(\Omega_{\mu})$. 4. (iv)

The algebra generated by the image of the periodization map is dense in $C_{0}(\Omega_{\mu}^{\times})$.

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 $\nu_{1},\nu_{2}\in\Omega_{\mu}$ are distinct, then there exists $f\in C_{c}(X)$ such that $\mathcal{P}_{\mu}f(\nu_{1})\neq\mathcal{P}_{\mu}f(\nu_{2})$, and hence

[TABLE]

Thus the algebra generated by $1$ and the image of the periodization map separates points in $\Omega_{\mu}$, hence is dense in $C(\Omega_{\mu})$ by the Stone–Weierstrass theorem. This shows (iii), and (iv) follows from (iii). ∎

4.2. Functoriality of periodization

Remark 4.6** (Functoriality for measures).**

Let $X,Y$ be lcsc $G$-spaces, let $p:X\to Y$ be a proper continuous $G$-equivariant map and let $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$. Then for all $f\in C_{c}(Y)$ and $g\in G$ we have

[TABLE]

and hence the following diagram commutes:

[TABLE]

Most notably, this applies to the case, where $X=G$ and $Y=K\backslash 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, $\Lambda$ is a uniformly discrete subset of $X$ and $p(\Lambda)$ is the naive push-forward of $\Lambda$ to Y, then the following diagram need not commute:

[TABLE]

In this sense, the only “natural” push-forward of an FLC set $\Lambda\subset G$ to $K\backslash G$ via the canonical projection ${}_{K}p:G\to K\backslash G$ is the weighted push-forward ${}_{K}p_{*}\Lambda$, whereas the naive push-forward ${}_{K}p(\Lambda)$ 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\backslash G$.

4.3. Correlation measures and the auto-correlation

Throughout this subsection let $X$ be a lcsc $G$-space and $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ be a translation bounded measure with uniformly locally bounded punctured hull $\Omega^{\times}_{\mu}$.

Note that if $\nu\in M(\Omega^{\times}_{\mu})$, then for every $n\in\mathbb{N}$ the linear functional on $C_{c}(X)\otimes\dots\otimes C_{c}(X)\subset C_{c}(X^{\times n})$ given by

[TABLE]

is continuous by Proposition 4.3. It is thus given by integration against a Radon measure on $X^{\times n}$, and we define:

Definition 4.8**.**

Given $n\in\mathbb{N}$ the measure $\eta_{\nu}^{(n)}\in M(X^{\times n})$ given by

[TABLE]

is called the $n$th correlation measure of $\nu$.

From Proposition 4.5.(iv) we deduce:

Corollary 4.9** (Correlation measures determine the measure).**

Every probability measure $\nu$ on $\Omega^{\times}_{\mu}$ is uniquely determined by the sequence $\eta_{\nu}^{(1)},\eta_{\nu}^{(2)},\dots$ of its correlation measures.∎

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 $\Omega^{\times}_{\mu}$, but we will not pursue this here. Rather we focus on the case of a $G$-invariant Radon measure $\nu$ on $\Omega_{\mu}^{\times}$. The following observation is immediate from $G$-equivariance of the periodization map:

Proposition 4.10** (Correlations of invariant measures are invariant).**

If $\nu$ is a $G$-invariant Radon measure on $\Omega_{\mu}^{\times}$, then for every $n\in\mathbb{N}$ the correlation measure $\eta_{\nu}^{(n)}\in M(X^{\times n})$ is $G$-invariant.∎

As explained in Lemma A.7 in the appendix, under suitable assumptions on $X$ and $G$ a $G$-invariant measure on $X^{\times n}$ corresponds to a measure on the quotient $G\backslash X^{\times 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\times X$ is strongly proper as a $G$-space, and let $\mu\in\mathcal{T}_{b}(G\curvearrowright X)$ be a translation bounded measure with uniformly locally bounded hull. Then for every $G$-invariant Radon measure $\nu$ on $\Omega_{\mu}^{\times}$ there exists a unique Radon measure $\eta\in M(G\backslash(X\times X))$ such that for all $f\in C_{c}(X\times X)$,

[TABLE]

Definition 4.12**.**

In the situation of Corollary 4.11 the measure $\eta\in M(G\backslash(X\times X))$ is called the auto-correlation measure of the measure $\nu$.

Higher auto-correlation measures can be defined similarly, but we will not consider them in the current article.

4.4. 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\backslash G$. We denote by ${}_{K}p:G\to K\backslash G$ and ${}_{K}p_{K}:G\to K\backslash G/K$ the canonical projections. Moreover, $\mu$ denotes a translation bounded measure on $X:=K\backslash G$ with uniformly locally bounded punctured hull $\Omega^{\times}_{\mu}$ and $\nu$ denotes a $G$-invariant probability measure on $\Omega^{\times}_{\mu}$. We are interested in describing the auto-correlation measure $\eta$ of $\nu$ 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\backslash(G\times G)$ can be identified with $G$ via the map $(g_{1},g_{2})\mapsto g_{1}g_{2}^{-1}$ and hence we obtain an isomorphism $M^{+}(G\backslash(G\times G))\to M^{+}(G)$. In particular, we can consider the auto-correlation measure as a Radon measure on $G$ itself. In the case where $\mu$ 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 $\mu\in\mathcal{T}_{b}(G\curvearrowright G)$ be a translation bounded measure with uniformly locally bounded hull under the right-action of $G$ on itself and let $\nu$ be a $G$-invariant probability measure on $\Omega_{\mu}^{\times}$. Then the auto-correlation measure $\eta\in M^{+}(G)$ is the unique Radon measure such that

[TABLE]

Proof.

Let $f\in C_{c}(G)$. On the one hand we observe that

[TABLE]

On the other hand, in view of the identification $G\backslash(G\times G)\cong G$ above the measure $\eta\in M^{+}(G)$ satisfies

[TABLE]

where for $g_{1},g_{2}\in G$ we have

[TABLE]

We conclude that $\eta(f\ast f^{*})=\eta(F)=\eta^{(2)}(f\otimes\overline{f})$, which yields (4.3).

Finally, $\eta$ is uniquely determined by Formula (4.3) in view of Corollary A.13. ∎

If $f,g\in C_{c}(G)$, then it follows from (4.3) and polarization that

[TABLE]

Thus if $(\rho_{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

[TABLE]

We now want to given a similar characterization of the autocorrelation measure for a general proper homogeneous space $K\backslash G$. Observe first that if $X=K\backslash G$, then we have a natural identification

[TABLE]

We may thus consider the auto-correlation measure $\eta$ as a Radon measure on the double coset space $K\backslash G/K$, and hence as a linear functional on $C_{c}(K\backslash G/K)$. We recall from Subsection A.4 in the appendix that $C_{c}(K\backslash G/K)$ carries a natural convolution structure and involution such that ${}_{K}p_{K}^{*}:C_{c}(K\backslash G/K)\to C_{c}(G,K)$ becomes an isomorphism of $*$-algebras.

The canonical projection ${}_{(K)}p_{K}:K\backslash G\to K\backslash G/K$ induces an embedding ${}_{(K)}p_{K}^{*}:C_{c}(K\backslash G/K)\hookrightarrow C_{c}(K\backslash G)$ and by abuse of notation we denote the composition

[TABLE]

also by $\mathcal{P}_{\mu}$. Explicitly, this means that

[TABLE]

With this abuse of notation understood we have:

Proposition 4.14** (Autocorrelation formula, general case).**

Let $\mu\in\mathcal{T}_{b}(G\curvearrowright K\backslash G)$ be a translation bounded measure with uniformly locally bounded hull and let $\nu$ be a $G$-invariant probability measure on $\Omega_{\mu}^{\times}$. Then the auto-correlation measure $\eta\in M^{+}(K\backslash G/K)$ is the unique Radon measure such that

[TABLE]

As in the group case, we can use a polarization argument to give a formula for the measure $\eta\in M^{+}(K\backslash G/K)$: If $\rho_{n}$ is a convenient approximate identity in $C_{c}(K\backslash G/K)$ (cf. Remark A.12), then

[TABLE]

Proof of Proposition 4.14.

Let $f\in C_{c}(K\backslash G/K)$ and denote by ${}_{(K)}p_{K}:K\backslash G\to K\backslash G/K$ the canonical projection. We set $f_{\dagger}:={}_{(K)}p_{K}^{*}f$ so that, by definition, $\mathcal{P}_{\mu}f=\mathcal{P}_{\mu}f_{\dagger}$. Then

[TABLE]

On the other hand, in view of the identification $G\backslash(X\times X)\cong K\backslash G/K$ above the measure $\eta\in M^{+}(K\backslash G/K)$ satisfies

[TABLE]

where for $g_{1},g_{2}\in G$ we have

[TABLE]

The same computation as in the proof of Proposition 4.13 (but applied to ${}_{K}p_{K}^{*}f$ instead of $f$) now yields

[TABLE]

This shows that $F=f\ast f^{*}$ and thus $\eta(f\ast f^{*})=\eta(F)=\eta^{(2)}(f_{\dagger}\otimes\overline{f_{\dagger}})$, which yields (4.4).

As in the group case, $\eta$ 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\ast f^{*}\in C_{c}(K\backslash G/K)$ for a given function $f\in C_{c}(K\backslash G)$. With this definition understood, the above proof actually shows that (4.4) holds for all $f\in C_{c}(K\backslash G)$.

Remark 4.15** (Positive-definiteness of the auto-correlation measure).**

In the group case, the auto-correlation measure $\eta\in M^{+}(G)$ is “positive-definite” or of “positive type” in the usual sense, i.e. $\eta(f\ast f^{*})\geq 0$ for all $f\in C_{c}(G)$. In the case of a proper homogeneous space, the auto-correlation measure $\eta\in M^{+}(K\backslash G/K)$ has the analogous positivity property that $\eta(f\ast f^{*})\geq 0$ for all $f\in C_{c}(K\backslash G/K)$ for the given $*$-algebra structure on $C_{c}(K\backslash G/K)$. In this sense, the auto-correlation measure is positive-definite also in the case of proper homogeneous spaces.

4.5. Naturality of correlation and auto-correlation measures

In this section we consider a translation bounded measure $\mu$ on $G$ (with respect to the right-action); we will assume that the punctured hull $\Omega^{\times}_{\mu}$ is uniformly locally bounded and that there exists a $G$-invariant probability measure $\nu$ on $\Omega^{\times}_{\mu}$. We also consider the push-forward ${}_{K}p_{*}\mu$ of $\mu$ under the canonical projection ${}_{K}p:G\to K\backslash G$.

By Proposition 3.17, the punctured hull $\Omega_{{}_{K}p_{*}\mu}^{\times}$ is also uniformly locally bounded, and by Lemma 3.11 the map ${}_{K}p$ induces a continuous $G$-factor map ${}_{K}p_{*}:\Omega_{\mu}\to\Omega_{{}_{K}p_{*}\mu}$. It follows from $G$-equivariance that the push-forward ${}_{K}p_{*}\nu$ of $\nu$ with respect to this map is a $G$-invariant probability measure on $\Omega_{{}_{K}p_{*}\mu}$.

We are going to compare the correlation measures $\widehat{\eta}^{(n)}$ of $\nu$ to the correlation measures $\eta^{(n)}$ of ${}_{K}p_{*}\nu$ and the auto-correlation measure $\widehat{\eta}$ of $\nu$. to the correlation measure $\eta$ of ${}_{K}p_{*}\nu$ and by $\eta$ the auto-correlation measure of ${}_{K}p_{*}\nu$. For this we denote by ${}_{K}p^{\times n}:G^{\times n}\to(K\backslash G)^{\times n}$ and ${}_{K}p_{K}:G\to K\backslash G/K$ the canonical projections.

Proposition 4.16** (Naturality of the auto-correlation).**

The correlation measures and the auto-correlation measure of $\nu$ and ${}_{K}p_{*}\nu$ are related by the formulas

[TABLE]

Proof.

The second statement follows from the first one (for $n=2$) since the diagram

[TABLE]

commutes. The first statement follows in turn from Remark 4.6, since for all $f_{1},\dots,f_{n}\in C_{c}(X)$ we have

[TABLE]

The proposition follows. ∎

4.6. 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 $\Lambda$ 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,\Gamma)$ and consider a model set of the form $\Lambda=\Lambda(G,H,\Gamma,W)$ with window $W\subset H$. We recall our convention that model sets are assumed to be regular in this article. We also recall that the punctured hull $\Omega_{\Lambda}^{\times}$ of $\Lambda$ is uniformly locally finite and uniquely ergodic and denote by $\widehat{\nu}$ the unique $G$-invariant probability measure on $\Omega_{\Lambda}^{\times}$.

By our standing assumptions on $W$, the characteristic function ${\bf 1}_{W}$ is a compactly-supported bounded measurable function on $H$. Since $\Gamma$ is a uniformly discrete subset of $G\times H$ we can define the periodization of an arbitrary compactly-supported measurable functions $F:G\times H\to\mathbb{C}$ by the same formula as in the continuous case, i.e.

[TABLE]

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 $\Lambda=\Lambda(G,H,\Gamma,W)$ is a model set in $G$ and $\widehat{\nu}$ denotes the unique $G$-invariant probability measure on $\Omega_{\Lambda}^{\times}$, then the associated auto-correlation measure $\widehat{\eta}$ is the unique Radon measure on $G$ which satisfies

[TABLE]

Now let ${}_{K}p_{*}\Lambda$ denote the associated weighted model set in $K\backslash G$. By Remark 3.13 the unique $G$-invariant measure $\nu$ on $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$ is given by the push-forward of $\widehat{\nu}$ under the continuous factor map ${}_{K}p_{*}:\Omega_{\Lambda}\to\Omega_{{}_{K}p_{*}\Lambda}$. Its auto-correlation measure $\eta$ can thus be obtained from the auto-correlation measure $\widehat{\eta}$ of $\widehat{\nu}$ by the formula in Proposition 4.16. Using the explicit formula from Theorem 4.17 for $\widehat{\eta}$ and denoting by ${}_{K}p_{K}:G\to K\backslash G/K$ the canonical projection we obtain the following formula for $\eta$:

Corollary 4.18** (Auto-correlation formula for weighted model sets).**

If $\nu$ denotes the unique $G$-invariant probability measure on the weighted model set ${}_{K}p_{*}\Lambda(G,H,\Gamma,W)$ and ${}_{K}p_{*}\Lambda$ denotes the associated weighted model set in $K\backslash G$, , then the associated auto-correlation measure ${\eta}$ is the unique Radon measure on $K\backslash G/K$ which satisfies

[TABLE]

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 $\eta$ from Corollary 4.18 is the unique Radon measure on $K\backslash G/K$ with

[TABLE]

Proof.

Set $\varphi:={}_{K}p_{K}^{*}f$ and $r:={\bf 1}_{W}$. Since ${}_{K}p_{K}$ is a $*$-homomorphism we have to show that

[TABLE]

Set $F:=\varphi\otimes r$ and denote by $\widetilde{\mathcal{P}}_{\Gamma}F(g,h):=\mathcal{P}_{\Gamma}F(\Gamma(g,h))$ the lift of $\mathcal{P}_{\Gamma}F$ to a function on $G\times H$. We compute

[TABLE]

Now denote by $\mathcal{F}$ a fundamental domain for the left-action of $\Gamma$ on $G\times H$. We then have

[TABLE]

The proposition follows. ∎

5. Auto-correlation distributions for translation bounded measures in the hyperbolic plane

5.1. The hyperbolic plane and the group ${\rm SL}_{2}(\mathbb{R})$

Throughout this section let $G:={\rm SL}_{2}(\mathbb{R})$ and define elements of $G$ by the formulas

[TABLE]

Then the maps $\mathbb{R}\to G$ given by $\theta\mapsto k_{\theta}$, $t\mapsto a_{t}$ and $u\mapsto n_{u}$ are group homomorphisms, and we denote their images by $K={\rm SO}_{2}(\mathbb{R})$, $A$ and $N$ respectively. Note that $K\cong S^{1}$ whereas $A\cong N\cong\mathbb{R}$.

Recall that the groups $G$ acts by fractional linear transformation on the upper half-plane, i.e.

[TABLE]

preserving the hyperbolic metric. This action is transitive and the stabilizer of $i$ is given by $K$. We thus have $G$-equivariant homeomorphisms

[TABLE]

We may thus think of the hyperbolic plane as the proper homogeneous space $K\backslash G$ of $G$.

Throughout this section, $\mu\in\mathcal{T}_{b}(G\curvearrowright K\backslash G)$ denotes a translation bounded measure on the hyperbolic plane. We assume that $\Omega^{\times}_{\mu}$ is uniformly locally bounded and that there exists a $G$-invariant probability measure $\nu$ on $\Omega^{\times}_{\mu}$. Under these assumptions the auto-correlation measure $\eta$ of $\nu$ can be defined and is a Radon measure on $K\backslash G/K$. In particular, $\mu$ could be a weighted model set in the hyperbolic plane and $\nu$ would then be the unique $G$-invariant probabiliy measure on its hull.

We will need the following basic facts concerning ${\rm SL}_{2}(\mathbb{R})$ (see [21]). Multiplication induces a diffeomorphism $A\times N\times K\to G$ and thus every $g\in G$ can be written uniquely as

[TABLE]

If $f\in L^{1}(G)$ and $F(t,u,\theta):=f(a_{t}n_{u}k_{\theta})$, then we will normalize Haar measure on $G$ such that

[TABLE]

We thus obtain a $G$-invariant measure $dm_{A\backslash G}$ on $A\backslash G$ by setting

[TABLE]

This measure is uniquely determined by the fact that for $f\in C_{c}(G)$ we have

[TABLE]

The group $A$ normalizes $N$, and we have

[TABLE]

This implies in particular that for $f\in C_{c}(N)$ and $t\neq 0$ we have

[TABLE]

The Weyl group $W=N_{K}(A)/Z_{K}(A)$ acts on $A$ by conjugation. If we define

[TABLE]

then $N_{K}(A)=\langle w\rangle$, $Z_{K}(A)=\langle w^{2}\rangle$ and $wa_{t}w^{-1}=a_{-t}$. Thus $W\cong\mathbb{Z}/2\mathbb{Z}$ and a function $f:A\to\mathbb{C}$ is $W$-invariant if and only if it is even, i.e. $f(a_{t})=f(a_{-t})$. The diffeomorphism $c_{w}:G\to G$ given by $x\mapsto wxw^{-1}$ descends to a diffeomorphism

[TABLE]

and since Lebesgue measure on $\mathbb{R}$ is invariant under sign change it follows from (5.2) that $\overline{c}_{w}$ preserves the measure $m_{A\backslash G}$.

The inclusion $A\hookrightarrow G$ induces a homeomorphism $W\backslash A\to K\backslash G/K$, and if we define $\widehat{\iota}:G\to[1,\infty)$ by $g\mapsto\frac{1}{2}\operatorname{tr}(g^{T}g)$, then $\widehat{\iota}$ is bi-$K$-invariant and induces homeomorphisms

[TABLE]

Explicitly, we have $\iota_{A}(\{a_{\pm t}\})=\cosh(t)$ and thus $\iota_{A}^{-1}(r)=\{a_{\pm\operatorname{arcosh}(r)}\}$.

5.2. The Harish transform and its inverse

We recall the definition and basic properties of the Harish transform on ${\rm SL}_{2}(\mathbb{R})$. Our exposition follows [21], but we decided to spell out some formulas more explicitly.

Definition 5.1**.**

Let $f\in C_{c}(G)$. Then the Harish transform $\mathbb{H}f:A\to\mathbb{C}$ is given by

[TABLE]

Lemma 5.2** (Properties of the Harish transform).**

The Harish transform has the following properties:

1. (i)

For all $f\in C_{c}(G)$ we have $\mathbb{H}(f^{*})=(\mathbb{H}f)^{*}$. 2. (ii)

$\mathbb{H}(C_{c}(G,K))\subset C_{c}(A)^{W}$* and $\mathbb{H}(C_{c}^{\infty}(G,K))\subset C_{c}^{\infty}(A)^{W}$.* 3. (iii)

For all $f_{1},f_{2}\in C_{c}(G,K)$ we have $\mathbb{H}(f_{1}*f_{2})=\mathbb{H}f_{1}*\mathbb{H}f_{2}$.

In particular, $\mathbb{H}$ yields $*$-algebra homomorphisms

[TABLE]

Proof.

(i) For all $f\in C_{c}(G)$ and $t\in\mathbb{R}$ we have by (5.3),

[TABLE]

(ii) It is clear from the formula that $\mathbb{H}$ preserves smoothness. Now let $f\in C_{c}(G,K)$; given $t\in\mathbb{R}$ the function $\widetilde{\varphi_{t}}$ on $G$ given by $\varphi_{t}(x)=f(x^{-1}a_{t}x)$ is left-$A$-invariant and hence descends to a function $\varphi_{t}$ on $A\backslash G$. Using bi-$K$-invariance of $f$ and (5.4) we obtain for every $t\neq 0$ the formula

[TABLE]

and this formula extends to $t=0$ by continuity. Since $a_{-t}=wa_{t}w^{-1}$ and $m_{A\backslash G}$ is invariant under the diffeomorphism $\overline{c}_{w}$ from (5.5) we have $m_{A\backslash G}(\varphi_{t})=m_{A\backslash G}(\varphi_{-t})$. Since also $|e^{t/2}-e^{-t/2}|$ is an even function, we deduce that $t\mapsto\mathbb{H}(f)(a_{t})$ is even.

(iii) For all $f_{1},f_{2}\in C_{c}(G,K)$ and $t\in\mathbb{R}$ we have

[TABLE]

Since by (5.3) for all $\tau,t,v\in\mathbb{R}$ we have $a_{-(-\tau+t)}n_{v}^{-1}a_{-\tau+t}=n_{-e^{-(-\tau+t)}v}$, we deduce that

[TABLE]

This finishes the proof. ∎

To see that the morphism $\mathbb{H}:C_{c}^{\infty}(G,K)\to C_{c}^{\infty}(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 $\iota$ and $\iota_{A}$ from (5.6) induce isomorphisms

[TABLE]

Under these isomorphisms, both $C^{\infty}_{c}(G,K)$ and $C^{\infty}_{c}(A)^{W}$ are mapped onto the subspace $C_{c}^{\infty}([1,\infty))\subset C_{c}([1,\infty))$ consisting of fuctions in $C_{c}^{\infty}(\mathbb{R})$ with support contained in $[1,\infty)$.

Remark 5.3** (Harish transform vs. Abel transform).**

The Abel transform

[TABLE]

is related to the Harish transform by the commutative diagram

[TABLE]

Indeed, since $\iota(a_{t}n_{u})=\cosh(t)+\frac{1}{2}(ue^{t/2})^{2}$ we have for all $\varphi\in C_{c}^{\infty}([1,\infty))$ and $t\in\mathbb{R}$

[TABLE]

Lemma 5.4** (Inversion of the Abel transform).**

The Abel transform is a linear isomorphism with inverse given by

[TABLE]

Proof.

For all $r\in[1,\infty)$ the substitutions \left\{\begin{array}[]{ll}u=R\cos\theta\\ v=R\sin\theta\end{array}\right\} and $\xi=R^{2}/2$ yield

[TABLE]

where the last equality holds since $\psi$ has compact support. ∎

Corollary 5.5** (Invertibility of the smooth Harish transform).**

The Harish transform yields an isomorphism of $*$-algebras $\mathbb{H}:C_{c}^{\infty}(G,K)\to C_{c}^{\infty}(A)^{W}$ with inverse given by ${\mathbb{H}}^{-1}=\iota^{*}\circ\mathbb{A}^{-1}\circ(\iota_{A}^{-1})^{*}$.∎

Note that we can write out the formula for the inverse Harish transform explicitly as follows: If $\psi=(\iota_{A}^{-1})^{*}(\varphi)$, then $\psi(r)=\varphi(\{a_{\operatorname{arcosh}(r)}\})$, and hence

[TABLE]

We conclude that

[TABLE]

5.3. The inverse Harish transform on distributions

Given a smooth manifold $M$ we equip $C_{c}^{\infty}(M)$ with the topology of uniform convergence of all derivatives on compacta. We then denote by $\mathcal{D}(M)$ the space of distributions on $M$, i.e. the space of continuous linear functionals on $C_{c}^{\infty}(M)$. We claim that the inverse Harish transform induces a map

[TABLE]

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 $\mathbb{A}^{-1}:C_{c}^{\infty}[1,\infty)\to C_{c}^{\infty}[1,\infty)$. We will establish the following more precise estimate:

Lemma 5.6** (Continuity of the inverse Abel transform).**

For every $n\geq 0$,

[TABLE]

Proof.

For $\psi\in C_{c}^{\infty}[1,\infty)$ the substitution $v:=u^{2}/2$ yields

[TABLE]

Now, on the one hand,

[TABLE]

and on the other hand by partial integration

[TABLE]

hence

[TABLE]

We deduce that

[TABLE]

and applying this to $\psi:=\varphi^{(n)}$ yields the lemma. ∎

5.4. The auto-correlation as a positive-definite distribution

Recall that $\eta\in M^{+}(K\backslash G/K)$ denotes the auto-correlation measure of $\nu$. Given $f\in C^{\infty}_{c}(A)$, we define $f_{W}\in C_{c}^{\infty}(A)^{W}$ by

[TABLE]

Then $\mathbb{H}^{-1}(f_{W})\in C^{\infty}_{c}(G,K)$ and thus ${}_{K}(\mathbb{H}^{-1}(f_{W}))_{K}\in C_{c}(K\backslash G/K)$. We may thus apply the measure $\eta$ to this function and define

[TABLE]

Proposition 5.7**.**

The map $\xi:C^{\infty}_{c}(A)\to\mathbb{C}$ has the following properties:

1. (i)

$\xi$* is $W$-invariant and continuous, hence defines a distribution $\xi\in\mathcal{D}(A)^{W}$.* 2. (ii)

$\xi$* is evenly positive-definite in the sense that $\xi(f\ast f^{*})\geq 0$ for all $f\in C^{\infty}_{c}(A)^{W}$.* 3. (iii)

$\xi$* determines the auto-correlation measure $\eta$ uniquely.*

Proof.

(i) $W$-invariance holds by construction, and continuity follows from Lemma 5.6. (ii) follows from Remark 4.15 and the fact that $\mathbb{H}^{-1}$ is a $*$-homomorphism, since for $f\in C_{c}(A)^{W}$ we have

[TABLE]

(iii) follows from the fact that $\mathbb{H}^{-1}$ is onto $C_{c}^{\infty}(G,K)$ and the latter is dense in $C_{c}(G,K)$. ∎

Definition 5.8**.**

The evenly positive-definite distribution $\xi\in\mathcal{D}(A)^{W}$ is called the auto-correlation distribution of $\nu$.

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\backslash G/K$ or equivalently as a evenly positive-definite distribution on $A\cong\mathbb{R}$.

Remark 5.9** (Non-temperedness of the auto-correlation distribution).**

Recall that a distribution $\xi\in\mathcal{D}(\mathbb{R})$ is called tempered if it can be extended to a continuous linear functional on the Schwartz space $\mathcal{S}(\mathbb{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 $\mathbb{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)$.

5.5. Beyond ${\rm SL}_{2}(\mathbb{R})$

We have used the Harish transform to transform the auto-correlation measure into an evenly positive-definite distribution on $\mathbb{R}$. The underlying argument is not specific to the case of ${\rm SL}_{2}(\mathbb{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=NAK$ with $K<G$ maximal compact and $A\cong\mathbb{R}^{n}$, and there is a Harish transform, which defines an isomorphism of $*$-algebras $\mathbb{H}:C_{c}^{\infty}(K\backslash G/K)\to C_{c}^{\infty}(A)^{W}$, 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 $\mu$ is a translation bounded measure in the Riemannian symmetric space $K\backslash G$ whose hull $\Omega_{\mu}^{\times}$ is uniformly locally bounded and admits a $G$-invariant probability measure $\nu$ with auto-correlation measure $\eta\in M^{+}(K\backslash G/K)$, then one obtains an evenly positive-definite distribution $\xi\in\mathcal{D}(A)^{W}$ by the formula

[TABLE]

where

[TABLE]

As in the ${\rm SL}_{2}(\mathbb{R})$-case, the auto-correlation measure is uniquely determined by this distribution, which justifies calling $\xi$ the auto-correlation distribution of $\nu$. Since $A\cong\mathbb{R}^{n}$ we can view this distribution as an evenly positive-definite distribution on $\mathbb{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.

6. Approximation of the auto-correlation for weighted regular model sets

Throughout this section let $\Lambda=\Lambda(G,H,K,\Gamma)$ be a regular model set (not necessarily uniform) in $G$ and let ${}_{K}p_{*}\Lambda$ be the corresponding weighted model set in $K\backslash G$. We denote by $\nu$ the unique $G$-invariant probability measure on $\Omega^{\times}_{{}_{K}p_{*}\Lambda}$ and by $\eta\in M^{+}(K\backslash G/K)$ its auto-correlation measure.

6.1. Reminder of the amenable case

Assume first that the group $G$ is amenable. We recall from Proposition 4.16 that the auto-correlation measure $\eta$ satisfies

[TABLE]

where $\widetilde{\eta}$ is the auto-correlation measure of the unique $G$-invariant probability measure on $\Omega^{\times}_{\Lambda}$. In view of this formula, [7, Cor. 5.4] yields the following formula for $\eta$:

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 $\eta$ is given by the sampling limit

[TABLE]

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 $\alpha,\beta:[0,1)\rightarrow\mathbb{R}_{+}$ with $\alpha(0)=0$ and $\beta(0)=0$ such that

[TABLE]

for all $t,\delta>0$. $(F_{t})$.

This is a weakening of the notion of an admissible sequence from [13].

6.2. 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,\pi)$ with $V^{G}=\{0\}$ and all $u,v$ in $V$ we have

[TABLE]

Many non-amenable groups of interest have this property:

Example**.**

1. (1)

${\rm SL}_{n}(\mathbb{R})$ and ${\rm SL}_{n}(\mathbb{Q}_{p})$ are Howe–Moore groups. 2. (2)

More generally, if ${\bf G}$ is a semisimple algebraic group over a local field $k$, then ${\bf G}(k)$ is a Howe–Moore group [19]. In particular, every semisimple Lie group with finite center is a Howe–Moore group. 3. (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. (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. (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:=\Gamma\backslash(G\times H)$ and denote by $L^{2}_{0}(Y)$ the orthogonal complement of the constants in $L^{2}(Y)$ so that the unitary representation $\pi:G\to\mathcal{U}(L^{2}_{0}(Y))$ has no invariant vectors. Moreover, let $(F_{t})$ be a weakly-admissible sequence in $G$ and define $\beta_{t}:=\frac{1}{m_{G}(F_{t})}\cdot{\bf 1}_{F_{t}}\in L^{1}(G)$. We say that $G$ has the Howe–Moore property relative $(Y,K,(F_{t}))$ if

[TABLE]

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.

Definition 6.5**.**

The pair $(G,K)$ is called a Gelfand pair and $K\backslash G$ is called a commutative space if the Hecke algebra $C_{c}(G,K)$ is commutative under convolution.

Example**.**

In developing the current theory we had the following examples of Gelfand pairs $(G,K)$ and commutative spaces $X=K\backslash G$ in mind (cf. [29]):

1. (1)

$G$ is abelian and $K=\{e\}$ so that $X=G$. This is the classical setting of quasi-crystals. 2. (2)

$G=\mathbb{R}^{n}\rtimes O(n)$, $K=O(n)$ so that $X=\mathbb{R}^{n}$ and $C_{c}(G,K)$ can be identified with radial functions on Euclidean space. This setting is implicitly studied in [2]. 3. (3)

$G={\rm SL}_{2}(\mathbb{R})$ and $K={\rm SO}_{2}(\mathbb{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. (4)

$G={\rm SL}_{2}(\mathbb{Q}_{p})$ and $K={\rm SL}_{2}(\mathbb{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. (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. (6)

Generalizing (4), choose $G={\bf G}(k)$ and $K={\bf G}(o_{k})$ where ${\bf G}$ is a semisimple algebraic group over a non-Archimedian local field $k$ and $o_{k}\subset 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. (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. (8)

Let $H$ be the $(2n+1)$-dimensional Heisenberg group. The group ${\rm 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\ltimes H$. Then $X$ can be identified with the Heisenberg group. If $K={\rm 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. (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 $\eta$ is given by the sampling limit

[TABLE]

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}))$.

6.3. Proof of the approximation theorem

Throughout this subsection we assume that $G,K,(F_{t})$ satisfy the assumptions of the approximation theorem (Theorem 6.6). We denote $Y:=\Gamma\backslash(G\times H)$ and $\beta_{t}:=\frac{1}{m_{G}(F_{t})}\cdot{\bf 1}_{F_{t}}\in L^{1}(G,K)$. By a standard argument, the (relative) Howe–Moore property implies the mean ergodic theorem, which we can formulate as follows:

Lemma 6.7** (Mean ergodic theorem).**

Let $\sigma$ be a $K$-invariant probability measure on $Y$ which is absolutely continuous with respect to $m_{Y}$ with square-integrable density. Then for every $\varphi\in C_{b}(Y)$,

[TABLE]

Proof.

By assumption, $\sigma=u\,dm_{Y}$ with $u\in L^{2}(Y)^{K}$. For every $\varphi\in C_{b}(Y)$,

[TABLE]

Since $\beta_{t}$ is $K$-invariant, we have $\langle\pi(\beta_{t})\varphi,u\rangle=\langle\pi(\beta_{t})\varphi^{K},u\rangle$, where $\varphi^{K}$ denotes the projection of $\varphi$ onto $L^{2}(Y)^{K}$. If we write $\varphi^{K}=m_{Y}(\varphi)+\varphi_{o}$ and $u=1+u_{o}$ with $\varphi_{o},u_{o}\in L^{2}_{o}(Y)$, then

[TABLE]

and since $G$ has the Howe-Moore property with respect to $(Y,K,(F_{t}))$, the last term tends to zero as $t\rightarrow\infty$. ∎

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

[TABLE]

Proof.

Since the space of sub-probability measures on $Y$ is vaguely compact, it suffices to show that every limit point $\nu=\lim_{n\to\infty}\check{\beta}_{t_{n}}\ast\delta_{y}$ of $(\check{\beta}_{t}\ast\delta_{y})$ coincides with $m_{Y}$. To show this, let $\rho=\rho_{1}\otimes\rho_{2}\in C_{c}(G\times H)$ be a probability density such that $\rho_{1}\in C_{c}(G,K)$ is bi-$K$-invariant. Since $\check{\beta}_{t}$ and $\rho_{1}$ commute, we then have

[TABLE]

Now let $\sigma:=\rho\ast\delta_{y}$. We claim that $\sigma=\psi\cdot m_{Y}$ is absolutely continuous with respect to $m_{Y}$ with uniformly bounded density $\psi$. For the proof we may assume without loss of generality that $y=\Gamma$. If $F\in C_{c}(Y)$, then there exists $f\in C_{c}(G\times H)$ such that $F=\mathcal{P}_{\Gamma}f$, and thus

[TABLE]

where $\psi:=\mathcal{P}_{\Gamma}\rho$. This proves that $\sigma=\psi\cdot m_{Y}$, and to see that this density is bounded, we observe that

[TABLE]

Since the orbit of $\Gamma$ is uniformly locally finite and $\operatorname{supp}(\rho)$ is compact, the claim follows. We may thus apply Lemma 6.7 to obtain

[TABLE]

Now we can choose $\rho^{(n)}_{1}$ to be a convenient approximate identity in $C_{c}(G,K)$ and $\rho_{2}^{(n)}$ to be a convenient approximate identity in $C_{c}(H)$ and set $\rho^{(n)}:=\rho^{(n)}_{1}\otimes\rho^{(n)}_{2}$. Since $\nu$ is $K$-invariant by construction we then obtain

[TABLE]

This finishes the proof. ∎

We observe that by a standard approximation argument the convergence

[TABLE]

holds not only for $f\in 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 $\beta:\Omega^{\times}_{\Lambda}\to Y$, where $Y=\Gamma\backslash(G\times H)$ as before, which induces an isomorphism

[TABLE]

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\in C_{c}(G)$ and for $m_{G}$-almost every $g\in G$,

[TABLE]

In particular, if we abbreviate $y_{0}:=\beta(\Lambda)$, then for all $f\in C_{c}(G)$ and for $m_{G}$-almost every $s\in G$ we have

[TABLE]

Now let $f_{1},f_{2}\in C_{c}(G,K)$. We observe that the bounded measurable function

[TABLE]

has compact support. Indeed, if $\mathcal{F}$ denotes a fundamental domain of $\Gamma$ in $G\times H$, then the supports of the functions $f_{j}\otimes{\bf 1}_{W}$ intersect only finitely many translates of $\mathcal{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

[TABLE]

Now if we set $\beta_{t}:=\frac{1}{m_{G}(F_{t})}\cdot{\bf 1}_{F_{t}}$ the pointwise ergodic theorem (Proposition 6.8) yields

[TABLE]

In view of [7, Theorem 5.3] this implies the theorem. ∎

Appendix A Convolution structures on double coset spaces

A.1. Convolution algebras and representations

Recall that $M_{b}(G)$ denotes the Banach space of bounded complex Radon measures on the lcsc group $G$.

Remark A.1** ($M_{b}(G)$ as a Banach-$*$-algebra).**

$M_{b}(G)$ is a Banach-$*$-algebra with convolution product and involution respectively given by

[TABLE]

For general $\mu,\nu$ in $M(G)$ the convolution $\mu\ast\nu$ is not well-defined, but if one of them has compact support, then $\mu\ast\nu$ can be defined by the same formula. Similarly, the involution $*$ can be extended by the same formula to all of $M(G)$.

Remark A.2** ($L^{1}(G)$ as a Banach-$*$-algebra).**

Our choice of Haar measure yields an embedding $L^{1}(G)\hookrightarrow M_{b}(G)$, $f\mapsto f\cdot m_{G}$. Under this embedding $L^{1}(G)$ is a Banach-$*$-subalgebra, and for $f,g\in L^{1}(G)$ we have

[TABLE]

By the same formula we obtain a convolution action of $L^{1}(G)$ on $L^{p}(G)$ for all $1\leq p\leq\infty$ so that $\|f\ast g\|_{p}\leq\|f\|_{1}\|g\|_{p}$. If $f\in L^{1}(G)$ and $g\in L^{\infty}(G)$, then $f\ast g$ is continuous.

Remark A.3** (Extending representations).**

If $\pi:G\to\mathcal{U}(V)$ is a unitary representation of $G$ on a Hilbert space $V$, then we obtain a $*$-representation of the algebra $L^{1}(G)$ by the formula

[TABLE]

where the integral can be interpreted in the weak sense.

Example**.**

If $\pi_{L}:G\to\mathcal{U}(L^{2}(G))$ denotes the left-regular representation, then for $f\in L^{1}(G)$ and $u\in L^{2}(G)$ we have

[TABLE]

i.e. $\pi_{L}$ is the action by left-convolution.

Example**.**

If $\pi_{R}:G\to\mathcal{U}(L^{2}(G))$ denotes the right-regular representation, then for $f\in L^{1}(G)$ and $u\in L^{2}(G)$ we have

[TABLE]

i.e. $\pi_{R}(f)$ acts by right-convolution by $\check{f}$.

A.2. Convolution algebras of bi-$K$-invariant functions

Remark A.4** (Subalgebras of bi-$K$-invariant functions and measures).**

The group $G$ acts on functions on $G$ by $L_{g}f(x):=f(g^{-1}x)$ and $R_{g}f(x):=f(xg)$, and dually on measures. We denote by $M_{b}(G,K)\subset M_{b}(G)$ and $L^{1}(G,K)\subset L^{1}(G)$ the Banach-$*$-subalgebras consisting of measures and function classes which are bi-$K$-invariant. The spaces $M(G,K)$, $C(G,K)$, $L^{p}(G,K)$ etc. are defined similarly,

Definition A.5**.**

The dense $*$-subalgebra $C_{c}(G,K):=L^{1}(G,K)\cap C_{c}(G)$ is called the Hecke algebra of the pair $(G,K)$.

Note that if ${}_{K}p_{K}:G\to K\backslash G/K$ denotes the canonical projection, then pullback induces a bijection ${}_{K}p_{K}^{*}:C_{c}(K\backslash G/K)\to C_{c}(G,K)$. By transport of structure, $C_{c}(K\backslash 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\backslash 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\backslash Y$ is Hausdorff and paracompact with respect to the quotient topology.

The following version of Weil’s formula can be found e.g. in [20, Thm. 2.2].

Lemma A.7** (Weil formula for strongly proper actions).**

Let $Y$ be a strongly proper $H$-space and let $\eta$ be an $H$-invariant Radon measure on $Y$. Then there exists a unique Radon measure $\underline{\eta}$ on $H\backslash Y$ such that for all $f\in C_{c}(Y)$,

[TABLE]

The formula stated in [20, Thm. 2.2] is actually more involved, but under our standing assumption that $H$ be unimodular it simplifies to the form above. We emphasize that $\underline{\eta}$ depends on our choice of Haar measure $m_{H}$ on $H$.

A.4. Measures and convolutions on double coset spaces

Recall that $K$ denotes a compact subgroup of our lcsc group $G$ with Haar probability measure $m_{K}$. Since the left-action of $K$ on $G$ is strongly proper and preserves $m_{G}$, we can apply Lemma A.7 with $Y:=G$ and $H:=K$. We deduce that there exists a unique Radon measure $m_{K\backslash G}$ on $K\backslash G$ such that for all $f\in C_{c}(G)$,

[TABLE]

Similarly, there exists a unique Radon measure $m_{G/K}$ on $G/K$ such that for all $f\in C_{c}(G)$,

[TABLE]

Now observe that also the $(K\times K)$-action on $G$ given by $(k_{1},k_{2}).g:=k_{1}gk_{2}^{-1}$ is strongly proper and preserves $m_{G}$. Applying Lemma A.7 with $Y:=G$ and $H:=K\times K$ thus yields a unique Radon measure $m_{K\backslash G/K}$ on $K\backslash G/K$ such that for all $f\in C_{c}(G)$,

[TABLE]

Definition A.8**.**

Let $f_{1},f_{2}\in C_{c}(K\backslash G/K)$. Then the convolution of $f_{1}$ with $f_{2}$ is defined as the function $f_{1}\ast f_{2}\in C_{c}(K\backslash G/K)$ given by

[TABLE]

There is no natural convolution structure on $C_{c}(K\backslash G)$ or $C_{c}(G/K)$, but we can define a convolution operation $C_{c}(K\backslash G)\times C_{c}(G/K)\to C_{c}(K\backslash G/K)$:

Definition A.9**.**

Let $f_{1}\in C_{c}(K\backslash G)$ and $f_{2}\in C_{c}(G/K)$. Then the convolution of $f_{1}$ with $f_{2}$ is defined as the function $f_{1}\ast f_{2}\in C_{c}(K\backslash G/K)$ given by

[TABLE]

Also note that on $C_{c}(K\backslash G/K)$ we have a natural involution given by

[TABLE]

Similarly, we have mutually inverse isomorphisms $C_{c}(K\backslash G)\to C_{c}(G/K)$ and $C_{c}(G/K)\to C_{c}(K\backslash G)$ given by

[TABLE]

Remark A.10** (Relation to convolution in $C_{c}(G)$).**

Let us denote by ${}_{K}p:G\to K\backslash G$, $p_{K}:G\to G/K$ and ${}_{K}p_{K}:K\backslash G/K$ the canonical projections. We also denote by $C_{c}(G)^{L(K)}$ and $C_{c}(G)^{R(K)}$ the spaces of left-, respectively right-$K$-invariant functions in $C_{c}(G)$ so that $C_{c}(G,K)=C_{c}(G)^{L(K)}\cap C_{c}(G)^{R(K)}$. Since $K$ is compact we have bijections

[TABLE]

We recall that $C_{c}(G,K)$ is a $*$-subalgebra of the convolution algebra $C_{c}(G)$. Moreover, convolution induces a map $C_{c}(G)^{L(K)}\times C_{c}(G)^{R(K)}\to C_{c}(G,K)$, and the involution $*$ on $C_{c}(G)$ exchanges $C_{c}(G)^{L(K)}$ and $C_{c}(G)^{R(K)}$. Under the bijections above, these structures correspond to the convolution structures and involutions just defined: For $f_{1},f_{2},f\in C_{c}(K\backslash G/K)$ we have

[TABLE]

and for $f_{1}\in C_{c}(K\backslash G)$ and $f_{2}\in C_{c}(G/K)$ we have

[TABLE]

In particular, the $*$-algebras $C_{c}(K\backslash G/K)$ and $C_{c}(G,K)$ are isomorphic under ${}_{K}p_{K}^{*}$.

A.5. Approximate identities for the Hecke algebra

Remark A.11** (Canonical retractions).**

Define a map $M(G)\to M(G,K)$, $\mu\mapsto\mu^{\sharp}$ by

[TABLE]

For all $\mu\in M(G)$ and $f\in C_{c}(G,K)$ we then have $\mu(f)=\mu^{\sharp}(f)$, i.e. $\mu$ and $\mu^{\sharp}$ restrict to the same linear functional on $C_{c}(G,K)$. The map $\mu\mapsto\mu^{\sharp}$ restricts to a retraction of Banach-$*$-algebras $M_{b}(G)\to M_{b}(G,K)$ of norm $1$, and further to algebra retractions $L^{1}(G)\to L^{1}(G,K)$ and $C_{c}(G)\to C_{c}(G,K)$. Explicitly, for $f\in L^{1}(G)$ we have

[TABLE]

The same formula also yields retractions $L^{p}(G)\to L^{p}(G,K)$ for $1\leq p<\infty$, and we obtain continuous convolution actions of $L^{1}(G,K)$ on $L^{p}(G,K)$ such that $(f\ast g)^{\sharp}=f^{\sharp}\ast g^{\sharp}$.

Remark A.12** (Convenient approximate identities).**

Let $U_{n}$ be a nested sequence of pre-compact identity neighbourhoods in $G$ with $\bigcap U_{n}=\{e\}$ (which exists since $G$ is second countable). We choose $\widetilde{\rho}_{n}\in C_{c}(G)$ with the following properties:

[TABLE]

Then $\widetilde{\rho}_{n}\ast f$ and $f\ast\widetilde{\rho}_{n}$ converge to $f$ in the following sense ([12, Prop. 2.44]):

• •

If $1\leq p<\infty$, then convergence holds in $L^{p}$.

• •

If $f\in C_{c}(G)$, then convergence holds uniformly, and hence if $f\in C(G)$, then convergence holds uniformly on compacta, and in particular pointwise.

Now set $\rho_{n}:=\widetilde{\rho}_{n}^{\sharp}$. Then we have convergence $\rho_{n}\ast f\to f^{\sharp}$ and $f\ast\rho_{n}\to f^{\sharp}$ in the same sense. In particular, $(\widetilde{\rho}_{n})$ is a two-sided approximate identity in $C_{c}(G)$ and $L^{1}(G)$, and $(\rho_{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\backslash G/K)\cong C_{c}(G,K)$ we also obtain a convenient approximate identity on $C_{c}(K\backslash G/K)$ with analogous properties.

Lemma A.13**.**

1. (i)

The subset $\{f\ast f^{*}\mid f\in C_{c}(G)\}\subset C_{c}(G)$ spans a dense subspace. 2. (ii)

The subset $\{f\ast f^{*}\mid f\in C_{c}(G,K)\}\subset C_{c}(G,K)$ spans a dense subspace. 3. (iii)

The subset $\{f\ast f^{*}\mid f\in C_{c}(K\backslash G/K)\}\subset C_{c}(K\backslash G/K)$ spans a dense subspace.

Proof.

The span of $\{f\ast f^{*}\mid f\in C_{c}(G,K)\}$ contains all elements of the form $f\ast g^{*}$ with $f,g\in 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\}$. ∎