Related papers: Heights of polynomials over lemniscates

In 2008, Pritsker introduced the areal Mahler measure, which is defined using an integral over the unit disk, as opposed to the classical Mahler measure which is defined using an integral over the unit circle. In this paper we introduce…

We consider a hierarchy of upper approximations for the minimization of a polynomial $f$ over a compact set $K \subseteq \mathbb{R}^n$ proposed recently by Lasserre (arXiv:1907.097784, 2019). This hierarchy relies on using the push-forward…

A classically studied geometric property associated to a complex polynomial $p$ is the inradius (the radius of the largest inscribed disk) of its (filled) lemniscate $\Lambda := \{z \in \mathbb{C}:|p(z)| < 1\}$. In this paper, we study the…

E. Breuillard showed that finite subsets $F$ of matrices in $GL_d(\overline{\mathbb{Q}})$ generating non-virtually solvable groups have normalized height $\widehat{h}(F) \ge \epsilon_d$, for some positive $\epsilon_d >0$. The normalized…

Let p(z) be a monic polynomial of degree n. Consider the lemniscate L={z:|p(z)|=1}. It has been conjectured that L has the largest length when p(z)=z^n-1. We show that the length of L attains a local maximum at this polynomial and prove the…

Mahler's problem asks for the largest possible value of the Mahler measure, normalized by the $L_2$ norm, of a polynomial with $\pm1$ coefficients and large degree. We establish a new record value in this problem exceeding $0.95$ by…

We prove that under certain explicit conditions, the Mahler measure of a three-variable polynomial can be expressed in terms of elliptic curve $L$-values and Bloch-Wigner dilogarithmmic values, conditionally on Beilinson's conjecture. In…

We consider Mahler measures of two well-studied families of bivariate polynomials, namely $P_t=x+x^{-1}+y+y^{-1}+\sqrt{t}$ and $Q_t=x^3+y^3+1-\sqrt[3]{t}xy$, where $t$ is a complex parameter. In the cases when the zero loci of these…

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.

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…

We prove the existence of complex polynomials $p(z)$ of degree $n$ and $q(z)$ of degree $m<n$ such that the harmonic polynomial $ p(z) + \overline{q(z)}$ has at least $\lceil n \sqrt{m} \rceil$ many zeros. This provides an array of new…

We begin with the observation, based on previous results, that dimension-free lower bounds on the variance of a polynomial under a log-concave measure yield dimension-free small-ball and Fourier decay estimates. Motivated by this, we…

For the $n$th cyclotomic polynomial $\Phi_n$, let $A(n)$ denote the greatest absolute value of its coefficients, its height, and let $D(n)$ denote the difference between its largest and smallest coefficients, its diameter. We show that for…

A polynomial over a ring is called decomposable if it is a composition of two nonlinear polynomials. In this paper, we obtain sharp lower and upper bounds for the number of decomposable polynomials with integer coefficients of fixed degree…

The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height…

We present an upper bound for the height of the mixed sparse resultant, defined as the logarithm of the maximum modulus of its coefficients. We obtain a similar estimate for its Mahler measure.

Let $f$ be an analytic polynomial of degree at most $K-1$. A classical inequality of Bernstein compares the supremum norm of $f$ over the unit circle to its supremum norm over the sampling set of the $K$-th roots of unity. Many extensions…

Let $f(x) = x^{2g+1} + c_1 x^{2g} + \dots + c_{2g+1} \in k[x]$ be a polynomial of nonzero discriminant, and let $J$ denote the Jacobian of the odd hyperelliptic curve $C : y^2 = f(x)$. We show that the morphism $J \to \mathbb{P}^{2^g-1}$…

We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and…

We introduce the quaternionic Mahler measure for non-commutative polynomials, extending the classical complex Mahler measure. We establish the existence of quaternionic Mahler measure for slice regular polynomials in one and two variables.…