Hurwitz Continued Fraction Expansion

• The Hurwitz continued fraction expansion is a method representing complex numbers using Gaussian integers, which encodes Diophantine, dynamical, and algebraic properties.
• It employs a nearest-Gaussian integer rule and recursive convergent formulas that guarantee uniform approximation bounds and establish convergence in the complex setting.
• Applications include establishing periodicity criteria for quadratic irrationals, analyzing ergodic properties via the Hurwitz–Gauss map, and proving transcendence through bounded partial quotients.

The Hurwitz continued fraction (HCF) expansion generalizes classical continued fractions to complex numbers using the ring of Gaussian integers $\mathbb{Z}[i]$. For every complex number $z \notin \mathbb{Q}(i)$, the HCF algorithm produces an infinite sequence of Gaussian integer partial quotients that encode Diophantine, dynamical, and topological properties of $z$. The construction relies on selecting nearest Gaussian integers in a fundamental lattice domain, and it extends key features such as convergence, best approximation, and characterizations of algebraic and transcendental numbers to the complex setting.

1. Definition and Extraction Algorithm

The HCF expansion expresses a complex number $z \notin \mathbb{Q}(i)$ as

$$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$

The selection of each $a_n$ uses the nearest-Gaussian-integer rule: the remainder $z_1 = z - a_0$ must belong to the fundamental domain

$$\mathfrak{F} = \left\{ w \in \mathbb{C} : -\tfrac{1}{2} \leq \Re w < \tfrac{1}{2},\; -\tfrac{1}{2} \leq \Im w < \tfrac{1}{2} \right\}.$$

The recursive procedure is:

1. Set $a_0 = [z]$, $z_1 = z - a_0$.
2. For $z \notin \mathbb{Q}(i)$0, compute $z \notin \mathbb{Q}(i)$1, $z \notin \mathbb{Q}(i)$2.
3. Terminate if $z \notin \mathbb{Q}(i)$3; otherwise continue indefinitely for irrational (non-Gaussian rational) $z \notin \mathbb{Q}(i)$4.

This algorithm generalizes to real numbers: restricting the HCF to $z \notin \mathbb{Q}(i)$5 yields partial quotients matching the classical nearest-integer continued fraction, with unique expansion for all irrational $z \notin \mathbb{Q}(i)$6 (Simmons, 2016).

2. Convergents, Recursions, and Approximation Quality

Define the convergent sequences recursively: $z \notin \mathbb{Q}(i)$7 Each $z \notin \mathbb{Q}(i)$8-th convergent $z \notin \mathbb{Q}(i)$9 equals the finite continued fraction $z$0. The coprimeness identity holds: $z$1 Approximation bounds: $z$2 with strict monotonic growth in denominator norm and sharp uniform bounds (García-Ramos et al., 2023, Dani et al., 2011, Robert, 2018).

3. Periodicity, Algebraic Numbers, and Lagrange-Type Theorems

Quadratic irrationals over $z$3 admit ultimately periodic Hurwitz expansions. The HCF is purely periodic if $z$4 is quadratic over $z$5 with its Galois conjugate in the fundamental domain and satisfying modulus inequalities (Robert, 2018, Yasutomi, 2024). Explicitly: $z$6 The corresponding Lagrange theorem: Pure periodicity holds if and only if both $z$7 and its conjugate satisfy explicit domain conditions, and the expansion cycles through a finite block (Yasutomi, 2024, Dani et al., 2011). The natural extension theory (Tanaka-Nakada) characterizes periodicity through fixed points of a bijective domain transformation preserving an absolutely continuous invariant measure.

4. Dynamical, Ergodic, and Descriptive Set Properties

The Hurwitz–Gauss map $z$8 operates on the fundamental domain by inversion and translation: $z$9 A unique $z \notin \mathbb{Q}(i)$0-invariant ergodic probability measure $z \notin \mathbb{Q}(i)$1 exists, equivalent to Lebesgue measure on $z \notin \mathbb{Q}(i)$2 (García-Ramos et al., 2023). Hurwitz-normal numbers are those for which digit frequencies match cylinder set measures: $z \notin \mathbb{Q}(i)$3 The set of normals is $z \notin \mathbb{Q}(i)$4-complete in the Borel hierarchy; generic points for invariant measures exhibit full complexity under the feeble specification property of the digit subshift (García-Ramos et al., 2023).

5. Transcendence and Bounded Partial Quotients

Complex transcendence via continued fractions parallels the Bugeaud–Adamczewski theory in the real case. For non-periodic, bounded partial quotients of finite repetition exponent, the convergent complex number is transcendental. If $z \notin \mathbb{Q}(i)$5 is a non-periodic bounded sequence in $z \notin \mathbb{Q}(i)$6 with $z \notin \mathbb{Q}(i)$7, then

$z \notin \mathbb{Q}(i)$8

is transcendental (García-Ramos et al., 2023, Robert, 2018). The repetition exponent and block structure determine algebraicity: only quadratic numbers admit ultimately periodic HCF expansions.

6. Comparison with Real Continued Fractions and Rational Approximations

The difference phenomenon: for regular continued fractions over $z \notin \mathbb{Q}(i)$9, the partial quotients of rational approximations to $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$0 agree with those of $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$1 up to the second last digit when the approximation error is below $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$2. In contrast, for Hurwitz expansions, even arbitrarily close rational approximations $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$3 to a complex $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$4 can have an unbounded discrepancy in partial quotients. The "disagreement count" $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$5 between $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$6 and its rational approximant can grow arbitrarily large for well-approximable complex numbers (He et al., 2021).

Metric dimension results: the set $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$7 of such exceptional numbers has full packing dimension 2 and Hausdorff dimension equal to the set $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$8 of classically well-approximable numbers, provided by analogues of Jarník–Besicovitch theorems: $$z = a_0 + \cfrac{1}{a_1 + \cfrac{1}{a_2 + \cfrac{1}{a_3 + \ddots}}} = [a_0; a_1, a_2, a_3, \dots]_\mathbb{C}, \qquad a_n \in \mathbb{Z}[i].$$9

7. Explicit Convergent Formulas, Special Families, and Applications

Families of Hurwitzian continued fractions with repeating blocks and arithmetic progression terms have explicit convergent formulas (Hetyei, 2012). For selected parameters, the limits can be expressed via Bessel functions and Fibonacci polynomials. Classical examples include continued fractions for $a_n$0 and $a_n$1, where the limit formula collapses to elementary functions in special cases.

Recent developments connect finite-length HCF truncations for quadratic units over imaginary quadratic fields to analytic methods (Sierpiński series, Newton approximations), showing that all three representations coincide and exhibit doubly-exponential convergence (Saito et al., 17 Oct 2025).

Applications range from best approximation in the Gaussian integer lattice, dynamical distribution of Diophantine value sets (e.g., binary quadratic forms attaining dense values), to set-theoretic complexity classifications and transcendence criteria for automatic sequences (Dani et al., 2011, Dani et al., 2021).

---

In synthesis, the Hurwitz continued fraction expansion forms a deep multidimensional generalization of classical theory, encoding analytic, arithmetic, and dynamical features unique to the complex plane and Gaussian integers. Its structural, ergodic, and Diophantine attributes are tightly interwoven, with rich connections to transcendence theory, invariant measures, symbolic dynamics, descriptive set theory, and explicit families with combinatorial convergent formulas (García-Ramos et al., 2023, Dani et al., 2011, Robert, 2018, He et al., 2021, Yasutomi, 2024, Simmons, 2016, Hetyei, 2012, Saito et al., 17 Oct 2025, Dani et al., 2021).