In the following paper a version of the classical Mahler formula is found. The height and the measure are now relative to a self-map on a projective space of arbitrary dimension.
We establish a Mahler-type estimate of weighted Fekete sums on the Berkovich projective line over an algebraically closed field of possibly positive characteristic that is complete with respect to a non-trivial and possibly non-archimedean absolute value.
In Cogdell et al., \it LMS Lecture Notes Series \bf 459, \rm 393--427 (2020), \rm the authors proved an analogue of Kronecker's limit formula associated to any divisor $\mathcal D$ which is smooth in codimension one on any smooth Kähler manifold $X$. In the present article, we apply the aforementioned Kronecker limit formula in the case when $X$ is complex projective space $\CC\PP^n$ for $n \geq 2$ and $\mathcal D$ is a hyperplane, meaning the divisor of a linear form $P_D({z})$ for ${z} = (\mathcal{Z}_{j}) \in \CC\PP^n$. Our main result is an explicit evaluation of the Mahler measure of $P_{D…
Let X be a projective integral normal scheme over a number field F; let L be a ample line bundle on X together with a semi-positive adelic metric in the sense of Zhang. The main results of this article are 1) A formula which computes the height (relative to L) of a Cartier divisor D on X as generalized "Mahler measures", i.e. by integrating Green functions for D against measures attached to L. 2) a theorem of equidistribution of points of "small" height valid for functions with logarithmic singularities along a divisor D, provided the height of D is "minimal". In the context of algebraic dynam…
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.
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/π$.
Let g be a nonconstant rational map from the projective line to itself that has degree greater than one and is defined over a number field. The map g gives rise to generalized Mahler measures for polynomials in one variable. We use diophantine approximation to show that the generalized Mahler measure of a polynomial F at a place v can be computed by averaging the log of the v-adic absolute value of F over the periodic points of g. This allows us to compute canonical heights of algebraic points via equidistribution on periodic points.
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.
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 present a proof of the formula, due to Mellit and Brunault, which evaluates an integral of the regulator of two modular units to the value of the $L$-series of a modular form of weight 2 at $s=2$. Applications of the formula to computing Mahler measures are discussed.
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…
In this paper we obtain new transference theorems improving some classical theorems which belong to Kurt Mahler. We formulate those theorems in terms of consecutive minima of pseudo-compound parallelepipeds.
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.
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 $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.
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.
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 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.$
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.
We study a class of 2-variable polynomials called exact polynomials which contains $A$-polynomials of knot complements. The Mahler measure of these polynomials can be computed in terms of a volume function defined on the vanishing set of the polynomial. We prove that the local extrema of the volume function are on the 2-dimensional torus and give a closed formula for the Mahler measure in terms of these extremal values. This formula shows that the Mahler measure of an irreducible and exact polynomial divided by $π$ is greater than the amplitude of the volume function. We also prove a $K$-theor…
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…
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.
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.
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.
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.
Let $p$ be a prime number. We develop a theory of $p$-adic Mahler measure of polynomials and apply it to the study of $\mathbb{Z}$-covers of rational homology 3-spheres branched over links. We obtain a $p$-adic analogue of the asymptotic formula of the torsion homology growth and a balance formula among the leading coefficient of the Alexander polynomial, the $p$-adic entropy, and the Iwasawa $μ_p$-invariant. We also apply the purely $p$-adic theory of Besser--Deninger to $\mathbb{Z}$-covers of links. In addition, we study the entropies of profinite cyclic covers of links. We examine various e…
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.
Let X be a smooth projective curve of positive genus defined over a number field K. Assume given a Galois covering map x from X to the projective line over K and a place v of K. We introduce a local canonical height on the set of K_v-valued points of X associated to x as an integral with logarithmic integrand, generalizing Tate's local Neron function on an elliptic curve. The resulting global height can be viewed as a 'Mahler measure' associated to x. We prove that the local canonical height can be obtained by averaging, and taking a limit, over divisors of higher order Weierstrass points on X…
We continue to investigate the relation between the Mahler measure of certain two variable polynomials, the values of the Bloch--Wigner dilogarithm $D(z)$ and the values $ζ_F(2)$ of zeta functions of number fields. Specifically, we define a class $\A$ of polynomials $A$ with the property that $πm(A)$ is a linear combination of values $D$ at algebraic arguments. For many polynomials in this class the corresponding argument of $D$ is in the Bloch group, which leads to formulas expressing $πm(A)$ as a linear combination with unspecified rational coefficients of $V_F$ for certain number fields $F$…
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 …
In 1965 Adler, Konheim and McAndrew defined the topological entropy for continuous self-maps of compact spaces. Topological entropy is very well-understood for endomorphisms of compact Abelian groups. A fundamental result in this context is the so-called Yuzvinski Formula, showing that the value of the topological entropy of a full solenoidal automorphism coincides with the Mahler measure of its characteristic polynomial. In two papers of 1979 and 1981 Peters gave a different definition of entropy for automorphisms of locally compact Abelian groups. This notion has been appropriately modified …
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…
In this paper,we count the rational points on the weighted projective spaces defined over number fields w.r.t. ``size''. An asymptotic formula which generalizes the result of Schanuel's ``Heights in number fields'' is obtained. Furthermore, we count also the rational points on the product of weighted projective spaces.
I give a formula for the zeta function of a projective toric hypersurface over a finite field and estimate its Newton polygon. As an application this formula allows us to compute the exact number of rational points on the families of Calabi-Yau manifolds in Mirror Symmetry.
There are several formulas for the number of orbits of the projective line under the action of subgroups of $GL_2$. We give an interpretation of two such formulas in terms of the geometry of elliptic curves, and prove a more general formula for a large class of congruence subgroups of Bianchi groups. Our formula involves the number of walks on a certain graph called an isogeny volcano. Underlying our results is a complete description of the group of extensions of a pair of CM elliptic curves, and of a pair of lattices in a quadratic field.
We introduce vector space norms associated to the Mahler measure by using the L^p norm versions of the Weil height recently introduced by Allcock and Vaaler. In order to do this, we determine orthogonal decompositions of the space of algebraic numbers modulo torsion by Galois field and degree. We formulate L^p Lehmer conjectures involving lower bounds on these norms and prove that these new conjectures are equivalent to their classical counterparts, specifically, the classical Lehmer conjecture in the p = 1 case and the Schinzel-Zassenhaus conjecture in the p = infinity case.
A formula on Stirling numbers of the second kind $S(n, k)$ is proved. As a corollary, for odd $n$ and even $k$, it is shown that $k!S(n, k)$ is a positive multiple of the greatest common divisor of $j!S(n, j)$ for $k+1\leq j\leq n$. Also, as an application to algebraic topology, some isomorphisms of unstable $K^1$-groups of stunted complex projective spaces are deduced.