Skip to main content
Source Link

Mahler measure of a totally positive, expanding algebraic integer

Consider a degree-$d$ algebraic integer $\alpha$ all of whose conjugates (including itself) are real numbers greater than 1. Its Mahler measure $M(\alpha)$ is simply equal to the norm $N(\alpha)$. Since $N(\alpha-1) \geq 1$, an application of $H\ddot{o}lder's$ inequality gives the lower bound $N(\alpha) \geq 2^d$, with equality achieved only by $\alpha = 2$.

Question. Does there exist $C > 2$ such that $N(\alpha) \geq C^d$ for all $\alpha \neq 2$?