Constructing Turing complete Euler flows in dimension 3
Visualitza/Obre
Cita com:
hdl:2117/359295
Tipus de documentArticle
Data publicació2021-05-11
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
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 S3 and speculate on its implications concerning Tao's approach to the blow up problem in the Navier-Stokes equations.
Descripció
Published under the PNAS license
CitacióCardona, R. [et al.]. Constructing Turing complete Euler flows in dimension 3. "Proceedings of the National Academy of Sciences of the United States of America", 11 Maig 2021, vol. 118, núm. 19, p. e2026818118: 1-e2026818118: 9.
ISSN1091-6490
Versió de l'editorhttps://www.pnas.org/content/118/19/e2026818118
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Universal3DnewV7postedonpnas.pdf | 228,7Kb | Visualitza/Obre |