Abstract
The aim of the present article is to introduce a concept which allows to generalise the notion of Poissonian pair correlation, a second-order equidistribution property, to higher dimensions. Roughly speaking, in the one-dimensional setting, the pair correlation statistics measures the distribution of spacings between sequence elements in the unit interval at distances of order of the mean spacing 1 / N. In the d-dimensional case, of course, the order of the mean spacing is \(1/N^{\frac{1}{d}}\), and—in our concept—the distance of sequence elements will be measured by the supremum-norm. Additionally, we show that, in some sense, almost all sequences satisfy this new concept and we examine the link to uniform distribution. The metrical pair correlation theory is investigated and it is proven that a class of typical low-discrepancy sequences in the high-dimensional unit cube do not have Poissonian pair correlations, which fits the existing results in the one-dimensional case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
The concept of Poissonian pair correlations has its origin in quantum mechanics, where the spacings of energy levels of integrable systems were studied. See for example [1] and the references cited therein for detailed information on that topic. Rudnick and Sarnak first studied this concept from a purely mathematical point of view and over the years the topic has attracted wide attention, see e.g., [12, 17,18,19,20].
Let \(\Vert \cdot \Vert \) denote the distance to the nearest integer. A sequence \((x_n)_{n \in {\mathbb N}}\) of real numbers in [0, 1) has Poissonian pair correlations if the pair correlation statistics
tends to 2s, for every \(s \ge 0\), as \(N \rightarrow \infty \).
Let now \(d \ge 2\) be an integer denoting the dimension of the problem setting. In the sequel, we indicate by bold symbols that we work with d-dimensional vectors of real numbers or random variables. We extend the above notion to sequences \((\varvec{x}_n)_{n \in {\mathbb N}}\) in the d-dimensional unit cube \([0,1)^d\). Subsequently, we denote by \(\Vert \cdot \Vert _{\infty }\) a supremum-norm of a d-dimensional vector, i.e., in our case for some \(\varvec{x}= (x_1, \ldots , x_d) \in \mathbb {R}^{d}\),
where we recall that \(\Vert \cdot \Vert \) denotes the distance to the nearest integer.
We say that a sequence \((\varvec{x}_n)_{n \in {\mathbb N}} \in [0,1)^d\) has Poissonian pair correlations if the multi-dimensional pair correlation statistics
tends to \((2s)^d\), for every \(s \ge 0\), as \(N \rightarrow \infty \).
In the one-dimensional case, it is well-known that for a sequence of i.i.d. random variables \((X_i)_{i \in {\mathbb N}}\) having uniform distribution on [0, 1), \(F_N(s)\) tends to 2s, as \(N \rightarrow \infty \), almost surely (see e.g., [2, 16]). Clearly, a multi-dimensional analogue of this statement holds as well.
Proposition 1
Let \((\varvec{X}_i)_{i \in {\mathbb N}}\) a sequence of i.i.d. random variables having uniform distribution on \([0,1)^d\), then for all \(s>0\), we have \(F_N^{(d)}(s) \rightarrow (2s)^d\), as \(N \rightarrow \infty \), almost surely.
The proof is based on the pairwise independence of the random variables \(\varvec{X}_l - \varvec{X}_m\), \(l\ne m\), and the Borel–Cantelli lemma. For completeness, we state the proof in Sect. 2. Note that, however, this result would be true if the “\(\ell _\infty \)-ball” in the definition of the pair correlation is replaced by an arbitrary measurable set of volume \((2s)^d/N\).
The notion of Poissonian pair correlation has attracted renewed interest in the last few years, due to its connection to several mathematical fields, such as Diophantine approximation, additive combinatorics and uniform distribution (see e.g., [1, 3, 4, 12, 14, 22]). The link between the concept of uniform distribution modulo 1 and Poissonian pair correlation has been studied in the one-dimensional case. Due to a result by Grepstad and Larcher [11] (see also [2, 21]), we know that a sequence which satisfies that (1) tends to 2s, for every \(s > 0\), as \(N \rightarrow \infty \), is also uniformly distributed in [0, 1), i.e., it satisfies
for all \(0 \le a < b \le 1\). The above presented multi-dimensional concept of Poissonian pair correlation also implies uniform distribution of a sequence in \([0,1)^d\), i.e.,
for all \(\varvec{0} \le \varvec{a} < \varvec{b} \le \varvec{1}\), where \(\varvec{a} < \varvec{b}\) has to be understood componentwise, i.e., \(a_i < b_i\) for \(1 \le i \le d\).
Theorem 1
Let \((\varvec{x}_n)_{n \in {\mathbb N}} \in [0,1)^d\) be such that for every \(s \in {\mathbb N}\) we have that
then \((\varvec{x}_n)_{n \in {\mathbb N}}\) is uniformly distributed in \([0,1)^d\)
It turns out by the proof of this theorem that it is sufficient to have the Poissonian property for positive integer-valued s only in order to deduce uniform distribution for a sequence \((\varvec{x}_n)_{n \in {\mathbb N}} \in [0,1)^d\) (the same holds in the one-dimensional case as well). It would be very interesting if this result also holds if we define the multi-dimensional pair correlation concept using other norms, e.g., the \(L_2\)-norm. However, it is not straightforward how one could prove such a result. The main difficulty here is the following: we can pave the unit-cube with a suitable choice of boxes of volume 1 / N when we work with the supremum-norm. Such a partitioning is not possible, when using the \(L_2\)-norm.
This new concept of course raises several further questions. E.g., in the one-dimensional case, it is known that for almost all choices of \(\alpha \) the sequence \(( \lbrace f(n) \alpha \rbrace )_{n \in {\mathbb N}}\), where f(x) is a polynomial of degree at least 2 with integer coefficients, has Poissonian pair correlations [18]. If a d-dimensional polynomial \(\varvec{p}(x)= ( p_1(x), \ldots , p_d(x))\) (\(p_i(x)\) are all real polynomials) has the property that for each lattice point \(\varvec{h} \in {\mathbb Z}^d\), \(\varvec{h} \ne \varvec{0}\) the polynomial \(\left\langle \varvec{h}, \varvec{p}(x) \right\rangle \) has at least one non-constant term with irrational coefficient, then
is uniformly distributed in \([0,1)^d\) (see e.g., [13]). Therefore, in analogy to the one-dimensional case, it would be natural to expect that for an integer polynomial f(x) with degree at least 2, the sequence
has Poissonian pair correlation for almost all choices of \(\alpha _1, \ldots , \alpha _d\) (this claim will be a consequence of Theorem 2).
To be more general, let \((a_n)_{n \in {\mathbb N}}\) be an increasing sequence of distinct integers and \(\varvec{\alpha }=(\alpha _1, \ldots , \alpha _d)\). Then we consider a sequence of the form
which is uniformly distributed for almost all choices of \(\alpha _1, \ldots , \alpha _d\).
In the one-dimensional case the metrical pair correlation theory of such sequences is strongly linked to the additive energy of a finite integer set A, denoted by E(A). The additive energy E(A) is defined as
where the sum is extended over all quadruples \((a,b,c,d) \in A^4\). This connection was discovered by Aistleitner, Larcher and Lewko, who, roughly speaking, proved in [4] that if the first N elements of an increasing sequence of distinct integers \((a_n)_{n \in {\mathbb N}}\), have an arbitrarily small energy saving, then \((\lbrace a_n \alpha \rbrace )_{n \in {\mathbb N}}\) has Poissonian pair correlations for almost all \(\alpha \). Recently, Bloom and Walker (see [5]) improved over this result by showing the following theorem.
Theorem A
There exists an absolute positive constant C such that the following is true. Let \(A_N\) denote the first N elements of \((a_n)_{n \in {\mathbb N}}\) and suppose that
then for almost all \(\alpha \), \((\lbrace a_n \alpha \rbrace )_{n \in {\mathbb N}}\) has Poissonian pair correlations.
The proof of this result relies on a new bound for GCD sums with exponent 1 / 2, which improves over the bound by Bondarenko and Seip (see [6]), if the additive energy of \(A_N\) is sufficiently large. Note that the constant C was not specified in the above mentioned paper, but the authors thereof conjecture that Theorem A holds for \(C>1\) already. This result would be best possible. To see this, consider the sequence \((p_n)_{n\in {\mathbb N}}\) of all primes. It is known that \((p_n)_{n=1}^N\) has additive energy of exact order \(N^3/(\log N)\), but \((\lbrace p_n \alpha \rbrace )_{n \in {\mathbb N}}\) is not metric Poissonian, i.e., there exists a set \(\Omega \) of full Lebesgue measure, such that for all \(\alpha \in \Omega \), \((\lbrace p_n \alpha \rbrace )_{n \in {\mathbb N}}\) does not have Poissonian pair correlations (see [22]).
Naturally, we would also expect that under this condition on the additive energy, the sequence
has Poissonian pair correlations for almost all instances and, in fact, we have the following even better result, which is a consequence of better bounds on GCD sums for larger exponents than 1 / 2:
Theorem 2
Let \(A_N\) denote the first N elements of \((a_n)_{n \in {\mathbb N}}\) and suppose that
then for almost all choices of \(\varvec{\alpha }=(\alpha _1, \ldots , \alpha _d) \in \mathbb {R}^d\),
has Poissonian pair correlations.
However, if the additive energy is of maximal order, i.e., if we have \(E(A_N)=\Omega (N^3)\), then there is no \(\alpha \) such that \((\lbrace a_n \alpha \rbrace )_{n \in {\mathbb N}}\) has Poissonian pair correlations, see [14]. The approach used in [14] can be generalised to arbitrary dimensions.
Theorem 3
If \(E(A_N)=\Omega (N^3)\), then for any choice of \(\varvec{\alpha } =(\alpha _1, \ldots , \alpha _d) \in \mathbb {R}^d\) the sequence
does not have Poissonian pair correlations.
Classical low-discrepancy sequences in [0, 1), e.g., the van der Corput sequence, the Kronecker sequence \((\lbrace n \alpha \rbrace )_{n \in {\mathbb N}}\) and digital (t, 1)-sequences in base \(b \ge 2\), do not have Poissonian pair correlations (see e.g., [15]). We will derive an analogous result for the multi-dimensional version of the Kronecker sequence.
Corollary 1
For any choice of \(\varvec{\alpha } =(\alpha _1, \ldots , \alpha _d) \in \mathbb {R}^d\) the d-dimensional Kronecker sequence
where \(\lbrace \cdot \rbrace \) denotes the fractional part of a real number, does not have Poissonian pair correlations.
Of course, Corollary 1 is an immediate consequence of Theorem 3. However, we also include an explicit proof of Corollary 1 as an “Appendix”, since it gives an intuitive feeling for the multi-dimensional Poissonian pair correlation concept.
We also strongly believe that other multi-dimensional low-discrepancy sequences such as (t, s)-sequences and the Halton sequence do not have Poissonian pair correlations.
Remark 1
Although the metrical theory of sequences of the form \(( \lbrace a_n \varvec{\alpha } \rbrace )_{n \in {\mathbb N}}\) seems to be well-established, we do not know any explicit construction of \(\varvec{\alpha }\) (not even in the one-dimensional case) such that \(( \lbrace a_n \varvec{\alpha } \rbrace )_{n \in {\mathbb N}}\) has Poissonian pair correlations. It is in general very hard to construct sequences having Poissonian pair correlations. The only known explicit examples—to the best of our knowledge—of sequences with this property are \(\lbrace \sqrt{n} \rbrace _{n \in {\mathbb N}}\) (see [8]) and certain directions of vectors in an affine Euclidean lattice (see [9]).
2 Proof of Proposition 1
As \((\varvec{X}_i)_{i \in {\mathbb N}}\) is a sequence of i.i.d. random variables having uniform distribution on \([0,1)^d\), we have
Due to the fact that the random variables \(\varvec{X}_k - \varvec{X}_l\), \(k\ne l\), (note that the difference is considered modulo 1) are pairwise independent, we obtain that the variance of \(F_N^{(d)}(s)\), denoted by \(\sigma ^2\Big (F_N^{(d)}(s)\Big )\), satisfies, whenever \(N \ge (2s)^d\),
where \(\varvec{1}(\cdot )\) denotes the indicator function. Using Chebyshev’s inequality, we obtain that for all \(\epsilon ,s>0\),
if N is large enough. To prove now almost sure convergence, one can apply the arguments used in [4, 20]. We fix a \(\gamma >0\) and define a subsequence \(N_M\) along the integers, for \(M \ge 1\), as
The variance estimate from above combined with Chebyshev’s inequality and the first Borel–Cantelli lemma allow to deduce that, for all \(s >0\),
i.e., we have now almost sure convergence along a subsequence of the integers. For N, with \(N_M \le N \le N_{M+1}\), we use the trivial bounds
Since \(N_{M+1}/N_M \rightarrow 1\), as \(M \rightarrow \infty \), we also get
\(\square \)
3 Proof of Theorem 1
We carry out the proof for \(d=2\), for an arbitrary d the arguments run quite analogously. To prove the theorem, we assume in the contrary that \((\varvec{x}_n)_{n \in {\mathbb N}}\) is not uniformly distributed and will derive a contradiction. Due to this assumption, there exists an \(\epsilon > 0\) and \(\alpha , \beta \) with \(0< \alpha , \beta <1\) such that
for infinitely many N. Note that for simplicity, we work here with boxes anchored at the origin. One can readily adopt the following steps to arbitrary axis-parallel boxes. Hence, we can assume that for an increasing sequence of integers \((N_i)_{i \in {\mathbb N}}\) we have
(The case that we have “\(\ge \alpha \beta + \epsilon \)” in the above expression can be treated analogously.) Let \(N:=N_i\) for some \(i \ge 1\) and assume for simplicity that \(\sqrt{N}\) is an integer. For \(0 \le i,j < \sqrt{N}\) let
If i and/or \(j \ge \sqrt{N}\), we set
Then for all integers s and N large enough, we have
Hence,
as we have
If \(\alpha = \frac{a}{\sqrt{N}}\) and \(\beta = \frac{b}{\sqrt{N}}\) (assume for simplicity that a and b are positive integers), then we have
and
Now, considering a standard constrained optimization problem, we get in a first step that the quadratic form
attains its minimum under conditions (2), (3) and (4) if in (3) and (4) we have equality. In a second step, it can be shown that (5) attains its minimum under conditions (2), (3) and (4) (with equality sign) if all \(A_{i,j}\) occurring in the sum of (3) and (4) have the same value. This means the minimum is attained if
Note that each \(B_{i,j}\) consists of \(\frac{(2s-1)^2-1}{2} = 2s(s-1)\) summands \(A_{x,y}\) and therefore,
where \(\lambda := \alpha \beta \). By assumption, we have \( \lim _{N \rightarrow \infty } F_N^{(d)}(s) =(2s)^2\) for all positive integers s. Therefore, in order to derive a contradiction, it suffices to show that there exists an integer s such that
The expression \(R_{\epsilon , \lambda }(s) -(2s)^2\) can be viewed as a quadratic polynomial in s with leading coefficient
Hence (6) holds for all s large enough in dependence on \(\epsilon \) and \(\lambda \). \(\square \)
4 Proof of Theorem 2
We adapt the steps of Lemma 3 of [4], which we will shortly repeat here.
In the sequel let \(d \ge 2\) and \(1,\alpha _1, \ldots , \alpha _d\) be linearly independent over the rationals. For \(\varvec{\alpha }=(\alpha _1, \ldots , \alpha _d)\), we denote by \(\varvec{I}_{N,s}(\varvec{\alpha })\), for a fixed \(s \asymp 1\) and N, with \((2s)^d \le N\), the indicator function of the interval
extended with period \(\varvec{1}\). Therefore, we can write the pair correlation function \(F_N^{(d)}(s)\) (subsequently interpreted as a function of \(\varvec{\alpha }\)) for the sequence \((\lbrace a_n \varvec{\alpha } \rbrace )_{n \in {\mathbb N}}\) as
We consider the Fourier series expansion of \(\varvec{I}_{N,s}(\varvec{\alpha })\), i.e.,
with
where \(\varvec{r} = (r_1, \ldots , r_d)\). Hence, we can write \(c_{\varvec{r}}=c_{r_1} \ldots c_{r_d}\), where \(c_{r_j}=\int _{-s/N^{1/d}}^{s/N^{1/d}}e^{-2 \pi i r_j \alpha _j} \ d \alpha _j \), for \(j=1, \ldots , d\) . Note that we have
This gives the following expression for the variance of \(F_{N,s}^{(d)}(\varvec{\alpha })\). Note, due to the assumption on s, the constants implied by “\(\ll \)” are independent of s (and of course independent of N).
with \(\varvec{r}_i=(r_i^{(1)}, \ldots , r_i^{(d)})\) for \(i=1,2\).
Recalling that the representation function \(r_N(v)\) of an integer v is defined as
we can write the previous expression as
where in the sum \(\sum {'}\) the equality \(r_1^{(i)} v = r_2^{(i)}w\) only needs to hold for these indices i for which \(r_1^{(i)}, r_2^{(i)} \ne 0\). To further estimate the expression (8), we first derive the estimate
where the implied constant depends on d and all entries of \(\varvec{r}_1\) and \(\varvec{r}_2\) are assumed to be non-zero. Note that compared to the one-dimensional case the exponent appearing in the GCD expression is now \(\ge 2\), which allows sharper estimates of the corresponding GCD sum. To see that (9) is true, we recall that \(r_1^{(i)} v = r_2^{(i)}w\) for \(i=1, \ldots , d\) if and only if
where the \(h_i\)’s are some integers. Then, case distinctions according to the size of the \(h_i\)’s, i.e.,
and recalling the bounds on the Fourier coefficients (7) gives the following estimate. For fixed v, w, and \(\mathcal {D}:= \lbrace 1, \ldots , d \rbrace \), we have
Consequently, we have for the variance of \(F_{N,s}^{(d)}(\varvec{\alpha })\), using the result on GCD sums by Gál (see [10]),
Then, using similar arguments as for example in the proof of Theorem 6 of [5], we can deduce the claim. \(\square \)
5 Proof of Theorem 3
The proof uses exactly the same steps, except some minor technical changes, as the one in the one-dimensional case, see [14]. To make this paper self-contained, we repeat the most important steps here. We demonstrate the proof for \(d=2\) only, as for general d the arguments are quite analogue. As \((a_n)_{n \in {\mathbb N}}\) has maximal order of additive energy it is well-known (see [1]) that there exist constants \(C, K >0\) and a strictly increasing sequence of positive integers \((N_i)_i\) such that for all \(i \ge 1\) there is a subset \(A^{(i)} \subset \left( a_{n}\right) _{1 \le n \le N_{i}}\) with \(\left| A^{(i)}\right| \ge C N_{i}\) such that \(A^{(i)}\) is contained in a q-dimensional arithmetic progression \(P_{i}\) (for some integer q) of size at most \(K N_{i}\). We call such an integer sequence quasi-arithmetic of degree q.
To be more precise, we have the following: For all \(i \ge 1\) there is a subset \(b_1< b_2< \cdots < b_{M_i}\) of \((a_n)_{n=1, \ldots , N_i}\) with \(M_i \ge CN_i\), such that \((b_j)_{j=1, \ldots , M_i}\) is a subset of
with certain \(h_i, k_1^{(i)}, \ldots , k_q^{(i)} \in {\mathbb Z}\), \(s_1^{(i)}, \ldots , s_q^{(i)} \in {\mathbb N}\) and \(s_1^{(i)}s_2^{(i)} \ldots s_q^{(i)} \le KN_i\). Fix now any i, and for simplicity we omit the index i in the above notations, i.e., we put \(M:=M_i, h:=h_i\) and so on. In the sequel, we will put \(K=1\) and \(h=0\). The general case is treated similarly. Further, for \(k=1, \ldots , M\), we set
and we identify \(b_k\) with the vector
Consider now vectors
with \(-(s_j-1) \le u_j \le (s_j-1)\) for \(j=1, \ldots , q\). Let \(\gamma := \frac{C^2}{1+2^q}\), then it can be shown that there exist at least \(\gamma N\) different vectors \(\varvec{u}\) such that there exist at least \(\gamma N\) pairs \(\varvec{r}_k, \varvec{r}_l\) with \(\varvec{r}_k - \varvec{r}_l = \varvec{u}\). In the sequel, we will refer to this observation as Property 1. Take now \(\gamma N\) such q-tuples \(\varvec{u}\) having Property 1 and consider the corresponding \(\gamma N\) values
Let \(L:= \frac{2}{\gamma }\), then there is a \(\beta \in [0,1)\), such that the box \(\left[ \beta , \beta + \sqrt{\frac{L}{\gamma N}} \right) ^2\) contains at least L elements of the form (10), say the elements
We call this fact Property 2. Note that for sake of simplicity, we treat \(\gamma N\) and L as if they were integers. The general case can be handled analogously with some minor technical changes.
For every choice of x, we consider now \(\gamma N\) pairs of q-tuples, say
for \(i=1, \ldots , \gamma N\), such that
We define, for \(x=1, \ldots , L\), the sets
It can be proven that there exist \(x, y \in \lbrace 1, \ldots , L \rbrace \) with \(x \ne y\) such that
Let now x and y satisfying (11) be given. Let
be such that
Then,
for \(i=1, \ldots , \frac{N}{L^2}\). Due to Property 2, we have
To sum up, we have shown that for all \(N_i\) there exist at least
pairs (k, l) with \(1 \le k \ne l \le N_i\), such that all expressions \(\Vert \lbrace a_k \varvec{\alpha } \rbrace - \lbrace a_l \varvec{\alpha } \rbrace \Vert _{\infty }\) have the same value and satisfy
Note, that \(\tau < 1\) and \(\psi \) only depends on d, q and C (and on K if \(K \ne 1\)). For every i choose now \(\psi _i\) minimal such that there exist at least \(\tau N_i\) pairs (k, l) with \(1 \le k \ne l \le N_i\), such that
Of course, \(\psi _i \le \psi \) for all i. Let now \(\rho := \frac{\tau ^{1/2} C^2}{3(1+2^q)}\) (hence \(\rho < \tau \)) and assume that \(\psi _i < \rho \) for infinitely many i. Therefore, we have for these i
and consequently the pair correlations of \((\lbrace a_n \varvec{\alpha } \rbrace )_{n \in {\mathbb N}}\) cannot be Poissonian.
Assume now that \(\psi _i \ge \rho \) for infinitely many i. Consequently, there exist \(s_1, s_2 \in [\rho , \psi )\) such that
for infinitely many i. In the following, we only consider these i and we will set \(s_1= \rho + a\frac{ \tau C^2}{32\sqrt{2}(1+2^q)} \) and \(s_2:= \rho + (a+1)\frac{\tau C^2}{32\sqrt{2}(1+2^q)}\), for some
Then, we have, due to the fact that there are at least \(\tau N_i\) pairs with distance equal to \(\psi _i \frac{1}{N_i^{1/2}}\),
If \((\lbrace a_n \varvec{\alpha } \rbrace )_{n \in {\mathbb N}}\) were Poissonian, then the above difference should converge to
as \(i \rightarrow \infty \), which is a contradiction to the previous inequality.
References
Aichinger, I., Aistleitner, C., Larcher, G.: On quasi-energy-spectra, pair correlations of sequences and additive combinatorics. In: Dick, J., Kuo, F.Y., Woźniakowski, H. (eds.) Contemporary Computational Mathematics—Celebration of the 80th Birthday of Ian Sloan. Springer, Cham (2018)
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 (2018)
Aistleitner, C., Larcher, G., Lewko, M.: Additive energy and the Hausdorff dimension of the exceptional set in metric pair correlation problems. With an appendix by Jean Bourgain. Israel J. Math. 222(1), 463–485 (2017)
Bloom, T.F., Walker, A.: GCD sums and sum-product estimates. arXiv:1806.07849 (2018)
Bondarenko, A., Seip, K.: GCD sums and complete sets of square-free numbers. Bull. Lond. Math. Soc. 47(1), 29–41 (2015)
Bugeaud, Y.: Distribution Modulo 1 and Diophantine Approximation. Cambridge University Press, Cambridge (2012)
El-Baz, D., Marklof, J., Vinogradov, I.: The two-point correlation function of the fractional parts of \(\sqrt{n}\) is Poisson. Proc. Am. Math. Soc. 143(7), 2815–2828 (2015)
El-Baz, D., Marklof, J., Vinogradov, I.: The distribution of directions in an affine lattice: two-point correlations and mixed moments. Int. Math. Res. Not. 2015, 1371–1400 (2015)
Gál, I.S.: A theorem concerning diophantine approximations. Nieuw Arch. Wiskd. 2(23), 13–38 (1949)
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(3), 385–407 (2010)
Kuipers, L., Niederreiter, H.: Uniform Distribution of Sequences. Wiley, New York (1974)
Larcher, G., Stockinger, W.: Pair correlation of sequences \((\lbrace a_n \alpha \rbrace )_{n \in \mathbb{N}}\) with maximal order of additive energy. Accepted by Math. Proc. of Cambridge Philosophical Society. arXiv:1802.02901 (2018)
Larcher, G., Stockinger, W.: Some negative results related to Poissonian pair correlation problems. arXiv:1803.052361 (2018)
Marklof, J.: Distribution modulo one and Ratners theorem. In: Equidistribution in number theory, an introduction. NATO Sci. Ser. II Math. Phys. Chem., vol. 237, pp. 217–244. Springer, Dordrecht (2007)
Nair, R., Pollicott, M.: Pair correlations of sequences in higher dimensions. Israel J. Math. 157, 219–238 (2007)
Rudnick, Z., Zaharescu, A.: A metric result on the pair correlation of fractional parts of sequences. Acta Arith. 89(3), 283–293 (1999)
Rudnick, Z., Sarnak, P., Zaharescu, A.: The distribution of spacings between the fractional parts of \(n^2 \alpha \). Invent. Math. 145(1), 37–57 (2001)
Rudnick, Z., Sarnak, P.: The pair correlation function of fractional parts of polynomials. Commun. Math. Phys. 194(1), 61–70 (1998)
Steinerberger, S.: Localized quantitative criteria for equidistribution. Acta Arith. 180, 183–199 (2017)
Walker, A.: The primes are not metric Poissonian. Mathematika 64, 230–236 (2018)
Acknowledgements
Open access funding provided by Johannes Kepler University Linz. We want to thank Christoph Aistleitner for helping to improve the statement of Theorem 2.
Funding
Special Upper Austrian Grant.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A. Hinrichs: The author is supported by the Austrian Science Fund (FWF) Project F5509-N26, which is a part of the Special Research Program “Quasi-Monte Carlo Methods: Theory and Applications”.
L. Kaltenböck, W. Stockinger, G. Larcher: The author is supported by the Austrian Science Fund (FWF), Project F5507-N26, which is a part of the Special Research Program “Quasi-Monte Carlo Methods: Theory and Applications” and Project I1751-N26.
Appendix: Proof of Corollary 1
Appendix: Proof of Corollary 1
We again prove the result for \(d=2\) only, as the general case is carried out quite analogously.
There exists a constant \(\rho \) with \(0< \rho < 1\) having the following property: For every pair \((\alpha _1, \alpha _2)\) there exist infinitely many \(q \in {\mathbb N}\) such that
see, e.g., [7]. Consider now such a q and set
where \(0 < \theta \le \rho \). Let \(A = A(q)\) be the minimal integer such that
holds, which is possible due to \(\theta \le \rho < 1\). Note that A is the larger, the larger \(\theta \) is. Hence, the values of A are bounded by the value obtained for \(\theta = \rho \). This A will be denoted by \(A_{\rho }\). Further, for the choice of \(B=B(q):= \frac{2}{1+\theta ^2}\), we have \(B \ge \frac{2}{1+ \rho ^2} >1\). Choose \(L=L(q):= \left\lceil \left( \frac{1}{A \theta }\right) ^{2/3} \right\rceil \) and the real \(\tilde{\nu }\) such that
i.e.,
In the sequel, we will show that
and consequently,
Clearly, Eq. (13) is equivalent to \(BL^3\theta ^2 \le 1\). Now
and hence, (13) holds if
which is true due to the definition of A and B, respectively. Let \(\nu := \lfloor \tilde{\nu } \rfloor \) and \(N:=A^2Lq - \nu \). Note, that by (14) we have \(N \ge BLq\) and this, by the definition of B and L tends to infinity for q to infinity.
We consider now the sequence elements \(\varvec{x}_1, \ldots , \varvec{x}_{N=A^2Lq-\nu }\), and study the distances of the pairs
Using the estimate (14), we derive that there are
such pairs, where \(\gamma \) is a positive fixed constant independent on q.
Now, for each such pair, we get (for \(k=1, \ldots , N-qL\))
The second equality is true due to the following inequality
which we will prove subsequently. First, note that we have
where we used the estimate (14) for \(\tilde{\nu }\). Further, due to above estimate and (12), we also have
i.e.,
As the inequality from above is valid for infinitely many q and as a consequence thereof, there exists an \(a \in \left\{ 0,1,\ldots , \left\lceil 3 \frac{100}{\gamma } \right\rceil \right\} \) such that
for infinitely many q.
In the following, we consider a sequence \((q_l)\) of such q with corresponding \((N_l)\) and define
Assume that \((\varvec{x}_n)_{n \in {\mathbb N}}\) were Poissonian, then we had
for \(i=1,2\).
But \( \Gamma _2(l) \ge \Gamma _1(l) + \gamma \) due to (15), which gives a contradiction as we also have
\(\square \)
Rights and permissions
OpenAccess 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
Hinrichs, A., Kaltenböck, L., Larcher, G. et al. On a multi-dimensional Poissonian pair correlation concept and uniform distribution. Monatsh Math 190, 333–352 (2019). https://doi.org/10.1007/s00605-019-01267-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-019-01267-9