hal-00644785, version 1
Algorithmic tests and randomness with respect to a class of measures
Proceedings of the Steklov Institute of Mathematics 274, 1 (2011) 34-89
Résumé : This paper offers some new results on randomness with respect to classes of measures, along with a didactical exposition of their context based on results that appeared elsewhere. We start with the reformulation of the Martin-Löf definition of randomness (with respect to computable measures) in terms of randomness deficiency functions. A formula that expresses the randomness deficiency in terms of prefix complexity is given (in two forms). Some approaches that go in another direction (from deficiency to complexity) are considered. The notion of Bernoulli randomness (independent coin tosses for an asymmetric coin with some probability p of head) is defined. It is shown that a sequence is Bernoulli if it is random with respect to some Bernoulli measure Bp. A notion of "uniform test" for Bernoulli sequences is introduced which allows a quantitative strengthening of this result. Uniform tests are then generalized to arbitrary measures. Bernoulli measures Bp have the important property that p can be recovered from each random sequence of Bp. The paper studies some important consequences of this orthogonality property (as well as most other questions mentioned above) also in the more general setting of constructive metric spaces.
- a – CNRS
- b – Boston University
- c – Universidad Andrés Bello
- 1 :
- CNRS : UMR7089 – Université Paris VII - Paris Diderot
- 2 :
- Boston University
- 3 :
- CNRS : UMR7503 – INRIA – Université de Lorraine
- 4 :
- University of Toronto
- 5 :
- CNRS : UMR5506 – Université Montpellier II - Sciences et techniques
- Domaine : Mathématiques/Probabilités
Informatique/Théorie de l'information et codage
Mathématiques/Théorie de l'information et codage
- hal-00644785, version 1
- http://hal.inria.fr/hal-00644785
- oai:hal.inria.fr:hal-00644785
- Contributeur :
- Soumis le : Vendredi 25 Novembre 2011, 11:32:09
- Dernière modification le : Vendredi 21 Septembre 2012, 13:55:41



Documents associés
Voir aussi
Exporter