Algorithmic complexity of points in dynamical systems
- 1 December 1993
- journal article
- research article
- Published by Cambridge University Press (CUP) in Ergodic Theory and Dynamical Systems
- Vol. 13 (4) , 807-830
- https://doi.org/10.1017/s0143385700007653
Abstract
This work is based on the author's dissertation. We examine the algorithmic complexity (in the sense of Kolmogorov and Chaitin) of the orbits of points in dynamical systems. Extending a theorem of A. A. Brudno, we note that for any ergodic invariant probability measure on a compact dynamical system, almost every trajectory has a limiting complexity equal to the entropy of the system. We use these results to show that for minimal dynamical systems, and for systems with the tracking property (a weaker version of specification), the set of points whose trajectories have upper complexity equal to the topological entropy is residual. We give an example of a topologically transitive system with positive entropy for which an uncountable open set of points has upper complexity equal to zero. We use techniques from universal data compression to prove a recurrence theorem: if a compact dynamical system has a unique measure of maximal entropy, then any point whose lower complexity is equal to the topological entropy is generic for that unique measure. Finally, we discuss algorithmic versions of the theorem of Kamae on preservation of the class of normal sequences under selection by sequences of zero Kamae-entropy.Keywords
This publication has 23 references indexed in Scilit:
- Algorithmic Information TheoryPublished by Cambridge University Press (CUP) ,1987
- Ergodic TheoryPublished by Cambridge University Press (CUP) ,1983
- Ergodic Theory on Compact SpacesPublished by Springer Nature ,1976
- Process complexity and effective random testsJournal of Computer and System Sciences, 1973
- Subsequences of normal sequencesIsrael Journal of Mathematics, 1973
- Constructions of strictly ergodic systemsProbability Theory and Related Fields, 1973
- THE COMPLEXITY OF FINITE OBJECTS AND THE DEVELOPMENT OF THE CONCEPTS OF INFORMATION AND RANDOMNESS BY MEANS OF THE THEORY OF ALGORITHMSRussian Mathematical Surveys, 1970
- The definition of random sequencesInformation and Control, 1966
- A formal theory of inductive inference. Part IInformation and Control, 1964
- On Computable Numbers, with an Application to the EntscheidungsproblemProceedings of the London Mathematical Society, 1937