Abstract
We present a property satisfied by a large variety of complex continued fraction algorithms (the “finite building property”) and use it to explore the structure of bijectivity domains for natural extensions of Gauss maps. Specifically, we show that these domains can each be given as a finite union of Cartesian products in In one complex coordinate, the sets come from explicit manipulation of the continued fraction algorithm, while in the other coordinate the sets are determined by experimental means.
Notes
1 Dani and Nogueira denote a choice function by f(x). Katok and Ugarcovici use the notation for their “generalized integer part” function.
2 Using a different value of a would give a different but in the end some would still be exactly the partition from (Equation4–1(4–1) (4–1) ).
3 In [Citation14], is denoted and the set is
4 Brothers Adolf and Julius Hurwitz both studied continued fractions. The term “Hurwitz algorithm” generally refers to the nearest integer algorithm, while the nearest even algorithm (Section 4.2) is sometimes called the “J. Hurwitz algorithm” [Citation14].