Around Fekete's theorem
Norm Levenberg, Mayuresh Londhe
TL;DR
The paper investigates when a compact set $\Sigma$ in the complex plane can contain infinitely many conjugate algebraic integers by leveraging potential theory, heights relative to $\Sigma$, and Mahler measures. It constructs sequences whose heights approach $-\log c(\Sigma)$ and whose conjugates concentrate near $\Sigma$, with limiting distributions linked to the equilibrium measure $\mu_{\Sigma}$ in favorable cases. A general framework is developed for limiting measures: any subsequential limit $\mu$ of conjugates with bounded $h_{\Sigma}$ satisfies an arithmetic inequality involving polynomials, the leading coefficients, and an escape rate, and has finite energy. These results connect Fekete-type phenomena to equilibrium theory and raise questions about tightening bounds, the universality of limiting distributions, and arithmetic probability measures on $\Sigma$.
Abstract
A classical result of Fekete gives necessary conditions on a compact set in the complex plane so that it contains infinitely many sets of conjugate algebraic integers. For such sets, we demonstrate the existence of a sequence of algebraic integers such that most of their conjugates eventually lie near the set, while maintaining a bound on heights. Finally, we examine properties satisfied by the limiting distribution of a sequence of algebraic numbers.
