Results 1  10
of
56
Randomness, relativization, and Turing degrees
 J. Symbolic Logic
, 2005
"... We compare various notions of algorithmic randomness. First we consider relativized randomness. A set is nrandom if it is MartinLof random relative to . We show that a set is 2random if and only if there is a constant c such that infinitely many initial segments x of the set are cincompre ..."
Abstract

Cited by 38 (17 self)
 Add to MetaCart
We compare various notions of algorithmic randomness. First we consider relativized randomness. A set is nrandom if it is MartinLof random relative to . We show that a set is 2random if and only if there is a constant c such that infinitely many initial segments x of the set are cincompressible: C(x) c. The `only if' direction was obtained independently by Joseph Miller. This characterization can be extended to the case of timebounded Ccomplexity.
Using random sets as oracles
"... Let R be a notion of algorithmic randomness for individual subsets of N. We say B is a base for R randomness if there is a Z �T B such that Z is R random relative to B. We show that the bases for 1randomness are exactly the Ktrivial sets and discuss several consequences of this result. We also sho ..."
Abstract

Cited by 34 (15 self)
 Add to MetaCart
Let R be a notion of algorithmic randomness for individual subsets of N. We say B is a base for R randomness if there is a Z �T B such that Z is R random relative to B. We show that the bases for 1randomness are exactly the Ktrivial sets and discuss several consequences of this result. We also show that the bases for computable randomness include every ∆ 0 2 set that is not diagonally noncomputable, but no set of PAdegree. As a consequence, we conclude that an nc.e. set is a base for computable randomness iff it is Turing incomplete. 1
Uniform almost everywhere domination
 Journal of Symbolic Logic
, 2006
"... ABSTRACT. We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed t ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
ABSTRACT. We explore the interaction between Lebesgue measure and dominating functions. We show, via both a priority construction and a forcing construction, that there is a function of incomplete degree that dominates almost all degrees. This answers a question of Dobrinen and Simpson, who showed that such functions are related to the prooftheoretic strength of the regularity of Lebesgue measure for G δ sets. Our constructions essentially settle the reverse mathematical classification of this principle. 1.
Lowness properties and approximations of the jump
 Proceedings of the Twelfth Workshop of Logic, Language, Information and Computation (WoLLIC 2005). Electronic Lecture Notes in Theoretical Computer Science 143
, 2006
"... ..."
Relativizing Chaitin’s halting probability
 J. Math. Log
"... Abstract. As a natural example of a 1random real, Chaitin proposed the halting probability Ω of a universal prefixfree machine. We can relativize this example by considering a universal prefixfree oracle machine U. Let Ω A U be the halting probability of U A; this gives a natural uniform way of p ..."
Abstract

Cited by 21 (7 self)
 Add to MetaCart
Abstract. As a natural example of a 1random real, Chaitin proposed the halting probability Ω of a universal prefixfree machine. We can relativize this example by considering a universal prefixfree oracle machine U. Let Ω A U be the halting probability of U A; this gives a natural uniform way of producing an Arandom real for every A ∈ 2 ω. It is this operator which is our primary object of study. We can draw an analogy between the jump operator from computability theory and this Omega operator. But unlike the jump, which is invariant (up to computable permutation) under the choice of an effective enumeration of the partial computable functions, Ω A U can be vastly different for different choices of U. Even for a fixed U, there are oracles A = ∗ B such that Ω A U and Ω B U are 1random relative to each other. We prove this and many other interesting properties of Omega operators. We investigate these operators from the perspective of analysis, computability theory, and of course, algorithmic randomness. 1.
Almost everywhere domination and superhighness
 Mathematical Logic Quarterly
"... Let ω denote the set of natural numbers. For functions f, g: ω → ω, we say that f is dominated by g if f(n) < g(n) for all but finitely many n ∈ ω. We consider the standard “fair coin ” probability measure on the space 2 ω of infinite sequences of 0’s and 1’s. A Turing oracle B is said to be almost ..."
Abstract

Cited by 18 (9 self)
 Add to MetaCart
Let ω denote the set of natural numbers. For functions f, g: ω → ω, we say that f is dominated by g if f(n) < g(n) for all but finitely many n ∈ ω. We consider the standard “fair coin ” probability measure on the space 2 ω of infinite sequences of 0’s and 1’s. A Turing oracle B is said to be almost everywhere dominating if, for measure one many X ∈ 2 ω, each function which is Turing computable from X is dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of KjosHanssen, KjosHanssen/Miller/Solomon, and others concerning LRreducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i.e., 0 ′′ is
Lowness notions, measure and domination
, 2008
"... Abstract. We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL0 (but not in RCA0) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also ..."
Abstract

Cited by 15 (1 self)
 Add to MetaCart
Abstract. We show that positive measure domination implies uniform almost everywhere domination and that this proof translates into a proof in the subsystem WWKL0 (but not in RCA0) of the equivalence of various Lebesgue measure regularity statements introduced by Dobrinen and Simpson. This work also allows us to prove that low for weak 2randomness is the same as low for MartinLöf randomness (a result independently obtained by Nies). Using the same technique, we show that ≤LR implies ≤LK, generalizing the fact that low for MartinLöf randomness implies low for K. 1.
Lowness for the class of Schnorr random reals
 SIAM Journal on Computing
, 2005
"... We answer a question of AmbosSpies and Kučera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests. ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
We answer a question of AmbosSpies and Kučera in the affirmative. They asked whether, when a real is low for Schnorr randomness, it is already low for Schnorr tests.
Randomness and universal machines
 CCA 2005, Second International Conference on Computability and Complexity in Analysis, Fernuniversität Hagen, Informatik Berichte 326:103–116
, 2005
"... The present work investigates several questions from a recent survey of Miller and Nies related to Chaitin’s Ω numbers and their dependence on the underlying universal machine. It is shown that there are universal machines for which ΩU is just x 21−H(x). For such a universal machine there exists a c ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
The present work investigates several questions from a recent survey of Miller and Nies related to Chaitin’s Ω numbers and their dependence on the underlying universal machine. It is shown that there are universal machines for which ΩU is just x 21−H(x). For such a universal machine there exists a cor.e. set X such that ΩU[X] = � p:U(p)↓∈X 2−p  is neither leftr.e. nor MartinLöf random. Furthermore, one of the open problems of Miller and Nies is answered completely by showing that there is a sequence Un of universal machines such that the truthtable degrees of the ΩUn form an antichain. Finally it is shown that the members of hyperimmunefree Turing degree of a given Π0 1class are not low for Ω unless this class contains a recursive set. 1
Mass problems and almost everywhere domination
 Mathematical Logic Quarterly
, 2007
"... We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the set of reals which are almost everywhere dominating and MartinLöf random, respectively. Let b1, b2, b3 be the degrees of unsolvability of the mass problems associated with the sets AED ..."
Abstract

Cited by 10 (7 self)
 Add to MetaCart
We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the set of reals which are almost everywhere dominating and MartinLöf random, respectively. Let b1, b2, b3 be the degrees of unsolvability of the mass problems associated with the sets AED, MLR×AED, MLR∩AED respectively. Let Pw be the lattice of degrees of unsolvability of mass problems associated with nonempty Π 0 1 subsets of 2 ω. Let 1 and 0 be the top and bottom elements of Pw. We show that inf(b1,1) and inf(b2,1) and inf(b3,1) belong to Pw and that 0 < inf(b1,1) < inf(b2,1) < inf(b3,1) < 1. Under the natural embedding of the recursively enumerable Turing degrees into Pw, we show that inf(b1,1) and inf(b3,1) but not inf(b2,1) are comparable with some recursively enumerable Turing degrees other than 0 and 0 ′. In order to make this paper more selfcontained, we exposit the proofs of some recent theorems due to Hirschfeldt, Miller, Nies, and Stephan.