There are many examples of several-variable polynomials whose Mahler measure is expressed in terms of special values of polylogarithms. These examples are expected to be related to computations of regulators, as observed by Deninger, and later Rodriguez-Villegas, and Maillot. While Rodriguez-Villegas made this relationship explicit for the two variable case, it is our goal to understand the three variable case and shed some light on the examples with more variables.
For $p \in \mathbb{Q}_+ \smallsetminus \{ 1 \}$ a positive rational number different from one, we say that the Puisseux series $f \in \mathbb{C}((t))^\text{alg}$ is $p$-Mahler of non-exceptional polynomial type if there is a polynomial $P \in \mathbb{C}(t)^\text{alg}[X]$ of degree at least two which is not conjugate to either a monomial or to plus or minus a Chebyshev polynomial for which the equation $f(t^p) = P(f(t))$ holds. We show that if $p$ and $q$ are multiplicatively independent and $f$ and $g$ are $p$-Mahler and $q$-Mahler, respectively, of non-exceptional polynomial type, then $f$ an…
Mahler's measure defines a dynamical system on the algebraic numbers. In this paper, we study the problem of which number fields have points which wander under the iteration of Mahler's measure. We completely solve the problem for all abelian number fields, and more generally, for all extensions of the rationals of degree at most five.
A Liouville-Type Inequality for Values of Mahler M-Functions
Univ Lyon, Université Claude Bernard Lyon 1 CNRS UMR 5208, Institut Camille Jordan（里昂大学，克洛德·贝尔纳里昂第一大学，法国国家科学研究中心联合研究单位5208，卡米耶·若尔当研究所）；Centre International de Rencontres Mathématiques (CIRM)（国际数学相遇中心）
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 concern…
We establish a functional identity for Mahler measures of the two-parametric family $P_{a,c}(x,y)=a(x+1/x)+y+1/y+c$. Our result extends an identity proven in a paper of Lalín, Zudilin and Samart. As a by-product, we obtain evaluations of $m(P_{a,c})$ for some algebraic values of $a$ and $c$ in terms of special values of $L$-functions and logarithms. We also give a sufficient condition for validity of a certain identity between the elliptic integrals of the first and the third kind, which implies several identities for $m(P_{a,c})$.
We show that the Mahler measure of every Borwein polynomial -- a polynomial with coefficients in $ \{-1,0,1 \}$ having non-zero constant term -- can be expressed as a maximal Lyapunov exponent of a matrix cocycle that arises in the spectral theory of binary constant-length substitutions. In this way, Lehmer's problem for height-one polynomials having minimal Mahler measure becomes equivalent to a natural question from the spectral theory of binary constant-length substitutions. This supports another connection between Mahler measures and dynamics, beyond the well-known appearance of Mahler mea…
The Conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{\houseα}(z)$ associated with the dynamical zeta functions $ζ_{\houseα}(z)$ of the Rényi--Parry arithmetical dynamical systems ($β$-shift), for $α$ a reciprocal algebraic integer of house $\houseα$ greater than 1, (ii) the discovery of lenticuli of poles of $ζ_{\houseα}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $\houseα$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(\houseα)$ of …
We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero components, is algebraically independent. In Section 2 of this paper, we develop a new technique involving linear isomorphisms and infinite products to replace the algebraic independence of the values of functions in question with that of functions easier to deal with. In Section 2 and 3, using the technique together with Mahler's method, we can reduce the al…
