When does randomness come from randomness?
Jason Rute

TL;DR
This paper investigates the preservation of different notions of randomness under measure-preserving transformations, showing that Martin-Löf randomness is the largest class preserved, unlike Schnorr randomness.
Contribution
It demonstrates that measure-preserving transformations preserve Martin-Löf randomness but not Schnorr randomness, clarifying the boundaries of randomness preservation.
Findings
Martin-Löf randomness is preserved under measure-preserving transformations.
Schnorr randomness is not necessarily preserved.
The set of Martin-Löf randoms is maximal for this property.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
