Continued Fraction Algorithms, Functional Operators, and Structure Constants

Philippe Flajolet 1 Brigitte Vallée
1 ALGO - Algorithms
Inria Paris-Rocquencourt
Abstract : Continued fractions lie at the heart of a number of classical algorithms like Euclid's greatest common divisor algorithm or the lattice reduction algorithm of Gauss that constitutes a 2-dimensional generalization. This paper surveys the main properties of functional operators, ---transfer operators--- due to Ruelle and Mayer (also following Lévy, Kuzmin, Wirsing, Hensley, and others) that describe precisely the dynamics of the continued fraction transformation. Spectral characteristics of transfer operators are shown to have many consequences, like the normal law for logarithms of continuants associated to the basic continued fraction algorithm, where better convergence terms are obtained, and a purely analytic estimation of the average number of steps of the Euclidean algorithm. Transfer operators also lead to a complete analysis of the «Hakmem» algorithm for comparing two rational numbers via partial continued fraction expansions, and of the «digital tree» algorithm for completely sorting $n$ real numbers by means of their continued fraction representations. Thus, a small number of «structure constants» appear to govern the behaviour of a variety of continued fraction based algorithms.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00073768
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 1:43:02 PM
Last modification on : Friday, May 25, 2018 - 12:02:02 PM
Long-term archiving on : Thursday, March 24, 2011 - 12:58:50 PM

Identifiers

  • HAL Id : inria-00073768, version 1

Collections

Citation

Philippe Flajolet, Brigitte Vallée. Continued Fraction Algorithms, Functional Operators, and Structure Constants. [Research Report] RR-2931, INRIA. 1996. ⟨inria-00073768⟩

Share

Metrics

Record views

156

Files downloads

266