Back to search
2012.12828

CONSTRUCTING TURING COMPLETE EULER FLOWS IN DIMENSION 3

Robert Cardona, Eva Miranda, Daniel Peralta-Salas, Francisco Presas

correcthigh confidence
Category
Not specified
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:55 AM

Audit review

The uploaded paper proves the exact statement in question. It constructs (i) a C∞ area-preserving disk diffeomorphism, equal to the identity near the boundary, that is Turing complete (Theorem 6.2), and (ii) realizes it as a global disk-like section/return map of a Reeb flow on S^3, then uses the contact–Beltrami correspondence to obtain a stationary Euler flow whose metric equals the round metric outside a solid torus (Theorem 7.1). This directly resolves the problem and supplies the model’s missing ingredient (C). See Theorem 6.2 and Theorem 7.1 in the paper, as well as the contact/Beltrami and realization mechanisms (Theorems 3.2 and 4.1) that mirror the model’s Steps 1–4, including the “round outside a torus” metric claim . The model declares the result “likely open as of cutoff” and leaves the solution conditional on (C), but the paper provides (C) and completes the construction.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The main theorem achieves a long-sought 3D realization of Turing completeness for steady Euler flows on S\^3 with geometric control. The blend of symbolic dynamics, contact topology, and hydrodynamics is executed cleanly, and the construction is explicit at the level claimed. Minor clarifications would further aid readability and reproducibility.