In mathematics, the Mahler measure M ( p ) {\displaystyle M(p)} of a polynomial p ( z ) {\displaystyle p(z)} with complex coefficients is defined as
M ( p ) = | a | ∏ | α i | ≥ 1 | α i | = | a | ∏ i = 1 n max { 1 , | α i | } , {\displaystyle M(p)=|a|\prod _{|\alpha _{i}|\geq 1}|\alpha _{i}|=|a|\prod _{i=1}^{n}\max\{1,|\alpha _{i}|\},}
where p ( z ) {\displaystyle p(z)} factorizes over the complex numbers C {\displaystyle \mathbb {C} } as
p ( z ) = a ( z − α 1 ) ( z − α 2 ) ⋯ ( z − α n ) . {\displaystyle p(z)=a(z-\alpha _{1})(z-\alpha _{2})\cdots (z-\alpha _{n}).}
The Mahler measure can be viewed as a kind of height function. Using Jensen's formula, it can be proved that this measure is also equal to the geometric mean of | p ( z ) | {\displaystyle |p(z)|} for z {\displaystyle z} on the unit circle (i.e., | z | = 1 {\displaystyle |z|=1} ):
M ( p ) = exp ( ∫ 0 1 ln ( | p ( e 2 π i θ ) | ) d θ ) . {\displaystyle M(p)=\exp \left(\int _{0}^{1}\ln(|p(e^{2\pi i\theta })|)\,d\theta \right).}
By extension, the Mahler measure of an algebraic number α {\displaystyle \alpha } is defined as the Mahler measure of the minimal polynomial of α {\displaystyle \alpha } over Q {\displaystyle \mathbb {Q} } . In particular, if α {\displaystyle \alpha } is a Pisot number or a Salem number, then its Mahler measure is simply α {\displaystyle \alpha } . The Mahler measure is named after the German-born Australian mathematician Kurt Mahler.
Properties The Mahler measure is multiplicative: ∀ p , q , M ( p ⋅ q ) = M ( p ) ⋅ M ( q ) . {\displaystyle \forall p,q,\,\,M(p\cdot q)=M(p)\cdot M(q).}
… excerpt ends here. Continue reading the full article.
