Abstract We study the topological, dynamical, and descriptive set-theoretic properties of Hurwitz continued fractions. Hurwitz continued fractions associate an infinite sequence of Gaussian integers to every complex number that is not a Gaussian rational. The resulting space of sequences of Gaussian integers $\Omega $ is not closed. Using an iterative procedure, we show that $\Omega $ contains a natural subset whose closure $\overline{\textsf{R}}$ encodes continued fraction expansions of complex numbers that are not Gaussian rationals. We prove that $(\overline{\textsf{R}}, \sigma )$ is a subshift with a feeble specification property. As an application, we determine the rank in the Borel hierarchy of the set of Hurwitz normal numbers with respect to the complex Gauss measure. We also construct a family of complex transcendental numbers with bounded partial quotients.
Read full abstract