Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors investigate the asymptotic distribution of normalized sums of Steinhaus random multiplicative functions modulated by polynomial phases $e(g(n))$. They prove a quantitative dichotomy showing that the even moments converge to standard complex Gaussian moments unless the polynomial's coefficients are rationally approximable with small denominators. The entire mathematical proof is fully formalized and verified in the Lean 4 proof assistant.
Random multiplicative sums twisted by polynomial phases exhibit universal Gaussian behavior unless blocked by explicit Diophantine rational approximations—with the complete proof machine-verified in Lean 4.
Let $f$ be a Steinhaus random multiplicative function and let $g$ be a polynomial of degree $d$. Write $S_N=N^{-1/2}\sum_{n\le N}f(n)\,e(g(n))$. We prove a quantitative dichotomy for the moments of $S_N$: for each integer $s\ge 2$, either $\mathbb{E}|S_N|^{2s}$ is close to the Gaussian moment $s!$, or the coefficients of $g$ can be approximated by rationals with a small denominator. In particular, if the coefficients of $g$ satisfy a Diophantine condition, then $S_N$ converges in law to a complex normal distribution with mean $0$ and variance $1$. Lean 4 code for the proofs is provided, for convenience of verification.