Effective Fractal Dimension in Algorithmic Information Theory

  • Elvira Mayordomo

Effective fractal dimension was defined by Lutz (2003) in order to quantitatively analyze the structure of complexity classes, but then interesting connections of effective dimension with information theory were also found, justifying the long existent intuition that dimension is an information content measure. Considering different bounds on computing power that range from finite memory to constructibility, including time-bounded and space-bounded computations, we review all known characterizations of effective dimension that support the thesis that effective dimensions capture what can be considered the inherent information content of a sequence in each setting.


Compression Ratio Hausdorff Dimension Complexity Class Fractal Geometry Effective Dimension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    K. B. Athreya, J. M. Hitchcock, J. H. Lutz, and E. Mayordomo. Effective strong di-mension in algorithmic information and computational complexity. SIAM Journal on Computing. To appear.Google Scholar
  2. 2.
    C. Bourke, J. M. Hitchcock, and N. V. Vinodchandran. Entropy rates and finite-state dimension. Theoretical Computer Science, 349:392-406, 2005.MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    J. Cai and J. Hartmanis. On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line. Journal of Computer and Systems Sciences, 49:605-619, 1994.MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    C. S. Calude, L. Staiger, and S. A. Terwijn. On partial randomness. Annals of Pure and Applied Logic, 138:20-30, 2006.MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    W. S., Cassels. On a problem of Steinhaus about normal numbers. Colloquium Mathematicum, 7:95-101, 1959.MATHMathSciNetGoogle Scholar
  6. 6.
    J. J. Dai, J. I. Lathrop, J. H. Lutz, and E. Mayordomo. Finite-state dimension. Theoretical Computer Science, 310:1-33, 2004.MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    D. Doty. Dimension extractors. Technical Report cs.CC/0606078, Computing Research Repository, 2006.Google Scholar
  8. 8.
    D. Doty. Every sequence is decompressible from a random one. In Proceedings of Second Conference on Computability in Europe, Lecture Notes in Computer Science, pages 153-162. Springer-Verlag, 2006.Google Scholar
  9. 9.
    D. Doty, J. H. Lutz, and S. Nandakumar. Finite-state dimension and real arithmetic. In Proceedings of the 33rd International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science. Springer-Verlag, 2006.Google Scholar
  10. 10.
    D. Doty and P. Moser. Personal communication, based on [67]. 2006.Google Scholar
  11. 11.
    R. Downey and D. Hirschfeldt. Algorithmic Randomness and Complexity. Book Draft, 2006.Google Scholar
  12. 12.
    G. A. Edgar. Integral, Probability, and Fractal Measures. Springer-Verlag, 1998.Google Scholar
  13. 13.
    G. A. Edgar. Measure, Topology, and Fractal Geometry. Springer-Verlag, 1990.Google Scholar
  14. 14.
    H.G. Eggleston. The fractional dimension of a set defined by decimal properties. Quarterly Journal of Mathematics, Oxford Series 20:31-36, 1949.CrossRefMathSciNetGoogle Scholar
  15. 15.
    K. Falconer. The Geometry of Fractal Sets. Cambridge University Press, 1985.Google Scholar
  16. 16.
    K. Falconer. Fractal Geometry: Mathematical Foundations and Applications. John Wiley & Sons, 2003.Google Scholar
  17. 17.
    K. Falconer. Techniques in Fractal Geometry. John Wiley & Sons, 2003.Google Scholar
  18. 18.
    M. Feder. Gambling using a finite state machine. IEEE Transactions on Information Theory, 37:1459-1461, 1991.CrossRefMathSciNetGoogle Scholar
  19. 19.
    H. Federer. Geometric Measure Theory. Springer-Verlag, 1969.Google Scholar
  20. 20.
    L. Fortnow and J. H. Lutz. Prediction and dimension. Journal of Computer and System Sciences. To appear. Preliminary version appeared in Proceedings of the 15th Annual Conference on Computational Learning Theory, LNCS 2375, pages 380-395, 2002.MathSciNetGoogle Scholar
  21. 21.
    X. Gu, J. H. Lutz, and E. Mayordomo. Points on computable curves. In Proceedings of the Forty-Seventh Annual IEEE Symposium on Foundations of Computer Science, 2006. To appear.Google Scholar
  22. 22.
    X. Gu and J. H. Lutz. Dimension characterizations of complexity classes. In Proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, pages 471-479. Springer-Verlag, 2006.Google Scholar
  23. 23.
    F. Hausdorff. Dimension und äußeres Maß. Math. Ann., 79:157-179, 1919.CrossRefMathSciNetGoogle Scholar
  24. 24.
    J. Hitchcock. Correspondence principles for effective dimensions. In Proceedings of the29th Colloquium on Automata, Languages and Programming. Springer Lecture Notes in Computer Science, 2002. To appear.Google Scholar
  25. 25.
    J. M. Hitchcock. Effective Fractal Dimension: Foundations and Applications. PhD thesis, Iowa State University, 2003.Google Scholar
  26. 26.
    J. M. Hitchcock. Fractal dimension and logarithmic loss unpredictability. TheoreticalComputer Science, 304(1-3):431-441, 2003.MATHMathSciNetGoogle Scholar
  27. 27.
    J. M. Hitchcock, J. H. Lutz, and E. Mayordomo. Scaled dimension and nonuniform complexity. Journal of Computer and System Sciences, 69:97-122, 2004.MATHCrossRefMathSciNetGoogle Scholar
  28. 28.
    J. M. Hitchcock, J. H. Lutz, and E. Mayordomo. The fractal geometry of complexity classes. SIGACT News Complexity Theory Column, 36:24-38, 2005.Google Scholar
  29. 29.
    J. M. Hitchcock and N. V. Vinodchandran. Dimension, entropy rates, and compression. Journal of Computer and System Sciences, 72(4):760-782, 2006. MATHCrossRefMathSciNetGoogle Scholar
  30. 30.
    J. M. Hitchcock. Effective fractal dimension bibliography. jhitchco/bib/dim.shtml.
  31. 31.
    J. M. Hitchcock. Online learning and resource-bounded dimension: Winnow yields new lower bounds for hard sets. SIAM Journal on Computing, 2006. To appear.Google Scholar
  32. 32.
    J. M. Hitchcock, M. López-Valdés, and E. Mayordomo. Scaled dimension and the Kolmogorov complexity of Turing-hard sets. In Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, volume 3153 of Lecture Notes in Computer Science, pages 476-487. Springer-Verlag, 2004.Google Scholar
  33. 33.
    J. M. Hitchcock and E. Mayordomo. Base invariance of feasible dimension. Manuscript, 2003.Google Scholar
  34. 34.
    D. A. Huffman. Canonical forms for information-lossless finite-state logical machines. IRE Trans. Circuit Theory CT-6 (Special Supplement), pages 41-59, 1959. Also available in E.F. Moore (ed.), Sequential Machine: Selected Papers, Addison-Wesley, 1964, pages 866-871.Google Scholar
  35. 35.
    Z. Kohavi. Switching and Finite Automata Theory (Second Edition). McGraw-Hill, 1978.Google Scholar
  36. 36.
    A. A. Kurmit. Information-Lossless Automata of Finite Order. Wiley, 1974.Google Scholar
  37. 37.
    A. Lempel and J. Ziv. Compression of individual sequences via variable rate coding. IEEE Transaction on Information Theory, 24:530-536, 1978.MATHCrossRefMathSciNetGoogle Scholar
  38. 38.
    P. Lévy. Propriétés asymptotiques des sommes de variables indépendantes ou enchainées. Journal des mathématiques pures et appliquées. Series 9, 14(4):347-402, 1935.MATHGoogle Scholar
  39. 39.
    P. Lévy. Théorie de l’Addition des Variables Aleatoires. Gauthier-Villars, 1937 (second edition 1954).Google Scholar
  40. 40.
    M. Li and P. M. B. Vitányi. An Introduction to Kolmogorov Complexity and its Applications (Second Edition). Springer-Verlag, 1997.Google Scholar
  41. 41.
    M. López-Valdés and E. Mayordomo. Dimension is compression. In Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, volume 3618 of Lecture Notes in Computer Science, pages 676-685. Springer-Verlag, 2005.Google Scholar
  42. 42.
    J. H. Lutz. Almost everywhere high nonuniform complexity. Journal of Computer and System Sciences, 44(2):220-258, 1992.MATHCrossRefMathSciNetGoogle Scholar
  43. 43.
    J. H. Lutz. The quantitative structure of exponential time. In L. A. Hemaspaandra and A. L. Selman, editors, Complexity Theory Retrospective II, pages 225-254. SpringerVerlag, 1997.Google Scholar
  44. 44.
    J. H. Lutz. Resource-bounded measure. In Proceedings of the 13th IEEE Conference on Computational Complexity, pages 236-248, 1998.Google Scholar
  45. 45.
    J. H. Lutz. Dimension in complexity classes. SIAM Journal on Computing, 32:1236-1259,2003.MATHCrossRefMathSciNetGoogle Scholar
  46. 46.
    J. H. Lutz. The dimensions of individual strings and sequences. Information and Computation, 187:49-79, 2003.MATHCrossRefMathSciNetGoogle Scholar
  47. 47.
    J. H. Lutz and E. Mayordomo. Dimensions of points in self-similar fractals. Abstract published in the Proceedings of the Third International Conference on Computability and Complexity in Analysis.Google Scholar
  48. 48.
    P. Martin-Löf. The definition of random sequences. Information and Control, 9:602-619, 1966.CrossRefMathSciNetGoogle Scholar
  49. 49.
    P. Matilla. Geometry of Sets and Measures in Euclidean Spaces: Fractals and Rectifiability. Cambridge University Press, 1995.Google Scholar
  50. 50.
    E. Mayordomo. A Kolmogorov complexity characterization of constructive Hausdorff dimension. Information Processing Letters, 84(1):1-3, 2002.MATHCrossRefMathSciNetGoogle Scholar
  51. 51.
    J. S. Miller and A. Nies. Randomness and computability: open questions. Bulletin of Symbolic Logic, 12:390-410, 2006.MATHCrossRefMathSciNetGoogle Scholar
  52. 52.
    P. Moser. Martingale families and dimension in P. In Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, volume 3988 of Lecture Notes in Computer Science, pages 388-397. Springer-Verlag, 2006.Google Scholar
  53. 53.
    A. Nies and J. Reimann. A lower cone in the wtt degrees of non-integral effective dimen-sion. In Proceedings of IMS Workshop on Computational Prospects of Infinity, 2006. To appear.Google Scholar
  54. 54.
    J. Reimann and F. Stephan. Effective Hausdorff dimension. In Logic Colloquium ’01, number 20 in Lecture Notes in Logic, pages 369-385. Association for Symbolic Logic, 2005.Google Scholar
  55. 55.
    J. Reimann and F. Stephan. On hierarchies of randomness tests. In Proceedings of the 9th Asian Logic Conference 2005. World Scientific, 2006.Google Scholar
  56. 56.
    A. Rogers. Hausdorff Measures. Cambridge University Press, 1998. Originally published in 1970.Google Scholar
  57. 57.
    B. Ya. Ryabko. Coding of combinatorial sources and Hausdorff dimension. Soviets Mathematics Doklady, 30:219-222, 1984.MATHGoogle Scholar
  58. 58.
    B. Ya. Ryabko. Noiseless coding of combinatorial sources. Problems of Information Transmission, 22:170-179, 1986.MATHGoogle Scholar
  59. 59.
    B. Ya. Ryabko. Algorithmic approach to the prediction problem. Problems of Information Transmission, 29:186-193, 1993.MathSciNetGoogle Scholar
  60. 60.
    B. Ya. Ryabko. The complexity and effectiveness of prediction problems. Journal of Complexity, 10:281-295, 1994.MATHCrossRefMathSciNetGoogle Scholar
  61. 61.
    C. P. Schnorr. Klassifikation der Zufallsgesetze nach Komplexität und Ordnung. Z. Wahrscheinlichkeitstheorie verw. Geb., 16:1-21, 1970.MATHCrossRefMathSciNetGoogle Scholar
  62. 62.
    C. P. Schnorr. A unified approach to the definition of random sequences. Mathematical Systems Theory, 5:246-258, 1971.MATHCrossRefMathSciNetGoogle Scholar
  63. 63.
    C. P. Schnorr. Zufälligkeit und Wahrscheinlichkeit. Lecture Notes in Mathematics, 218, 1971.Google Scholar
  64. 64.
    C. P. Schnorr. Process complexity and effective random tests. Journal of Computer and System Sciences, 7:376-388, 1973.MATHCrossRefMathSciNetGoogle Scholar
  65. 65.
    C. P. Schnorr. A survey of the theory of random sequences. In R. E. Butts and J. Hintikka, editors, Basic Problems in Methodology and Linguistics, pages 193-210. D. Reidel, 1977.Google Scholar
  66. 66.
    C. P. Schnorr and H. Stimm. Endliche automaten und zufallsfolgen. Acta Informatica, 1:345-359, 1972. MATHCrossRefMathSciNetGoogle Scholar
  67. 67.
    D. Sheinwald, A. Lempel, and J. Ziv. On compression with two-way head machines. In Data Compression Conference, pages 218-227, 1991.Google Scholar
  68. 68.
    L. Staiger. Kolmogorov complexity and Hausdorff dimension. Information and Computation, 103:159-94, 1993.MATHCrossRefMathSciNetGoogle Scholar
  69. 69.
    L. Staiger. A tight upper bound on Kolmogorov complexity and uniformly optimal prediction. Theory of Computing Systems, 31:215–29, 1998.MATHCrossRefMathSciNetGoogle Scholar
  70. 70.
    F. Stephan. Hausdorff-dimension and weak truth-table reducibility. Technical Report TR52/05, National University of Singapore, School of Computing, 2005.Google Scholar
  71. 71.
    D. Sullivan. Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups. Acta Mathematica, 153:259–277, 1984.MATHCrossRefMathSciNetGoogle Scholar
  72. 72.
    K. Tadaki. A generalization of Chaitin’s halting probability ω and halting self-similar sets. Hokkaido Mathematical Journal, 31:219–253, 2002.MATHMathSciNetGoogle Scholar
  73. 73.
    C. Tricot. Two definitions of fractional dimension. Mathematical Proceedings of the Cambridge Philosophical Society, 91:57–74, 1982.MATHCrossRefMathSciNetGoogle Scholar
  74. 74.
    J. Ville. Étude Critique de la Notion de Collectif. Gauthier–Villars, 1939.Google Scholar
  75. 75.
    A. K. Zvonkin and L. A. Levin. The complexity of finite objects and the development of the concepts of information and randomness by means of the theory of algorithms. Russian Mathematical Surveys, 25:83–124, 1970.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  • Elvira Mayordomo
    • 1
  1. 1.Departamento de Informática e Ingeniería de SistemasUniversidad de ZaragozaSpain

Personalised recommendations