Hyperuniformity and hyperfluctuations of random measures in commutative spaces

If \beta \in L^1(G, K), then we set \widehat{\pi}(\widehat{\beta}) = \pi(\beta). Since the image of L^1(G, K) under the spherical transform is dense in C_0(\mathcal{S}^+) as mentioned in Subsection ?, every \phi \in \mathscr{L}^{\infty}(\mathcal{S}^+) can be approximated pointwise by some sequence \widehat{\beta}_n \in C_0(\mathcal{S}^+) with \beta_n \in L^1(G, K). Since \sigma_{v, w} has finite total variation by Corollary 2.5 for every v, w \in \mathcal{H}^K, Equation ? and dominated convergence implies that

Moreover, \mathscr{B}(\mathcal{H}^K) is preserved under weak limits, so we see that \widehat{\pi}(\phi) defines a bounded linear operator on \mathcal{H}^K. To see that this yields a *-representation, note that

for all \beta_1, \beta_2 \in L^1(G, K), so if \phi_1, \phi_2 \in \mathscr{L}^{\infty}(\mathcal{S}^+) then using the same limiting argument as before yields \widehat{\pi}(\phi_1)\widehat{\pi}(\phi_2)^* = \widehat{\pi}(\phi_1 \overline{\phi_2}).

As stated in Equation ? we have that

for all \phi \in \mathscr{L}^{\infty}(\mathcal{S}^+) and all F_1, F_2 \in \mathscr{C}_+(\mathcal{S}^+). By Lemma 3.5 we may for each \phi \in C_c(\mathcal{S}^+) take a function F_{\phi} \in \mathscr{C}_+(\mathcal{S}^+) that is strictly positive on the compact support \mathrm{supp}(\phi) \subset \mathcal{S}^+ and consider

We claim that \sigma_{\alpha} is a well-defined positive continuous linear functional on C_c(\mathcal{S}^+) with respect to the inductive topology over compact subsets.

First, to see that \sigma_{\alpha} is well-defined, suppose that F_1, F_2 \in \mathscr{C}_+(\mathcal{S}^+) are strictly positive on \mathrm{supp}(\phi). Then \phi/F_1, \phi/F_2 and \phi/(F_1F_2) are compactly supported and continuous, so by Equation ?,

To see that \sigma_{\alpha} is linear, let \phi_1, \phi_2 \in C_c(\mathcal{S}^+), c_1, c_2 \in \mathbb{C} and let F \in \mathscr{C}_+(\mathcal{S}^+) be strictly positive on \mathrm{supp}(\phi_1) \cup \mathrm{supp}(\phi_2) \supset \mathrm{supp}(c_1\phi_1 + c_2\phi_2), so that

For the continuity of \sigma_{\alpha}, note that if Q \subset \mathcal{S}^+ is compact and F_Q \in \mathscr{C}_+(\mathcal{S}^+) is strictly positive on Q, then

for all \phi \in C_c(\mathcal{S}^+) with \mathrm{supp}(\phi) \subset Q.

We conclude that \sigma_{\alpha} is a positive continuous linear functional on C_c(\mathcal{S}^+), and hence a positive Radon measure on \mathcal{S}^+ by the Riesz representation Theorem.

Next, we claim that \sigma_{F} = F \cdot \sigma_{\alpha} as measures on \mathcal{S}^+ for any F \in \mathscr{C}_+(\mathcal{S}^+). To see this, let \phi \in C_b(\mathcal{S}^+) be a positive bounded and continuous function and F \in \mathscr{C}_+(\mathcal{S}^+). Take an increasing sequence of positive functions \chi_n \in C_c(\mathcal{S}^+) such that the compact support \mathrm{supp}(\chi_n) is contained in the open subset U_{F} = \{ \omega \in \mathcal{S}^+ : F(\omega) > 0 \} and such that \chi_n \rightarrow 1 uniformly on U_{F} as n \rightarrow +\infty. Then F is strictly positive on the compact support of F \cdot \chi_n, so by the monotone convergence Theorem we see that

which proves the claim.

Finally, the conclusion of Theorem 3.2 now follows by taking F = |\widehat{\varphi}|^2 for \varphi \in \mathscr{A}(G, K),

