Uniform better-than-square-root cancellation conjecture for smooth numbers

From papers

Let ff be a Steinhaus random multiplicative function, let P(n)P(n) denote the largest prime factor of nn, and define

Ψ(x,y)=#{nx:P(n)y}.\Psi(x,y)=\#\{n\leqslant x:P(n)\leqslant y\}.

Uniform smooth-number cancellation conjecture. The paper conjectures that its main estimate should hold uniformly for every 2yx2\leqslant y\leqslant x:

E1nx(n)yf(n)=o(Ψ(x,y)1/2).\mathbb E\left|\sum_{\substack{1\leqslant n\leqslant x\P(n)\leqslant y}}f(n)\right|=o\left(\Psi(x,y)^{1/2}\right).

The proved theorem establishes this only for (logx)30yx(\log x)^{30}\leqslant y\leqslant x; extending it to the full range 2yx2\leqslant y\leqslant x remains open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Seth Hardy and Max Wenqiang Xu, “Helson's conjecture for smooth numbers”, arXiv:2511.03430 (2026).

Solutions 0

No solutions have been posted yet.