papers

Publications (14)

math.NT2025

Algebraic Independence Measures for Values of E-functions and M-functions

Colin Faverjon, Boris Adamczewski

In this article, we establish a Liouville-type inequality for polynomials evaluated at the values of arbitrary Siegel E-functions at non-zero algebraic points. Additionally, we pro…

math.NT2023

Relations algébriques entre valeurs de E-fonctions ou de M-fonctions

Boris Adamczewski, Colin Faverjon

We prove that all algebraic relations over between values of Siegel's -functions at some non-zero algebraic point have a functional source, in that they c…

math.NT2018

Mahler's method in several variables I: The theory of regular singular systems

Boris Adamczewski, Colin Faverjon

This is the first part of a work devoted to the study of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence. We prove two m…

math.CO2024

Addendum to: Mahler's method in several variables and finite automata

Colin Faverjon, Boris Adamczewski

This note is an addendum to the paper ''Mahler's method in several variables and finite automata''. It strengthens part (i) of Theorem 1.1 of the aforementioned paper.

math.NT2022

A new proof of Nishioka's theorem in Mahler's method

Boris Adamczewski, Colin Faverjon

In a recent work [3], the authors established new results about general linear Mahler systems in several variables from the perspective of transcendental number theory, such as a m…

math.NT2016

Méthode de Mahler, transcendance et relations linéaires : aspects effectifs

Boris Adamczewski, Colin Faverjon

This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function in , wher…

cs.SC2025

Regular singular Mahler equations and Newton polygons

Colin Faverjon, Marina Poulet

Though Mahler equations have been introduced nearly one century ago, the study of their solutions is still a fruitful topic for research. In particular, the Galois theory of Mahler…

math.NT2025

A purity theorem for Mahler equations

Colin Faverjon, Julien Roques

The principal aim of this paper is to establish a purity theorem for Mahler functions that is reminiscent of famous purity theorems for G-functions by D. and G. Chudnovsky and for…

cs.SC2024

An algorithm to recognize regular singular Mahler systems

Colin Faverjon, Marina Poulet

This paper is devoted to the study of the analytic properties of Mahler systems at 0. We give an effective characterisation of Mahler systems that are regular singular at 0, that i…

cs.SC2025

Computing basis of solutions of any Mahler equation

Colin Faverjon, Marina Poulet

Mahler equations arise in a wide range of contexts including the study of finite automata, regular sequences, algebraic series over Fp(z), and periods of Drinfeld modules. Introduc…

math.NT2020

Mahler's method in several variables and finite automata

Boris Adamczewski, Colin Faverjon

We develop a theory of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence, which also includes the possibility of dealing w…

math.NT2016

Méthode de Mahler: relations linéaires, transcendance et applications aux nombres automatiques

Boris Adamczewski, Colin Faverjon

This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a fi…

math.NT2018

Mahler's method in several variables II: Applications to base change problems and finite automata

Boris Adamczewski, Colin Faverjon

This is the second part of a work devoted to the study of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence. From the lift…

math.NT2026

A Liouville-Type Inequality for Values of Mahler M-Functions

Boris Adamczewski, Colin Faverjon

We establish a Liouville-type inequality for the values, at a common nonzero algebraic point, of arbitrary Mahler Mq-functions. As an application, we prove that no such value is a…