Title of article
Constructive equivalence relations on computable probability measures
Author/Authors
Bienvenu، نويسنده , , Laurent and Merkle، نويسنده , , Wolfgang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
17
From page
238
To page
254
Abstract
A central object of study in the field of algorithmic randomness are notions of randomness for sequences, i.e., infinite sequences of zeros and ones. These notions are usually defined with respect to the uniform measure on the set of all sequences, but extend canonically to other computable probability measures. This way each notion of randomness induces an equivalence relation on the computable probability measures where two measures are equivalent if they have the same set of random sequences.
t follows, we study the equivalence relations induced by Martin-Lِf randomness, computable randomness, Schnorr randomness and Kurtz randomness, together with the relations of equivalence and consistency from probability theory. We show that all these relations coincide when restricted to the class of computable strongly positive generalized Bernoulli measures. For the case of arbitrary computable measures, we obtain a complete and somewhat surprising picture of the implications between these relations that hold in general.
Keywords
03D80 , 03D99 , 03D55 , Algorithmic randomness , Computable analysis , Probability measures , Kolmogorov complexity
Journal title
Annals of Pure and Applied Logic
Serial Year
2009
Journal title
Annals of Pure and Applied Logic
Record number
1444337
Link To Document