The aim of this note is to prove the Mahler measure identity $m(x+x^{-1}+y+y^{-1}+5) = 6 m(x+x^{-1}+y+y^{-1}+1)$ which was conjectured by Boyd. The proof is achieved by proving relationships between regulators of both curves.
Recently the second author and Qin numerically verified some Mahler measure identities of genus 2 and 3 polynomial families. In this paper, we use the elliptic regulator to prove an identity invoving shifted Mahler measure for Boyd's family.
The Mahler measure of a nonzero $n$-variable polynomial $P$ is the integral of $\log|P|$ on the unit $n$-torus. A result of Boyd and Lawton says that the Mahler measure of a multivariate polynomial is the limit of Mahler measures of univariate polynomials. We prove the analogous result for different extensions of Mahler measure such as generalized Mahler measure (integrating the maximum of $\log|P|$ for possibly different $P$'s), multiple Mahler measure (involving products of $\log|P|$ for possibly different $P$'s), and higher Mahler measure (involving $\log^k|P|$).
We use the elliptic regulator to recover some identities between Mahler measures involving certain families of genus 2 curves that were conjectured by Boyd and proven by Bertin and Zudilin by differentiating the Mahler measures and using hypergeometric identities. Since our proofs involve the regulator, they yield light into the expected relation of each Mahler measure to special values of $L$-functions of certain elliptic curves.
In this paper we will establish functional equations for Mahler measures of families of genus-one two-variable polynomials. These families were previously studied by Beauville, and their Mahler measures were considered by Boyd, Rodriguez-Villegas, Bertin, Zagier, and Stienstra. Our functional equations allow us to prove identities between Mahler measures that were conjectured by Boyd. As a corollary, we also establish some new transformations for hypergeometric functions.
The Mahler measure of a polynomial $P$ in $n$ variables is defined as the mean of $\log|P|$ over the $n$-dimensional torus. For certain polynomials with integer coefficients in two variables the Mahler measure is known to be related to special values of L-functions of arithmetic objects (e.g. Dirichlet characters and elliptic curves over $\mathbb{Q}$). Inspired by work of Deninger Boyd has investigated this relationship numerically. In this paper we reduce some conjectures of Boyd to Beilinson`s conjectures on special values of L-functions. The methods in use are widely of K-theoretical nature…
We prove a variety of explicit formulas relating special values of generalized hypergeometric functions to lattice sums with four indices of summation. These results are related to Boyd's conjectured identities between Mahler measures and special values of $L$-series of elliptic curves.
We prove Boyd's "unexpected coincidence" of the Mahler measures for two families of two-variate polynomials defining curves of genus 2. We further equate the same measures to the Mahler measures of polynomials $y^3-y+x^3-x+kxy$ whose zero loci define elliptic curves for $k\ne0,\pm3$.
The Mahler measure of the polynomials $t(x^m-1) y - (x^n-1) \in \dC[x,y]$ is essentially the sum of volumes of a certain collection of ideal hyperbolic polyhedra in $\HH^3$, which can be determined a priori as a function on the parameter $t$. We obtain a formula that generalizes some previous formulas given by Cassaigne and Maillot \cite{M} and Vandervelde \cite{V}. These examples seem to be related to the ones studied by Boyd \cite{B1}, \cite{B2} and Boyd and Rodriguez Villegas \cite{BRV2} for some cases of the $A$-polynomial of one-cusped manifolds.
We prove that the (logarithmic) Mahler measure $m(P)$ of $P(x,y)=x+1/x+y+1/y+3$ is equal to the $L$-value $2L'(E,0)$ attached to the elliptic curve $E:P(x,y)=0$ of conductor 21. In order to do this we investigate the measure of a more general Laurent polynomial $P_{a,b,c}(x,y)=a(x+1/x)+b(y+1/y)+c$ and show that the wanted quantity $m(P)$ is related to a "half-Mahler" measure of $\tilde P(x,y)=P_{\sqrt{7},1,3}(x,y)$. In the finale we use the modular parametrization of the elliptic curve $\tilde P(x,y)=0$, again of conductor 21, due to Ramanujan and the Mellit--Brunault formula for the regulator…
We discuss several aspects of the dynamical Mahler measure for multivariate polynomials. We prove a weak dynamical version of Boyd--Lawton formula and we characterize the polynomials with integer coefficients having dynamical Mahler measure zero both for the case of one variable (Kronecker's lemma) and for the case of two variables, under the assumption that the dynamical version of Lehmer's question is true.
We use graphs to define sets of Salem and Pisot numbers, and prove that the union of these sets is closed, supporting a conjecture of Boyd that the set of all Salem and Pisot numbers is closed. We find all trees that define Salem numbers. We show that for all integers n the smallest known element of the n-th derived set of the set of Pisot numbers comes from a graph. We define the Mahler measure of a graph, and find all graphs of Mahler measure less than (1+sqrt5)/2. Finally, we list all small Salem numbers known to be definable using a graph.
We prove Boyd's conjectures relating Mahler's measures and values of L-functions of elliptic curves in the cases when the corresponding elliptic curve has conductor 14.
We show that for almost every polynomial P(x,y) with complex coefficients, the difference of the logarithmic Mahler measures of P(x,y) and P(x,x^n) can be expanded in a type of formal series similar to an asymptotic power series expansion in powers of 1/n. This generalizes a result of Boyd. We also show that such an expansion is unique and provide a formula for its coefficients. When P has algebraic coefficients, the coefficients in the expansion are linear combinations of polylogarithms of algebraic numbers, with algebraic coefficients.
Given a $k$-variable Laurent polynomial $F$, any $l\times k$ integer matrix $A$ naturally defines an $l$-variable Laurent polynomial $F_A.$ I prove that for fixed $F$ the set $\mathcal M(F)$ of all the logarithmic Mahler measures $m(F_A)$ of $F_A$ for all $A$ is a closed subset of the real line. Moreover, the matrices $A$ can be assumed to be of a special form, which I call Primitive Hermite Normal Form. Furthermore, if $F$ has integer coefficients and $\mathcal M(F)$ contains $0,$ then $0$ is an isolated point of this set. I also show that, for a given bound $B>0$, the set ${\mathcal M}_B$ of…
We determine the limit of the rate $\frac{ν_{n,a}}{n}$ between the number $ν_{n,a}$ of roots of the trinomial $x^n-ax-1$, $a\in (0,2]$, which are greater than 1 in modulus, and degree $n$. The analogue of Boyd's Conjecture (C) for Perron numbers is a consequence of the limit, under the assumption that the conjecture of Lind-Boyd is valid. The product of these $ν_{n,a}$ roots has also a limit when $n\to\infty$. The explicit expression of the limit by an integral is presented. The computing of the rate and the product for $n=100,150$ as well as of its limits is presented.
Relating Mahler measures and Dirichlet $L$-values: new evidence for Chinburg's conjectures
Mathematisch Instituut Universiteit Utrecht(乌得勒支大学数学研究所);Max Planck Institute for Mathematics(马克斯·普朗克数学研究所);Département de mathématiques et de statistique Université de Montréal(蒙特利尔大学数学与统计系)
In our recent work with Mat Rogers on resolving some Boyd's conjectures on two-variate Mahler measures, a new analytical machinery was introduced to write the values $L(E,2)$ of $L$-series of elliptic curves as periods in the sense of Kontsevich and Zagier. Here we outline, in slightly more general settings, the novelty of our method with Rogers, and provide a simple illustrative example.
Allouche and Shallit introduced the notion of a regular power series as a generalization of automatic sequences. Becker showed that all regular power series satisfy Mahler equations and conjectured equivalent conditions for the converse to be true. We prove a stronger form of Becker's conjecture for a subclass of Mahler power series.
The Vol-Det Conjecture relates the volume and the determinant of a hyperbolic alternating link in $S^3$. We use exact computations of Mahler measures of two-variable polynomials to prove the Vol-Det Conjecture for many infinite families of alternating links. We conjecture a new lower bound for the Mahler measure of certain two-variable polynomials in terms of volumes of hyperbolic regular ideal bipyramids. Associating each polynomial to a toroidal link using the toroidal dimer model, we show that every polynomial which satisfies this conjecture with a strict inequality gives rise to many infin…
In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-regular rational function $R(z)$ such that $F(z)/R(z)$ satisfies a Mahler-type functional equation with polynomial coefficients where the initial coefficient satisfies $a_0(z)=1$. In this paper, we prove Becker's conjecture in the best-possible form; we show that the rational function $R(z)$ can be taken to be a polynomial $z^γQ(z)$ for some explicit non-negative integer $γ$ and such that $1/Q(z)$ is $k$-regular.
Dubickas and Smyth defined the metric Mahler measure on the multiplicative group of non-zero algebraic numbers. The definition involves taking an infimum over representations of an algebraic number $α$ by other algebraic numbers. We verify their conjecture that the infimum in its definition is always achieved as well as establish its analog for the ultrametric Mahler measure.
We prove a conjectured formula relating the Mahler measure of the Laurent polynomial $1+X+X^{-1}+Y+Y^{-1}$, to the $L$-series of a conductor 15 elliptic curve.
The metric Mahler measure was first studied by Dubickas and Smyth in 2001 as a means of phrasing Lehmer's conjecture in topological language. More recent work of the author examined a parametrized family of generalized metric Mahler measures that gives rise to a series of new, and apparently difficult, problems. We establish a connection between these metric Mahler measures and the theory of continued fractions in a certain class of special cases. Our results enable us to calculate metric Mahler measures in several new examples.
Recent work of Pritsker defines and studies an areal version of the Mahler measure. We further explore this function with a particular focus on the case where its value is small, as this is most relevant to Lehmer's conjecture. In this situation, we provide improvements to two inequalities established in Pritsker's original paper.
In the first part we construct algorithms which we apply to solve S-unit, Mordell, cubic Thue, cubic Thue-Mahler and generalized Ramanujan-Nagell equations. As a byproduct we obtain alternative practical approaches for various classical Diophantine problems, including the fundamental problem of finding all elliptic curves over Q with good reduction outside a given finite set of rational primes. To illustrate the utility of our algorithms we determined the solutions of large classes of equations, containing many examples of interest which are out of reach for the known methods. In addition we u…
We consider the Mahler measure of the polynomial 1+x_1+x_2+x_3+x_4, which is the first case not yet evaluated explicitly. A conjecture due to F. Rodriguez-Villegas represents this Mahler measure as a special value at the point 4 of the L-function of a modular modular form of weight 3. We prove that this Mahler measure is equal to a linear combination of double L-values of certain meromorphic modular forms of weight 4.
In a previous paper, the authors introduced several vector space norms on the space of algebraic numbers modulo torsion which corresponded to the Mahler measure on a certain class of numbers and allowed the authors to formulate L^p Lehmer conjectures which were equivalent to their classical counterparts. In this paper, we introduce and study several analogous norms which are constructed in order to satisfy an extremal property with respect to the Mahler measure. These norms are a natural generalization of the metric Mahler measure introduced by Dubickas and Smyth. We evaluate these norms on ce…
In this article, we study the Mahler measures of more than 500 families of reciprocal polynomials defining genus 2 and genus 3 curves. We numerically find relations between the Mahler measures of these polynomials with special values of $L$-functions. We also numerically discover more than 100 identities between Mahler measures involving different families of polynomials defining genus 2 and genus 3 curves. Furthermore, we study the Mahler measures of several families of nonreciprocal polynomials defining genus 2 curves and numerically find relations between the Mahler measures of these famili…
If $α$ is a non-zero algebraic number, we let $m(α)$ denote the Mahler measure of the minimal polynomial of $α$ over $\mathbb Z$. A series of articles by Dubickas and Smyth, and later by the author, develop a modified version of the Mahler measure called the $t$-metric Mahler measure, denoted $m_t(α)$. For fixed $α\in \bar{\mathbb Q}$, the map $t\mapsto m_t(α)$ is continuous, and moreover, is infinitely differentiable at all but finitely many points, called {\it exceptional points} for $α$. It remains open to determine whether there is a sequence of elements $α_n\in \bar{\mathbb Q}$ such that …
Let $R=\mathcal{O}_{\Q(\sqrt{d})}$ for $d<0$, squarefree, $d\neq -1,-3$. We prove Lehmer's conjecture for associated reciprocal polynomials of $R$-matrices; that is, any noncyclotomic $R$-matrix has Mahler measure at least $λ_0=1.176...$.
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 …