The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures

Abstract

Let $g_0,\dots ,g_k:\mathbf{N}\to \mathbf{D}$ be $1$-bounded multiplicative functions, and let $h_0,\dots ,h_k\in \mathbf{Z}$ be shifts. We consider correlation sequences $f:\mathbf{N}\to \mathbf{Z}$ of the form $$f(a):={\tilde{\lim }}_{m\to \infty }\frac{1}{\log {\omega }_m}\sum _{x_m/{\omega }_m\le n\le x_m}\frac{g_0(n+a{h}_0)\dots g_k(n+a{h}_k)}{n}$$ where $1\le {\omega }_m\le x_m$ are numbers going to infinity as $m\to \infty$, and $\tilde{\lim }$ is a generalised limit functional extending the usual limit functional. We show a structural theorem for these sequences, namely that these sequences $f$ are the uniform limit of periodic sequences $f_i$. Furthermore, if the multiplicative function $g_0\dots g_k$ "weakly pretends" to be a Dirichlet character $\chi$, the periodic functions $f_i$ can be chosen to be $\chi$-isotypic in the sense that $f_i(ab)=f_i(a)\chi (b)$ whenever $b$ is coprime to the periods of $f_i$ and $\chi$, while if $g_0\dots g_k$ does not weakly pretend to be any Dirichlet character, then $f$ must vanish identically. As a consequence, we obtain several new cases of the logarithmically averaged Elliott conjecture, including the logarithmically averaged Chowla conjecture for odd order correlations. We give a number of applications of these special cases, including the conjectured logarithmic density of all sign patterns of the Liouville function of length up to three, and of the Möbius function of length up to four.

41 pages, no figures. Submitted, Duke Math. J.. Referee changes incorporated

References in corpus (2)

• Correlations of multiplicative functions and applications
• Odd order cases of the logarithmically averaged Chowla conjecture

Cited by in corpus (16)

• The structure of correlations of multiplicative functions at almost all scales, with applications to the Chowla and Elliott conjectures
• Odd order cases of the logarithmically averaged Chowla conjecture
• Nilsequences and Multiple Correlations along Subsequences
• Combinatorial identities and Titchmarsh's divisor problem for multiplicative functions
• The Hardy--Littlewood--Chowla conjecture in the presence of a Siegel zero
• Correlations of multiplicative functions in function fields
• Value patterns of multiplicative functions and related sequences
• Gowers norms control diophantine inequalities
• Furstenberg systems of pretentious and MRT multiplicative functions
• Chowla and Sarnak Conjectures for Kloosterman Sums
• Structure of multicorrelation sequences with integer part polynomial iterates along primes
• A decomposition of multicorrelation sequences for commuting transformations along primes
• On the Orbits of Multiplicative Pairs
• The Chowla conjecture and Landau-Siegel zeroes
• Random Chowla's Conjecture for Rademacher Multiplicative Functions
• On variants of Chowla's conjecture