Quantitative height bounds under splitting conditions

In an earlier work, the first author and Petsche used potential theoretic techniques to establish a lower bound for the height of algebraic numbers that satisfy splitting conditions such as being totally real or p-adic, improving on earlier work of Bombieri and Zannier in the totally p-adic case. These bounds applied as the degree of the algebraic number over the rationals tended towards infinity. In this paper, we use discrete energy approximation techniques on the Berkovich projective line to make the dependence on the degree in these bounds explicit, and we establish lower bounds for algebraic numbers which depend only on local properties of the numbers.