Closing the gap around the essential minimum of height functions with linear programming
Number Theory
2026-03-24 v2 Functional Analysis
Optimization and Control
Abstract
For many common height functions, it is notoriously hard to compute the essential minimum. Nevertheless there are two classical methods, one giving lower bounds and the other giving upper bounds. In this paper, we show that the two methods are actually dual to each other in the sense of linear programming. The main theorem is that they satisfy strong duality, which closes the gap around the essential minimum from both ends. As applications we prove that this essential minimum can be realized by a generic sequence of algebraic integers, and that if the associated Green function is computable then this essential minimum is a computable real number.
Cite
@article{arxiv.2601.18978,
title = {Closing the gap around the essential minimum of height functions with linear programming},
author = {José Burgos Gil and Ricardo Menares and Binggang Qu and Martín Sombra},
journal= {arXiv preprint arXiv:2601.18978},
year = {2026}
}
Comments
Shortened introduction, improved the reading flow, added references