arXiv++ Combinatorics

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.

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 with several systems associated with sufficiently independent matrix transformations. Our main results go far beyond the existing literature, also surpassing those of two unpublished preprints the authors made available on the arXiv in 2018. The main new feature is that they apply now without any restriction on the matrices defining the corresponding Mahler systems. As a consequence, we settle several problems concerning expansions of numbers in multiplicatively independent bases. For instance, we prove that no irrational real number can be automatic in two multiplicatively independent integer bases, and we give a new proof and a broad algebraic generalization of Cobham's theorem in automata theory. We also provide a new proof and a multivariate generalization of Nishioka's theorem, a landmark result in Mahler's method.

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 main results concerning systems that are regular singular at the origin. Our interest in Mahler's method comes from the possible applications of these results to old problems involving automata theory and which concern the expansion of both natural numbers and real numbers in integer bases. In particular, problems which involve finite automata and base change. Such applications are studied in Part II of this work.

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 lifting theorem obtained in the first part, we first derive a general result, showing that Mahler functions in several variables, associated with transformations having multiplicatively dependent spectral radii, take algebraic independent values at algebraic points provided that these points are sufficiently independent. Then, we focus on applications of this result and of the two main results of Part I of this work. Our main application concerns problems about the representation of natural and real numbers in integer bases involving automata theory. These can be translated in terms of algebraic relations over $\overline{\mathbb Q}$ between values of Mahler functions in one variable. We also apply our results to the algebraic independence of Mahler functions and their specializations, and to the study of the values of Hecke-Mahler series.