arXiv subjects
Publications and source records attributed to Eva Miranda.
We prove that, given any contact $3$-manifold and any computable function $f: \mathbb{N} \dashrightarrow \mathbb{N}$, there exists a defining contact form and a Poincar\'e section of its Reeb flow whose partially defined return map computes $f$.
Cosymplectic manifolds provide a natural geometric framework for codimension-one symplectic foliations and arise throughout geometry and mathematical physics. We develop an equivariant cohomological theory for cosymplectic manifolds, studying the role of symmetry in their topology and their connections to Poisson geometry. Reinterpreting the obstruction theory of Guillemin, Miranda, and Pires, we introduce equivariant obstruction classes for group actions preserving the foliation and characterize the existence of invariant cosymplectic structures. We further show that the vanishing of the first obstruction class is equivalent to equivariant unimodularity of the associated Poisson structure, extending a classical criterion to the equivariant setting via Ginzburg's framework for equivariant Poisson cohomology. For compact cosymplectic manifolds fibering over $\mathbb{S}^1$, we construct equivariant versions of de Rham, foliated, and Poisson cohomologies, establishing formality results in each case via an equivariant Wang sequence. The key input is Kirwan's formality theorem for Hamiltonian actions on the symplectic fiber, which, through the equivariant Wang sequence, yields a complete and computable description of all three equivariant cohomology theories in terms of the monodromy action on the fiber.
We develop a theory of Hamiltonian group actions on cosymplectic manifolds. These odd-dimensional manifolds combine a codimension-one symplectic foliation with a distinguished Reeb direction, and arise naturally both in stable Hamiltonian geometry and as critical hypersurfaces of $b$-symplectic manifolds. Our approach is based on a compact symplectic thickening process: every cosymplectic manifold $(M,\alpha,\beta)$ gives rise to a symplectic manifold $(M\times \mathbb{S}^1,\ \beta + \mathrm{d}\theta\wedge\alpha)$. We prove that Hamiltonian cosymplectic actions lift canonically to Hamiltonian symplectic actions on this symplectic manifold. This provides a systematic bridge between equivariant symplectic geometry and the cosymplectic setting. Using this bridge, we establish cosymplectic analogues of convexity theorems for torus actions, Delzant theorem for toric actions, ABBV localization, Duistermaat-Heckman formulas, and Kirwan surjectivity. The resulting formulas are not merely formal pullbacks from the symplectic case: the Reeb direction appears explicitly through the factor $\alpha$, and, in the mapping-torus case, the localization and volume formulas are governed by the modular period together with the equivariant geometry of the symplectic fiber. We also explain how these results apply to Hamiltonian geometry on the critical hypersurfaces of $b$-symplectic manifolds.
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 naturally as limits of smooth Hamiltonian systems under steep confining potentials. By invoking the undecidability of the halting problem, originally established by Turing, our results show that undecidable trajectories arise in physically natural billiard-type models, including models associated with hard-sphere gases and with collision-chain limits in celestial mechanics.
The relationship between computational models and dynamics has captivated mathematicians and computer scientists since the earliest conceptualizations of computation. Recently, this connection has gained renewed attention, fueled by T. Tao's programme aiming to discover blowing-up solutions of the Navier-Stokes equations using an embedded computational model. In this survey paper, we review some of the recent works that introduce novel and exciting perspectives on the representation of computability through dynamical systems. Starting from dynamical universality in a classical sense, we shall explore the modern notions of Turing universality in fluid dynamics and Topological Kleene Field Theories as a systematic way of representing computable functions by means of dynamical bordisms. Finally, we will discuss some important open problems in the area.
In this article, we construct stationary solutions to the Navier-Stokes equations on certain Riemannian $3$-manifolds that exhibit Turing completeness, in the sense that they are capable of performing universal computation. This universality arises on manifolds admitting nonvanishing harmonic 1-forms, thus showing that computational universality is not obstructed by viscosity, provided the underlying geometry satisfies a mild cohomological condition. The proof makes use of a correspondence between nonvanishing harmonic $1$-forms and cosymplectic geometry, which extends the classical correspondence between Beltrami fields and Reeb flows on contact manifolds.
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 metric for this functional. This is the case if and only if either the manifold is co-K\"ahler or if it is a mapping torus of the 2-torus by a hyperbolic toral automorphism and equipped with a suspension cosymplectic structure. Moreover, any critical metric has minimal energy among all compatible metrics. We also exhibit examples of manifolds with first Betti number $b_1 \geq 2$ admitting cosymplectic structures, but such that no cosymplectic structure admits a critical compatible metric.
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 partial recursive functions and drawing parallels with Topological Field Theory. Our central result shows that any computable function can be simulated by the flow on a smooth bordism of a vector field with good local properties, setting an alternative model of computation to Turing machines. We thus establish that a computable function can be fully realized within a single go of a dynamical system, differing from previous works where computation is encoded as an iterative process. The output of the computable function emerges directly, laying the groundwork for potential applications that accelerate the physical realization of computation.
Logarithmic and $b$-tangent bundles provide a versatile framework for addressing singularities in geometry. Introduced by Deligne and Melrose, these modified bundles resolve singularities by reframing singular vector fields as well-behaved sections of these singular bundles. This approach has gained significant attention in symplectic geometry, particularly through its applications to the study of Poisson manifolds that are symplectic away from a hypersurface ($b^m$-symplectic forms). In this article, we investigate the conditions under which these singular tangent bundles are isomorphic to the tangent bundle or other singular bundles, analyzing in detail the low-dimensional case and the case of spheres. We also examine the existence of geometric structures in light of these conditions. Furthermore, we establish a Poincar\'e-Hopf theorem for the $b^m$-tangent bundle, offering new insights into the interplay between singular structures and topological invariants.
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 a class of systems related to the restricted three-body problem by defining and computing its Lagrangian Rabinowitz Floer homology. The main technical work goes into dealing with the noncompactness of the corresponding energy hypersurfaces.
In recent years, $b$-symplectic manifolds have become important structures in the study of symplectic geometry, serving as Poisson manifolds that retain symplectic properties away from a hypersurface. Inspired by this rich landscape, $E$-structures were introduced by Nest and Tsygan in \cite{NT2} as a comprehensive framework for exploring generalizations of $b$-structures. This paper initiates a deeper investigation into their Poisson facets, building on foundational work by \cite{MS21}. We also examine the closely related concept of almost regular Poisson manifolds, as studied in \cite{AZ17}, which reveals a natural Poisson groupoid associated with these structures. In this article, we investigate the intricate relationship between $E$-structures and almost regular Poisson structures. Our comparative analysis not only scrutinizes their Poisson properties but also offers explicit formulae for the Poisson structure on the Poisson groupoid associated to the $E$-structures as both Poisson manifolds and singular foliations. In doing so, we reveal an interesting link between the existence of commutative frames and Darboux-Carath\'eodory-type expressions for the relevant structures.
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.
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 Turing machines" (which includes most of the known examples of universal Turing machines) has positive topological entropy. Motivated by the recent construction of Turing complete Euler flows, we deduce that any Turing complete dynamics with a continuous encoding that simulates a universal branching machine is chaotic. On the other hand, we show that, unexpectedly, universal Turing machines with zero topological entropy (and even zero speed) can be constructed, unveiling the independence of chaos and universality at the symbolic level.
We establish analogs of the Darboux, Moser and Weinstein theorems for prequantum systems. We show that two prequantum systems on a manifold with vanishing first cohomology, with symplectic forms defining the same cohomology class and homotopic to each other within that class, differ only by a symplectomorphism and a gauge transformation. As an application, we show that the Bohr-Sommerfeld quantization of prequantum system on a manifold with trivial first cohomology is independent of the choice of the connection.
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 be prescribed. These constructions illuminate some key properties of escape orbits and singular periodic orbits, which play a central role in formulating singular counterparts to the Weinstein conjecture and the Hamiltonian Seifert conjecture. In fact, we prove that the above-mentioned constructions lead to counterexamples of these conjectures as stated in [23]. Our construction shows that there are b-contact manifolds with no singular periodic orbit and no regular periodic orbit away from Z. We do not know whether there are constructions with no generalized escape orbits whose $\alpha$ and $\omega$-limits both lie on Z (a generalized singular periodic orbit). This is the content of the generalized Weinstein conjecture.
We prove that the correspondence between Reeb and Beltrami vector fields can be made equivariant whenever additional symmetries of the underlying geometric structures are considered. As a corollary of this correspondence, we show that energy levels above the maximum of the potential energy of mechanical Hamiltonian systems can be viewed as stationary fluid flows, though the metric is not prescribed. In particular, we showcase the emblematic example of the $n$-body problem and focus on the Kepler problem. We explicitly construct a compatible Riemannian metric that makes the Kepler problem of celestial mechanics a stationary fluid flow (of Beltrami type) on a suitable manifold, the Kepler-Euler flow.
In this article, we introduce $b$-semitoric systems as a generalization of semitoric systems, specifically tailored for $b$-symplectic manifolds. The objective of this article is to furnish a collection of examples and investigate the distinctive characteristics of these systems. A $b$-semitoric system is a 4-dimensional $b$-integrable system that satisfies certain conditions: one of its momentum map components is proper and generates an effective global $S^1$-action, and all singular points are non-degenerate and devoid of hyperbolic components. To illustrate this concept, we provide five examples of $b$-semitoric systems by modifying the coupled spin oscillator and the coupled angular momenta, and we also classify their singular points. Additionally, we describe the dynamics of these systems through the image of their respective momentum maps.
In this short note, we prove that singular Reeb vector fields associated with generic $b$-contact forms have either (at least) $2N$ or an infinite number of escape orbits, where $N$ denotes the number of connected components of the critical set.