English

On approximation to a real number by algebraic numbers of bounded degree

Number Theory 2024-05-15 v1

Abstract

In his seminal 1961 paper, Wirsing studied how well a given transcendental real number ξ\xi can be approximated by algebraic numbers α\alpha of degree at most nn for a given positive integer nn, in terms of the so-called naive height H(α)H(\alpha) of α\alpha. He showed that the infimum ωn(ξ)\omega^*_n(\xi) of all ω\omega for which infinitely many such α\alpha have ξαH(α)ω1|\xi-\alpha| \le H(\alpha)^{-\omega-1} is at least (n+1)/2(n+1)/2. He also asked if we could even have ωn(ξ)n\omega^*_n(\xi) \ge n as it is generally expected. Since then, all improvements on Wirsing's lower bound were of the form n/2+O(1)n/2+\mathcal{O}(1) until Badziahin and Schleischitz showed in 2021 that ωn(ξ)an\omega^*_n(\xi) \ge an for each n4n\ge 4, with a=1/30.577a=1/\sqrt{3}\simeq 0.577. In this paper, we use a different approach partly inspired by parametric geometry of numbers and show that ωn(ξ)an\omega^*_n(\xi) \ge an for each n2n\ge 2, with a=1/(2log2)0.765a=1/(2-\log 2)\simeq 0.765.

Keywords

Cite

@article{arxiv.2405.08341,
  title  = {On approximation to a real number by algebraic numbers of bounded degree},
  author = {Anthony Poëls},
  journal= {arXiv preprint arXiv:2405.08341},
  year   = {2024}
}

Comments

21 pages