Computing solutions of linear Mahler equations - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2016

Computing solutions of linear Mahler equations

Résumé

Mahler equations relate evaluations of the same function $f$ at iterated $b$th powers of the variable. They arise in particular in the study of automatic sequences and in the complexity analysis of divide-and-conquer algorithms. Recently, the problem of solving Mahler equations in closed form has occurred in connection with number-theoretic questions. A difficulty in the manipulation of Mahler equations is the exponential blow-up of degrees when applying a Mahler operator to a polynomial. In this work, we present algorithms for solving linear Mahler equations for series, polynomials, and rational functions, and get polynomial-time complexity under a mild assumption. Incidentally, we develop an algorithm for computing the gcrd of a family of linear Mahler operators with nonzero constant terms.
Fichier principal
Vignette du fichier
mahlersols.pdf (668.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01418653 , version 1 (16-12-2016)
hal-01418653 , version 2 (10-04-2018)

Identifiants

  • HAL Id : hal-01418653 , version 1

Citer

Frédéric Chyzak, Thomas Dreyfus, Philippe Dumas, Marc Mezzarobba. Computing solutions of linear Mahler equations . 2016. ⟨hal-01418653v1⟩
531 Consultations
629 Téléchargements

Partager

More