Chaitin'S Omega As A Continuous Function

Rupert Hoelzl,Wolfgang Merkle,Joseph Miller,Frank Stephan,Liang Yu
DOI: https://doi.org/10.1017/jsl.2019.60
2020-01-01
Journal of Symbolic Logic
Abstract:We prove that the continuous function (Omega) over cap : 2 omega -> R that is defined via X bar right arrow Sigma(n) 2(-K(X up arrow n)) for all X is an element of 2(omega) is differentiable exactly at the Martin-Lof random reals with the derivative having value 0; that it is nowhere monotonic; and that integral(1)(0) (Omega) over cap (X) dX is a left-c.e. wtt-complete real having effective Hausdorff dimension 1/2.We further investigate the algorithmic properties of (Omega) over cap. For example, we show that the maximal value of (Omega) over cap must be random, the minimal valuemust be Turing complete, and that (Omega) over cap (X) circle plus X >= (T) empty set' for every X. We also obtain some machine-dependent results, including that for every epsilon > 0, there is a universal machine V such that (Omega) over cap (V) maps every real X having effective Hausdorff dimension greater than e to a real of effective Hausdorff dimension 0 with the property that X <=(tt) (Omega) over cap (V) (X); and that there is a real X and a universal machine V such that Omega(V) (X) is rational.
What problem does this paper attempt to address?