A p-adic criterion for Lehmer's conjecture

For a non-zero algebraic number $α$ of degree $d$, let $h(α)$ denote its logarithmic Weil height. It is known that when $h(α)$ is small, and $d$ is large, the conjugates of $α$ are clustered near the unit circle and have angular equidistribution in the complex plane about the origin. In this paper, we establish a $p$-adic analogue of this result by obtaining lower bounds for $h(α)$ in terms of the number of its conjugates that lie in a finite extension of $\mathbb{Q}_p$, for some prime $p$. As a consequence, we prove Lehmer's conjecture for all $α$ such that $\gg \sqrt{d\log d}$ many of its conjugates lie in a finite extension of $\mathbb{Q}_p$.