JournalsjemsVol. 20, No. 9pp. 2209–2238

Hypertranscendence of solutions of Mahler equations

  • Thomas Dreyfus

    Université de Strasbourg, France
  • Charlotte Hardouin

    Université Paul Sabatier, Toulouse, France
  • Julien Roques

    Université Grenoble Alpes, Saint-Martin-d’Hères, France
Hypertranscendence of solutions of Mahler equations cover
Download PDF

A subscription is required to access this article.

Abstract

The last years have seen a growing interest from mathematicians in Mahler functions. This class of functions includes the generating series of the automatic sequences. The present paper is concerned with the following problem, which is rather frequently encountered in combinatorics: a set of Mahler functions u1,,unu_1, …, u_n being given, are u1,,unu_1, …, u_n and their successive derivatives algebraically independent? In this paper, we give general criteria ensuring an affirmative answer to this question. We apply our main results to the generating series attached to the so-called Baum–Sweet and Rudin–Shapiro automatic sequences. In particular, we show that these series are hyperalgebraically independent, i.e., these series and their successive derivatives are algebraically independent. Our approach relies on parametrized difference Galois theory (in this context, the algebro-differential relations between the solutions of a given Mahler equation are reflected by a linear differential algebraic group).

Cite this article

Thomas Dreyfus, Charlotte Hardouin, Julien Roques, Hypertranscendence of solutions of Mahler equations. J. Eur. Math. Soc. 20 (2018), no. 9, pp. 2209–2238

DOI 10.4171/JEMS/810