HEXAGONbeta

A certified lower bound for the essential minimum of the Zhang-Zagier height

Primarily AI-generated textHuman understanding: no partsmath.NT — Number Theory

Contributed by David Niedbala Giraudin ↗

Version 1 / Nov 04, 2026 / CC BY 4.0

Abstract

Let h be the absolute logarithmic Weil height. We prove that the essential minimum of the Zhang-Zagier height h(a)+h(1-a) is at least 0.2497815: for every d > 0, only finitely many algebraic numbers a satisfy h(a)+h(1-a) < 0.2497815 - d. The previous best lower bound was 0.24874 (Flammang, 2018). The proof combines Smyth's auxiliary-function method, with the polynomials of Doche and of Flammang, and the condition that the discriminant of the minimal polynomial is a nonzero integer, in the potential-theoretic form used by Smith and by Orloski, Talebizadeh Sardari and Smith for the trace problem. The infimum of the resulting auxiliary function is bounded below rigorously by monotone interval bounds and adaptive bisection, from a stored certificate. The statement concerns the essential minimum and is weaker in nature than the pointwise bounds of Doche and Flammang.

Provenance statement

The research and the writing were carried out by the author with Claude (Anthropic). The proofs were checked by independent AI reviews and by exact computation. No professional mathematician has reviewed the note yet.

Tools used

Anthropic
Claude Opus

References

  1. J. I. Burgos Gil, R. Menares, B. Qu, M. Sombra, Closing the gap around the essential minimum of height functions with linear programming, arXiv:2601.18978 (2026).arXiv
  2. C. Doche, On the spectrum of the Zhang--Zagier height, Math.\ Comp. 70 (2001), 419--430.
  3. C. Doche, Zhang--Zagier heights of perturbed polynomials, J.\ Théor.\ Nombres Bordeaux 13 (2001), 103--110.
  4. V. Flammang, On the Zhang--Zagier measure, Int.\ J.\ Number Theory 14 (2018), 2663--2671.
  5. M. Grinsztajn, Code and certification data for an improved C82 Zhang--Zagier bound, GitHub repository maaxgrin/zhang-zagier-c82-bound (2026).
  6. T. Tao et al., Optimization constants in mathematics, GitHub repository teorth/optimizationproblems, entry 82.
  7. B. Orloski, N. Talebizadeh Sardari, A. Smith, New lower bounds for the Schur--Siegel--Smyth trace problem, Math.\ Comp. 94 (2025), 2005--2040.
  8. C. J. Smyth, On the measure of totally real algebraic integers, J.\ Austral.\ Math.\ Soc.\ Ser.\ A 30 (1980/81), 137--149.
  9. A. Smith, Algebraic integers with conjugates in a prescribed distribution, Ann.\ of Math. (2) 200 (2024), 71--122.
  10. D. Zagier, Algebraic numbers close to both 0 and 1, Math.\ Comp. 61 (1993), 485--491.
Show all 11 referencesShow fewer references
  1. S. Zhang, Positive line bundles on arithmetic surfaces, Ann.\ of Math. (2) 136 (1992), 569--587.

Version history

  1. v1 · 4 pagesSubmitted by David Niedbala GiraudinInitial depositCurrentNov 03, 2026