Abstract
This study is motivated by a series of recent papers that show that, if a given deterministic sequence in the unit interval has a Poisson pair correlation function, then the sequence is uniformly distributed. Analogous results have been proved for point sequences on higher-dimensional tori. The purpose of this paper is to describe a simple statistical argument that explains this observation and furthermore permits a generalisation to bounded Euclidean domains as well as compact Riemannian manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A sequence of real numbers \(\xi _1,\xi _2,\xi _3,\ldots \) in the unit interval [0, 1] is called uniformly distributed if, for any subinterval \([a,b]\subset [0,1]\), we have
That is, the proportion of elements that fall into a given subinterval is asymptotic to its length. A classic example is the Kronecker sequence \(\xi _j=\langle j\alpha \rangle \) (where \(\langle \,\cdot \,\rangle \) denotes the fractional part), which is uniformly distributed if and only if \(\alpha \) is irrational. Once uniform distribution of a sequence is established, it is natural to investigate statistical properties on finer scales. One of the simplest such statistics is pair correlation. We say the sequence \((\xi _j)_{j\in {{\mathbb {N}}}}\) in [0, 1] has a Poisson pair correlation, if for any bounded interval \([a,b]\subset {{\mathbb {R}}}\) we have
The average gap between the first N elements \(\xi _1,\ldots ,\xi _N\in [0,1]\) is \(\frac{1}{N}\), and so, by rescaling the interval to \([\frac{a}{N},\frac{b}{N}]\), we indeed measure correlations in units of the average gap size. The reference to Poisson stems from the fact that the right hand side of (1.2) corresponds to the pair correlation of a Poisson point process in \({{\mathbb {R}}}\) of intensity one. What is more, the convergence (1.2) holds almost surely, if \((\xi _j)_{j\in {{\mathbb {N}}}}\) is a sequence of independent, uniformly distributed random variables in [0, 1]. Even for simple deterministic sequences, however, the convergence of pair correlation measures remains a significant challenge. For instance (1.2) is known to hold for \(\xi _j=\langle j^k\alpha \rangle \) (\(k\ge 2\) a fixed integer) for Lebesgue-almost every \(\alpha \) [16], and a lower bound on the Hausdorff dimension of permissible \(\alpha \) has recently been established [3]. But so far there is not a single explicit example of \(\alpha \), such as \(\alpha =\sqrt{2}\) or \(\alpha =\pi \), for which (1.2) holds; not even in the quadratic case \(k=2\) [9, 13, 14]. There has been significant recent progress in characterising the Poisson pair correlation (1.2) for general sequences \(\xi _j=\langle a_j \alpha \rangle \), for Lebesgue-almost every \(\alpha \), in terms of the additive energy of the integer coefficients \(a_j\); cf. [2, 5] and references therein. Explicit examples for which Poisson pair correlation (1.2) can be established include the fractional part of square-roots, i.e., \(\xi _j=\langle j^{1/2} \rangle \) [6], and directions of points in a shifted Euclidean lattice [7]. Note that (1.2) fails for the Kronecker sequence for any choice of \(\alpha \) [11, 12]. Another interesting case of a uniformly distributed sequence is \(\xi _j=\langle p_j \alpha \rangle \), where \(p_j\) denotes the jth prime and \(\alpha \) is irrational: also here (1.2) fails to hold, for almost every \(\alpha \) [20]. This illustrates the perhaps unsurprising fact: uniform distribution does not imply Poisson pair correlation.
In two independent papers, Aistleitner et al. [1] and Grepstad and Larcher [8] reversed the question and asked whether Poisson pair correlation (1.2) of a given sequence implies uniform distribution. The answer is yes, even under weaker hypotheses than (1.2), for sequences in the unit interval [1, 8, 18]. The same has been established for point sequences on higher-dimensional tori [10, 19]. In the present paper we develop a statistical argument that permits a generalisation of these findings to bounded domains in \({{\mathbb {R}}}^d\) (Sect. 2) as well as compact Riemannian manifolds (Sect. 3; the special case of flat tori is discussed in the “Appendix”). Instead of point sequences, we furthermore consider the more general setting of triangular arrays, i.e., sequences of finite point sets with increasing cardinality.
2 Bounded domains
Let \(\Omega \subset {{\mathbb {R}}}^d\) be bounded with \({\text {vol}}\partial \Omega =0\), where \({\text {vol}}\) denotes the Lebesgue measure in \({{\mathbb {R}}}^d\). (All subsets of \({{\mathbb {R}}}^d\) in this paper are assumed to be Borel sets.) Consider the triangular array \(\xi =(\xi _{ij})_{ij}\) with coefficients \(\xi _{ij}\in \Omega \) and indices \(i,j\in {{\mathbb {N}}}\), \(j\le N_i\), for some given \(N_i\in {{\mathbb {N}}}\) such that \(N_i<N_{i+1}\).
Example 1
Let \(\Omega =[0,1]\). Take a real sequence \((\xi _j)_{j\in {{\mathbb {N}}}}\) in [0, 1] (as in the introduction) and set \(\xi _{ij}=\xi _j\) for \(j\le N_i=i\in {{\mathbb {N}}}\). Sequences may thus be realised as special cases of a triangular arrays.
Example 2
Let \(\Omega =B_1^d\) be the open unit ball centered at the origin. Take a sequence \((a_j)_{j\in {{\mathbb {N}}}}\) in \({{\mathbb {R}}}^d\) such that \(\Vert a_j\Vert \rightarrow \infty \), and set \(\xi _{ij}=T_i^{-1} a_j\), with \(N_i=\#\{ j\mid \Vert a_j\Vert <T_i\}\) and \(T_1<T_2<\ldots \rightarrow \infty \) increasing sufficiently fast so that \(N_{j+1}>N_j\).
We associate with the ith row of \(\xi \) the Borel probability measure \(\nu _i\) on \(\Omega \), defined by
where \(f\in {\text {C{}}}_b(\Omega )\) (bounded and continuous). In other words, \(\nu _i\) represents \(N_i\) normalised point masses at the points \(\xi _{i 1},\ldots ,\xi _{i N_i}\).
Given a Borel probability measure \(\sigma \) on \(\Omega \), we say the triangular array \(\xi \) is equidistributed in\((\Omega ,\sigma )\) if \(\nu _i\) converges weakly to \(\sigma \); that is,
In the case of Example 1, equidistribution in \(([0,1),{\text {vol}})\) corresponds to the classical notion of uniform distribution discussed in the introduction.
Let \(A: {\text {cl}}\Omega \rightarrow {\text {GL}}(d,{{\mathbb {R}}})\) be a continuous map. This means in particular that \(\Delta (x)=|\det A(x)|\) is bounded above and below by positive constants. Define the finite Borel measure \(\sigma \) on \(\Omega \) by
By multiplying A with a suitable scalar constant, we may assume without loss of generality that \(\sigma (\Omega )=1\).
The role of A in this paper is to set a local frame, at each point \(x\in \Omega \), relative to which we measure correlations in the array \(\xi \). This is particularly relevant in Sect. 3, where we extend the present discussion to manifolds. The simplest example of A to keep in mind for now is the constant function \(A(x)={\text {vol}}(\Omega )^{-1/d} I_d\) (\(I_d\) is the identity matrix), so that \(\sigma (dx)= {\text {vol}}(\Omega )^{-1} \;dx\) is the uniform probability measure on \(\Omega \).
Given an increasing sequence \(M=(M_i)_i\) in \({{\mathbb {R}}}_{>0}\), the pair correlation measure\(\rho _i\) of \(\xi \) is defined by
where \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\) (non-negative, continuous with compact support). The sequence M determines the scale on which we measure correlations, and \(A(\xi _{ij_1})\) provides a local rescaling of length units near each point \(\xi _{ij_1}\), relative to the density of the measure \(\sigma \). We call the pair (A, M) a scaling.
If equidistribution (2.2) is known for some probability measure \(\sigma \) with continuous density \(\Delta \), then the most canonical choice for A is \(A(x)=\Delta ^{1/d}(x) I_d\) and \(M_i=N_i\), so that (2.4) captures correlations in units of the average Euclidean distance between the \(\xi _{ij}\) near x, which is proportional to \((N_i\Delta (x))^{-1/d}\). The point of the present discussion is, however, that we do not assume equidistribution of the array \(\xi \), and hence there is no a priori preferred choice of A or \(\sigma \).
Note that \(\rho _i\) is a locally finite Borel measure on \({{\mathbb {R}}}^d\). It is not a probability measure. We equip the space of locally finite Borel measures on \({{\mathbb {R}}}^d\) with the vague topology, and say \(\xi \)has limiting pair correlation measure\(\rho \)for the scaling (A, M), if \(\rho _i\) converges vaguely to \(\rho \). That is, if
We say \(\rho _i\) has a Poisson limit for the scaling (A, M) if (2.5) holds with \(\rho ={\text {vol}}\). (The constant multiplier in this relation seems arbitrary, but is in fact determined by our scaling of A such that \(\sigma (\Omega )=1\).) In this case (2.5) is equivalent to the statement
where
and \({{\mathbb {Z}}}_{\ne }^2={{\mathbb {Z}}}^2{\setminus }\{(j,j)\mid j\in {{\mathbb {Z}}}\}\).
We furthermore say \(\rho _i\)has a sub-Poisson limit if
which again is equivalent to the corresponding statement for bounded \(D\subset {{\mathbb {R}}}^d\) with \({\text {vol}}\partial D=0\).
In many applications one considers only the pair correlation with respect to the distance between points. We consider here \({\text {dist}}(x,y)= \Vert x-y\Vert \), with \(\Vert \,\cdot \,\Vert \) the Euclidean norm in \({{\mathbb {R}}}^d\). The corresponding pair correlation is a locally finite Borel measure on \({{\mathbb {R}}}_{\ge 0}\) defined by
for \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\). In the spatial statistics literature variants of this are often referred to as Ripley’s K-function; cf. [15, Sect. 8.3].
Define the Borel measure \(\omega \) on \({{\mathbb {R}}}_{\ge 0}\) by
where \(B_1^ d\) is the open unit ball. We say \({\widetilde{\rho }}_i\)has a Poisson limit if it converges vaguely to \(\omega \). Note that if \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\) then \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\) for \(f(x)=h(\Vert x\Vert )\). Therefore the vague convergence \(\rho _i\rightarrow \rho \) implies the vague convergence \({\widetilde{\rho }}_i\rightarrow {\widetilde{\rho }}\) with \({\widetilde{\rho }}\) defined by the relation \({\widetilde{\rho }} h=\rho f\) with \(f(x)=h(\Vert x\Vert )\). Thus if \(\rho _i\) has a Poisson limit in the vague topology, then so does \({\widetilde{\rho }}_i\). We say \({\widetilde{\rho }}_i\)has a sub-Poisson limit if
The latter statement is equivalent to
Theorem 1
Fix A and \(\sigma \) as defined above, and let \(\xi \) be a triangular array in \(\Omega \). Then the following holds.
- (i)
Suppose there is a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), such that \({\widetilde{\rho }}_i\) has a sub-Poisson limit for the scaling (A, M). Then \(\xi \) is equidistributed in \((\Omega ,\sigma )\).
- (ii)
Suppose \(\xi \) is equidistributed in \((\Omega ,\sigma )\). Then there is a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), such that \(\rho _i\) has a Poisson limit for the scaling (A, M).
It is well known that equidistribution does not imply a Poisson pair correlation at the scale \(M_i=N_i\). (An elementary example is the triangular array in [0, 1] given by \(\xi _{ij}=\frac{j}{N_i}\).) Furthermore, a Poisson pair correlation at this scale does not imply that other fine-scale statistics, such as the nearest-neighbour distribution, are Poisson [4, 6, 7].
The proof of part (i) is split into four lemmas. For \(x\in {{\mathbb {R}}}^d\), define the counting measure \({\hat{\mu }}_i^x\) on \({{\mathbb {R}}}^d\) by
where \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\). Denote by \(\chi _D\) the indicator function of a bounded subset \(D\subset {{\mathbb {R}}}^d\). Then
For \(\epsilon >0\), let \(\Omega _\epsilon =\Omega +B_\epsilon ^d\) be the \(\epsilon \)-neighbourhood of \(\Omega \), where \(B_\epsilon ^d\) is the open ball of radius \(\epsilon \) centered at the origin. The Tietze extension theorem allows us to extend \(\Delta \) to a continuous function \({{\mathbb {R}}}^d \rightarrow {{\mathbb {R}}}_{>0}\). We also extend \(\sigma \) to a locally finite measure outside \(\Omega \) via relation (2.3).
It is convenient to work with the following normalised variant of \({\hat{\mu }}_i^x\),
Lemma 1
Fix a triangular array \(\xi \), a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), and a bounded set \(D\subset {{\mathbb {R}}}^d\). Then, for \(\epsilon >0\),
Proof
Since \(\Delta \) is uniformly continuous, we have
For \(M_i\) sufficiently large, we have
since \(\xi _{ij}+B_\epsilon ^d\subset \Omega _\epsilon \). This implies (2.16). \(\square \)
We denote by \({\text {C{}}}_c(\Omega ^\circ )\) the class of continuous functions \(\Omega \rightarrow {{\mathbb {R}}}\) with compact support in the interior \(\Omega ^\circ \) of \(\Omega \).
Lemma 2
Fix a triangular array \(\xi \), a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), and a bounded set \(D\subset {{\mathbb {R}}}^d\) with \({\text {vol}}D>0\). If for every Borel probability measure \(\lambda \) on \(\Omega \) with density in \({\text {C{}}}_c(\Omega ^\circ )\) we have
then \(\xi \) is equidistributed.
Proof
Let \(f\in {\text {C{}}}_c(\Omega ^\circ )\) be the density of \(\lambda \) with respect to \(\sigma \). Then (2.19) states explicitly that
which by linearity in fact holds for any \(f\in {\text {C{}}}_c(\Omega ^\circ )\), not necessarily probability densities. Since f and A are uniformly continuous and D is bounded, we have uniformly for \(y\in \Omega \),
and
uniformly for all \(y\in {\text {supp}}f\). (This follows from the same reasoning as in the proof of Lemma 1, since \({\text {supp}}f\) avoids an \(\epsilon \)-neighbourhood of \(\partial \Omega \), for some \(\epsilon >0\).) Therefore,
Thus (2.20) implies for \(f\in {\text {C{}}}_c(\Omega ^\circ )\)
This relation can be extended to \(f\in {\text {C{}}}_b(\Omega )\) by noting that (2.24) holds trivially for every constant test function: Any \(f\in {\text {C{}}}_b(\Omega )\) can be approximated from below by a function in \({\text {C{}}}_c(\Omega ^\circ )\), and from above by a function in \({\text {C{}}}_c(\Omega ^\circ )\) plus a constant. This proves that \(\xi \) is equidistributed. \(\square \)
Lemma 3
Fix a triangular array \(\xi \) and a bounded set \(D\subset {{\mathbb {R}}}^d\). If there is a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\) such that
then
for every Borel probability measure \(\lambda \) with square-integrable density (with respect to \(\sigma \)).
Proof
Let f be the density of \(\lambda \). By the Cauchy–Schwarz inequality,
This converges to zero as \(i\rightarrow \infty \), which proves (2.26). \(\square \)
Lemma 4
Fix a triangular array \(\xi \), a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), and a bounded subset \(D\subset {{\mathbb {R}}}^d\) with \({\text {vol}}\partial D=0\). Set
Then \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\) and we have, for \(\epsilon >0\),
Proof
By Lemma 1,
and so
Furthermore, by the same reasoning as in the proof of Lemma 1,
The summation over distinct indices \(j_1\ne j_2\) yields \(\rho _i f\) with f as defined in (2.28). The summation over \(j_1=j_2\) yields \(\frac{M_i}{N_i} {\text {vol}}D\).
The function f is compactly supported, since D is bounded. To prove continuity, note that for \(\Vert x-y\Vert <\epsilon \), \(|f(x)-f(y)|\) is bounded above by the volume of the \(\epsilon \)-neighbourhood of \(\partial D\). Continuity of f is therefore implied by the assumption \({\text {vol}}\partial D=0\). \(\square \)
Proof of Theorem 1 (i)
Assume that \({\widetilde{\rho }}_i\) has a sub-Poisson limit for some sequence M with \(M_i\le N_i\). It follows from (2.12) that, for any \(\delta >0\), \({\widetilde{\rho }}_i\) also has a sub-Poisson limit for the scaling \((A,M^\delta )\) defined by \(M_i^\delta = \delta M_i\). To highlight the \(\delta \)-dependence we write \({\widetilde{\rho }}_i={\widetilde{\rho }}_i^\delta \).
Let \(D=B_1^d\), and f as defined in (2.28). \(f(x) = {\text {vol}}\big ( (B_1^d+x)\cap B_1^d \big )\), and note that \(f(x)=h(\Vert x\Vert )\) where \(h(r) = {\text {vol}}\big ( (B_1^d+r e_0 )\cap B_1^d \big )\) with \(e_0\) an arbitrary choice of unit vector. The function h is continuous and compactly supported on \({{\mathbb {R}}}_{\ge 0}\), with \(h(0)={\text {vol}}B_1^d\). By assumption \({\widetilde{\rho }}_i^\delta \) has a sub-Poisson limit. Hence
and so
With this, Lemma 4 shows that, for any \(\epsilon ,\delta >0\),
Since \({\text {vol}}\partial \Omega =0\) and thus \(\sigma (\partial \Omega )=0\), we have \(\sigma (\Omega _\epsilon )\rightarrow \sigma (\Omega )=1\) as \(\epsilon \rightarrow 0\). Thus there is a sequence of \(\delta _i\rightarrow 0\), such that for the scaling \((A,M')\) given by \({M_i}'=\delta _i M_i\) we have
This confirms the hypothesis of Lemma 3 for the sequence \(M'\). Lemma 3 in turn establishes the assumption for Lemma 2, which completes the proof of claim (i). \(\square \)
Proof of Theorem 1 (ii)
Since \(\xi \) is equidistributed in \((\Omega ,\sigma )\) we have, for \(\psi \in {\text {C{}}}_b(\Omega \times \Omega )\),
Since \(\psi \) is bounded, the above statement remains valid with the diagonal terms \(j_1=j_2\) removed. For fixed \(M_0>0\) and \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\), apply this asymptotics with the choice \(\psi (x_1,x_2)=M_0 f(M_0^{1/d} A(x_1)(x_1-x_2))\), which is bounded continuous. This yields,
The right hand side can be written as
Since f, A are continuous and \(\Omega \) has boundary of Lebesgue measure zero, this expression converges, as \(M_0\rightarrow \infty \), to
This proves that there is a slowly growing sequence \(M_i\rightarrow \infty \) such that
which proves part (ii) of the theorem. \(\square \)
3 Riemannian manifolds
Let \(({{\mathcal {M}}},g)\) be a compact Riemannian manifold with metric g. We denote by \({\text {vol}}_g\) the corresponding Riemannian volume, and normalise g such that \({\text {vol}}_g {{\mathcal {M}}}=1\). The geodesic distance between \(x,y\in {{\mathcal {M}}}\) is denoted \({\text {dist}}_g(x,y)\). Now consider a triangular array \(\xi \) with coefficients in \({{\mathcal {M}}}\), and define the corresponding pair correlation measure by
In other words, for \(r>0\),
We say \(\rho _i^{(g)}\)has a Poisson limit for the scaling M if it converges vaguely to \(\omega \), with \(\omega \) as defined in (2.10) (with \({\text {vol}}\) still the Lebesgue measure in \({{\mathbb {R}}}^d\)), and similarly say it has a sub-Poisson limit if for every \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\)
which is equivalent to the statement
The following is a corollary of Theorem 1.
Theorem 2
Let \(({{\mathcal {M}}},g)\) be a compact Riemannian manifold, and \(\xi \) a triangular array with coefficients in \({{\mathcal {M}}}\).
- (i)
Suppose there is a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), such that \(\rho _i^{(g)}\) has a sub-Poisson limit for the scaling M. Then \(\xi \) is equidistributed in \(({{\mathcal {M}}},{\text {vol}}_g)\).
- (ii)
Suppose \(\xi \) is equidistributed in \(({{\mathcal {M}}},{\text {vol}}_g)\). Then there is a sequence M with \(M_i\rightarrow \infty \) and \(M_i\le N_i\), such that \(\rho _i^{(g)}\) has a Poisson limit for the scaling M.
Part (i) is closely related to, but not implied by, the results in [17] for the choice \(\rho _i^{(g)}h\) with \(h(r)=\exp (-r^2)\).
Proof of (i)
Consider an atlas \(\{(U_\alpha ,\varphi _\alpha )\mid \alpha \in {{\mathcal {A}}}\}\) with \({{\mathcal {A}}}\) finite. We take \(\varphi _\alpha (U_\alpha )\subset {{\mathbb {R}}}^d\) to lie in the same copy of \({{\mathbb {R}}}^d\), arranged in such a way that the \(\varphi _\alpha (U_\alpha )\) are pairwise disjoint. Now consider a partition of \({{\mathcal {M}}}\) by the bounded sets \(V_\beta \) with \(\beta \in {{\mathcal {B}}}\) and \({{\mathcal {B}}}\) finite, so that
We assume the partition is sufficiently refined so that for \(\beta \in {{\mathcal {B}}}\) there is a choice of \(\alpha (\beta )\in {{\mathcal {A}}}\) such that \({\text {cl}}V_\beta \subset U_{\alpha (\beta )}\). We set \(\Omega _\beta =\varphi _{\alpha (\beta )} V_\beta \). The disjoint union
is a bounded subset of \({{\mathbb {R}}}^d\) with \({\text {vol}}\partial \Omega =0\). Given a triangular array \(\xi \) in \({{\mathcal {M}}}\) we define a corresponding array \(\xi '\), whose ith row \((\xi _{ij}')_{j\le N_i}\) is given by the elements in the set
By Gram–Schmidt orthonormalisation, there is a continuous function \(A:{\text {cl}}\Omega \rightarrow {\text {GL}}(d,{{\mathbb {R}}})\) such that the metric g is given at \(x\in U_\alpha \) by the positive definite bilinear form
where \(\langle \,\cdot \, , \,\cdot \, \rangle \) is the standard Euclidean inner product. With this choice, and the probability measure \(\sigma \) defined as in (2.3), we see that the triangular array \(\xi \) is equidistributed in \(({{\mathcal {M}}},{\text {vol}}_g)\) if and only if \(\xi '\) is equidistributed in \((\Omega ,\sigma )\).
Let us now compare the pair correlation measure \({\widetilde{\rho }}_i\) for \(\xi '\) in \(\Omega \) as defined in (2.9) with \(\rho _i^{(g)}\). For \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\), we have
if \(\xi _{ij_1}'\in \Omega _\beta \), \(\xi _{ij_2}'\in \Omega _{\beta '}\) with \(\beta \ne \beta '\) and \(M_i\) is sufficiently large. This means that the pairs \((j_1,j_2)\) contributing to \({\widetilde{\rho }}_i\) form a subset of those contributing to \(\rho _i^{(g)}\). Furthermore, we have
for \(\Vert \varphi _\alpha x- \varphi _\alpha y\Vert \rightarrow 0\). Both facts taken together imply, by the uniform continuity of \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\), that
This shows that if \(\rho _i^{(g)}\) has a sub-Poisson limit then so does \({\widetilde{\rho }}_i\). Theorem 1 tells us that therefore \(\xi '\) is equidistributed in \((\Omega ,\sigma )\), and hence (as noted earlier) \(\xi \) is equidistributed in \(({{\mathcal {M}}},{\text {vol}}_g)\). This yields claim (i). \(\square \)
Proof of (ii)
Since \(\xi \) is equidistributed in \(({{\mathcal {M}}},{\text {vol}}_g)\) we have, for \(\psi \in {\text {C{}}}({{\mathcal {M}}}\times {{\mathcal {M}}})\),
Since \(\psi \) is bounded, the above statement remains valid with the diagonal terms \(j_1=j_2\) removed. For fixed \(M_0>0\) and \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\), apply this asymptotics with the choice \(\psi (x_1,x_2)=M_0 h(M_0^{1/d} {\text {dist}}_g(x_1,x_2))\), which is bounded continuous. This yields,
The limit \(M_0\rightarrow 0\) can be calculated in local charts, which leads to the same calculation as in the proof of Theorem 1 (ii). \(\square \)
References
Aistleitner, C., Lachmann, T., Pausinger, F.: Pair correlations and equidistribution. J. Number Theory 182, 206–220 (2018)
Aistleitner, C., Lachmann, T., Technau, N.: There is no Khintchine threshold for metric pair correlations. arXiv:1802.02659
Aistleitner, C., Larcher, G., Lewko, M.: Additive energy and the Hausdorff dimension of the exceptional set in metric pair correlation problems. Israel J. Math. 222, 463–485 (2017)
Baddeley, A.J., Silverman, B.W.: A cautionary example on the use of second-order methods for analyzing point patterns. Biometrics 40, 1089–1093 (1984)
Bloom, T.F., Chow, S., Gafni, A., Walker, A.: Additive energy and the metric Poissonian property. Mathematika 64, 679–700 (2018)
El-Baz, D., Marklof, J., Vinogradov, I.: The two-point correlation function of the fractional parts of \(\sqrt{n}\) is Poisson. Proc. AMS 143, 2815–2828 (2015)
El-Baz, D., Marklof, J., Vinogradov, I.: The distribution of directions in an affine lattice: two-point correlations and mixed moments. IMRN 1371–1400 (2015)
Grepstad, S., Larcher, G.: On pair correlation and discrepancy. Arch. Math. 109, 143–149 (2017)
Heath-Brown, D.R.: Pair correlation for fractional parts of \( \alpha n^2 \). Math. Proc. Camb. Philos. Soc. 148, 385–407 (2010)
Hinrichs, A., Kaltenböck, L., Larcher, G., Stockinger, W., Ullrich, M.: On a multi-dimensional Poissonian pair correlation concept and uniform distribution. arXiv:1809.05672
Larcher, G., Stockinger, W.: Some negative results related to Poissonian pair correlation problems. arXiv:1803.052361
Marklof, J.: The n-point correlations between values of a linear form, with an appendix by Z. Rudnick. Ergod. Theory Dyn. Syst. 20, 1127–1172 (2000)
Marklof, J., Strömbergsson, A.: Equidistribution of Kronecker sequences along closed horocycles. Geom. Funct. Anal. 13, 1239–1280 (2003)
Marklof, J., Yesha, N.: Pair correlation for quadratic polynomials mod 1. Compos. Math. 154, 960–983 (2018)
Ripley, B.D.: Spatial Statistics. Wiley, Hoboken (1981)
Rudnick, Z., Sarnak, P.: The pair correlation function of fractional parts of polynomials. Commun. Math. Phys. 194, 61–70 (1998)
Steinerberger, S.: Localized quantitative criteria for equidistribution. Acta Arith. 180, 183–199 (2017)
Steinerberger, S.: Poissonian pair correlation and discrepancy. Indag. Math. 29, 1167–1178 (2018)
Steinerberger, S.: Poissonian pair correlation in higher dimensions. arXiv:1812.10458
Walker, A.: The primes are not metric Poissonian. Mathematika 64, 230–236 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Adrian Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Flat tori
Appendix: Flat tori
It is instructive to adapt the discussion in Sect. 2 to the case of a multidimensional torus \({{\mathbb {T}}}\). This provides an alternative approach to the results in [19]. We represent the torus as \({{\mathbb {T}}}={{\mathbb {R}}}^d/{{\mathcal {L}}}\), with \({{\mathcal {L}}}\subset {{\mathbb {R}}}^d\) a Euclidean lattice of unit covolume (for example the integer lattice \({{\mathcal {L}}}={{\mathbb {Z}}}^d\)). The required modifications are as follows.
- A.
Replace \(\Omega \) by \({{\mathbb {T}}}\) throughout Sect. 2, and note that \({\text {C{}}}({{\mathbb {T}}})={\text {C{}}}_b({{\mathbb {T}}})={\text {C{}}}_c({{\mathbb {T}}})\).
- B.
The coefficients of the triangular array are written as \(\xi _{ij}+{{\mathcal {L}}}\in {{\mathbb {T}}}\) with \(\xi _{ij}\in {{\mathbb {R}}}^d\).
- C.
Set for simplicity \(A(x)=I_d\), so that \(\sigma ={\text {vol}}\) is the uniform probability measure on \({{\mathbb {T}}}\). (It is of course possible to adapt the argument also for general continuous \(A:{{\mathbb {T}}}\rightarrow {\text {GL}}(d,{{\mathbb {R}}})\).)
- D.
The definition of the pair correlation measure \(\rho _i\) in (2.4) is replaced by
$$\begin{aligned} \rho _i f = \frac{M_i}{N_i^2} \sum _{\begin{array}{c} j_1,j_2=1\\ j_1\ne j_2 \end{array}}^{N_i} \sum _{m\in {{\mathcal {L}}}} f(M_i^{1/d} (\xi _{ij_1}-\xi _{ij_2}+m)) , \end{aligned}$$(A.1)and (2.9) by
$$\begin{aligned} {\widetilde{\rho }}_i h = \frac{M_i}{N_i^2} \sum _{\begin{array}{c} j_1,j_2=1\\ j_1\ne j_2 \end{array}}^{N_i} \sum _{m\in {{\mathcal {L}}}} h(M_i^{1/d} \Vert \xi _{ij_1}-\xi _{ij_2}+m\Vert ) . \end{aligned}$$(A.2)(Note that the pair correlation measure (3.1) for the Riemannian distance on \({{\mathbb {T}}}\),
$$\begin{aligned} {\text {dist}}_g(x,y)=\min _{m\in {{\mathcal {L}}}}\{ \Vert x-y+m \Vert \} , \end{aligned}$$(A.3)satisfies the relation \({\widetilde{\rho }}_i h=\rho _i^{(g)} h\), for \(h\in {\text {C{}}}_c^+({{\mathbb {R}}}_{\ge 0})\) and \(M_i\) sufficiently large.)
- E.
The discussion around (2.16) is replaced by the following. For \(x\in {{\mathbb {T}}}\), define the measure \(\mu _i^x\) on \({{\mathbb {R}}}^d\) by
$$\begin{aligned} \mu _i^x f = \frac{M_i}{N_i} \sum _{j=1}^{N_i} \sum _{m\in {{\mathcal {L}}}} f(M_i^{1/d} (\xi _{ij}-x+m)) , \end{aligned}$$(A.4)where \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\). That is, for a bounded subset \(D\subset {{\mathbb {R}}}^d\), we have
$$\begin{aligned} \begin{aligned} \mu _i^x D&= \frac{M_i}{N_i} \sum _{j=1}^{N_i} \sum _{m\in {{\mathcal {L}}}} \chi _D(M_i^{1/d} (\xi _{ij}-x+m)) \\&= \frac{M_i}{N_i} \#\{ j\le N_i \mid \xi _{ij} \in x+M_i^{-1/d} D +{{\mathcal {L}}}\} ; \end{aligned} \end{aligned}$$(A.5)the second equality holds, if \(M_i\) is sufficiently large so that \(M_i^{-1/d} D\) does not intersect any translate \(M_i^{-1/d} D+m\) with \(m\in {{\mathcal {L}}}{\setminus }\{0\}\). Then
$$\begin{aligned} \int _{{\mathbb {T}}}\mu _i^x D\; dx = \frac{M_i}{N_i} \sum _{j=1}^{N_i} \sum _{m\in {{\mathcal {L}}}} \int _{{{\mathbb {T}}}} \chi _D(M_i^{1/d} (\xi _{ij}-x+m)) \, dx = {\text {vol}}D .\nonumber \\ \end{aligned}$$(A.6) - F.
In the statement of Lemma 4 no \(\epsilon \) is needed, and (2.29) is replaced by the identity
$$\begin{aligned} \int _{{{\mathbb {T}}}} \big ( \mu _i^x D - {\text {vol}}D \big )^2 dx = \rho _i f -({\text {vol}}D)^2 + \frac{M_i}{N_i} {\text {vol}}D , \end{aligned}$$(A.7)which follows from the following calculation, replacing (2.32),
$$\begin{aligned} \int _{{{\mathbb {T}}}} \big ( \mu _i^x D \big )^2 dx= & {} \frac{M_i^2}{N_i^2} \sum _{j_1,j_2=1}^{N_i} \sum _{m_1,m_2\in {{\mathcal {L}}}} \int _{{{\mathbb {T}}}} \chi _D(M_i^{1/d}(\xi _{ij_1}\nonumber \\&-x+m_1)) \chi _D(M_i^{1/d}(\xi _{ij_2}-x+m_2)) \, dx \nonumber \\= & {} \frac{M_i}{N_i^2} \sum _{j_1,j_2=1}^{N_i} \sum _{m\in {{\mathcal {L}}}} \int _{{{\mathbb {R}}}^d} \chi _D(x) \chi _D(x-M_i^{1/d}(\xi _{ij_1}-\xi _{ij_2}+m)) \, dx .\nonumber \\ \end{aligned}$$(A.8) - G.
For the proof of the second part of the theorem, we use instead
$$\begin{aligned} \psi (x_1,x_2)=M_0 \sum _{m\in {{\mathcal {L}}}} f(M_0^{1/d} (x_1-x_2+m)), \end{aligned}$$which is continuous on \({{\mathbb {T}}}\times {{\mathbb {T}}}\), with \(f\in {\text {C{}}}_c^+({{\mathbb {R}}}^d)\) as before. The assumed equidistribution implies
$$\begin{aligned}&\lim _{i\rightarrow \infty } \frac{M_0}{N_i^2} \sum _{\begin{array}{c} j_1,j_2=1\\ j_1\ne j_2 \end{array}}^{N_i} \sum _{m\in {{\mathcal {L}}}} f(M_0^{1/d} (\xi _{ij_1}-\xi _{ij_2}+m))\nonumber \\&\quad = M_0 \sum _{m\in {{\mathcal {L}}}} \int _{{{\mathbb {T}}}\times {{\mathbb {T}}}} f(M_0^{1/d} (x_1-x_2+m)) \,dx_1\,dx_2 \end{aligned}$$(A.9)which evaluates to \({\text {vol}}f\).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Marklof, J. Pair correlation and equidistribution on manifolds. Monatsh Math 191, 279–294 (2020). https://doi.org/10.1007/s00605-019-01308-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-019-01308-3