Skip to main content Accessibility help
×
Home

Algorithmic Randomness and Measures of Complexity

  • George Barmpalias (a1)

Abstract

We survey recent advances on the interface between computability theory and algorithmic randomness, with special attention on measures of relative complexity. We focus on (weak) reducibilities that measure (a) the initial segment complexity of reals and (b) the power of reals to compress strings, when they are used as oracles. The results are put into context and several connections are made with various central issues in modern algorithmic randomness and computability.

Copyright

References

Hide All
[1] Ambos-Spies, Klaus, Ding, Decheng, Fan, Yun, and Merkle, Wolfgang, Maximal pairs of computably enumerable sets in the computable-Lipschitz degrees, Theory of Computing Systems, vol. 52 (2013), no. 1, pp. 227.
[2] Baartse, Martijn and Barmpalias, George, On the gap between trivial and nontrivial initial segment prefix-free complexity, Theory of Computing Systems, vol. 52 (2013), no. 1, pp. 2847.
[3] Barmpalias, George, Computably enumerable sets in the Solovay and the strong weak truth table degrees, Computability in Europe (Cooper, S. Barry, Löwe, Benedikt, and Torenvliet, Leen, editors), Lecture Notes in Computer Science, vol. 3526, Springer, 2005, pp. 817.
[4] Barmpalias, George, Elementary differences between the degrees of unsolvability and the degrees of compressibility, Annals of Pure and Applied Logic, vol. 161 (2010), no. 7, pp. 923934.
[5] Barmpalias, George, Relative randomness and cardinality, Notre Dame Journal of Formal Logic, vol. 51 (2010), no. 2.
[6] Barmpalias, George, On strings with trivial Kolmogorov complexity, International Journal of Software and Informatics, vol. 5 (2011), no. 4, pp. 609623.
[7] Barmpalias, George, Compactness arguments with effectively closed sets for the study of relative randomness, Journal of Logic and Computation, vol. 22 (2012), no. 4, pp. 679691.
[8] Barmpalias, George, Tracing and domination in the Turing degrees, Annals of Pure and Applied Logic, vol. 163 (2012), no. 5, pp. 500505.
[9] Barmpalias, George, Universal computably enumerable sets and initial segment prefix-free complexity, Information and Computation , in press.
[10] Barmpalias, George and Downey, Rodney G., Exact pairs for the ideal of the K- trivial sequences in the Turing degrees, preprint, 2012.
[11] Barmpalias, George, Downey, Rodney G., and Greenberg, Noam, Working with strong reducibilities above totally ω-c.e. and array computable degrees, Transactions of the American Mathematical Society, vol. 362 (2010), no. 2, pp. 777813.
[12] Barmpalias, George, Hölzl, Rupert, Lewis, Andrew E. M., and Merkle, Wolfgang, Analogues of Chaitin's Ω in the computably enumerable sets, Information Processing Letters, vol. 113 (2013), no. 5–6, pp. 171178.
[13] Barmpalias, George and Lewis, Andrew E.M., Ac.e. real that cannot be sw-computed by any omega number, Notre Dame Journal of Formal Logic, vol. 47 (2006), no. 2, pp. 197209.
[14] Barmpalias, George and Lewis, Andrew E.M., The ibT degrees of computably enumerable sets are not dense, Annals of Pure and Applied Logic, vol. 141 (2006), no. 1–2, pp. 5160.
[15] Barmpalias, George and Lewis, Andrew E.M., Random reals and Lipschitz continuity, Mathematical Structures in Computer Science, vol. 16 (2006), no. 5, pp. 737749.
[16] Barmpalias, George and Lewis, Andrew E.M., Randomness and the linear degrees of computability, Annals of Pure and Applied Logic, vol. 145 (2007), no. 3, pp. 252257.
[17] Barmpalias, George and Lewis, Andrew E.M., Chaitin's halting probability and the compression of strings using oracles, Proceedings of the Royal Society A , vol. 467 (2011), pp. 29122926.
[18] Barmpalias, George, Lewis, Andrew E. M., and Ng, Keng Meng, The importance of Π1 0 classes in effective randomness, The Journal of Symbolic Logic, vol. 75 (2010), no. 1, pp. 387400.
[19] Barmpalias, George, Lewis, Andrew E. M., and Soskova, Mariya, Randomness, lowness and degrees, The Journal of Symbolic Logic, vol. 73 (2008), no. 2, pp. 559577.
[20] Barmpalias, George, Lewis, Andrew E. M., and Stephan, Frank, Π1 0 classes, LR degrees and Turing degrees, Annals of Pure and Applied Logic, vol. 156 (2008), no. 1, pp. 2138.
[21] Barmpalias, George and Li, Angsheng, Kolmogorov complexity and computably enumerable sets, Annals of Pure and Applied Logic , (in press).
[22] Barmpalias, George, Miller, Joseph S., and Nies, André, Randomness notions and partial relativization, Israel Journal of Mathematics, vol. 191 (2012), no. 2, pp. 791816.
[23] Barmpalias, George and Nies, André, Upper bounds on ideals in the computably enumerable Turing degrees, Annals of Pure and Applied Logic, vol. 162 (2011), no. 6, pp. 465473.
[24] Barmpalias, George and Sterkenburg, Tom F., On the number of infinite sequences with trivial initial segment complexity, Theoretical Computer Science, vol. 412 (2011), no. 52, pp. 71337146.
[25] Barmpalias, George and Vlek, C. S., Kolmogorov complexity of initial segments of sequences and arithmetical definability, Theoretical Computer Science, vol. 412 (2011), no. 41, pp. 56565667.
[26] Bienvenu, Laurent and Downey, Rod, Kolmogorov complexity and Solovay functions, Symposium on Theoretical Aspects of Computer Science 2009, Dagstuhl Seminar Proceedings LIPIcs 3, 2009, pp. 147158.
[27] Bienvenu, Laurent, Merkle, Wolfgang, and Nies, André, Solovay functions and K-triviality, Symposium on Theoretical Aspects of Computer Science 2011, Leibniz International Proceedings in Informatics 9, 2011, pp. 452463.
[28] Bienvenu, Laurent, Miller, Joseph S., Hölzl, Rupert, and Nies, André, Denjoy, Demuth and density, in preparation, 2012.
[29] Calude, C., Hertling, P., Khoussainov, B., and Wang, Y., Recursively enumerable reals and Chaitin Ω numbers, Theoretical Computer Science, vol. 255 (2001), no. 1–2, pp. 125149.
[30] Chaitin, Gregory J., A theory of programsize formally identical to information theory, Journal of the ACM, vol. 22 (1975), pp. 329340.
[31] Chaitin, Gregory J., Information-theoretical characterizations of recursive infinite strings, Theoretical Computer Science, vol. 2 (1976), pp. 4548.
[32] Csima, Barbara F. and Montalbán, Antonio, A minimal pair of K-degrees, Proceedings of the American Mathematical Society, vol. 134 (2006), no. 5, pp. 14991502, (electronic).
[33] Day, Adam R., The computable Lipschitz degrees of computably enumerable sets are not dense, Annals of Pure and Applied Logic, vol. 161 (2010), no. 12, pp. 15881602.
[34] Day, Adam R. and Miller, Joseph S., private communication, 08 2012.
[35] Diamondstone, David, Low upper bounds in the LR degrees, Annals of Pure and Applied Logic, vol. 163 (2012), no. 3, pp. 314320.
[36] Ding, Decheng, Downey, Rodney G., and Yu, Liang, The Kolmogorov complexity of random reals, Annals of Pure and Applied Logic, vol. 129 (2004), no. 1–3, pp. 163180.
[37] Ding, Decheng and Yu, Liang, There is no sw-complete c.e. real, The Journal of Symbolic Logic, vol. 69 (2004), no. 4, pp. 11631170.
[38] Downey, Rodney G. and Hirschfeldt, Denis R., Algorithmic randomness and complexity, Springer, 2010.
[39] Downey, Rodney G., Hirschfeldt, Denis R., and LaForte, Geoff, Randomness and reducibility, Journal of Computer and System Sciences, vol. 68 (2004), no. 1, pp. 96114.
[40] Downey, Rodney G., Hirschfeldt, Denis R., and LaForte, Geoffrey, Randomness and reducibility, Mathematical Foundations of Computer Science 2001 (Sgall, J. et al., editors), Lecture Notes in Computer Science, vol. 2136, Springer, 2001, pp. 316327.
[41] Downey, Rodney G., Undecidability of the structure of the Solovay degrees of c.e. reals, Journal of Computer and System Sciences, vol. 73 (2007), no. 5, pp. 769787.
[42] Downey, Rodney G., Hirschfeldt, Denis R., and Nies, André, Randomness, computability, and density, SIAM Journal on Computing, vol. 31 (2002), no. 4, pp. 11691183.
[43] Downey, Rodney G., Hirschfeldt, Denis R., Nies, André, and Stephan, Frank, Trivial reals, Proceedings of the 7th and 8th Asian Logic Conferences (Downey, Rod et al., editors), Singapore University Press, Singapore, 2003, pp. 103131.
[44] Downey, Rodney G., Nies, Denis R. Hirschfeldt André, and Terwijn, Sebastiaan A., Calibrating randomness, this Bulletin, vol. 12 (2006), no. 3, pp. 411491.
[45] Fan, Yun and Lu, Hong, Some properties of sw-reducibility, Nanjing University. Journal. Mathematical Biquarterly, vol. 22 (2005), pp. 244252.
[46] Gács, Péter, Every sequence is reducible to a random one, Information and Control, vol. 70 (1986), no. 2.3, pp. 186192.
[47] Goncharov, S. S., Downey, R. G., and Ono, H. (editors), Proceedings of the 9th Asian logic conference, World Scientific Publishing Company, Singapore, 2006.
[48] Hirschfeldt, Denis R., Nies, André, and Stephan, Frank, Using random sets as oracles, Journal of the London Mathematical Society. Second Series, vol. 75 (2007), no. 3, pp. 610622.
[49] Hölzl, Rupert, Kräling, Thorsten, and Merkle, Wolfgang, Time-bounded Kolmogorov complexity and Solovay functions, Mathematical foundations of computer science, 2009, Lecture Notes in Computer Science, vol. 5734, Springer, 2009, pp. 392402.
[50] Jockusch, Carl G. Jr., and Soare, Robert I., Degrees of members of Π1 0 classes, Pacific Journal of Mathematics, vol. 40 (1972), pp. 605616.
[51] Kjos-Hanssen, Bjørn, Merkle, Wolfgang, and Stephan, Frank, Kolmogorov complexity and the recursion theorem, Symposium on theoretical aspects of computer science, 2006, pp. 149161.
[52] Kjos-Hanssen, Bjørn, Kolmogorov complexity and the recursion theorem, Transactions of the American Mathematical Society, vol. 363 (2011).
[53] Kjos-Hanssen, Bjørn, Miller, Joseph S., and Solomon, Reed, Lowness notions, measure and domination, Journal of the London Mathematical Society, (2012), in press.
[54] Kleene, S. C. and Post, E., The upper semi-lattice of degrees of recursive unsolvability, Annals of Mathematics. Second Series , vol. 59 (1954), pp. 379407.
[55] Kolmogorov, Andrey N., Three approaches to the definition of the concept “quantity of information”, Problemy Peredači Informacii, vol. 1 (1965), no. 1, pp. 311.
[56] Kučera, Antonín, Measure, Π1 0-classes and complete extensions of PA, Recursion theory week, Lecture Notes in Mathematics, vol. 1141, Springer, Berlin, 1985, pp. 245259.
[57] Kučera, Antonín and Slaman, Theodore, Randomness and recursive enumerability, SIAM Journal on Computing, vol. 31 (2001), no. 1, pp. 199211.
[58] Kučera, Antonín and Slaman, Theodore, Low upper bounds of ideals, The Journal of Symbolic Logic, vol. 74 (2009), no. 2, pp. 517534.
[59] Kummer, Martin, Kolmogorov complexity and instance complexity of recursively enumerable sets, SIAM Journal on Computing, vol. 25 (1996), no. 6, pp. 11231143.
[60] Lachlan, Alistair H., The priority method I, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 110.
[61] Lathrop, James I. and Lutz, Jack H., Recursive computational depth, Information and Computation, vol. 153 (1999), no. 1, pp. 139172.
[62] Levin, L. A., The concept of a random sequence, Doklady Akademii Nauk. SSSR, vol. 212 (1973), pp. 548550.
[63] Li, Ming and Vitányi, Paul, An introduction to Kolmogorov complexity and its applications, second ed., Graduate Texts in Computer Science, Springer, 1997.
[64] Martin-Löf, Per, The definition of random sequences, Information and Control, vol. 9 (1966), pp. 602619.
[65] Merkle, Wolfgang and Stephan, Frank, On C-degrees, H-degrees and T-degrees, IEEE Conference on Computational Complexity, 2007, IEEE Computer Society, Los Alamitos, CA, USA, 2007, pp. 6069.
[66] Miller, Joseph S., Every 2-randomreal is Kolmogorov random, The Journal of Symbolic Logic, vol. 69 (2004), pp. 907913.
[67] Miller, Joseph S., The K-degrees, low for K degrees, and weakly low for K sets, Notre Dame Journal of Formal Logic, vol. 50 (2010), no. 4, pp. 381391.
[68] Miller, Joseph S. and Nies, André, Randomness and computability: open questions, this Bulletin, vol. 12 (2006), no. 3, pp. 390410.
[69] Miller, Joseph S. and Yu, Liang, On initial segment complexity and degrees of randomness, Transactions of the American Mathematical Society, vol. 360 (2008), no. 6, pp. 31933210.
[70] Miller, Joseph S. and Yu, Liang, Oscillation in the initial segment complexity of random reals, Advances in Mathematics, vol. 226 (2011), no. 6, pp. 48164840.
[71] Muchnik, Andrei A. and Positselsky, Semen Ye., Kolmogorov entropy in the context of computability theory, Theoretical Computer Science, vol. 271 (2002), no. 1–2, pp. 1535.
[72] Nies, André, Lowness properties and randomness, Advances in Mathematics, vol. 197 (2005), no. 1, pp. 274305.
[73] Nies, André, Computability and randomness, Oxford University Press, 2009.
[74] Nies, André, Stephan, Frank, and Terwijn, Sebastiaan A., Randomness, relativization and Turing degrees, The Journal of Symbolic Logic, vol. 70 (2005), no. 2, pp. 515535.
[75] Odifreddi, Piergiorgio, Classical recursion theory, vol. I, North-Holland, 1989.
[76] Raichev, Alexander and Stephan, Frank, A minimal rK-degree, In Goncharov et al. [47], pp. 261270.
[77] Reimann, Jan and Stephan, Frank, Hierarchies of randomness tests, In Goncharov, et al.[47], pp. 215232.
[78] Sacks, Gerald E., On the degrees less than 0′, Annals of Mathematics. Second Series, vol. 77 (1963), pp. 211231.
[79] Sacks, Gerald E., The recursively enumerable degrees are dense, Annals of Mathematics. Second Series , vol. 80 (1964), pp. 300312.
[80] Sgall, Jiri, Pultr, Ales, and Kolman, Petr (editors), Mathematical Foundations of Computer Science 2001, Lecture Notes in Computer Science, vol. 2136, Springer, 2001.
[81] Soare, Robert I., Recursively enumerable sets and degrees, Perspectives in Mathematical Logic, Springer, 1987, A study of computable functions and computably generated sets.
[82] Solomonoff, Ray J., A formal theory of inductive inference. I, Information and Control, vol. 7 (1964), pp. 122.
[83] Solovay, R., Handwritten manuscript related to Chaitin's work, 1975, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 215 pages.
[84] Sterkenburg, Tom, Sequences with trivial initial segment complexity, MSc dissertation, University of Amsterdam, 02 2011.
[85] Turing, Alan M., Systems of logic based on ordinals, Proceedings of the London Mathematical Society. Third Series , vol. 45 (1939), pp. 161228.

Related content

Powered by UNSILO

Algorithmic Randomness and Measures of Complexity

  • George Barmpalias (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.