2404.07288
Topological Entropy of Turing Complete Dynamics
Renzo Bruera, Robert Cardona, Eva Miranda, Daniel Peralta-Salas
correctmedium confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves that any regular Turing machine has positive topological entropy by building two φ-cycles with the same shift direction, concatenating the induced micro-blocks u1 and u2, and obtaining an exponential lower bound on |S(n, R_T)| (Theorem 4). The candidate solution constructs the same objects (micro-blocks per pair, macro-blocks per cycle), codes them along the ε-ray of the tape, and derives the identical exponential bound, differing only in notation (T_max vs. a) and a slightly more explicit alignment argument. No substantive logical gaps appear in either; the arguments are essentially the same.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} strong field \textbf{Justification:} The main theorem—that regularity implies positive topological entropy—is correct and presented with a clear, computable criterion. The proof is natural and broadly accessible to readers in symbolic dynamics and computability. Minor clarifications (e.g., uniqueness of concatenated block codes, the precise counting convention for τ versus the shift step) would strengthen readability but do not affect the result. The broader contextualization to Turing-complete dynamics enhances impact.