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

Let g₀,\ ,gₖ:\→ be $1$ -bounded multiplicative functions, and let h₀,\ ,hₖ\∈ be shifts. We consider correlation sequences f:\→ of the form \{equation*}f(a):=\{\{\lim }}m\→ \∞\{1}{\log \ωₘ}\∑ _{xₘ/\ω ₘ\≤ n\≤ xₘ}\{g₀(n+ah₀)\⋯ gₖ(n+ahₖ)}{n},\{equation*} where 1\≤ \ω ₘ\≤ xₘ are numbers going to infinity as m\→ \∞ and \\lim is a generalized 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ᵢ . Furthermore, if the multiplicative function g₀\⋯ gₖ “weakly pretends” to be a Dirichlet character \χ , the periodic functions fᵢ can be chosen to be \χ -isotypic in the sense that fᵢ(ab)=fᵢ(a)\χ (b) whenever b is coprime to the periods of fᵢ and \χ , while if g₀\⋯ gₖ 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.