analysis / Analysis, Fourier Series

Erdős Problem #996

Let $n_1<n_2<\cdots$ be a lacunary sequence of integers and $f\in L^2([0,1])$ with $n$th Fourier partial sum $f_n$. Is there an absolute constant $C>0$ such that if $\| f-f_n\|_2 \ll (\log\log\log n)^{-C}$ then $\frac{1}{N}\sum_{k\leq N}f(\{\alpha n_k\})\to\int_0^1 f$ for almost every $\alpha$? A preprint answers this negatively via a dyadic spike-block counterexample.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisApr 21, 2026Significance 10/100Registry: unreviewed

Erdős Problem #996

Prior state unknowndisproved

Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Let $n_1<n_2<\cdots$ be a lacunary sequence of integers and $f\in L^2([0,1])$ with $n$th Fourier partial sum $f_n$. Is there an absolute constant $C>0$ such that if $\| f-f_n\|_2 \ll (\log\log\log n)^{-C}$ then $\frac{1}{N}\sum_{k\leq N}f(\{\alpha n_k\})\to\int_0^1 f$ for almost every $\alpha$? A preprint answers this negatively via a dyadic spike-block counterexample.

Answered negatively in a preprint that also settles the p=2 case of problem #995; erdosproblems.com still lists the problem open

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.