Convergent points for random power series on the unit circle

Consider a random power series of the form $P(z)={\sum }_{n\ge 1}{\epsilon }_n{a}_n{z}^n$ where $a_n\in \mathbb{C}$ are deterministic and ${\epsilon }_n$ are chosen independently and uniformly at random from $\{\pm 1\}$. Kolmogorov’s three-series theorem states that if ${\sum }_n\mathrm{\mid }{a}_n{\mathrm{\mid }}^2=\mathrm{\infty }$ then $P(z)$ almost-surely diverges at almost every $z$ with $\mathrm{\mid }z\mathrm{\mid }=1$. Dvoretzky and Erdős proved in 1959 that if $\mathrm{\mid }{a}_n\mathrm{\mid }=\mathrm{\Omega }(1\mathrm{/}\sqrt{n})$ then in fact $P$ almost surely diverges at every $\mathrm{\mid }z\mathrm{\mid }=1$. Erdős then asked in 1961 if this is sharp, meaning that if $\mathrm{\mid }{a}_n\mathrm{\mid }=o(1\mathrm{/}\sqrt{n})$ then there is almost surely some convergent point $z$ with $\mathrm{\mid }z\mathrm{\mid }=1$. We prove this in a strong sense and show that if $a_n=o(1\mathrm{/}\sqrt{n})$ then in fact the set of convergent points of $P$ with $\mathrm{\mid }z\mathrm{\mid }=1$ has Hausdorff dimension $1$.