Results 1  10
of
11
Kolmogorov complexity and the Recursion Theorem. Manuscript, submitted for publication
, 2005
"... Abstract. Several classes of diagonally nonrecursive (DNR) functions are characterized in terms of Kolmogorov complexity. In particular, a set of natural numbers A can wttcompute a DNR function iff there is a nontrivial recursive lower bound on the Kolmogorov complexity of the initial segments of ..."
Abstract

Cited by 52 (13 self)
 Add to MetaCart
(Show Context)
Abstract. Several classes of diagonally nonrecursive (DNR) functions are characterized in terms of Kolmogorov complexity. In particular, a set of natural numbers A can wttcompute a DNR function iff there is a nontrivial recursive lower bound on the Kolmogorov complexity of the initial segments of A. Furthermore, A can Turing compute a DNR function iff there is a nontrivial Arecursive lower bound on the Kolmogorov complexity of the initial segements of A. A is PAcomplete, that is, A can compute a {0, 1}valued DNR function, iff A can compute a function F such that F (n) is a string of length n and maximal Ccomplexity among the strings of length n. A ≥T K iff A can compute a function F such that F (n) is a string of length n and maximal Hcomplexity among the strings of length n. Further characterizations for these classes are given. The existence of a DNR function in a Turing degree is equivalent to the failure of the Recursion Theorem for this degree; thus the provided results characterize those Turing degrees in terms of Kolmogorov complexity which do no longer permit the usage of the Recursion Theorem. 1.
A lower cone in the wtt degrees of nonintegral effective dimension
 In Proceedings of IMS workshop on Computational Prospects of Infinity
, 2006
"... ABSTRACT. For any rational number r, we show that there exists a set A (weak truthtable reducible to the halting problem) such that any set B weak truthtable reducible to it has effective Hausdorff dimension at most r, where A itself has dimension at least r. This implies, for any rational r, the e ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
(Show Context)
ABSTRACT. For any rational number r, we show that there exists a set A (weak truthtable reducible to the halting problem) such that any set B weak truthtable reducible to it has effective Hausdorff dimension at most r, where A itself has dimension at least r. This implies, for any rational r, the existence of a wttlower cone of effective dimension r. 1.
EXTRACTING INFORMATION IS HARD: A TURING DEGREE OF NONINTEGRAL EFFECTIVE HAUSDORFF DIMENSION
"... Abstract. We construct a ∆0 2 infinite binary sequence with effective Hausdorff dimension 1/2 that does not compute a sequence of higher dimension. Introduced by Lutz, effective Hausdorff dimension can be viewed as a measure of the information density of a sequence. In particular, the dimension of A ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We construct a ∆0 2 infinite binary sequence with effective Hausdorff dimension 1/2 that does not compute a sequence of higher dimension. Introduced by Lutz, effective Hausdorff dimension can be viewed as a measure of the information density of a sequence. In particular, the dimension of A ∈ 2ω is the lim inf of the ratio between the information content and length of initial segments of A. Thus the main result demonstrates that it is not always possible to extract information from a partially random source to produce a sequence that has higher information density. 1.
Effectively closed sets of measures and randomness
 Ann. Pure Appl. Logic
"... We show that if a real x ∈ 2ω is strongly Hausdorff Hhrandom, where h is a dimension function corresponding to a convex order, then it is also random for a continuous probability measure µ such that the µmeasure of the basic open cylinders shrinks according to h. The proof uses a new method to con ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
(Show Context)
We show that if a real x ∈ 2ω is strongly Hausdorff Hhrandom, where h is a dimension function corresponding to a convex order, then it is also random for a continuous probability measure µ such that the µmeasure of the basic open cylinders shrinks according to h. The proof uses a new method to construct measures, based on effective (partial) continuous transformations and a basis theorem for Π0 1classes applied to closed sets of probability measures. We use the main result to give a new proof of Frostman’s Lemma, to derive a collapse of randomness notions for Hausdorff measures, and to provide a characterization of effective Hausdorff dimension similar to Frostman’s Theorem. 1
Schnorr dimension
 IN EXPONENTIAL TIME, COMPUTATIONAL COMPLEXITY 2001, 210217, IEEE COMPUTER SOCIETY
, 2001
"... Following Lutz’s approach to effective (constructive) dimension, we define a notion of dimension for individual sequences based on Schnorr’s concept(s) of randomness. In contrast to computable randomness and Schnorr randomness, the dimension concepts defined via computable martingales and Schnorr t ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
(Show Context)
Following Lutz’s approach to effective (constructive) dimension, we define a notion of dimension for individual sequences based on Schnorr’s concept(s) of randomness. In contrast to computable randomness and Schnorr randomness, the dimension concepts defined via computable martingales and Schnorr tests coincide, i.e. the Schnorr Hausdorff dimension of a sequence always equals its computable Hausdorff dimension. Furthermore, we give a machine characterization of Schnorr dimension, based on prefixfree machines whose domain has computable measure. Finally, we show that there exist computably enumerable sets which are Schnorr (computably) irregular: while every c.e. set has Schnorr Hausdorff dimension 0 there are c.e. sets of computable packing dimension 1, a property impossible in the case of effective (constructive) dimension, due to Barzdiņˇs’ Theorem. In fact, we prove that every hyperimmune Turing degree contains a set of computable packing dimension 1.
unknown title
"... lower cone in the wtt degrees of nonintegral effective dimension ..."
(Show Context)