Phase relations and pyramids

Miguel N. Walsh
2023-04-20
Abstract:We develop tools to study the averaged Fourier uniformity conjecture and extend its known range of validity to intervals of length at least $\exp(C (\log X)^{1/2} (\log \log X)^{1/2})$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the effective range expansion of the averaged Fourier uniformity conjecture. Specifically, the author aims to extend the known effective range to intervals with a length of at least \(\exp(C(\log X)^{1/2} (\log \log X)^{1/2})\). ### Main Problem Description In the field of mathematics, especially in number theory, the Fourier uniformity conjecture involves the behavior of complex - valued multiplicative functions \(g\) in short intervals. These functions usually satisfy certain specific conditions, and their behavior is closely related to some important number - theory problems, such as the Chowla conjecture and the Sarnak conjecture. The main contributions of the paper are as follows: 1. **Expanding the Effective Range**: By improving the existing estimation methods, the author extends the effective range of the Fourier uniformity conjecture from the previous \(X^\epsilon\) and \(\exp((\log X)^{5/8+\epsilon})\) to a longer interval \(\exp(C(\log X)^{1/2} (\log \log X)^{1/2})\). 2. **Introducing New Tools**: To achieve this goal, the author develops new tools and techniques, including the study of "pre - paths" and "pyramid" structures. These tools help to better understand the relationships between frequencies and provide stronger local correlation estimates. 3. **Application to Higher - Order Uniformity Conjecture**: The author's method is not only applicable to the Fourier uniformity conjecture, but can also be generalized to the higher - order uniformity conjecture, thus providing a new approach for further research on these important conjectures. ### Formula Summary The key formulas in the paper include: - The core inequality in **Theorem 1.1**: \[ \int_X^{2X} \sup_{\alpha} \left| \sum_{x \leq n \leq x + H} g(n)e(\alpha n)\right|dx\geq \eta HX \] Here, \(g\) is a complex - valued multiplicative function, \(e(x)=e^{2\pi ix}\), and \(H\) satisfies specific conditions. - **Distance Metric**: \[ D(g;T,Q)=\inf_{|t|\leq T,\chi} \left( \sum_{p\leq T} \left(1-\Re(g(p)\overline{\chi(p)}p^{-it})\right)\right)^{1/2} \] where \(\chi\) is the Dirichlet character modulo \(Q\). Through these tools and methods, the author successfully proves that the behavior of the complex - valued multiplicative function \(g\) can be more accurately characterized in a wider interval, thus providing new ideas and methods for solving a series of important number - theory problems.