Kučera and Gács independently showed that every infinite sequence is Turing reducible to a Martin-Löf random sequence. We
extend this result to show that every infinite sequence S is Turing reducible to a Martin-Löf random sequence R such that the asymptotic number of bits of R needed to compute n bits of S, divided by n, is precisely the constructive dimension of S. We show that this is the optimal ratio of query bits to computed bits achievable with Turing reductions. As an application
of this result, we give a new characterization of constructive dimension in terms of Turing reduction compression ratios.
Keywords Constructive dimension - Kolmogorov complexity - Turing reduction - compression - martingale - random sequence
This research was funded in part by grant number 9972653 from the National Science Foundation as part of their Integrative
Graduate Education and Research Traineeship (IGERT) program.