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 which is not a Gaussian rational. The resulting space of sequences of Gaussian integers $\Omega$ is not closed. By means of an algorithm, we show that $\Omega$ contains a natural subset whose closure $\overline{\mathsf{R}}$ encodes continued fraction expansions of complex numbers which are not Gaussian rationals. We prove that $(\overline{\mathsf{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.
What problem does this paper attempt to address?
This paper attempts to solve the following main problems:
1. **Research on topological, dynamical and descriptive set - theoretic properties**:
- Study the topological, dynamical and descriptive set - theoretic properties of Hurwitz continued fractions. Specifically, Hurwitz continued fractions associate each non - Gaussian rational complex number with an infinite sequence of Gaussian integers. The resulting sequence space \(\Omega\) is not closed. It is shown by an algorithm that \(\Omega\) contains a natural subset \(R\), and the closure of \(R\) encodes the continued fraction expansion of non - Gaussian rational complex numbers.
2. **Proof of the weak specification property of sub - shift systems**:
- Prove that \((R,\sigma)\) is a sub - shift system with the feeble specification property. Here, \(\sigma\) is the left - shift mapping, that is, the first Gaussian integer of the sequence is deleted.
3. **Classification of Hurwitz normal numbers in the Borel hierarchy**:
- Determine the rank of Hurwitz normal numbers in the Borel hierarchy under the complex Gaussian measure. This helps to understand the complexity of these numbers in set theory.
4. **Construction of transcendental complex numbers with bounded partial quotients**:
- Construct a family of complex transcendental numbers with bounded partial quotients. In particular, the partial quotients \((a_n)_{n\geq1}\) of these numbers satisfy \(\vert a_n\vert = 2\) for infinitely many \(n\in\mathbb{N}\).
### Formula display
- **Hurwitz continued fraction representation**:
\[
z = [a_0; a_1, a_2,\ldots]_C:=\lim_{n\rightarrow\infty}a_0+\cfrac{1}{a_1+\cfrac{1}{a_2+\cfrac{1}{\ddots+\cfrac{1}{a_n}}}}
\]
- **Definition of space \(R\)**:
\[
R:=\left\{(a_n)_{n\geq1}\in\mathbb{Z}[i]^{\mathbb{N}}:\forall n\in\mathbb{N}, C^{\circ}_n(a_1,\ldots,a_n)\neq\emptyset\right\}
\]
- **Definition of mapping \(\Lambda\)**:
\[
\Lambda(a):=\lim_{n\rightarrow\infty}[0; a_1,\ldots,a_n]_C
\]
- **Repetition index**:
\[
\text{rep}(a):=\liminf_{n\rightarrow\infty}\frac{r(n,a)}{n}
\]
where
\[
r(n,a):=\min\left\{m\in\mathbb{N}:\exists j\in\{1,\ldots,m - n\},(a_j,\ldots,a_{j + n-1})=(a_m,\ldots,a_{m + n-1})\right\}
\]
By solving these problems, the paper not only deepens the understanding of Hurwitz continued fractions, but also provides new tools and methods for number theory research in the complex number field.