English

Convergent points for random power series on the unit circle

Probability 2025-09-04 v1 Classical Analysis and ODEs

Abstract

Consider a random power series of the form P(z)=n1εnanznP(z) = \sum_{n\ge 1} \varepsilon_n a_n z^{n} where anCa_n \in \mathbb{C} are deterministic and εn\varepsilon_n are chosen independently and uniformly at random from {±1}\{\pm 1\}. Kolmogorov's three-series theorem states that if nan2=\sum_{n} |a_n|^2 = \infty then P(z)P(z) almost-surely diverges at almost every zz with z=1|z| = 1. Dvoretzky and Erd\H{o}s proved in 1959 that if an=Ω(1/n)|a_n| = \Omega(1/\sqrt{n}) then in fact PP almost surely diverges at every z=1|z| = 1. Erd\H{o}s then asked in 1961 if this is sharp, meaning that if an=o(1/n)|a_n| = o(1/\sqrt{n}) then there is almost surely some convergent point zz with z=1|z| = 1. We prove this in a strong sense and show that if an=o(1/n)a_n = o(1/\sqrt{n}) then in fact the set of convergent points of PP with z=1|z| = 1 has Hausdorff dimension 11.

Keywords

Cite

@article{arxiv.2509.02729,
  title  = {Convergent points for random power series on the unit circle},
  author = {Marcus Michelen and Mehtaab Sawhney},
  journal= {arXiv preprint arXiv:2509.02729},
  year   = {2025}
}

Comments

14 pages

R2 v1 2026-07-01T05:18:07.927Z