Niveau: Supérieur, Doctorat, Bac+8
Irrationality measures for some automatic real numbers Boris Adamczewski and Tanguy Rivoal Abstract This paper is devoted to the rational approximation of automatic real numbers, that is, real numbers whose expansion in an integer base can be generated by a finite au- tomaton. We derive upper bounds for the irrationality exponent of famous automatic real numbers associated with the Thue–Morse, Rudin–Shapiro, paperfolding and Baum–Sweet sequences. These upper bounds arise from the construction of some explicit Pade or Pade type approximants for the generating functions of these sequences. In particular, we prove that the Thue–Morse–Mahler numbers have an irrationality exponent at most equal to 4. We also obtain an explicit description of infinitely many convergents to these numbers. 1. Introduction A real number is said to be generated by a finite automaton, or simply automatic, if for some integer b > 2 its b-ary expansion can be produced by a finite automaton. Automatic real numbers form a distinguished class among computable numbers lying at the lowest level of the hierarchy arising from Turing machines. We refer the reader to the monograph [5] for a formal definition and a more complete introduction to finite automata and automatic numbers (in particular, a whole chapter is devoted to these numbers). While emblematic examples of automatic numbers, such as ?d = ∑ n>1 1 10dn , have been known to be transcendental for a long time (see for instance [11, 14]), the algebraic nature of all automatic number was established only recently in [1]: irrational automatic real numbers are all transcendental
- admits finitely many
- irrationality exponent
- automatic real
- numbers
- infinitely many convergents
- automatic sequences
- thue-morse like sequences
- derive irrationality measures
- kn ?