Title:Constructive Dimension and Weak Truth-Table Degrees

Abstract: This paper examines the constructive Hausdorff and packing dimensions of weak truth-table degrees. The main result is that every infinite sequence S with constructive Hausdorff dimension dim_H(S) and constructive packing dimension dim_P(S) is weak truth-table equivalent to a sequence R with dim_H(R) at least dim_H(S) / dim_P(S) - e, for arbitrary e > 0. Furthermore, if dim_P(S) > 0, then dim_P(R) is at least 1 - e. The reduction thus serves as a *randomness extractor* that increases the algorithmic randomness of S, as measured by constructive dimension.
A number of applications of this result shed new light on the constructive dimensions of wtt degrees (and, by extension, Turing degrees). A lower bound of dim_H(S) / dim_P(S) is shown to hold for the wtt degree of any sequence S. A new proof is given of a previously-known zero-one law for the constructive packing dimension of wtt degrees. It is also shown that, for any regular sequence S (that is, dim_H(S) = dim_P(S)) such that dim_H(S) > 0, the wtt degree of S has Hausdorff and packing dimension equal to 1.
Finally, it is shown that no single Turing reduction can be a universal constructive dimension extractor.