Dice Question Streamline Icon: https://streamlinehq.com

Turing complete stationary Euler flows on standard S^3 or T^3

Determine whether there exists a Turing complete stationary solution to the incompressible Euler equations on the round three-sphere (S^3, g_round) or on the flat three-torus (T^3, g_flat).

Information Square Streamline Icon: https://streamlinehq.com

Background

The constructions reviewed include Turing complete stationary Euler flows obtained by adapting the metric on a compact manifold and Turing complete Beltrami fields in Euclidean space with the fixed Euclidean metric. However, the existence of such flows on the standard round S3 or flat T3 remains unresolved.

This problem targets the canonical metrics on S3 and T3, asking whether Turing completeness can be achieved without metric perturbation away from these standard geometries.

References

The following question remains unanswered: Does there exist a Turing complete stationary Euler flow on $(\mathbb S3,g_{round})$ or $(\mathbb T3,g_{flat})$?

Towards a Fluid computer (2405.20999 - Cardona et al., 31 May 2024) in Section 7 (Some open problems), third open problem