Stability under scaling in the local phases of multiplicative functions

Miguel N. Walsh
2023-10-12
Abstract:We introduce a strategy to tackle some known obstructions of current approaches to the Fourier uniformity conjecture. Assuming GRH, we then show the conjecture holds for intervals of length at least $(\log X)^{\psi(X)}$, with $\psi(X) \rightarrow \infty$ an arbitrarily slowly growing function of $X$. We expect the methods should adapt to nilsequences, thus also showing that the Generalised Riemann Hypothesis implies close to exponential growth in the sign patterns of the Liouville function.
Number Theory
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is the proof obstacle regarding the Fourier uniformity conjecture. Specifically, the author introduced a new strategy to overcome some known obstacles in existing methods and, under the premise that the Generalized Riemann Hypothesis (GRH) holds, showed that the conjecture holds for a specific interval length. ### Description of the Main Problems in the Paper 1. **Fourier Uniformity Conjecture**: - This conjecture is a special case of the Chowla and Sarnak conjectures, involving the local uniformity estimate of the Liouville function λ(n). - Specifically, the conjecture predicts the following integral estimate for parameters H and X (as H → ∞ and X → ∞): \[ \frac{1}{X} \int_X^{2X} \sup_{\alpha} \left| \sum_{x \leq n \leq x + H} \lambda(n) e(\alpha n) \right| dx = o(H) \] where \( e(x) = e^{2\pi i x} \) and α takes on all real numbers. 2. **Obstacles of Existing Methods**: - Current methods have efficiency problems when dealing with smaller H, especially in that a constant factor error is introduced at each step in the iteration process. - Another major obstacle is the lack of sufficient prime numbers, making it impossible to create a large enough modulus. 3. **Introduction of New Strategies**: - The author introduced the general structure theorem to deal with the phase sets of possible counterexamples, so that a minimal loss can be reduced at each iteration step. - These new methods make it possible, under the assumption of GRH, to handle intervals with length \( H \geq (\log X)^{\psi(X)} \), where \(\psi(X)\) is an arbitrarily slowly growing function. ### Main Results - **Theorem 1.1**: Assume that GRH holds. Given \(\eta > 0\), there exist constants \(C, K > 1\) such that for any complex - valued multiplicative function g satisfying specific conditions, if there exists some \( H \geq (\log X)^K \) such that \[ \frac{1}{X} \int_X^{2X} \sup_{\alpha} \left| \sum_{x \leq n \leq x + H} g(n) e(\alpha n) \right| dx \geq \eta HX, \] then there exist \( T \) and \( q \) such that \( D(g; CX^2/H^2, C) \leq C \). ### Method Overview - **Mixing Lemma**: Use GRH to establish the mixing lemma to ensure certain extension properties. - **Contagious Argument**: Through the "parallel rigidity" phenomenon, ensure that the relationship is transferred between different elements. - **Lifting Configuration**: By fixing prime numbers to lift the configuration, ensure that the relationships in each iteration step can be maintained. - **Concentration Increment Argument**: Study the "concentration" parameter of the configuration to ensure that the size and the number of relationships of the configuration remain consistent after each iteration. ### Summary This paper overcomes the main obstacles in existing methods by introducing new structure theorems and contagious arguments and, under the assumption of GRH, proves the validity of the Fourier uniformity conjecture for a specific interval length. This provides a basis for further research on more extensive nilsequences and implies the influence of the Generalized Riemann Hypothesis on the exponential - level growth of the sign pattern of the Liouville function.