Chabauty Limits of Fermat Spirals

A Fermat spiral is a set of points of the form $\sqrt{n}e^{2\pi i\alpha n}$ for $\alpha \in \mathbb{R}$. In this paper we prove that the Chabauty limits of Fermat spirals are always closed subgroups of $\mathbb{R}^2$, and conclude that no Fermat spirals are dense forests. Furthermore, we show that if $\alpha$ is badly approximable the Chabauty limits are always lattices, for which we give a characterisation.