Constructing Turing complete Euler flows in dimension $3$

Abstract

Can every physical system simulate any Turing machine? This is a classical problem which is intimately connected with the undecidability of certain physical phenomena. Concerning fluid flows, Moore asked in [15] if hydrodynamics is capable of performing computations. More recently, Tao launched a programme based on the Turing completeness of the Euler equations to address the blow up problem in the Navier-Stokes equations. In this direction, the undecidability of some physical systems has been studied in recent years, from the quantum gap problem [7] to quantum field theories [11]. To the best of our knowledge, the existence of undecidable particle paths of 3D fluid flows has remained an elusive open problem since Moore's works in the early 1990's. In this article we construct a Turing complete stationary Euler flow on a Riemannian $S^3$ and speculate on its implications concerning Tao's approach to the blow up problem in the Navier-Stokes equations.

minor changes, 16 pages, 2 figures

References in corpus (7)

• Undecidability of the Spectral Gap (short version)
• Contact Topology and Hydrodynamics
• Universality of Euler flows and flexibility of Reeb embeddings
• A characterization of 3D steady Euler flows using commuting zero-flux homologies
• A note on the stationary Euler equations of hydrodynamics
• Euler flows and singular geometric structures
• On the universality of the incompressible Euler equation on compact manifolds, II. Non-rigidity of Euler flows

Cited by in corpus (13)

• Universality of Euler flows and flexibility of Reeb embeddings
• Computability and Beltrami fields in Euclidean space
• Turing universality of the incompressible Euler equations and a conjecture of Moore
• Existence of global symmetries of divergence-free fields with first integrals
• Undecidability in Physics: a Review
• Normal Forms and Near-Axis Expansions for Beltrami Magnetic Fields
• Steady Euler flows on ${\mathbb{R}}^3$ with wild and universal dynamics
• On Computational Poisson Geometry I: Symbolic Foundations
• Quantum-Fluid Correspondence in Relativistic Fluids with Spin: From Madelung Form to Gravitational Coupling
• Singular cotangent models and complexity in fluids with dissipation
• Towards a Fluid computer
• Robust non-computability of dynamical systems and computability of robust dynamical systems
• On the algorithmic descriptive complexity of attractors in topological dynamics