We consider a generalization of the Mahler measure of a multivariable polynomial $P$ as the integral of $\log^k|P|$ in the unit torus, as opposed to the classical definition with the integral of $\log|P|$. A zeta Mahler measure, involving the integral of $|P|^s$, is also considered. Specific examples are computed, yielding special values of zeta functions, Dirichlet $L$-functions, and polylogarithms.
In 1969, I. Bernstein and S. Gelfand introduced an object, which is now called the zeta Mahler function (ZMF, also zeta Mahler measure) and related to the Mahler measure. Here we discuss a family of ZMFs attached to the Laurent polynomials $k + (x_1 + x_1^{-1}) \cdots (x_r + x_r^{-1})$, where $k$ is real. We give explicit formulae, present examples and establish properties for these ZMFs, such as an RH-type phenomenon. Further, we explore relations with the Mahler measure.
The Mahler measure was introduced by Mahler in the study of number theory. It is known that the Mahler measure appears in different areas of mathematics and physics. On the other hand, we have been investigated a new class of zeta functions for various kinds of walks including quantum walks by a series of our previous work on "Zeta Correspondence". The quantum walk is a quantum counterpart of the random walk. In this paper, we present a new relation between the Mahler measure and our zeta function for quantum walks. Firstly we consider this relation in the case of one-dimensional quantum walks…
The Mahler measures of some n-variable polynomial families are given in terms of special values of the Riemann zeta function and a Dirichlet L-series, generalizing the results of \cite{L}. The technique introduced in this work also motivates certain identities among Bernoulli numbers and symmetric functions.
We consider Akatsuka's zeta Mahler measure as a generating function of higher Mahler measure $m_k(P)$ of a polynomial $P,$ where $m_k(P)$ is the integral of $\log^{k}\left| P \right|$ over the complex unit circle. Restricting ourselves to $\displaystyle P(x)=x+r$ with $|r|=1$ we show some new asymptotic results regarding $m_k(P)$, especially $\left| m_k(P) \right|/k! \to 1/π$ as $k \to \infty.$
The aim of this paper is to prove a Mahler measure formula of a four-variable Laurent polynomial whose zero locus defines a Calabi-Yau threefold. We show that its Mahler measure is a rational linear combination of a special L-value of the normalized newform in S_4(Gamma_0(8)) and a Riemann zeta value. This is equivalent to a new formula for a 6F5-hypergeometric series evaluated at 1.
In 1990, Ku. Nishioka proved a fundamental theorem for Mahler's method, which is the analog of the Siegel-Shidlovskii theorem for Mahler functions. In this article, we establish a version of the theorem of Ku. Nishioka which is also valid for Mahler systems over function fields of positive characteristic. We follow the approach introduced by Denis in 1999 in a particular case. It is based on an algebraic independence criterion from Philippon. The main motivation of this work is built on the following remarkable fact discovered by Denis. Over function fields of positive characteristic, analogs …
In this work we apply the techniques that were developed in [Lalin: An algebraic integration for Mahler measure] in order to study several examples of multivariable polynomials whose Mahler measure is expressed in terms of special values of the Riemann zeta function or Dirichlet L-series. The examples may be understood in terms of evaluations of regulators. Moreover, we apply the same techniques to the computation of generalized Mahler measures, in the sense of Gon and Oyanagi [Gon, Oyanagi: Generalized Mahler measures and multiple sine functions]
This article investigates the Mahler measure of a family of 2-variate polynomials, denoted by $P_d, d\geq 1$, unbounded in both degree and genus. By using a closed formula for the Mahler measure introduced in "Volume function and Mahler measure of exact polynomials" (by Guilloux and Marché), we are able to compute $m(P_d)$, for arbitrary $d$, as a sum of the values of dilogarithm at special roots of unity. We prove that $m(P_d)$ converges and the limit is proportional to $ζ(3)$, where $ζ$ is the Riemann zeta function.
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.
We study the dynamical Mahler measure of multivariate polynomials and present dynamical analogues of various results from the classical Mahler measure as well as examples of formulas allowing the computation of the dynamical Mahler measure in certain cases. We discuss multivariate analogues of dynamical Kronecker's Lemma and present some improvements on the result for two variables due to Carter, Lalín, Manes, Miller, and Mocz.
We consider a variation of the Mahler measure where the defining integral is performed over a more general torus. We focus our investigation on two particular polynomials related to certain elliptic curve $E$ and we establish new formulas for this variation of the Mahler measure in terms of $L'(E,0)$.
The purpose of this short note is to give a proof of the following identity between (logarithmic) Mahler measures m(y^2+2xy+y-x^3-2x^2-x)=5/7*m(y^2+4xy+y-x^3+x^2) which is one of many examples that arise from the comparison of Mahler measures and special values of L-functions.
We study rather general multiple zeta-functions whose denominators are given by polynomials. The main aim is to prove explicit formulas for the values of those multiple zeta-functions at non-positive integer points. We first treat the case when the polynomials are power sums, and observe that some ``trivial zeros'' exist. We also prove that special values are sometimes transcendental. Then we proceed to the general case, and show an explicit expression of special values at non-positive integer points which involves certain period integrals. We give examples of transcendental values of those sp…
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.
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 $k$-higher Mahler measure of a nonzero polynomial $P$ is the integral of $\log^k|P|$ on the unit circle. In this note, we consider Lehmer's question (which is a long-standing open problem for $k=1$) for $k>1$ and find some interesting formulae for 2- and 3-higher Mahler measure of cyclotomic polynomials.
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 several identities relating three-variable Mahler measures to integrals of inverse trigonometric functions. After deriving closed forms for most of these integrals, we obtain ten explicit formulas for three-variable Mahler measures. Several of these results generalize formulas due to Condon and Lalín. As a corollary, we also obtain three $q$-series expansions for the dilogarithm.
Here we give a lower bound of the Mahler measure on a set of polynomials that are "almost" reciprocal. Here "almost" reciprocal means that the outermost coefficients of each polynomial mirror each other in proportion, while this pattern breaks down for the innermost coefficients.
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.
The Mahler measures of certain polynomials of up to five variables are given in terms of multiple polylogarithms. Each formula is homogeneous and its weight coincides with the number of variables of the corresponding polynomial.
A survey of results for Mahler measure of algebraic numbers, and one-variable polynomials with integer coefficients is presented. Related results on the maximum modulus of the conjugates (`house') of an algebraic integer are also discussed. Some generalisations are given too, though not to Mahler measure of polynomials in more than one variable.
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.
New relations are established between families of three-variable Mahler measures. Those identities are then expressed as transformations for the $_5F_4$ hypergeometric function. We use these results to obtain two explicit $_5F_4$ evaluations, and several new formulas for $1/π$.
We consider a version of height on polynomial spaces defined by the integral over the normalized area measure on the unit disk. This natural analog of Mahler's measure arises in connection with extremal problems for Bergman spaces. It inherits many nice properties such as the multiplicative one. However, this height is a lower bound for Mahler's measure, and it can be substantially lower. We discuss some similarities and differences between the two.
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 consider the $k$-higher Mahler measure $m_k(P)$ of a Laurent polynomial $P$ as the integral of $\log ^k \left| P \right|$ over the complex unit circle. In this paper we derive an explicit formula for the value of $\left| m_k(P) \right|/k!$ as $k \to \infty.$
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…
We prove a new lower bound for the Mahler measure of a polynomial in one and in several variables that depends on the complex coefficients, and the number of monomials. In one variable our result generalizes a classical inequality of Mahler. In $M$ variables our result depends on $\mathbb{Z}^M$ as an ordered group, and in general our lower bound depends on the choice of ordering.
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 minimal integral Mahler measure of a number field $K$, $M(\mathcal{O}_K)$, is the minimal Mahler measure of a non-torsion primitive element of $\mathcal{O}_K$. Upper and lower bounds, which depend on the discriminant, are known. We show that for cubics, the lower bounds are sharp with respect to its growth as a function of discriminant. We construct an algorithm to compute $M(\mathcal{O}_K)$ for all cubics with absolute value of the discriminant bounded by $N$.
We use the Wilf-Zeilberger method to prove identities between Mahler measures of polynomials. In particular, we offer a new proof of a formula due to Lalín, and we show how to translate the identity into a formula involving elliptic dilogarithms. This work settles a challenge problem proposed by Kontsevich and Zagier in their paper "Periods".
We express the Mahler measures of $23$ families of Laurent polynomials in terms of Eisenstein-Kronecker series. These Laurent polynomials arise as Landau-Ginzburg potentials on Fano $3$-folds, $16$ of which define $K3$ hypersurfaces of generic Picard rank $19$, and the rest are of generic Picard rank $< 19$. We relate the Mahler measure at each rational singular moduli to the value at $3$ of the $L$-function of some weight-$3$ newform. Moreover, we find $10$ exotic relations among the Mahler measures of these families.
We study the Mahler measure of the three-variable Laurent polynomial x + 1/x + y + 1/y + z + 1/z - k where k is a parameter. The zeros of this polynomial define (after desingularization) a family of K3-surfaces. In favorable cases, the K3-surface has Picard number 20, and the Mahler measure is related to its L-function. This was first studied by Marie-Jose Bertin. In this work, we prove several new formulas, extending the earlier work of Bertin.
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…
We present a completely explicit transcendence measure for $e$. This is a continuation and an improvement to the works of Borel, Mahler and Hata on the topic. Furthermore, we also prove a transcendence measure for an arbitrary positive integer power of $e$. The results are based on Hermite-Padé approximations and on careful analysis of common factors in the footsteps of Hata.
In this paper, we estimate the linear independence measures for the values of a class Mahler functions of degree one and two. For the purpose, we study the determinants of suitable Hermite-Padé approximation polynomials. Based on the non-vanishing of these determinants, we apply the functional equations to get an infinite sequence of approximations which is used to produce the linear independence measures.
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.
The aim of this paper is to derive explicitly a connection between the Zagier elliptic trilogarithm and Mahler measures of a certain family of three-variable polynomials defining K3 surfaces. In addition, we prove some linear relations satisfied by the elliptic trilogarithm evaluated at torsion points on elliptic curves. This result can be viewed as a higher dimensional analogue of exotic relations of the elliptic dilogarithm.
We study the Mahler measures of certain families of Laurent polynomials in two and three variables. Each of the known Mahler measure formulas for these families involves $L$-values of at most one newform and/or at most one quadratic character. In this paper, we show, either rigorously or numerically, that the Mahler measures of some polynomials are related to $L$-values of multiple newforms and quadratic characters simultaneously. The results suggest that the number of modular $L$-values appearing in the formulas significantly depends on the shape of the algebraic value of the parameter chosen…
Let $M(α)$ denote the Mahler measure of the algebraic number $α$. In a recent paper, Dubickas and Smyth constructed a metric version of the Mahler measure on the multiplicative group of algebraic numbers. Later, Fili and the author used similar techniques to study a non-Archimedean version. We show how to generalize the above constructions in order to associate, to each point in $(0,\infty]$, a metric version $M_x$ of the Mahler measure, each having a triangle inequality of a different strength. We are able to compute $M_x(α)$ for sufficiently small $x$, identifying, in the process, a function…
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 study Laurent polynomials in any number of variables that are sums of at most $k$ monomials. We first show that the Mahler measure of such a polynomial is at least $h/2^{k-2}$, where $h$ is the height of the polynomial. Next, restricting to such polynomials having integer coefficients, we show that the set of logarithmic Mahler measures of the elements of this restricted set is a closed subset of the nonnegative real line, with $0$ being an isolated point of the set. In the final section, we discuss the extent to which such an integer polynomial of Mahler measure $1$ is determined by its $k…
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 show that missing $q$-ary digit sets $F\subseteq[0,1]$ have corresponding naturally associated countable binary $q$-automatic sequence $f$. Using this correspondence, we show that the Hausdorff dimension of $F$ is equal to the base-$q$ logarithm of the Mahler eigenvalue of $f$. In addition, we demonstrate that the standard mass distribution $ν_F$ supported on $F$ is equal to the ghost measure $μ_f$ of $f$.
Our aim is to explain instances in which the value of the logarithmic Mahler measure of a polynomial can be written in an unexpectedly neat manner. To this end we examine polynomials defining rational curves, which allows their zero-locus to be parametrized. In these instances the unusual simplification is a consequence of the Galois descent property for Bloch groups. This principle enables one to explain why the arguments of the dilogarithm function depend only on the points where the rational curve intersects the torus |x|=|y|=1. In the process we also present a general method for computing …
The main purpose of this article is to provide new results on algebraic independence of values of Mahler functions and their generalizations. Simultaneously, we establish new measures of algebraic independence for these values. Among the other things, we provide a measure of algebraic independence for values of Mahler's functions at complex transcendental points, a result of type which has never appeared in the literature in the past. As an example of application of our new measures of algebraic independence, we prove that a Mahler number does not belong to the class $U$ in Mahler's classifica…