Academia.eduAcademia.edu

Outline

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)

  1. N. Alvarez and V. Becher. M. Levin's construction of absolutely normal numbers with very low discrepancy. Mathematics of Computation, 2017. to appear.
  2. V. Becher and S. Figueira. An example of a computable absolutely normal number. Theoretical Computer Science, 270:947-958, 2002.
  3. V. Becher, S. Figueira, and R. Picchi. Turing's unpublished algorithm for normal num- bers. Theoretical Computer Science, 377:126-138, 2007.
  4. V. Becher, P.A. Heiber, and T. Slaman. A polynomial-time algorithm for computing absolutely normal numbers. Information and Computation, 232:1-9, 2013.
  5. K. Fukuyama. The law of the iterated logarithm for discrepancies of {θ n x}. Acta Math- ematica Hungarica, 118(1):155-170, 2008.
  6. 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.
  7. G. H. Hardy and E. M. Wright. An introduction to the theory of numbers. Oxford University Press, Oxford, sixth edition, 2008.
  8. 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.
  9. W. Philipp. Limit theorems for lacunary series and uniform distribution mod 1. Acta Arithmetica, 26(3):241-251, 1975.
  10. A.-M. Scheerer. Computable absolutely normal numbers and discrepancies. Mathematics of Computation, 2017. to appear.