When does randomness come from randomness?
Logic
2016-03-09 v2
Abstract
A result of Shen says that if is an almost-everywhere computable, measure-preserving transformation, and is Martin-L\"of random, then there is a Martin-L\"of random such that . Answering a question of Bienvenu and Porter, we show that this property holds for computable randomness, but not Schnorr randomness. These results, combined with other known results, imply that the set of Martin-L\"of randoms is the largest subset of satisfying this property and also satisfying randomness preservation: if is an almost-everywhere computable, measure-preserving map, and if is random, then is random.
Cite
@article{arxiv.1508.05082,
title = {When does randomness come from randomness?},
author = {Jason Rute},
journal= {arXiv preprint arXiv:1508.05082},
year = {2016}
}