The Thue-Morse continued fractions in characteristic 2 are algebraic
type: Item
instance of: scholarly article
title: The Thue-Morse continued fractions in characteristic 2 are algebraic
author: Yann Bugeaud
author: Guo-Niu Han
published in: Acta Arithmetica
publication date: 2024-08-30T00:00:00Z
review text: A 1979 theorem of \textit{G. Christol} [Theor. Comput. Sci. 9, 141--145 (1979; Zbl 0402.68044)]; also see the 1980 paper of \textit{G. Christol} et al. [Bull. Soc. Math. Fr. 108, 401--419 (1980; Zbl 0472.10035)] states that a formal power series \(\sum_{n \geq 0} a_n X^{-n}\) with coefficients in a field \(K\) of characteristic \(p\) is algebraic over \(K(X)\) if and only if the sequence of its coefficients is \(p\)-automatic (i.e., it satisfies some combinatorial condition that we will not develop here). For such a series the sequence of its partial quotients, in the case where it takes only finitely many values, is sometimes \(p\)-automatic; but this is not always the case: there is no general result on the subject yet. A kind of reverse problem can be studied, namely, given a formal power series (with coefficients in a field \(K\) of characteristic \(p\)) whose sequence of partial quotients is \(p\)-automatic, is it true that the series is algebraic over \(K(X)\)? Again, no general result is known, but partial results are available. In the paper under review, the authors study in detail formal power series \(\xi_{a,b}\) whose partial quotients are two polynomials \(a\) and \(b\) in \({\mathbb F}_2[X]\) alternating like the Thue-Morse sequence. The main result is that \(\xi_{a,b}\) is algebraic of degree \(4\) over \({\mathbb F}_2(X)\) (the authors give an explicit equation satisfied by \(\xi_{a,b}\)). This generalizes a result of \textit{Y. Hu} and the second author [Acta Arith. 203, No. 4, 353--381 (2022; Zbl 1498.11083)] and proves a conjecture in that paper. A corollary is that {\em there are algebraic power series of degree \(4\) in \({\mathbb F}_2((X^{-1}))\) with arbitrarily prescribed Lagrange constants belonging to \(\{2^{-k} | k \geq 1\} \cup \{0\}\)}. Furthermore, the authors show that \(\xi_{a,b}\) satisfies a Ricatti equation but is not hyperquadratic. Also, they compute the higher degree exponents of approximation of \(\xi_{a,b}\). The reader interes…
reviewed by: Jean-Paul Allouche
Mathematics Subject Classification ID: 11J70
Mathematics Subject Classification ID: 11A55
Mathematics Subject Classification ID: 11B85
Mathematics Subject Classification ID: 11J61
Mathematics Subject Classification ID: 11T55
zbMATH DE Number: 7903803
zbMATH Keywords: power series field
zbMATH Keywords: continued fraction
zbMATH Keywords: transcendence
zbMATH Keywords: Thue-Morse sequence
MaRDI profile type: Publication
cites work: On the complexity of algebraic numbers. I: Expansions in integer bases
cites work: A Short Proof of the Transcendence of Thue-Morse Continued Fractions
cites work: Méthode de Mahler : relations linéaires, transcendance et applications aux nombres automatiques
cites work: Transference theorems in the field of formal power series
cites work: Q3804786
cites work: Sur des points fixes de morphismes d'un monoïde libre
cites work: Perfect linear complexity profile and apwenian sequences
cites work: Automatic Sequences
cites work: Continued fractions of algebraic power series in characteristic 2
cites work: Automatic continued fractions are transcendental or quadratic
cites work: Exponents of Diophantine Approximation
cites work: Ensembles presque périodiques \(k\)-reconnaissables. (Almost periodic \(k\)-recognizable sets)
cites work: Suites algébriques, automates et substitutions
cites work: Uniform tag sequences
cites work: Combinatorial aspects of continued fractions
cites work: Criteria for apwenian sequences
cites work: Ueber die Verwandlung der Reihen in Kettenbrüche.
cites work: On the algebraicity of Thue–Morse and period-doubling continued fractions
cites work: Rational Approximation to Solutions of Algebraic Differential Equations
cites work: A survey of Diophantine approximation in fields of power series
cites work: Thue's Theorem in positive characteristic.
cites work: Hyperquadratic continued fractions in odd characteristic with partial quotients of degree one
cites work: Hyperquadratic continued fractions and automatic sequences
cites work: On certain recurrent and automatic sequences in finite fields
cites work: On a Theorem of Liouville in Fields of Positive Characteristic
cites work: Continued fractions for certain algebraic power series
cites work: Sur le développement en fraction continue de la série de Baum et Sweet
cites work: Q4055730
cites work: Groupes de Galois et nombres automatiques
cites work: On continued fractions and diophantine approximation in power series fields
cites work: Q5792555
cites work: Critères de non-automaticité et leurs applications
DOI: 10.4064/AA221212-5-1
description: scientific article; zbMATH DE number 7903803