Abstract
Merkle et al. (Ann. Pure Appl. Logic 138(1–3):183–210, 2006) showed that all Kolmogorov-Loveland stochastic infinite binary sequences have constructive Hausdorff dimension 1. In this paper, we go even further, showing that from an infinite sequence of dimension less than \(\mathcal {H}(\frac {1}{2}+\delta)\) (ℋ being the Shannon entropy function) one can extract by an effective selection rule a biased subsequence with bias at least δ. We also prove an analogous result for finite strings.
Similar content being viewed by others
References
Ambos-Spies, K., Mayordomo, E., Wang, Y., Zheng, X.: Resource-bounded balanced genericity, stochasticity and weak randomness. In: Symposium on Theoretical Aspects of Computer Science (STACS 1996). Lecture Notes in Computer Science, vol. 1046, pp. 63–74. Springer, Berlin (1996)
Asarin, E.: Some properties of Kolmogorov Δ-random sequences. Theory Probab. Appl. 32, 507–508 (1987)
Downey, R., Hirschfeldt, D.: Algorithmic Randomness and Complexity. Springer, in preparation
Downey, R., Merkle, W., Reimann, J.: Schnorr dimension. In: Springer (ed.) Conference on Computability in Europe (CiE 2005). Lecture Notes in Computer Science, vol. 3526, pp. 96–105. Springer, Berlin (2005)
Durand, B., Vereshchagin, N.: Kolmogorov-Loveland stochasticity for finite strings. Inf. Process. Lett. 91(6), 263–269 (2004)
Falconer, K.: The Geometry of Fractal Sets. Cambridge University Press, Cambridge (1985)
Hausdorff, F.: Dimension und äusseres mass. Math. Ann. 79, 157–179 (1919)
Li, M., Vitanyi, P.: An Introduction to Kolmogorov Complexity and Its Applications, 2nd edn. Graduate Texts in Computer Science. Springer, Berlin (1997)
Lutz, J.: Dimension in complexity classes. SIAM J. Comput. 32, 1236–1259 (2003)
Lutz, J.: The dimensions of individual strings and sequences. Inf. Comput. 187, 49–79 (2003)
Mayordomo, E.: A Kolmogorov complexity characterization of constructive Hausdorff dimension. Inf. Process. Lett. 84, 1–3 (2002)
Merkle, W.: The Kolmogorov-Loveland stochastic sequences are not closed under selecting subsequences. J. Symb. Log. 68, 1362–1376 (2003)
Merkle, W., Miller, J.S., Nies, A., Reimann, J., Stephan, F.: Kolmogorov-Loveland randomness and stochasticity. Ann. Pure Appl. Log. 138(1–3), 183–210 (2006)
Muchnik, A.A., Semenov, A., Uspensky, V.: Mathematical metaphysics of randomness. Theor. Comput. Sci. 207(2), 263–317 (1998)
Schnorr, C.: Zufälligkeit und Wahrscheinlichkeit. Lecture Notes in Mathematics, vol. 218. Springer, Berlin-Heidelberg-New York (1971)
Shen, A.: On relations between different algorithmic definitions of randomness. Sov. Math. Dokl. 38, 316–319 (1989)
van Lambalgen, M.: Random sequences. Ph.D. thesis, University of Amsterdam, Amsterdam (1987)
Zvonkin, A., Levin, L.: The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms. Russ. Math. Surv. 25(6), 83–124 (1970)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bienvenu, L. Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity. Theory Comput Syst 46, 598–617 (2010). https://doi.org/10.1007/s00224-009-9232-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-009-9232-4