Escaping Chaos in Random Multiplicative Functions
Pith reviewed 2026-05-22 08:27 UTC · model grok-4.3
The pith
Normalized sums of a Steinhaus random multiplicative function converge to complex normal only if the set has density tending to zero.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let f be a Steinhaus random multiplicative function. For any finite A subset of [1, N], convergence in distribution of (1 over sqrt of |A|) times the sum of f(n) for n in A to the complex normal CN(0,1) forces |A| to be o(N). The o(1) density threshold is sharp: for most sets A of density rho where (1 minus rho) to the minus one is o of the square root of log log N, the sum normalized by sqrt of (1 minus rho) times |A| does converge in distribution to CN(0,1).
What carries the argument
The Steinhaus random multiplicative function, which assigns independent uniform unit-circle values at each prime and extends multiplicatively, together with a density-correction factor sqrt(1 minus rho) that restores the central limit theorem for most sets of controlled positive density.
If this is right
- Sets of positive density require the extra sqrt(1 minus rho) factor in the normalization before the sum settles to complex normal.
- The multiplicative dependence structure does not destroy normality provided the density is thinned enough to satisfy the log-log growth bound.
- Most sets meeting the density condition behave like thinned versions of the full interval for the purpose of this central limit theorem.
- The necessity result rules out convergence without adjustment on any set that keeps a fixed positive proportion of the integers up to N.
Where Pith is reading between the lines
- The same density threshold technique could be tested on other random arithmetic functions that share the multiplicative structure.
- Numerical checks for moderate N might reveal how sharply the transition occurs around the predicted log-log scale.
- The result suggests that partial sums of random multiplicative functions can be made to mimic independent sums by controlled thinning of the domain.
Load-bearing premise
After the density correction, the remaining multiplicative correlations in the Steinhaus function must still be weak enough for the central limit theorem to apply over the stated range of rho.
What would settle it
Construct or sample a specific set A with density rho where (1 minus rho) to the minus one exceeds any multiple of sqrt(log log N) and check whether the adjusted sum still converges in distribution to CN(0,1) or whether its characteristic function deviates.
read the original abstract
Let $f(n)$ be a Steinhaus random multiplicative function. Let $A\subset [1, N]$ be a finite set of integers. We show that \[\frac{1}{\sqrt{|A|}} \sum_{n\in A} f(n) \xrightarrow[]{d} \mathcal{CN}(0,1)\] forces that $|A|=o(N)$. We prove that the $o(1)$ density is sharp by showing that for most sets $A$, and thus confirm the existence, with density $\rho$ such that $(1-\rho)^{-1} =o((\log \log N)^{1/2})$, we have \[ \frac{1}{\sqrt{(1-\rho) |A|}} \sum_{n\in A} f(n) \xrightarrow{d} \mathcal{CN}(0,1). \] The extra factor $\sqrt{1-\rho}$ makes a difference as long as the density $\rho>0$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for a Steinhaus random multiplicative function f, the normalized sum (1/sqrt(|A|)) sum_{n in A} f(n) converges in distribution to CN(0,1) only if |A| = o(N). It further asserts that the o(1) density bound is sharp: for most sets A with density rho satisfying (1-rho)^{-1} = o((log log N)^{1/2}), the modified normalization 1/sqrt((1-rho)|A|) sum_{n in A} f(n) converges in distribution to CN(0,1).
Significance. If the results held, they would clarify the density thresholds at which sums of random multiplicative functions transition to Gaussian behavior, contributing to probabilistic number theory on the distribution of such sums and the role of set density in controlling correlations.
major comments (2)
- [Abstract and main results] Abstract and main claims: The normalization 1/sqrt((1-rho)|A|) for positive-density sets contradicts the exact second-moment computation. For the Steinhaus function, E[f(m) conj(f(n))] = delta_{m,n} exactly (vanishing integral over the unit circle whenever m ≠ n), so E[|sum_{n in A} f(n)|^2] = |A| with no rho dependence. The claimed normalized sum then has asymptotic variance 1/(1-rho) > 1 and cannot converge to CN(0,1). This is load-bearing for the sharpness statement.
- [Main theorem on dense sets] The proof of the dense-set CLT (for the stated range of rho) relies on an unverified assumption that the multiplicative structure permits a CLT after the (1-rho) correction; the exact covariance calculation shows no such variance reduction occurs, so higher-moment or independence arguments cannot rescue convergence to variance 1.
minor comments (2)
- The phrase 'for most sets A' requires an explicit probability measure on the space of subsets of [1,N] with given density.
- A short reminder of the definition of the Steinhaus function and the proof that off-diagonal covariances vanish would improve readability.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting an important issue with the normalization factor in the sharpness statement. We respond to each major comment below and will incorporate corrections in a revised version.
read point-by-point responses
-
Referee: [Abstract and main results] Abstract and main claims: The normalization 1/sqrt((1-rho)|A|) for positive-density sets contradicts the exact second-moment computation. For the Steinhaus function, E[f(m) conj(f(n))] = delta_{m,n} exactly (vanishing integral over the unit circle whenever m ≠ n), so E[|sum_{n in A} f(n)|^2] = |A| with no rho dependence. The claimed normalized sum then has asymptotic variance 1/(1-rho) > 1 and cannot converge to CN(0,1). This is load-bearing for the sharpness statement.
Authors: We agree that the referee's second-moment calculation is correct: for a Steinhaus random multiplicative function the values at distinct integers are orthogonal, yielding E[|sum_{n in A} f(n)|^2] = |A| with no dependence on the density ρ. The proposed normalization 1/sqrt((1-ρ)|A|) therefore produces limiting variance 1/(1-ρ) and cannot converge to CN(0,1). This is an error in the sharpness claim. We will revise the abstract and the corresponding theorem statement to remove the (1-ρ) factor and to re-examine the range of densities for which a CLT can hold under the standard normalization. revision: yes
-
Referee: [Main theorem on dense sets] The proof of the dense-set CLT (for the stated range of rho) relies on an unverified assumption that the multiplicative structure permits a CLT after the (1-rho) correction; the exact covariance calculation shows no such variance reduction occurs, so higher-moment or independence arguments cannot rescue convergence to variance 1.
Authors: The referee is right that the existing proof sketch for dense sets presupposes a variance reduction that the exact covariance precludes. Any appeal to higher moments or approximate independence must therefore be rebuilt without that factor. We will rewrite the argument for the dense-set regime, either establishing a corrected CLT under the proper normalization or restricting the claimed range of ρ accordingly. The revision will appear in the next manuscript version. revision: yes
Circularity Check
No significant circularity: derivation is self-contained via direct moment estimates on the Steinhaus function.
full rationale
The paper states a distributional limit for the normalized sum over A and proves a sharpness result for sets of positive density rho under a logarithmic condition on (1-rho). The argument proceeds from the exact orthogonality E[f(m) conj(f(n))] = delta_{m,n} (which yields Var(sum) = |A| independently of rho) together with higher-moment or characteristic-function bounds that do not presuppose the target convergence or the extra sqrt(1-rho) factor. No step reduces the claimed limit to a fitted parameter, a self-citation chain, or a definitional renaming; the normalization adjustment appears only in the statement being proved, not in the inputs. The derivation therefore remains independent of its conclusion.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Steinhaus random multiplicative function has independent values at primes uniformly distributed on the unit circle and extends multiplicatively.
- domain assumption Standard central limit theorem tools apply to the sums after accounting for multiplicative dependencies via the density correction.
Reference graph
Works this paper leans on
-
[1]
Soundararajan, Kannan and Xu, Max Wenqiang , TITLE =. J. Anal. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11854-023-0331-y , URL =
-
[2]
arXiv preprint arXiv:2508.12956 , year =
Gorodetsky, Ofir and Wong, Mo Dick , title =. arXiv preprint arXiv:2508.12956 , year =. 2508.12956 , archivePrefix =
-
[3]
Tenenbaum, Gérald and de la Bretèche, Régis , TITLE =. Funct. Approx. Comment. Math. , VOLUME =. 2024 , NUMBER =
work page 2024
-
[4]
Sums of random multiplicative functions over function fields with few irreducible factors , author=. 2021 , eprint=
work page 2021
-
[5]
Maxima of a Random Model of the Riemann Zeta Function over Intervals of Varying Length , author=. 2021 , eprint=
work page 2021
-
[6]
Benatar, Jacques and Nishry, Alon and Rodgers, Brad , TITLE =. Mathematika , FJOURNAL =. 2022 , NUMBER =. doi:10.1112/mtk.12121 , URL =
-
[7]
Chatterjee, Sourav and Soundararajan, Kannan , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2012 , VOLUME =. doi:10.1093/imrn/rnr023 , URL =
-
[8]
Filaseta, Michael and Trifonov, Ognian , TITLE =. J. London Math. Soc. (2) , FJOURNAL =. 1992 , NUMBER =. doi:10.1112/jlms/s2-45.2.215 , URL =
-
[9]
Ford, Kevin , TITLE =. Proc. Steklov Inst. Math. , FJOURNAL =. 2018 , NUMBER =
work page 2018
-
[11]
Hardy, G. H. and Ramanujan, S. , TITLE =. Collected papers of. 2000 , MRCLASS =
work page 2000
-
[12]
Harper, A. J. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2013 , PAGES =. doi:10.1515/crelle.2012.027 , URL =
- [13]
-
[14]
Lichtman, Jared D. and Pomerance, Carl , TITLE =. J. Number Theory , FJOURNAL =. 2018 , PAGES =
work page 2018
-
[15]
Harper, A. J. , TITLE =. Forum Math. Pi , FJOURNAL =. 2020 , PAGES =. doi:10.1017/fmp.2019.7 , URL =
-
[16]
On the partition function of the Riemann zeta function, and the Fyodorov--Hiary--Keating conjecture
On the partition function of the Riemann zeta function, and the Fyodorov--Hiary--Keating conjecture. arXiv e-prints , keywords =. doi:10.48550/arXiv.1906.05783 , archivePrefix =. 1906.05783 , primaryClass =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1906.05783 1906
-
[17]
Hough, Bob , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1017/S0305004110000514 , URL =
-
[19]
Mastrostefano, Daniele , TITLE =. J. Number Theory , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.jnt.2021.01.008 , URL =
-
[20]
McLeish, D. L. , TITLE =. Ann. Probability , FJOURNAL =. 1974 , PAGES =. doi:10.1214/aop/1176996608 , URL =
-
[21]
Montgomery, H. L. and Vaughan, R. C. , TITLE =. 2007 , PAGES =
work page 2007
-
[22]
Pomerance, C. and S\'. On products of sequences of integers , BOOKTITLE =. 1990 , MRCLASS =
work page 1990
-
[23]
Shiu, P. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1980 , PAGES =. doi:10.1515/crll.1980.313.161 , URL =
-
[24]
Martingale central limit theorem for random multiplicative functions , author=. 2024 , eprint=
work page 2024
-
[25]
On product sets of arithmetic progressions. Discrete Analysis , year =
-
[26]
Helson, H. , TITLE =. Studia Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.4064/sm198-1-5 , URL =
-
[27]
Hildebrand, Adolf , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1985 , NUMBER =. doi:10.1093/qmath/36.1.57 , URL =
-
[28]
Algorithmic number theory: lattices, number fields, curves and cryptography , SERIES =
Granville, Andrew , TITLE =. Algorithmic number theory: lattices, number fields, curves and cryptography , SERIES =. 2008 , MRCLASS =
work page 2008
-
[29]
Chatterjee, Sourav , TITLE =. Ann. Probab. , FJOURNAL =. 2008 , NUMBER =. doi:10.1214/07-AOP370 , URL =
- [30]
-
[31]
and Xu, Max Wenqiang , TITLE =
Klurman, Oleksiy and Shkredov, Ilya D. and Xu, Max Wenqiang , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00039-023-00641-y , URL =
- [32]
-
[33]
Kowalski, E. and Soundararajan, K. , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107776 , URL =
-
[34]
When the sieve works , JOURNAL =
Granville, Andrew and Koukoulopoulos, Dimitris and Matom\". When the sieve works , JOURNAL =. 2015 , NUMBER =. doi:10.1215/00127094-3120891 , URL =
-
[35]
Matom\". When the sieve works. J. Reine Angew. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1515/crelle-2018-0034 , URL =
-
[36]
Moments of polynomials with random multiplicative coefficients , publisher =
Benatar, Jacques and Nishry, Alon and Rodgers, Brad , keywords =. Moments of polynomials with random multiplicative coefficients , publisher =. 2020 , copyright =. doi:10.48550/ARXIV.2012.15507 , url =
-
[37]
Montgomery, H. L. and Vaughan, R. C. , TITLE =. Invent. Math. , FJOURNAL =. 1977 , NUMBER =. doi:10.1007/BF01390204 , URL =
-
[38]
and Xu, Max Wenqiang , title =
Pandey, Mayank and Wang, Victor Y. and Xu, Max Wenqiang , title =. Algebra & Number Theory , volume =. 2024 , publisher =. doi:10.2140/ant.2024.18.315 , eprint =
-
[39]
Soundararajan, Kannan and Zaman, Asif , TITLE =. Enseign. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/lem/1031 , URL =
-
[40]
Gut, Allan , TITLE =. 2013 , PAGES =. doi:10.1007/978-1-4614-4708-5 , URL =
-
[41]
Harper, A. J. and Nikeghbali, Ashkan and Radziwi. A note on. Analytic number theory , PAGES =. 2015 , MRCLASS =
work page 2015
-
[42]
Fyodorov, Yan V. and Keating, Jonathan P. , TITLE =. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. , FJOURNAL =. 2014 , NUMBER =. doi:10.1098/rsta.2012.0503 , URL =
-
[43]
Bailey, E. C. and Keating, J. P. , TITLE =. J. Phys. A , FJOURNAL =. 2022 , NUMBER =. doi:10.1088/1751-8121/ac4394 , URL =
-
[44]
Arguin, Louis-Pierre and Ouimet, Fr\'. Moments of the. Ann. Probab. , FJOURNAL =. 2021 , NUMBER =. doi:10.1214/21-aop1524 , URL =
-
[45]
Arguin, Louis-Pierre and Belius, David and Bourgade, Paul and Radziwi. Maximum of the. Comm. Pure Appl. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1002/cpa.21791 , URL =
- [46]
-
[47]
Arguin, Louis-Pierre and Belius, David and Harper, A. J. , TITLE =. Ann. Appl. Probab. , FJOURNAL =. 2017 , NUMBER =. doi:10.1214/16-AAP1201 , URL =
-
[48]
The Fyodorov-Hiary-Keating Conjecture. I. arXiv e-prints , keywords =. doi:10.48550/arXiv.2007.00988 , archivePrefix =. 2007.00988 , primaryClass =
-
[49]
Fyodorov, Yan V. and Hiary, Ghaith A. and Keating, Jonathan P. , journal =. Freezing Transition, Characteristic Polynomials of Random Matrices, and the. 2012 , month =. doi:10.1103/PhysRevLett.108.170601 , url =
-
[50]
Gerspach, Maxim , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , Volume =. doi:10.1093/imrn/rnaa159 , URL =
-
[51]
Najnudel, J. and Paquette, E. and Simm, N. , TITLE =. Ann. Probab. , FJOURNAL =. 2023 , NUMBER =. doi:10.1214/22-aop1616 , URL =
-
[52]
Gaussian multiplicative chaos and applications: a review , JOURNAL =
Rhodes, R\'. Gaussian multiplicative chaos and applications: a review , JOURNAL =. 2014 , PAGES =. doi:10.1214/13-PS218 , URL =
-
[53]
Berestycki, Nathana\". An elementary approach to. Electron. Commun. Probab. , FJOURNAL =. 2017 , PAGES =. doi:10.1214/17-ECP58 , URL =
-
[54]
Duplantier, Bertrand and Rhodes, R\'. Renormalization of critical. Comm. Math. Phys. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00220-014-2000-6 , URL =
-
[55]
Hughes, C. P. and Keating, J. P. and O'Connell, Neil , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2001 , NUMBER =. doi:10.1007/s002200100453 , URL =
-
[56]
The distribution of values of zeta and L-functions. arXiv e-prints , keywords =. doi:10.48550/arXiv.2112.03389 , archivePrefix =. 2112.03389 , primaryClass =
-
[57]
Paucity phenomena for polynomial products. arxiv e-prints , note =
-
[58]
Xu, Max Wenqiang , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2024 , PAGES =. doi:10.1090/btran/175 , URL =
-
[59]
de la Bret\`eche, R\'egis and Granville, Andrew , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1090/tran/8625 , URL =
-
[60]
Harper, A. J. , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.2277 , URL =
-
[61]
and Lindqvist, Sofia , TITLE =
Heap, Winston P. and Lindqvist, Sofia , TITLE =. Q. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1093/qmath/haw026 , URL =
- [62]
-
[63]
On random multiplicative functions , BOOKTITLE =
Hal\'. On random multiplicative functions , BOOKTITLE =. 1983 , MRCLASS =
work page 1983
-
[64]
Harper, A. J. , TITLE =. Ann. Appl. Probab. , FJOURNAL =. 2013 , NUMBER =. doi:10.1214/12-AAP847 , URL =
-
[65]
Harper, A. J. , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2023 , VOLUM =. doi:10.1093/imrn/rnab299 , URL =
-
[66]
On mean values of random multiplicative functions , JOURNAL =
Lau, Yuk-Kam and Tenenbaum, G\'. On mean values of random multiplicative functions , JOURNAL =. 2013 , NUMBER =. doi:10.1090/S0002-9939-2012-11332-2 , URL =
-
[67]
Najnudel, Joseph , TITLE =. Probab. Theory Related Fields , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00440-017-0812-y , URL =
-
[68]
Gerspach, Maxim , TITLE =. Mathematika , FJOURNAL =. 2022 , NUMBER =
work page 2022
-
[69]
Elekes, Gy. and Ruzsa, I. Z. , TITLE =. Studia Sci. Math. Hungar. , FJOURNAL =. 2003 , NUMBER =. doi:10.1556/SScMath.40.2003.3.4 , URL =
-
[70]
Fox, Jacob and Xu, M. W. and Zhou, Yunkun , TITLE =. Compos. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1112/s0010437x22007758 , URL =
-
[71]
Granville, Andrew and Soundararajan, K. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0894-0347-00-00357-X , URL =
-
[72]
Baker, R. C. and Montgomery, H. L. , TITLE =. Analytic number theory (. 1990 , MRCLASS =
work page 1990
-
[73]
Roth, K. F. , TITLE =. Acta Arith. , FJOURNAL =. 1964 , PAGES =. doi:10.4064/aa-9-3-257-260 , URL =
-
[74]
Discrepancy in arithmetic progressions , JOURNAL =
Matou. Discrepancy in arithmetic progressions , JOURNAL =. 1996 , NUMBER =. doi:10.1090/S0894-0347-96-00175-0 , URL =
-
[75]
On sums and products of integers , BOOKTITLE =
Erd. On sums and products of integers , BOOKTITLE =. 1983 , MRCLASS =
work page 1983
- [76]
-
[77]
Angelo, Rodrigo and Xu, M. W. , TITLE =. Q. J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1093/qmath/haac041 , URL =
-
[78]
Rudnev, Misha and Stevens, Sophie , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2022 , NUMBER =. doi:10.1017/S0305004121000633 , URL =
-
[79]
Granville, Andrew and Soundararajan, K. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2007 , NUMBER =. doi:10.4007/annals.2007.165.593 , URL =
-
[80]
He, Jimmy and Pham, Huy Tuan and Xu, M. W. , TITLE =. Electron. J. Probab. , FJOURNAL =. 2022 , PAGES =. doi:10.1214/22-ejp858 , URL =
-
[81]
Pham, Huy Tuan and Xu, M. W. , TITLE =. Discrete Anal. , FJOURNAL =. 2021 , PAGES =. doi:10.19086/da , URL =
work page doi:10.19086/da 2021
-
[82]
International Mathematics Research Notices , year =
He, Jimmy and Tuan Pham, Huy and Wenqiang Xu, Max , title = ". International Mathematics Research Notices , year =. doi:10.1093/imrn/rnac239 , url =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.