Randomness and uniform distribution modulo one

BECHER, VERÓNICA; GRIGORIEFF, SERGE

Information and Computation

ACADEMIC PRESS INC ELSEVIER SCIENCE

Año: 2021 vol. 285

0890-5401

We elaborate the notions of Martin-Löf and Schnorr randomness for real numbers in terms of uniform distribution of sequences. We give a necessary condition for a real number to be Schnorr random expressed in terms of classical uniform distribution of sequences. This extends the result proved by Avigad for sequences of linear functions with integer coefficients to the wider classical class of Koksma sequences of functions. And, by requiring equidistribution with respect to every computably enumerable open set (respectively, computably enumerable open set with computable measure) in the unit interval, we give a sufficient condition for Martin-Löf (respectively Schnorr) randomness.