Towards a Fluid computer

Robert Cardona,Eva Miranda,Daniel Peralta-Salas

2024-06-01

Abstract:In 1991, Moore [20] raised a question about whether hydrodynamics is capable of performing computations. Similarly, in 2016, Tao [25] asked whether a mechanical system, including a fluid flow, can simulate a universal Turing machine. In this expository article, we review the construction in [8] of a "Fluid computer" in dimension 3 that combines techniques in symbolic dynamics with the connection between steady Euler flows and contact geometry unveiled by Etnyre and Ghrist. In addition, we argue that the metric that renders the vector field Beltrami cannot be critical in the Chern-Hamilton sense [9]. We also sketch the completely different construction for the Euclidean metric in $\mathbb R^3$ as given in [7]. These results reveal the existence of undecidable fluid particle paths. We conclude the article with a list of open problems.

Dynamical Systems,Computation and Language,Analysis of PDEs,Symplectic Geometry

What problem does this paper attempt to address?

This paper explores the question of whether fluid dynamics can perform calculations, as proposed by Moore in 1991. The authors prove the existence of undecidable fluid particle paths by constructing a 3-dimensional "fluid computer" that combines symbolic dynamics with Euler flow and the geometry of contact. They also point out that making a vector field a metric of Beltrami cannot be a critical point in the Chern-Hamilton sense. Additionally, the paper mentions a different structure in Euclidean space R3, although these solutions have infinite energy and do not correspond to physical fluid flow.

In short, the paper attempts to address the question of whether fluid dynamics can simulate a universal Turing machine, perform general computations, and whether there exist undecidable fluid paths. Through theoretical and mathematical constructions, the authors demonstrate the existence of such complexity in fluid dynamics systems, thus answering this question.