The natural extension of the Gauss map and the Hermite best approximations
Journal de théorie des nombres de Bordeaux, Volume 34 (2022) no. 2, pp. 619-636.

Following Humbert and Lagarias, given a real number θ, we call a nonzero vector (p,q)× a Hermite best approximation vector of θ if it minimizes a quadratic form f Δ (x,y)=(x-yθ) 2 +y 2 Δ for at least one real number Δ>0. Hermite observed that if (p,q) is such a minimum with q>0, then the fraction p/q must be a convergent of the continued fraction expansion of θ. Using minimal vectors in lattices, we give new proofs of some results of Humbert and Meignen and complete their works. In particular, we show that the proportion of Hermite best approximation vectors among convergents is almost surely ln3/ln4. The main tool of the proofs is the natural extension of the Gauss map x]0,1[{1/x}.

À la suite de Humbert et Lagarias, étant donnée un réel θ, nous appelons vecteur meilleure approximation de Hermite de θ, tout vecteur non nul à coordonnées entières qui minimise une forme quadratique f Δ (x,y)=(x-yθ) 2 +y 2 Δ pour au moins un réel Δ>0. Hermite a observé que si (p,q) est un tel minimum avec q>0, alors la fraction p/q doit être une réduite du développement en fraction continue de θ. En utilisant les vecteurs minimaux dans les réseaux, nous donnons de nouvelles preuves de certains résultats de Humbert et Meignen et complétons leurs travaux. En particulier, nous montrons que la proportion des vecteurs meilleures approximations de Hermite parmi les réduites est presque sûrement de ln3/ln4. L’outil principal des preuves est l’extension naturelle de l’application de Gauss x]0,1[{1/x}.

Received:
Revised:
Accepted:
Published online:
DOI: 10.5802/jtnb.1219
Classification: 11J70, 37A44
Keywords: continued fraction, best Diophantine approximation, lattice, Gauss map, natural extension
Chevallier, Nicolas 1

1 Université de Haute Alsace 18 rue des frères Lumière 68093 Mulhouse, France
@article{JTNB_2022__34_2_619_0,
     author = {Chevallier, Nicolas},
     title = {The natural extension of the {Gauss} map and the {Hermite} best approximations},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     pages = {619--636},
     publisher = {Soci\'et\'e Arithm\'etique de Bordeaux},
     volume = {34},
     number = {2},
     year = {2022},
     doi = {10.5802/jtnb.1219},
     language = {en},
     url = {http://archive.numdam.org/articles/10.5802/jtnb.1219/}
}
TY  - JOUR
AU  - Chevallier, Nicolas
TI  - The natural extension of the Gauss map and the Hermite best approximations
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2022
SP  - 619
EP  - 636
VL  - 34
IS  - 2
PB  - Société Arithmétique de Bordeaux
UR  - http://archive.numdam.org/articles/10.5802/jtnb.1219/
DO  - 10.5802/jtnb.1219
LA  - en
ID  - JTNB_2022__34_2_619_0
ER  - 
%0 Journal Article
%A Chevallier, Nicolas
%T The natural extension of the Gauss map and the Hermite best approximations
%J Journal de théorie des nombres de Bordeaux
%D 2022
%P 619-636
%V 34
%N 2
%I Société Arithmétique de Bordeaux
%U http://archive.numdam.org/articles/10.5802/jtnb.1219/
%R 10.5802/jtnb.1219
%G en
%F JTNB_2022__34_2_619_0
Chevallier, Nicolas. The natural extension of the Gauss map and the Hermite best approximations. Journal de théorie des nombres de Bordeaux, Volume 34 (2022) no. 2, pp. 619-636. doi : 10.5802/jtnb.1219. http://archive.numdam.org/articles/10.5802/jtnb.1219/

[1] Arnoux, Pierre; Nogueira, Arnaldo Mesures de Gauss pour les algorithmes de fractions continues multidimensionnelles, Ann. Sci. Éc. Norm. Supér., Volume 26 (1993) no. 3, pp. 645-664 | DOI | MR | Zbl

[2] Cheung, Yitwah Hausdorff dimension of the set of singular pairs, Ann. Math., Volume 173 (2011) no. 1, pp. 127-167 | DOI | MR | Zbl

[3] Grabiner, David J.; Lagarias, Jeffrey C. Cutting sequences for geodesic flow on the modular surface and continued fractions, Volume 133 (2001) no. 4, pp. 295-339 | MR | Zbl

[4] Han, Y. (2020) (Undergraduate Thesis, Tsinghua University)

[5] Hermite, Charles Sur différents objets de la théorie des nombres, J. Reine Angew. Math., Volume 40 (1850), pp. 261-315

[6] Humbert, Georges Sur la méthode d’approximation d’Hermite, Journ. de Math. (7), Volume 2 (1916), pp. 79-103

[7] Lagarias, Jeffrey C. Best simultaneous Diophantine approximations. II. Behavior of consecutive best approximations, Pac. J. Math., Volume 102 (1982) no. 1, pp. 61-88 | DOI | MR | Zbl

[8] Lagarias, Jeffrey C. Geodesic multidimensional continued fractions, Proc. Lond. Math. Soc., Volume 63 (1994) no. 3, pp. 464-488 | DOI | MR | Zbl

[9] Lévy, Paul Sur le développement en fraction continue d’un nombre choisi au hasard, Compos. Math., Volume 3 (1936), pp. 286-303 | Zbl

[10] Meignen, Pierrick Fractions continues hermitiennes et billard hyperbolique, J. Théor. Nombres Bordeaux, Volume 10 (1998) no. 1, pp. 1-15 | DOI | Numdam | MR | Zbl

[11] Nakada, Hitoshi Metrical Theory for a Class of Continued Fraction Transformations and Their Natural Extensions, Tokyo J. Math., Volume 4 (1981), pp. 399-426 | MR | Zbl

[12] Rokhlin, Vladimir A. Exact endomorphisms of a Lebesgue space, Izv. Akad. Nauk SSSR, Ser. Mat., Volume 25 (1961), pp. 499-530 | MR

[13] Schweiger, Fritz Ergodic Theory of Fibred Systems and Metric Number Theory, Oxford Science Publications, Oxford University Press, 1995

[14] Series, Caroline The modular surface and continued fractions, J. Lond. Math. Soc., Volume 31 (1985), pp. 69-80 | DOI | MR | Zbl

[15] Voronoï, G. On a generalization of the algorithm of continued fractions, 1869 (Dissertation, Warsaw)

Cited by Sources: