On convergence of points to limiting processes, with an application to zeta zeros

Juan Arias de Reyna,Brad Rodgers
DOI: https://doi.org/10.1016/j.exmath.2024.125588
2024-08-14
Abstract:This paper considers sequences of points on the real line which have been randomly translated, and provides conditions under which various notions of convergence to a limiting point process are equivalent. In particular we consider convergence in correlation, convergence in distribution, and convergence of spacings between points. We also prove a simple Tauberian theorem regarding rescaled correlations. The results are applied to zeros of the Riemann zeta-function to show that several ways to state the GUE Hypothesis are equivalent. The proof relies on a moment bound of A. Fujii.
Number Theory,Probability
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the equivalence of several different descriptions of the zeros of the Riemann ζ - function, especially the convergence of these descriptions under specific conditions. Specifically, the author focuses on: 1. **Convergence of randomly translated point sequences**: Consider point sequences on the real axis after random translation, and provide conditions for the equivalence of various convergence concepts (such as correlation convergence, distribution convergence, and gap convergence). 2. **Equivalence of different formulations of the GUE hypothesis**: Prove that several different formulations of the GUE hypothesis regarding the zeros of the Riemann ζ - function are equivalent. ### Specific problems and solutions #### 1. Definitions and equivalence of convergence The author explores the following types of convergence: - **Correlation convergence**: Refers to the convergence of the correlation function of a point process to the correlation function of a limit point process. - **Distribution convergence**: Refers to the convergence of the finite - dimensional distributions of a point process to the finite - dimensional distributions of a limit point process. - **Gap convergence**: Refers to the convergence of the gap distribution between points to the gap distribution of a limit point process. #### 2. GUE hypothesis The GUE hypothesis involves the rescaled distribution of the zeros of the Riemann ζ - function, and is specifically expressed as: \[ \lim_{T \to \infty} \frac{1}{T} \int_T^{2T} \sum_{n \in \mathbb{Z}^k_*} f\left(\frac{\log T}{2\pi} (\gamma_{n_1} - t), \ldots, \frac{\log T}{2\pi} (\gamma_{n_k} - t)\right) dt = \int_{\mathbb{R}^k} f(x_1, \ldots, x_k) \det_{1 \leq i, j \leq k} \left( S(x_i - x_j) \right) d^k x, \] where \( S(x) = \frac{\sin \pi x}{\pi x} \), and \( \mathbb{Z}^k_*=\{(n_1, \ldots, n_k) \in \mathbb{Z}^k : n_1, \ldots, n_k \text{ are all different}\} \) #### 3. Proof of equivalence By introducing technical tools in point process theory, such as the moment method, Tauberian theorems, etc., the author proves the equivalence of the above - mentioned types of convergence. In particular, they prove the following conclusions: - Correlation convergence and distribution convergence are equivalent under certain conditions. - Gap convergence is also equivalent to the other two types of convergence. ### Main contributions This paper fills a gap in the literature, that is, it proves the equivalence of several different descriptions of the gaps between the zeros of the Riemann ζ - function. This not only deepens the understanding of the distribution of the zeros of the Riemann ζ - function, but also provides a broader application framework for point process theory. ### Mathematical formulas The mathematical formulas involved in the paper are represented in Markdown format as follows: - Representation of the zeros of the Riemann ζ - function: \[ \rho_n=\sigma_n + i\gamma_n \quad \text{where} \quad \sigma_n \in (0, 1) \quad \text{and} \quad \gamma_n \in \mathbb{R}, \gamma_n \leq \gamma_{n + 1}, \gamma_n>0 \quad \text{when} \quad n>0 \quad \text{and} \quad \gamma_n \leq 0 \quad \text{otherwise}. \] - Expression of the GUE hypothesis: \[ \lim_{T \to \infty} \frac{1}{T} \int_T^{2T} \sum_{n \in \mathbb{Z}^k_*} f\left(\frac{\log T}{2\pi} (\gamma_{n_1} - t), \ldots, \frac{\log T}{2\pi} (\gamma_{n_k} - t)\right) dt = \int_{\mathbb{R}^k} f(x_1, \ldots, x_k) \det_{1 \leq i, j \leq k} \left( S(x_i - x_j) \right) d^k x, \]