消息
loading
Uniform distribution and algorithmic randomness

Publisher： Cambridge University Press

E-ISSN： 1943-5886|78|1|334-344

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.78, Iss.1, 2013-03, pp. : 334-344

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

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.

Related content

Algorithmic randomness of continuous functions

By Barmpalias George  

Archive for Mathematical Logic, Vol. 46, Iss. 7-8, 2008-05 ,pp. : 533-546 (14)

Springer Publishing Company

Access to resources Recommend Favorite

Probabilistic Algorithmic Randomness

By  

The Journal of Symbolic Logic, Vol. 78, Iss. 2, 2013-06 ,pp. : 579-601 (23)

Cambridge University Press

Access to resources Recommend Favorite

Algorithmic Randomness and Measures of Complexity

By  

Bulletin of Symbolic Logic, Vol. 19, Iss. 3, 2013-09 ,pp. : 318-350 (33)

Cambridge University Press

Access to resources Recommend Favorite

Jelly belly mixing and uniform multinomial distribution

By Burks Robert  

CHANCE, Vol. 24, Iss. 1, 2011-03 ,pp. : 24-28 (5)

Springer Publishing Company

Access to resources Recommend Favorite

Product of Uniform Distribution and Stirling Numbers of the First Kind

By Sun Ping  

Acta Mathematica Sinica, Vol. 21, Iss. 6, 2005-12 ,pp. : 1435-1442 (8)

Springer Publishing Company

Access to resources Recommend Favorite