Since (G, K) is Gelfand and \varphi_1, \varphi_2 \in \mathscr{A}(G, K), then \varphi_1 * \varphi_2 = \varphi_2 * \varphi_1, so it suffices to prove the first equality in the statement. To do this we use Bochner’s Theorem for matrix coefficients in Corollary 2.5 and the \mathscr{L}^{\infty}(\mathcal{S}^+)-homomorphism \widehat{\pi} from Lemma 2.6 to write

From the L^1(G)-equivariance of \alpha,

so that

By definition of the \mathscr{L}^{\infty}(\mathcal{S}^+)-homomorphism \widehat{\pi}, the operator in the latter inner product can be rewritten using Lemma 2.6 as

Finally, using Bochner’s Theorem for matrix coefficents in Corollary 2.5 again, we get that

By Assumption 1 in the beginning of Section ?, there is for every \omega \in \mathcal{S}^+ a \varphi_{\omega} \in \mathscr{A}(G, K) such that \widehat{\varphi}_{\omega}(\omega) \neq 0, so that |\widehat{\varphi}_{\omega}(\omega)|^2 > 0. Since \widehat{\varphi}_{\omega} is continuous, there is an open subset U_{\omega} \subset \mathcal{S}^+ such that |\widehat{\varphi}_{\omega}(\omega')|^2 > 0 for all \omega' \in U_{\omega}, which yields an open cover

Since Q is compact, there are \omega_1, \dots , \omega_n \in Q such that

so taking F = |\widehat{\varphi}_{\omega_1}|^2 + \dots + |\widehat{\varphi}_{\omega_n}|^2 \in \mathscr{C}_+(\mathcal{S}^+) finishes the proof.

First we make use of the mean ergodic Theorem in Lemma 3.8 to find that

On the other hand, if \omega \in \mathcal{S}^+ is a positive-definite spherical function with associated K-spherical irreducible GNS-representation (\pi_{\omega}, \mathcal{H}_{\omega}, v_{\omega}), then

Thus \widehat{\beta}_n \rightarrow \chi_{\{1\}} pointwise on \mathcal{S}^+. Since

for every \omega \in \mathcal{S}^+ and

by Theorem 3.2 then Theorem 3.2 and dominated convergence allows us to compute the desired limit as

First, if v \in \mathcal{K}^G then

for all w \in \mathcal{K}, using that the integral of \beta with respect to m_G is 1, so v \in \mathcal{K}^{\tau(\beta)}.

Conversely, if v \in \mathcal{K}^{\tau(\beta)} then

for all w \in \mathcal{K}. Letting w = v and taking real parts of both sides yields

so \tau(g)v = v for all g \in \mathrm{supp}(\beta). Since the support \mathrm{supp}(\beta) generates G and \tau is a group homomorphism then \tau(g)v = v for all g \in G, so v \in \mathcal{K}^G.

For the first inequality, a change of variables yields

Note that if s(x)(\widetilde{D}_V^-)^{-1} \cap V \neq \varnothing then s(x) \in V \widetilde{D}_V^- \subset \widetilde{D}, so that x \in D. Since \rho_V integrates to 1 over G, we get that

For the second inequality, we similarly write

If x \in D, then s(x) \in \widetilde{D} \subset v \widetilde{D}_V^+ for every v \in V, meaning that V \subset s(x) (\widetilde{D}_V^+)^{-1} and hence

The inequalities in Equation ? can be written in terms of discrepancies as

Note that

which yields the inequalities

Using the triangle inequality, we get that

as desired.

By defintion of the diffraction measure \sigma_{\mu} on \mathcal{S}^+ we have

By Hölder’s inequality, we can bound the L^{\infty}(\sigma_{\mu})-norm of \widehat{\chi}_{\widetilde{B}} by

to get the desired bound,

Let t > t_o. By Corollary 5.2 and Lemma 5.5 we have that

Using that the sequence \widetilde{D}_t is admissible, we have that

Moreover, using that we specified \rho_{\mathcal{O}_{\varepsilon}} = m_G(\mathcal{O}_{\varepsilon})^{-1} \chi_{\mathcal{O}_{\varepsilon}} along with the triangle inequality yields

for sufficiently small \varepsilon > 0. Gathering all of these estimates we get

Taking

finishes the proof.

Since the kernel L is assumed to be continuous it is clear that \kappa_L is continuous. To show that \kappa_L is bi-K-invariant, we first note that for every g_1, g_2 \in G,

Since |c(g, x)| = 1 for every g \in G and every x \in X by assumption, we find that |L(g_1.x_o, g_2.x_o)|^2 = \kappa_L(g_1^{-1}g_2). Thus for every k_1, k_2 \in K and every g \in G,

For the second part we use the definition of the G-invariant measure m_X on X,

and Equation ? together with |L(g_1.x_o, g_2.x_o)|^2 = \kappa_L(g_1^{-1}g_2) to write

Finally, observing that

for every g_2 \in G yields the desired formula.

Since \widetilde{s}(\widetilde{g}.x)\widetilde{\gamma}_s(g, x).x_o = \widetilde{g}\widetilde{s}(x).x_o = \widetilde{g}.x then \widetilde{\gamma}_s(g, x) \in \widetilde{K} and from this it is clear that \widetilde{\gamma}_s is also continuous by Assumption 2 above. To see that the cocycle identity holds, we simply compute

Using that \pi(\widetilde{\gamma}_s(b(g), x)^{-1})v = \overline{\xi(\widetilde{\gamma}_s(b(g), x))}v, we find that

from which it follows that

For the right implication, set \theta(r) = \sigma((0, r]) and
\psi(r) = -2F'(r)F(r), so that

Now, since \sigma is tempered and satisfies \sigma((0, \varepsilon]) = o(\varepsilon^{\alpha}), then \theta satisfies the two first conditions in Lemma A.8 with r_{\varepsilon} = s^{-1}. Moreover, since F is Schwartz, then \psi = -2 F' F is Schwartz and thus |\psi| satisfies the three latter conditions in Lemma A.8, so we get that

as desired.

Conversely, consider the lower bound

If

then setting \varepsilon = s^{-1} yields

Let I(\varepsilon) = \int_0^{\infty} \psi(r/r_{\varepsilon}) \theta(r) dr and split the integral as I(\varepsilon) = I_1(\varepsilon) + I_2(\varepsilon) + I_3(\varepsilon), where

By the assumptions on \theta, we find that

Dividing by r_{\varepsilon}^{\alpha + 1} and using the assumptions made on \psi, we get that

as \varepsilon \rightarrow 0^+.

Since the heat kernel h_{\tau} is radial, the variance of its linear statistic with respect to \mu can be written in terms of the radialized Bartlett spectral measure \sigma_{\mu}^{\mathrm{rad}} as

As mentioned, the measure \sigma_{\mu} is tempered as a consequence of the Paley-Wiener Theorem, so letting s = \sqrt{\tau}, \alpha = d, F(t) = \ensuremath{\mathrm{e}}^{-t^2}, then by Proposition A.7 we have that

if and only if \sigma_{\mu}^{\mathrm{rad}}((0, \varepsilon]) = o(\varepsilon^{d}) as \varepsilon \rightarrow 0^+.

The proof is similar to the Euclidean case in Theorem A.9. In terms of the Bartlett spectral measure, the heat kernel variance with respect to \mu can be written as

where \sigma_{\mu}^{(p)} and \sigma_{\mu}^{(c)} are the restrictions of \sigma_{\mu} to (0, +\infty) and i[0, \tfrac{d-1}{2}] respectively.

First, assume that \mu is spectrally hyperuniform, in other words that \sigma_{\mu}^{(c)} = 0 and \sigma_{\mu}^{(p)}((0, \varepsilon]) = o(\varepsilon^3) as \varepsilon \rightarrow 0^+. Since \sigma_{\mu} is positive and tempered and

is a positive decaying Schwartz function, Proposition A.7 yields

Conversely, suppose that

as \tau \rightarrow +\infty. Then it is clear from Equation (Proof) that we must have \sigma_{\mu}^{(c)} = 0, and so

Since \sigma_{\mu}^{(p)} is a tempered measure on (0, +\infty), Proposition A.7 implies that

so \mu is spectrally hyperuniform.