English

When does randomness come from randomness?

Logic 2016-03-09 v2

Abstract

A result of Shen says that if F ⁣:2N2NF\colon2^{\mathbb{N}}\rightarrow2^{\mathbb{N}} is an almost-everywhere computable, measure-preserving transformation, and y2Ny\in2^{\mathbb{N}} is Martin-L\"of random, then there is a Martin-L\"of random x2Nx\in2^{\mathbb{N}} such that F(x)=yF(x)=y. 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 2N2^{\mathbb{N}} satisfying this property and also satisfying randomness preservation: if F ⁣:2N2NF\colon2^{\mathbb{N}}\rightarrow2^{\mathbb{N}} is an almost-everywhere computable, measure-preserving map, and if x2Nx\in2^{\mathbb{N}} is random, then F(x)F(x) 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}
}
R2 v1 2026-06-22T10:38:17.838Z