15 citations · 17 across the 13 of their papers we have counts for
13 papers
Computable functions as Reeb flows
Kai Cieliebak, Ángel González-Prieto, Eva Miranda
We prove that, given any contact -manifold and any computable function , there exists a defining contact form and a Poincaré section of…
Two-Dimensional Billiards Are Turing Complete
Eva Miranda, Isaac Ramos
We show that two-dimensional billiard systems can simulate universal Turing machines. Billiards serve as idealized models of particle motion with elastic reflections and arise natu…
Universality in computable dynamical systems: Old and new
Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas
The relationship between computational models and dynamics has captivated mathematicians and computer scientists since the earliest conceptualizations of computation. Recently, thi…
Turing complete Navier-Stokes steady states via cosymplectic geometry
Søren Dyhr, Ángel González-Prieto, Eva Miranda +1
In this article, we construct stationary solutions to the Navier-Stokes equations on certain Riemannian -manifolds that exhibit Turing completeness, in the sense that they are c…
Cosymplectic Chern--Hamilton conjecture
Søren Dyhr, Ángel González-Prieto, Eva Miranda +1
In this paper, we study the Chern-Hamilton energy functional on compact cosymplectic manifolds, fully classifying in dimension 3 those manifolds admitting a critical compatible met…
Topological Kleene Field Theories as a model of computation
Ángel González-Prieto, Eva Miranda, Daniel Peralta-Salas
In this article, we establish the foundations of a computational field theory, which we term Topological Kleene Field Theory (TKFT), inspired by Stephen Kleene's seminal work on pa…
Which singular tangent bundles are isomorphic?
Eva Miranda, Pablo Nicolás
Logarithmic and -tangent bundles provide a versatile framework for addressing singularities in geometry. Introduced by Deligne and Melrose, these modified bundles resolve singul…
The two-boost problem and Lagrangian Rabinowitz Floer homology
Kai Cieliebak, Urs Frauenfelder, Eva Miranda +1
The two-boost problem in space mission design asks whether two points of phase space can be connected with the help of two boosts of given energy. We provide a positive answer for…
E-structures and almost regular Poisson manifolds
Alfonso Garmendia, Eva Miranda
In recent years, -symplectic manifolds have become important structures in the study of symplectic geometry, serving as Poisson manifolds that retain symplectic properties away…
Towards a Fluid computer
Robert Cardona, Eva Miranda, Daniel Peralta-Salas
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…
Topological entropy of Turing complete dynamics
Renzo Bruera, Robert Cardona, Eva Miranda +2
We explore the relationship between Turing completeness and topological entropy of dynamical systems. We first prove that a natural class of Turing machines that we call "branching…
A counterexample to the singular Weinstein conjecture
Josep Fontana-McNally, Eva Miranda, Cédric Oms +1
In this article, we study the dynamical properties of Reeb vector fields on b-contact manifolds. We show that in dimension 3, the number of so-called singular periodic orbits can b…
Computability and Beltrami fields in Euclidean space
Robert Cardona, Eva Miranda, Daniel Peralta-Salas
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 equ…