Fractional parts of powers of real algebraic numbers (Q2143615)

From MaRDI portal
Revision as of 22:38, 31 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Fractional parts of powers of real algebraic numbers
scientific article

    Statements

    Fractional parts of powers of real algebraic numbers (English)
    0 references
    0 references
    31 May 2022
    0 references
    For a real number \(x\), let \[||x||=\min\{|x-m|:m \in \mathbb{Z}\}\] denote the distance to its nearest integer. \textit{A. Baker} and \textit{J. Coates} [Math. Proc. Camb. Philos. Soc. 77, 269--279 (1975; Zbl 0298.10018)] proved the following: Theorem (Baker-Coates). Let \(r/s\) be a rational number greater than \(1\) and which is not an integer. Then, there exist an effectively computable positive real number \(\tau\) and an effectively computable integer \(n_0\) such that \[||(r /s)^n||>s^{-(1-\tau)n},\] for every integer \(n\) exceeding \(n_0\). In the paper under review the author obtains an interesting extension of the above theorem to real algebraic numbers exceeding \(1\) (see Theorem 5 of the paper). Namely, the main result of the present article is as follows: Theorem. Let \(\alpha\) be a real algebraic number greater than \(1\) and of degree \(d \ge 1\). Let \(h\) be the smallest positive integer such that \(\alpha^h\) is an integer or a quadratic Pisot unit and put \(\mathcal{N}_{\alpha}=\{hn:n \in \mathbb{Z}_{\ge 1}\}\). If no such integer exists, then \(\mathcal{N}_{\alpha}\) is the empty set. There exist positive, effectively computable real numbers \(C=C(\alpha)\), \(\tau=\tau(\alpha)\) and an effectively computable integer \(n_0 = n_0(\alpha)\), depending only on \(\alpha\), such that \[ ||\alpha^n||>C^{-(1-\tau)n} \ \text{for} \ n>n_0 \ \text{not in} \ \mathcal{N}_{\alpha}. \] The proof of the main result depends essentially on an ingenious application of lower bounds for linear forms in logarithms together with a result of Boyd on the number of roots of an irreducible polynomial of maximal modulus.
    0 references
    0 references
    approximation to algebraic numbers
    0 references
    linear forms in logarithms
    0 references
    Pisot number
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references