A basic result in the elementary theory of continued fractions says that two real numbers share the same tail in their continued fraction expansions iff they belong to the same orbit under the projective action of PGL(2,Z). This result was first formulated in Serret's Cours d'alg`ebre sup'erieure, so we'll refer to it as to the Serret theorem. Notwithstanding the abundance of continued fraction algorithms in the literature, a uniform treatment of the Serret result seems missing. In this paper we show that there are finitely many possibilities for the subgroups Sigma of PGL(2,Z) generated by the branches of the Gauss maps in a large family of algorithms, and that each Sigma-equivalence class of reals is partitioned in finitely many tail-equivalence classes, whose number we bound. Our approach is through the finite-state transducers that relate Gauss maps to each other. They constitute opfibrations of the Schreier graphs of the groups, and their synchronizability ---which may or may not hold--- assures the a.e. validity of the Serret theorem.

Slow continued fractions, transducers, and the Serret theorem

PANTI, Giovanni
2018-01-01

Abstract

A basic result in the elementary theory of continued fractions says that two real numbers share the same tail in their continued fraction expansions iff they belong to the same orbit under the projective action of PGL(2,Z). This result was first formulated in Serret's Cours d'alg`ebre sup'erieure, so we'll refer to it as to the Serret theorem. Notwithstanding the abundance of continued fraction algorithms in the literature, a uniform treatment of the Serret result seems missing. In this paper we show that there are finitely many possibilities for the subgroups Sigma of PGL(2,Z) generated by the branches of the Gauss maps in a large family of algorithms, and that each Sigma-equivalence class of reals is partitioned in finitely many tail-equivalence classes, whose number we bound. Our approach is through the finite-state transducers that relate Gauss maps to each other. They constitute opfibrations of the Schreier graphs of the groups, and their synchronizability ---which may or may not hold--- assures the a.e. validity of the Serret theorem.
File in questo prodotto:
File Dimensione Formato  
1706.00698.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 540.26 kB
Formato Adobe PDF
540.26 kB Adobe PDF Visualizza/Apri
panti18.pdf

non disponibili

Descrizione: Articolo principale
Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 817.11 kB
Formato Adobe PDF
817.11 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1118527
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 7
social impact