Full Poissonian Local Statistics of Slowly Growing Sequences

Christopher Lutsko,Niclas Technau
2024-02-05
Abstract:Fix $\alpha>0$, then by Fejér's theorem $ (\alpha(\log n)^{A}\,\mathrm{mod}\,1)_{n\geq1}$ is uniformly distributed if and only if $A>1$. We sharpen this by showing that all correlation functions, and hence the gap distribution, are Poissonian provided $A>1$. This is the first example of a deterministic sequence modulo one whose gap distribution, and all of whose correlations are proven to be Poissonian. The range of $A$ is optimal and complements a result of Marklof and Strömbergsson who found the limiting gap distribution of $(\log(n)\, \mathrm{mod}\,1)$, which is necessarily not Poissonian.
Number Theory,Probability
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the local statistical properties of slowly growing sequences, in particular, whether the gap distributions and correlation functions of these sequences exhibit Poissonian distribution. Specifically, the author studied sequences of the form \((\alpha (\log n)^A \mod 1)_{n \geq 1}\), where \(A > 1\) and \(\alpha > 0\). According to Fejér's theorem, when \(A > 1\), such sequences are uniformly distributed in the sense of modulo 1. However, the author further explored the finer local statistical properties of these sequences, including correlation functions of all orders and gap distributions. ### Main problems 1. **Poisson - type gap distribution**: The author attempted to prove that when \(A > 1\), the gap distribution of the above - mentioned sequences is of Poisson - type. This means that the distribution of the gap sizes between adjacent elements conforms to the Poisson distribution. 2. **m - point correlation functions**: The author not only focused on the gap distribution but also studied higher - order correlation functions, namely m - point correlation functions. They hoped to prove that these higher - order correlation functions also exhibit the characteristics of Poisson distribution. ### Research background - **Fejér's theorem**: Fejér's theorem states that for any \(A > 1\) and \(\alpha > 0\), the sequence \((\alpha (\log n)^A \mod 1)_{n \geq 1}\) is uniformly distributed in the sense of modulo 1. - **Previous work**: Previous research mainly focused on the local statistical properties of polynomially growing sequences, while relatively little research has been done on logarithmically growing sequences. The results of Marklof and Strömbergsson showed that for some specific logarithmic sequences, their gap distributions are not of Poisson - type. ### Main contributions of the paper - **First proof**: This is the first time to prove that all - order correlation functions and gap distributions of a deterministic sequence in the sense of modulo 1 are of Poisson - type. - **Filling the gap**: This result fills the research gap in the local statistical properties of logarithmically growing sequences, especially in the case of \(A > 1\). - **Method innovation**: The author introduced new mathematical tools and techniques, such as the application of B - processes and the handling of generalized Vandermonde matrices, to solve this problem. Through these studies, the author not only solved theoretical problems but also provided new ideas and methods for follow - up research.