RESUMO
Can every physical system simulate any Turing machine? This is a classical problem that is intimately connected with the undecidability of certain physical phenomena. Concerning fluid flows, Moore [C. Moore, Nonlinearity 4, 199 (1991)] asked if hydrodynamics is capable of performing computations. More recently, Tao launched a program 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 to quantum-field theories. To the best of our knowledge, the existence of undecidable particle paths of three-dimensional fluid flows has remained an elusive open problem since Moore's works in the early 1990s. In this article, we construct a Turing complete stationary Euler flow on a Riemannian [Formula: see text] and speculate on its implications concerning Tao's approach to the blow-up problem in the Navier-Stokes equations.
RESUMO
We prove that any regular integral invariant of volume-preserving transformations is equivalent to the helicity. Specifically, given a functional I defined on exact divergence-free vector fields of class C(1) on a compact 3-manifold that is associated with a well-behaved integral kernel, we prove that I is invariant under arbitrary volume-preserving diffeomorphisms if and only if it is a function of the helicity.
RESUMO
We construct analytically, a new family of null solutions to Maxwell's equations in free space whose field lines encode all torus knots and links. The evolution of these null fields, analogous to a compressible flow along the Poynting vector that is shear free, preserves the topology of the knots and links. Our approach combines the construction of null fields with complex polynomials on S3. We examine and illustrate the geometry and evolution of the solutions, making manifest the structure of nested knotted tori filled by the field lines.