Limit Complexities, Minimal Descriptions, and $n$-Randomness
Logic
2022-08-08 v1
Abstract
Let denote prefix-free Kolmogorov Complexity, and denote it relative to an oracle . We show that for any , is definable purely in terms of the unrelativized notion . It was already known that 2-randomness is definable in terms of (and plain complexity ) as those reals which infinitely often have maximal complexity. We can use our characterization to show that -randomness is definable purely in terms of . To do this we extend a certain ``limsup'' formula from the literature, and apply Symmetry of Information. This extension entails a novel use of semilow sets, and a more precise analysis of the complexity of sets of mimimal descriptions.
Cite
@article{arxiv.2208.02982,
title = {Limit Complexities, Minimal Descriptions, and $n$-Randomness},
author = {Rodney Downey and Lu Liu and Keng Meng Ng and Daniel Turetsky},
journal= {arXiv preprint arXiv:2208.02982},
year = {2022}
}