English

$B'$

Number Theory 2022-09-02 v1

Abstract

Let n2n \ge 2 be an integer and α1,,αn\alpha_1, \ldots, \alpha_n be non-zero algebraic numbers. Let b1,,bnb_1, \ldots , b_n be integers with bn0b_n \not= 0, and set B=max{3,b1,,bn}B = \max\{3, |b_1|, \ldots , |b_n|\}. For j=1,,nj =1, \ldots, n, set h(αj)=max{h(αj),1}h^* (\alpha_j) = \max\{h(\alpha_j), 1\}, where hh denotes the (logarithmic) Weil height. Assume that the quantity Λ=b1logα1++bnlogαn\Lambda = b_1 \log \alpha_1 + \cdots + b_n \log \alpha_n is nonzero. A typical lower bound of logΛ\log |\Lambda| given by Baker's theory of linear forms in logarithms takes the shape logΛc(n,D)h(α1)h(αn)logB, \log |\Lambda| \ge - c(n, D) \, h^* (\alpha_1) \cdots h^* (\alpha_n) \log B, where c(n,D)c(n,D) is positive, effectively computable and depends only on nn and on the degree DD of the field generated by α1,,αn\alpha_1, \ldots , \alpha_n. However, in certain special cases and in particular when bn=1|b_n| = 1, this bound can be improved to logΛc(n,D)h(α1)h(αn)logBh(αn). \log |\Lambda| - c(n, D) \, h^* (\alpha_1) \cdots h^* (\alpha_n) \log \frac{B}{h^* (\alpha_n)}. The term B/h(αn)B / h^* (\alpha_n) in place of BB originates in works of Feldman and Baker and is a key tool for improving, in an effective way, the upper bound for the irrationality exponent of a real algebraic number of degree at least 33 given by Liouville's theorem. We survey various applications of this refinement to exponents of approximation evaluated at algebraic numbers, to the SS-part of some integer sequences, and to Diophantine equations. We conclude with some new results on arithmetical properties of convergents to real numbers.

Keywords

Cite

@article{arxiv.2209.00275,
  title  = {$B'$},
  author = {Yann Bugeaud},
  journal= {arXiv preprint arXiv:2209.00275},
  year   = {2022}
}

Comments

28 pages, Comments welcome!

R2 v1 2026-06-28T00:32:46.194Z