Generalized Sarnak conjecture for non-pretentious multiplicative functions

Let D\mathbb{D} be the closed unit disc, and call a sequence a:NDa:\mathbb{N}\to\mathbb{D} deterministic if it is generated by a continuous observable on a zero-entropy topological dynamical system. Let f:NDf:\mathbb{N}\to\mathbb{D} be a non-pretentious multiplicative function. Generalized Sarnak conjecture. There exists a set XN\mathcal{X}\subset\mathbb{N} with upper logarithmic density δlog+(X)=1\delta^+_{\log}(\mathcal{X})=1 such that for every deterministic sequence aa,

limx\xX1xnxf(n)a(n)=0.\lim_{\substack{x\to\infty\x\in\mathcal{X}}}\frac1x\sum_{n\le x}f(n)a(n)=0.

This is a sparse-scale orthogonality statement; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Oleksiy Klurman, Alexander P. Mangerel and Joni Teräväinen, “On Elliott's conjecture and applications”, arXiv:2304.05344 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.