Turing complete Navier-Stokes steady states via cosymplectic geometry
By: Søren Dyhr , Ángel González-Prieto , Eva Miranda and more
Potential Business Impact:
Makes math equations compute like computers.
In this article, we construct stationary solutions to the Navier-Stokes equations on certain Riemannian $3$-manifolds that exhibit Turing completeness, in the sense that they are capable of performing universal computation. This universality arises on manifolds admitting nonvanishing harmonic 1-forms, thus showing that computational universality is not obstructed by viscosity, provided the underlying geometry satisfies a mild cohomological condition. The proof makes use of a correspondence between nonvanishing harmonic $1$-forms and cosymplectic geometry, which extends the classical correspondence between Beltrami fields and Reeb flows on contact manifolds.
Similar Papers
Uniform Boundedness of Homogeneous Incompressible Flows in $\mathbb{R}^3$
Analysis of PDEs
Solves hard math problems about moving fluids.
Hardness of computation of quantum invariants on 3-manifolds with restricted topology
Geometric Topology
Makes computers understand tricky shapes better.
Reduced order modelling of Hopf bifurcations for the Navier-Stokes equations through invariant manifolds
Computational Engineering, Finance, and Science
Predicts swirling fluid changes without slow computer tests.