English

Limit Complexities, Minimal Descriptions, and $n$-Randomness

Logic 2022-08-08 v1

Abstract

Let KK denote prefix-free Kolmogorov Complexity, and KAK^A denote it relative to an oracle AA. We show that for any nn, K(n)K^{\emptyset^{(n)}} is definable purely in terms of the unrelativized notion KK. It was already known that 2-randomness is definable in terms of KK (and plain complexity CC) as those reals which infinitely often have maximal complexity. We can use our characterization to show that nn-randomness is definable purely in terms of KK. 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 Δ20\Delta_2^0 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}
}
R2 v1 2026-06-25T01:29:54.463Z