Closing the gap around the essential minimum of height functions with linear programming
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915877908119552 |
|---|---|
| author | Gil, José Burgos Menares, Ricardo Qu, Binggang Sombra, Martín |
| author_facet | Gil, José Burgos Menares, Ricardo Qu, Binggang Sombra, Martín |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_18978 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Closing the gap around the essential minimum of height functions with linear programming Gil, José Burgos Menares, Ricardo Qu, Binggang Sombra, Martín Number Theory Functional Analysis Optimization and Control 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. |
| title | Closing the gap around the essential minimum of height functions with linear programming |
| topic | Number Theory Functional Analysis Optimization and Control |
| url | https://arxiv.org/abs/2601.18978 |