Modified Elliott conjecture for non-pretentious multiplicative functions

Let D\mathbb{D} be the closed unit disc, let D(g1,g2;x)\mathbb{D}(g_1,g_2;x) denote the pretentious distance, and let δlog+\delta^+_{\log} denote upper logarithmic density. Let k1k\ge1, and let f1,,fk:NDf_1,\ldots,f_k:\mathbb{N}\to\mathbb{D} be multiplicative functions with f1f_1 non-pretentious. Modified Elliott conjecture. There exists a set XN\mathcal{X}\subset\mathbb{N}, depending only on f1f_1, with δlog+(X)=1\delta^+_{\log}(\mathcal{X})=1, such that for every choice of distinct h1,,hkNh_1,\ldots,h_k\in\mathbb{N}, the correlation average tends to zero along xx\to\infty with xXx\in\mathcal{X}:

limx\xX1xnxf1(n+h1)fk(n+hk)=0.\lim_{\substack{x\to\infty\x\in\mathcal{X}}}\frac1x\sum_{n\le x}f_1(n+h_1)\cdots f_k(n+h_k)=0.

This is proposed as an asymptotic replacement for Elliott's original conjecture, whose unrestricted formulation is stated in the paper to be false.

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.