Cambridge Tracts in Mathematics 193. Cambridge: Cambridge University Press (ISBN 978-0-521-11169-0/hbk; 978-1-139-53365-2/ebook). xvi, 300 p. £ 50.00; $ 80.00; $ 64.00 (2012).
The topic of this book is well described by the following three questions stated in the preface. Is there a transcendental real number such that tends to zero as tends to infinity? (Throughout stands for the distance from a real number to the nearest integer.) Is the sequence of fractional parts , , dense in the unit interval? What can be said on the digital expansion of an irrational algebraic number? Of course, the first two of these questions are very far from being answered (the first is attributed to Hardy, 1919) and the research mainly concentrates on related questions, e.g., the distribution of , , for algebraic and real , Pisot and Vijayaraghavan numbers, Salem numbers, Furstenberg’s theorem, Mahler’s -numbers.
The book begins with the Weyl criterion, some metrical results, discrepancy and distribution functions. Since this topic is described in detail in the book of [L. Kuipers and H. Niederreiter, Uniform distribution of sequences. Pure and Applied Mathematics. New York etc.: John Wiley & Sons (1974; Zbl 0281.10001)], the author gives only basic things and turns his attention to the sequences , , and , , where and . These sequences are uniformly distributed for almost all (when is fixed) and for almost all (when is fixed), but for most individual pairs the problem is completely open.
In the second chapter “On the fractional parts of powers of real numbers" the author gives some early results of Thue, Hardy, Pisot and Vijayaraghavan and describes the pairs for which the fractional parts , , avoid an interval of positive length in . Among results that are presented with proofs Corollary 2.17 asserts that for each real number satisfying and each real number there exists a positive real number such that exceeds . It is also shown that the powers of some very special transcendental numbers can approximate arbitrary sequence of real numbers , with any fixed precision, namely, for each . The results of this type can be proved by the Cantor-type construction and by an explicit construction of the reviewer. In this chapter the author also gives the proof of Furstenberg’s theorem on the density of , , where is an irrational number and are multiplicatively independent integers, and describes some results towards so-called mixed Littlewood conjecture asserting that for every real number and every prime number , we have .
In the third chapter “On the fractional parts of powers of algebraic numbers" the author gives the proof of the reviewers estimate between the largest and the smallest limit points of the sequence , , when is an algebraic number [Bull. Lond. Math. Soc. 38, No. 1, 70–80 (2006; Zbl 1164.11025)]. Such estimate from below is possible when is not a Pisot or a Salem number. (If it is then there is an extra condition that lies outside the field generated by .) Many other related results of the author, Pollington and the reviewer are also given with complete proofs. For instance, Theorem 3.12 gives sharp bounds on the largest and the smallest limit points of the sequence , , where is an integer and is an irrational real number.
In Chapter 4, entitled “Normal numbers", the author turns into the problems of normality of real numbers. Recall that a real number is called normal in base if for each every block of digits from occurs in the -ary expansion of with the same frequency . Although, by an old result of Borel, almost all real numbers are normal to all integer bases, for concrete numbers like , the problem of normality is intractable. One can easily see that the problem of normality is related to uniform distribution, since the number is normal to base if and only if the sequence , , is uniformly distributed modulo one (see Theorem 4.14 which is an observation of Wall). In this section the author also proves Mahler’s result that the Champernowne number and some related numbers are transcendental and not Liouville numbers.
In Chapter 5 the author proves that if are coprime integers then the Stoneham number and the Korobov number , where , are normal to base . On the other hand, there are explicit constructions of numbers that are normal to no base. For instance, Theorem 5.8 (which is a result of G. Martin [Am. Math. Mon. 108, No. 8, 746–754 (2001; Zbl 1036.11035)]) asserts that the number , where and for , is a Liouville number which is simply normal to no base. At the end of this chapter the author discusses a hypothesis of Bailey and Crandall which (although appears intractable) would imply that each of the constants is normal to base 2.
In Chapter 6 some problems of normality to different bases are investigated. In particular, the author proves the result of Schmidt asserting that if are multiplicatively independent integers then the set of real numbers which are normal to base but not simply normal to base is uncountable. (The proof is given in the particular case .) Some results of normality to non-integer bases are also discussed in this chapter. In Chapter 7 the author introduces and studies exponents of Diophantine approximation and gives some Diophantine results on the middle third Cantor set.
Chapter 8 mainly deals with the digital expansions of algebraic irrational numbers in base . In particular, the author gives a proof of his result with B. Adamczewski [Ann. Math. (2) 165, No. 2, 547–565 (2007; Zbl 1195.11094)] which asserts that as , where stands for the number of distinct blocks of length in the -ary expansion of the algebraic irrational number . The expected value of is . A result of D. Bailey et al. [J. Théor. Nombres Bordx. 16, No. 3, 487–518 (2004; Zbl 1076.11045)] on the number of non-zero digits in the -ary expansion of such is also reproduced. In Chapter 9 the author discusses similar questions for “complexity" of continued fraction expansions of algebraic irrational numbers and surveys various results on the so-called -expansions (which is now an active area of research). Chapter 10 contains a list of 61 open questions which are collected from various papers.
At the end of the book there are six appendices and more than forty pages of references. The reader may learn a lot from this book about various techniques used in this subject over many years (e.g., classical and metrical Diophantine approximation, combinatorics on words) and, in addition, find the proofs of some very recent results.