Skip to main content
3 of 5
added 1368 characters in body
Vesselin Dimitrov
  • 13.8k
  • 3
  • 56
  • 95

Asymptotics for algebraic numbers of height less than one

The question. Is an asymptotic equivalent known or conjectured for the number $N(d)$ of $\alpha \in \bar{\mathbb{Q}}$ with $h(\alpha) < 1$ and $[\mathbb{Q}(\alpha):\mathbb{Q}] \leq d$?

The rather crude proof of Northcott's theorem bounds $\log{N(d)}$ by $O(d^2)$. On the other hand, upon extracting $\lfloor d/m \rfloor$-th roots from numbers of degree $m$ and logarithmic height $< d/m$, where $m$ is fixed but arbitrarily large, and using a generalization of Schanuel's theorem due to Masser and Vaaler ("Counting algebraic numbers with large height," Trans. Amer. Math. Soc. 2007), it is easily seen that $\log{N(d)} > Ad$ for $d \gg_A 0$ and any given $A < \infty$.

The mentioned paper of Masser and Vaaler determines the dominant term for the opposite count involving points of large height and bounded degree. The problem considered here, involving bounded height and large degree, is likely to be more delicate. The basic lower bound $\log{N(d)} \gg d$ of the previous paragraph is likely to be improved by taking an optimal $m = m(d)$ and examining the error term (rate of convergence) in the Masser-Vaaler estimate. Perhaps such an improvement could point to the right asymptotics for $\log{N(d)}$?

Has this asymptotic been studied?

The answer. Indeed $\log{N(d)} \asymp d^2$, and this is not hard to see. By the Jensen-Mahler formula, the height $h(\alpha)$ of an algebraic number of degree $d$ with minimal polynomial $f \in \mathbb{Z}[x]$ coincides with the normalized logarithmic Mahler measure: $$ h(\alpha) = d^{-1} \log{M(f)} := d^{-1} \int_{S^1} \log{|f(z)|} \, \frac{d\theta}{2\pi}. $$ By the triangle inequality and a term-by-term integration, this is bounded above by $d^{-1} \log{\ell_1(f)}$, where $\ell_1(f)$ is the $L^1$-norm of the vector of coefficients of $f$. Now of course the inequality $\ell_1(f) < e^d$ has $\exp((1-o(1))d^2)$ solutions $f \in \mathbb{Z}[x]$ of $\deg{f} = d$, thus supplying the lower bound $\log{N(d)} \geq (1-o(1))d^2$. (Most certainly, as in the function field case considered in Will's answer below, almost all of these $f$ should be irreducible. I don't know how to show this, or if it is covered by the literature. However, we do not need to know this to answer the question as formulated, since I have included in the count all the numbers of degree $\leq d$.)

Northcott's bound gives $\log{N(d)} < (1+\log{2})d^2 + O(d)$ in the other direction, and we certainly have $\log{N(d)} \asymp d^2$. What remains to be seen is if equality holds in $\log{N(d)} \geq (1-o(1))d^2$, but I suspect this could be a delicate issue.

Vesselin Dimitrov
  • 13.8k
  • 3
  • 56
  • 95