Back to search
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

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.