Monatshefte für Mathematik

, Volume 133, Issue 4, pp 295–339

Cutting Sequences for Geodesic Flow on the Modular Surface and Continued Fractions

  • David J. Grabiner
  • Jeffrey C. Lagarias

DOI: 10.1007/PL00010093

Cite this article as:
Grabiner, D. & Lagarias, J. Mh Math (2001) 133: 295. doi:10.1007/PL00010093

Abstract.

 This paper describes the cutting sequences of geodesic flow on the modular surface \(\) with respect to the standard fundamental domain \(\) of \(\). The cutting sequence for a vertical geodesic \(\) is related to a one-dimensional continued fraction expansion for θ, called the one-dimensional Minkowski geodesic continued fraction (MGCF) expansion, which is associated to a parametrized family of reduced bases of a family of 2-dimensional lattices. The set of cutting sequences for all geodesics forms a two-sided shift in a symbol space \(\) which has the same set of forbidden blocks as for vertical geodesics. We show that this shift is not a sofic shift, and that it characterizes the fundamental domain ℱ up to an isometry of the hyperbolic plane \(\). We give conversion methods between the cutting sequence for the vertical geodesic \(\), the MGCF expansion of θ and the additive ordinary continued fraction (ACF) expansion of θ. We show that the cutting sequence and MGCF expansions can each be computed from the other by a finite automaton, and the ACF expansion of θ can be computed from the cutting sequence for the vertical geodesic θ + it by a finite automaton. However, the cutting sequence for a vertical geodesic cannot be computed from the ACF expansion by any finite automaton, but there is an algorithm to compute its first \(\) symbols when given as input the first \(\) symbols of the ACF expansion, which takes time \(\) and space \(\).

2000 Mathematics Subject Classification: 37B1037D4037E1511A53
Key words: Symbolic dynamicscutting sequencesmodular groupmodular surfacecontinued fractions

Copyright information

© Springer-Verlag Wien 2001

Authors and Affiliations

  • David J. Grabiner
    • 1
  • Jeffrey C. Lagarias
    • 2
  1. 1. Arizona State University, Tempe, AZUS
  2. 2. AT&T Labs, Florham Park, NJUS