Source: J. Symbolic Logic
Volume 70, Issue 2
We compare various notions of algorithmic randomness. First we
consider relativized randomness. A set is n-random if it is
Martin-Löf random relative to ∅(n-1). We show that a
set is 2-random if and only if there is a constant c such that
infinitely many initial segments x of the set are
c-incompressible: C(x) ≥ |x|-c. The ‘only if' direction was
obtained independently by Joseph Miller. This characterization can be
extended to the case of time-bounded C-complexity.
Next we prove some results on lowness. Among other things, we
characterize the 2-random sets as those 1-random sets that are low for
Chaitin's Ω. Also, 2-random sets form minimal pairs with
2-generic sets. The r.e. low for Ω sets coincide with the
r.e. K-trivial ones.
Finally we show that the notions of Martin-Löf randomness, recursive
randomness, and Schnorr randomness can be separated in every high
degree while the same notions coincide in every non-high degree. We
make some remarks about hyperimmune-free and PA-complete degrees.
Klaus Ambos-Spies and Antonín Kučera Randomness in computability theory, Computability theory: Current trends and open problems (P. Cholak et al., editors), Contemporary Mathematics, vol. 257, American Mathematical Society,2000, pp. 1--14.
Gregory J. Chaitin A theory of program size formally identical to information theory, Journal of the Association for Computing Machinery, vol. 22 (1975), pp. 329--340.
Mathematical Reviews (MathSciNet): MR411829
Robert P. Daley Complexity and randomness, Computational complexity (R. Rustin, editor), Algorithmics Press,1971, pp. 113--122.
Osvald Demuth and Antonín Kučera Remarks on 1-genericity, semigenericity and related concepts, Commentationes Mathematicae Universitatis Carolinae, vol. 28 (1987), pp. 85--94.
Mathematical Reviews (MathSciNet): MR889770
Decheng Ding, Rod Downey, and Liang Yu The complexity of the random reals, to appear.
Rod Downey and Evan Griffiths personal communication, Wellington, March 28, 2003.
Rod G. Downey, Denis R. Hirschfeldt, André Nies, and Frank Stephan Trivial reals, Proceedings of the 7th and 8th Asian Logic Conferences (7th Conference: Hsi-Tou, Taiwan 6--10 June 1999, 8th Conference: Chongqing, China 29 August--2 September 2002), World Scientific,2003, pp. 103--131.
Haim Gaifmann and Marc Snir Probabilities over rich languages, Journal of Symbolic Logic, vol. 47 (1982), pp. 495--548.
Mathematical Reviews (MathSciNet): MR666815
Carl G. Jockusch, Jr., Manuel Lerman, Robert I. Soare, and Robert M. Solovay Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion, Journal of Symbolic Logic, vol. 54 (1989), no. 4, pp. 1288--1323.
Steven M. Kautz, Degrees of random sets, Ph.D. thesis, Cornell University, August 1991.
Antonín Kučera Measure, $\Pi_1^0$-classes and complete extensions of PA, Recursion theory week (H.-D. Ebbinghaus, G. H. Müller, and G. E. Sacks, editors), Lecture Notes in Mathematics, vol. 1141, Springer-Verlag,1985, pp. 245--259.
Mathematical Reviews (MathSciNet): MR820784
Antonín Kučera and Theodore A. Slaman Randomness and recursive enumerability, SIAM Journal on Computing, vol. 31 (2001), pp. 199--211.
Antonín Kučera and Sebastiaan A. Terwijn Lowness for the class of random sets, Journal of Symbolic Logic, vol. 64 (1999), no. 4, pp. 1396--1402.
Ming Li and Paul Vitányi An introduction to Kolmogorov complexity and its applications, first ed., Springer-Verlag,1993, second edition 1997.
Donald W. Loveland On minimal program complexity measures, Proceedings of the 1st ACM Symposium on Theory of Computing,1969, pp. 61--66.
Per Martin-Löf The definition of random sequences, Information and Control, vol. 9 (1966), pp. 602--619.
Mathematical Reviews (MathSciNet): MR223179
Wolfgang Merkle and Nenad Mihailović On the construction of effective random sets, Mathematical foundations of computer science, Lecture Notes in Computer Science, vol. 2420, Springer-Verlag,2002, pp. 568--580.
Joseph S. Miller Every 2-random real is Kolmogorov random, Journal of Symbolic Logic, vol. 69 (2004), no. 3, pp. 907--913.
André Nies Lowness properties and randomness, to appear.
Piergiorgio G. Odifreddi Classical recursion theory, vol. 1, North-Holland,1989, vol. 2, Elsevier, 1999.
Claus-Peter Schnorr A unified approach to the definition of random sequences, Mathematical Systems Theory, vol. 5 (1971), pp. 246--258.
Mathematical Reviews (MathSciNet): MR354328
Dana Scott Algebras of sets binumerable in complete extensions of arithmetic, Proceedings of Symposia in Pure and Applied Mathematics, vol. 5 (1962), pp. 117--121.
Mathematical Reviews (MathSciNet): MR141595
Robert I. Soare Recursively enumerable sets and degrees, Springer-Verlag, Heidelberg,1987.
Mathematical Reviews (MathSciNet): MR882921
Robert M. Solovay Draft of a paper (or series of papers) on Chaitin's work, manuscript, IBM Thomas J. Watson Research Center, New York, May 1975.
Frank Stephan Martin-Löf random and PA-complete sets, Forschungsberichte Mathematische Logik 58, Universität Heidelberg,2002.
Sebastiaan A. Terwijn Computability and measure, Ph.D. thesis, University of Amsterdam/ILLC,1998.
Sebastiaan A. Terwijn and Domenico Zambella Computational randomness and lowness, Journal of Symbolic Logic, vol. 66 (2001), no. 3, pp. 1199--1205.
Michiel van Lambalgen The axiomatization of randomness, Journal of Symbolic Logic, vol. 55 (1990), no. 3, pp. 1143--1167.
Yongge Wang Randomness and complexity, Ph.D. thesis, University of Heidelberg,1996.