Topological entropy of Turing complete dynamics
Abstract
We explore the relationship between Turing completeness and topological entropy of dynamical systems. We first prove that a natural class of Turing machines that we call "branching Turing machines" (which includes most of the known examples of universal Turing machines) has positive topological entropy. Motivated by the recent construction of Turing complete Euler flows, we deduce that any Turing complete dynamics with a continuous encoding that simulates a universal branching machine is chaotic. On the other hand, we show that, unexpectedly, universal Turing machines with zero topological entropy (and even zero speed) can be constructed, unveiling the independence of chaos and universality at the symbolic level.
Cite
@article{arxiv.2404.07288,
title = {Topological entropy of Turing complete dynamics},
author = {Renzo Bruera and Robert Cardona and Eva Miranda and Daniel Peralta-Salas and Ville Salo},
journal= {arXiv preprint arXiv:2404.07288},
year = {2026}
}
Comments
25 pages, 3 figures. Appendix merged into the body of the article (consequently, Ville Salo was added as an author), overall improvement of the exposition