On Elliott's conjecture and applications

MaRDI QIDQ6432773zbMATH OpenFDO

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

Publication date 11 April 2023

Mathematics Subject Classification ID

Asymptotic results on arithmetic functions (11N37)

Abstract: Let $f:mathbbNomathbbD$ 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 ${\displaystyle }$frac{1}{x}sum_{nleq x}{f(n+h_1)overline{f}(n+h_2)}${\displaystyle }$ tends to $0$ along a set of $xinmathbbN$ of full upper logarithmic density. We also show that the same result holds for the $k$-point correlations ${\displaystyle }$frac{1}{x}sum_{nleq x}{f(n+h_1)cdots f(n+h_k)}${\displaystyle }$ 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 $pm1$-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:mathbbNo-1,0,1$ with a given (unique) Furstenberg system, answering a question of Lema'nczyk. (iv) A density version of the ErdH{o}s discrepancy theorem of Tao.

This page was built for publication: On Elliott's conjecture and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6432773)