Carnegie Mellon University
Browse
file.pdf (104.37 kB)

Uniform distribution and algorithmic randomness

Download (104.37 kB)
journal contribution
posted on 2012-07-01, 00:00 authored by Jeremy AvigadJeremy Avigad

A seminal theorem due to Weyl [14] states that if (an ) is any sequence of distinct integers, then, for almost every x ∈ ℝ, the sequence (anx) is uniformly distributed modulo one. In particular, for almost every x in the unit interval, the sequence (anx) is uniformly distributed modulo one for every computable sequence (an ) of distinct integers. Call such an x UD random. Here it is shown that every Schnorr random real is UD random, but there are Kurtz random reals that are not UD random. On the other hand, Weyl's theorem still holds relative to a particular effectively closed null set, so there are UD random reals that are not Kurtz random.

History

Publisher Statement

Copyright © Association for Symbolic Logic

Date

2012-07-01

Usage metrics

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC