On absolutely normal numbers and their discrepancy estimate
2017, arXiv (Cornell University)
Abstract
We construct the base 2 expansion of an absolutely normal real number x so that for every integer b greater than or equal to 2 the discrepancy modulo 1 of the sequence (b 0 x, b 1 x, b 2 x, . . .) is essentially the same as that realized by almost all real numbers. For a real number x, we write {x} = x -⌊x⌋ to denote the fractional part of x. For a sequence (x j ) j≥1 of real numbers in the unit interval, the discrepancy of the N first elements is In this note we prove the following. We use some tools from [6] and . For non-negative integers M and N , for a sequence of real numbers (x j ) j≥1 and for real numbers α 1 , α 2 such that 0 ≤ α 1 < α 2 ≤ 1, we define We write µ to denote Lebesgue measure.
References (10)
- N. Alvarez and V. Becher. M. Levin's construction of absolutely normal numbers with very low discrepancy. Mathematics of Computation, 2017. to appear.
- V. Becher and S. Figueira. An example of a computable absolutely normal number. Theoretical Computer Science, 270:947-958, 2002.
- V. Becher, S. Figueira, and R. Picchi. Turing's unpublished algorithm for normal num- bers. Theoretical Computer Science, 377:126-138, 2007.
- V. Becher, P.A. Heiber, and T. Slaman. A polynomial-time algorithm for computing absolutely normal numbers. Information and Computation, 232:1-9, 2013.
- K. Fukuyama. The law of the iterated logarithm for discrepancies of {θ n x}. Acta Math- ematica Hungarica, 118(1):155-170, 2008.
- S. Gál and L. Gál. The discrepancy of the sequence {(2 n x)}. Koninklijke Nederlandse Akademie van Wetenschappen Proceedings. Seres A 67 = Indagationes Mathematicae, 26:129-143, 1964.
- G. H. Hardy and E. M. Wright. An introduction to the theory of numbers. Oxford University Press, Oxford, sixth edition, 2008.
- M. Levin. On absolutely normal numbers. Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika, 1:31-37, 87, 1979. English translation in Moscow University Mathematics Bulletin, 34 (1979), no. 1, 32-39.
- W. Philipp. Limit theorems for lacunary series and uniform distribution mod 1. Acta Arithmetica, 26(3):241-251, 1975.
- A.-M. Scheerer. Computable absolutely normal numbers and discrepancies. Mathematics of Computation, 2017. to appear.