FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3211472008> ?p ?o ?g. }

• W3211472008 endingPage "81" @default.
• W3211472008 startingPage "50" @default.
• W3211472008 abstract "In this article, we pursue our investigation of the connections between the theory of computation and hydrodynamics. We prove the existence of stationary solutions of the Euler equations in Euclidean space, of Beltrami type, that can simulate a universal Turing machine. In particular, these solutions possess undecidable trajectories. Heretofore, the known Turing complete constructions of steady Euler flows in dimension 3 or higher were not associated to a prescribed metric. Our solutions do not have finite energy, and their construction makes crucial use of the non-compactness of R3, however they can be employed to show that an arbitrary tape-bounded Turing machine can be robustly simulated by a Beltrami flow on T3 (with the standard flat metric). This shows that there exist steady solutions to the Euler equations on the flat torus exhibiting dynamical phenomena of (robust) computational complexity as high as desired. We also quantify the energetic cost for a Beltrami field on T3 to simulate a tape-bounded Turing machine, thus providing additional support for the space-bounded Church-Turing thesis. Another implication of our construction is that a Gaussian random Beltrami field on Euclidean space exhibits arbitrarily high computational complexity with probability 1. Finally, our proof also yields Turing complete flows and diffeomorphisms on S2 with zero topological entropy, thus disclosing a certain degree of independence within different hierarchies of complexity. Dans cet article, on poursuit la recherche des liens entre la théorie de la computation et l'hydrodynamique. On démontre l'existence de solutions stationnaires des équations d'Euler dans l'espace euclidien, de type Beltrami, qui peuvent simuler une machine de Turing universelle. En particulier, ces solutions possèdent des trajectoires indécidables. Jusqu'à présent, les constructions Turing complètes connues des écoulements d'Euler stationnaires en dimension 3 ou supérieure n'étaient pas associées à une métrique prescrite. Nos solutions ne sont pas d'énergie finie, et leur construction utilise de manière essentielle la non-compacité de R3, même si elles peuvent être utilisées pour montrer qu'une machine de Turing arbitrairement bornée peut être simulée de manière robuste par un flot de Beltrami sur T3 (avec la métrique plate standard). Cela montre l'existence de solutions stationnaires aux équations d'Euler sur le tore plat présentant des phénomènes dynamiques à complexité computationnelle (robuste) arbitraire. On quantifie le coût énergétique d'un champ de Beltrami sur T3 pour simuler une machine de Turing avec une bande bornée, fournissant ainsi un support supplémentaire pour la thèse de Church-Turing à espace borné. Une autre conséquence de notre construction est qu'un champ de Beltrami gaussien aléatoire sur l'espace euclidien présente une complexité computationnelle arbitrairement élevée à probabilité 1. Enfin, notre preuve produit également des flots et des difféomorphismes complets de Turing sur S2 à entropie topologique nulle, révélant ainsi un certain degré d'indépendance entre les différentes hiérarchies de complexité." @default.
• W3211472008 created "2021-11-22" @default.
• W3211472008 creator A5006617383 @default.
• W3211472008 creator A5077251899 @default.
• W3211472008 creator A5083887147 @default.
• W3211472008 date "2023-01-01" @default.
• W3211472008 modified "2023-10-17" @default.
• W3211472008 title "Computability and Beltrami fields in Euclidean space" @default.
• W3211472008 cites W1534134634 @default.
• W3211472008 cites W2018034650 @default.
• W3211472008 cites W2050076818 @default.
• W3211472008 cites W2065597356 @default.
• W3211472008 cites W2070417100 @default.
• W3211472008 cites W2084512612 @default.
• W3211472008 cites W2129722831 @default.
• W3211472008 cites W2161290234 @default.
• W3211472008 cites W2164846953 @default.
• W3211472008 cites W2323080069 @default.
• W3211472008 cites W2416593802 @default.
• W3211472008 cites W2947733127 @default.
• W3211472008 cites W2962987530 @default.
• W3211472008 cites W2963301429 @default.
• W3211472008 cites W2963311068 @default.
• W3211472008 cites W2963463124 @default.
• W3211472008 cites W2963891360 @default.
• W3211472008 cites W3147666566 @default.
• W3211472008 cites W3157057918 @default.
• W3211472008 doi "https://doi.org/10.1016/j.matpur.2022.11.007" @default.
• W3211472008 hasPublicationYear "2023" @default.
• W3211472008 type Work @default.
• W3211472008 sameAs 3211472008 @default.
• W3211472008 citedByCount "4" @default.
• W3211472008 countsByYear W32114720082023 @default.
• W3211472008 crossrefType "journal-article" @default.
• W3211472008 hasAuthorship W3211472008A5006617383 @default.
• W3211472008 hasAuthorship W3211472008A5077251899 @default.
• W3211472008 hasAuthorship W3211472008A5083887147 @default.
• W3211472008 hasBestOaLocation W32114720082 @default.
• W3211472008 hasConcept C11413529 @default.
• W3211472008 hasConcept C134306372 @default.
• W3211472008 hasConcept C198043062 @default.
• W3211472008 hasConcept C202444582 @default.
• W3211472008 hasConcept C29248071 @default.
• W3211472008 hasConcept C33923547 @default.
• W3211472008 hasConcept C34388435 @default.
• W3211472008 hasConcept C45374587 @default.
• W3211472008 hasConceptScore W3211472008C11413529 @default.
• W3211472008 hasConceptScore W3211472008C134306372 @default.
• W3211472008 hasConceptScore W3211472008C198043062 @default.
• W3211472008 hasConceptScore W3211472008C202444582 @default.
• W3211472008 hasConceptScore W3211472008C29248071 @default.
• W3211472008 hasConceptScore W3211472008C33923547 @default.
• W3211472008 hasConceptScore W3211472008C34388435 @default.
• W3211472008 hasConceptScore W3211472008C45374587 @default.
• W3211472008 hasFunder F4320315062 @default.
• W3211472008 hasFunder F4320321837 @default.
• W3211472008 hasFunder F4320322121 @default.
• W3211472008 hasFunder F4320335598 @default.
• W3211472008 hasLocation W32114720081 @default.
• W3211472008 hasLocation W32114720082 @default.
• W3211472008 hasLocation W32114720083 @default.
• W3211472008 hasLocation W32114720084 @default.
• W3211472008 hasLocation W32114720085 @default.
• W3211472008 hasOpenAccess W3211472008 @default.
• W3211472008 hasPrimaryLocation W32114720081 @default.
• W3211472008 hasRelatedWork W1598979804 @default.
• W3211472008 hasRelatedWork W1978402756 @default.
• W3211472008 hasRelatedWork W2018828049 @default.
• W3211472008 hasRelatedWork W2027251766 @default.
• W3211472008 hasRelatedWork W2042726902 @default.
• W3211472008 hasRelatedWork W2136053165 @default.
• W3211472008 hasRelatedWork W2370340664 @default.
• W3211472008 hasRelatedWork W2531535863 @default.
• W3211472008 hasRelatedWork W2760970427 @default.
• W3211472008 hasRelatedWork W3102909640 @default.
• W3211472008 hasVolume "169" @default.
• W3211472008 isParatext "false" @default.
• W3211472008 isRetracted "false" @default.
• W3211472008 magId "3211472008" @default.
• W3211472008 workType "article" @default.