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
- arXiv Links
- Abstract ↗PDF ↗
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.