Universal Radial Laws for Random Polynomials: Erdős Problem #522 and Non-Universal Fluctuations
Abstract
We resolve Erdős Problem #522, posed in 1961, by proving that for random Littlewood polynomials the proportion of zeros in the closed unit disk converges almost surely to 1/2. More generally, for partial sums of random power series with i.i.d. coefficients that are bounded, nondegenerate, and centrally symmetric, real Gaussian, or circular complex Gaussian, we prove that the proportion of zeros in the disk of radius 1+x/n converges almost surely to 1/2(1+coth x−1/x), uniformly in x∈ℝ. Thus almost all zeros lie at distance O(1/n) from the unit circle. For random Littlewood polynomials, even with arbitrary dependence between degrees, the convergence at the unit circle holds at the almost-sure rate O(n−1/4√(log n)). We establish a law-of-the-iterated-logarithm criterion for dependent sequences and, for real Gaussian coefficients, obtain the sharp law of the iterated logarithm over all integer degrees, variance and cross-degree covariance asymptotics, quantitative central limit theorems, joint Gaussian limits, and increment bounds. For symmetric coefficient laws with bounded density and all moments finite, the number of zeros in the closed unit disk has variance (cG+κ4/12)n+Oξ(n399/400), and for random signs the constant is cG−1/6. Thus the radial law is universal, while the fluctuations depend on the coefficient law through its fourth cumulant κ4. All our main results are formally verified in Lean 4, and our proof of Erdős Problem #522 has been accepted as a solution to its formal statement in Google DeepMind's Formal Conjectures project.
Related
- Universal classical and quantum fluctuations in the large deviations of current of noisy quantum systems: Quantum symmetric simple exclusion and inclusion processes
- Precise universal edge asymptotics for planar β=2 Coulomb gases with radial external fields
- Radial reduction, spherical splitting and root counts for two-sided quaternionic polynomials
- Large fluctuations of extended Rademacher random multiplicative functions
- A unified approach to fluctuations of LES of time-dependent generalized patterned random matrices
BibTeX
@misc{kawada2026universal,
title = {{Universal Radial Laws for Random Polynomials: Erdős Problem #522 and Non-Universal Fluctuations}},
author = {Sebastien Kawada},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.11324},
eprint = {2610.11324},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.11324},
}
RIS
TY - UNPB
TI - Universal Radial Laws for Random Polynomials: Erdős Problem #522 and Non-Universal Fluctuations
AU - Sebastien Kawada
PY - 2026
DA - 2026/10/08
PB - arXiv
DO - 10.48550/arxiv.2610.11324
UR - https://arxiv.org/abs/2610.11324
AB - We resolve Erdős Problem #522, posed in 1961, by proving that for random Littlewood polynomials the proportion of zeros in the closed unit disk converges almost surely to 1/2. More generally, for partial sums of random power series with i.i.d. coefficients that are bounded, nondegenerate, and centrally symmetric, real Gaussian, or circular complex Gaussian, we prove that the proportion of zeros in the disk of radius 1+x/n converges almost surely to 1/2(1+coth x−1/x), uniformly in x∈ℝ. Thus almost all zeros lie at distance O(1/n) from the unit circle. For random Littlewood polynomials, even with arbitrary dependence between degrees, the convergence at the unit circle holds at the almost-sure rate O(n^−1/4√(log n)). We establish a law-of-the-iterated-logarithm criterion for dependent sequences and, for real Gaussian coefficients, obtain the sharp law of the iterated logarithm over all integer degrees, variance and cross-degree covariance asymptotics, quantitative central limit theorems, joint Gaussian limits, and increment bounds. For symmetric coefficient laws with bounded density and all moments finite, the number of zeros in the closed unit disk has variance (c_G+κ_4/12)n+O_ξ(n^399/400), and for random signs the constant is c_G−1/6. Thus the radial law is universal, while the fluctuations depend on the coefficient law through its fourth cumulant κ_4. All our main results are formally verified in Lean 4, and our proof of Erdős Problem #522 has been accepted as a solution to its formal statement in Google DeepMind's Formal Conjectures project.
ER -