Luzin's (N) and randomness reflection
Logic
2020-09-29 v2
Abstract
We show that a computable function has Luzin's property (N) if and only if it reflects -randomnes, if and only if it reflects -randomness, and if and only if it reflects -Kurtz randomness, but reflecting Martin-L\"of randomness or weak-2-randomness does not suffice. Here a function is said to reflect a randomness notion if whenever is -random, then is -random as well. If additionally is known to have bounded variation, then we show has Luzin's (N) if and only if it reflects weak-2-randomness, and if and only if it reflects -Kurtz randomness. This links classical real analysis with algorithmic randomness.
Cite
@article{arxiv.2006.07517,
title = {Luzin's (N) and randomness reflection},
author = {Arno Pauly and Linda Westrick and Liang Yu},
journal= {arXiv preprint arXiv:2006.07517},
year = {2020}
}
Comments
25 pages