On Elliott's conjecture and applications

Oleksiy Klurman,Alexander P. Mangerel,Joni Teräväinen

2023-05-26

Abstract:Let $f:\mathbb{N}\to \mathbb{D}$ be a multiplicative function. Under the merely necessary assumption that $f$ is non-pretentious (in the sense of Granville and Soundararajan), we show that for any pair of distinct integer shifts $h_1,h_2$ the two-point correlation $$\frac{1}{x}\sum_{n\leq x}{f(n+h_1)\overline{f}(n+h_2)}$$ tends to $0$ along a set of $x\in\mathbb{N}$ of full upper logarithmic density. We also show that the same result holds for the $k$-point correlations $$\frac{1}{x}\sum_{n\leq x}{f(n+h_1)\cdots f(n+h_k)}$$ if $k$ is odd and $f$ is a real-valued non-pretentious function. Previously, the vanishing of correlations was known only under stronger non-pretentiousness hypotheses on $f$ by the works of Tao, and Tao and the third author. We derive several applications, including: (i) A classification of $\pm 1$-valued completely multiplicative functions that omit a length four sign pattern, solving a 1974 conjecture of R.H. Hudson. (ii) A proof that a class of "Liouville-like" functions satisfies the unweighted Elliott conjecture of all orders, solving a problem of de la Rue. (iii) Constructing examples of multiplicative $f:\mathbb{N}\to \{-1,0,1\}$ with a given (unique) Furstenberg system, answering a question of Lemańczyk. (iv) A density version of the Erdős discrepancy theorem of Tao.

Number Theory,Dynamical Systems

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is the proof of Elliott's conjecture and its applications. Specifically, the authors are concerned with whether the average value of the correlation of a specific type of multiplicative function will tend to 0 when the function \( f \) is non - pretentious. The following are the specific problems that this paper attempts to solve:

1. **Vanishing of two - point and multi - point correlations**:
The authors prove that for any pair of distinct integer displacements \( h_1, h_2 \), if \( f \) is non - pretentious, then the second - order correlation
\[
\frac{1}{x} \sum_{n \leq x} f(n + h_1) f(n + h_2)
\]
tends to 0 on a set \( X\subset \mathbb{N} \) with full upper logarithmic density.

2. **Vanishing of \( k \)-point multi - point correlations**:
For odd \( k \), if \( f \) is real - valued and non - pretentious, then the \( k \)-th order correlation
\[
\frac{1}{x} \sum_{n \leq x} f(n + h_1)\cdots f(n + h_k)
\]
also tends to 0 on a set \( X\subset \mathbb{N} \) with full upper logarithmic density.

3. **Solving long - standing conjectures and problems**:
- **Hudson's conjecture (1974)**: There is no sign pattern of length 4 in the completely multiplicative function \( f:\mathbb{N}\to\{ - 1, + 1\} \).
- **Density version of Erdős's discrepancy theorem**: For the completely multiplicative function \( f:\mathbb{N}\to\{ - 1, + 1\} \), the unboundedness of the partial sums can be quantified on a set with a certain density.
- **Construction of Furstenberg systems**: Construct multiplicative functions with a given Furstenberg system.

Through these results, the authors not only advance the research on Elliott's conjecture but also solve several open problems in related fields. For example, they prove that some "Liouville - like" functions satisfy the unweighted Elliott's conjecture and construct multiplicative functions with specific Furstenberg systems.

### Summary
The main contribution of this paper lies in proving parts of Elliott's conjecture under weaker assumptions and applying it to solve several long - standing mathematical conjectures and problems. These results not only deepen our understanding of the correlation of multiplicative functions but also provide new tools and methods for future research.