Multiplicative functions in short intervals

TL;DR

This paper establishes new results connecting short interval averages of multiplicative functions to their long interval behavior, leading to advances in understanding the Möbius function, smooth numbers, and sign changes, with implications for longstanding conjectures.

Contribution

The paper introduces a general theorem linking short and long averages of multiplicative functions, proving several conjectures and advancing the understanding of their distribution in short intervals.

Findings

Cancellations in Möbius sums in almost all short intervals.

Unconditional existence of smooth numbers in short intervals.

Bounded mean-value of Liouville function products, supporting Chowla's conjecture.

Abstract

We introduce a general result relating "short averages" of a multiplicative function to "long averages" which are well understood. This result has several consequences. First, for the M\"obius function we show that there are cancellations in the sum of $\mu(n)$ in almost all intervals of the form $[x, x + \psi(x)]$ with $\psi(x) \rightarrow \infty$ arbitrarily slowly. This goes beyond what was previously known conditionally on the Density Hypothesis or the stronger Riemann Hypothesis. Second, we settle the long-standing conjecture on the existence of $x^{\epsilon}$-smooth numbers in intervals of the form $[x, x + c(\varepsilon) \sqrt{x}]$, recovering unconditionally a conditional (on the Riemann Hypothesis) result of Soundararajan. Third, we show that the mean-value of $\lambda(n)\lambda(n+1)$, with $\lambda(n)$ Liouville's function, is non-trivially bounded in absolute value by $1 - \delta$ for some $\delta > 0$. This settles an old folklore conjecture and constitutes progress towards Chowla's conjecture. Fourth, we show that a (general) real-valued multiplicative function $f$ has a positive proportion of sign changes if and only if $f$ is negative on at least one integer and non-zero on a positive proportion of the integers. This improves on many previous works, and is new already in the case of the M\"obius function. We also obtain some additional results on smooth numbers in almost all intervals, and sign changes of multiplicative functions in all intervals of square-root length.