arXiv subjects

Eva Miranda

Publications and source records attributed to Eva Miranda.

At least 37 records · Page 2Linked to original sources

arXiv2023

Universality of Euler flows and flexibility of Reeb embeddings

The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. Recently, Tao launched a programme to address the global existence problem for the Euler and Navier Stokes equations based on the concept of universality. Inspired by this proposal, in this article we prove that the stationary Euler equations exhibit several universality features. More precisely, we show that any non-autonomous flow on a compact manifold can be extended to a smooth stationary solution of the Euler equations on some Riemannian manifold of possibly higher dimension. The solutions we construct are of Beltrami type, and being stationary they exist for all time. Using this result, we establish the Turing completeness of the steady Euler flows,i.e., there exist solutions that encode a universal Turing machine and, in particular, these solutions have undecidable trajectories. Our proofs deepen the correspondence between contact topology and hydrodynamics, which is key to establish the universality of the Reeb flows and their Beltrami counterparts. An essential ingredient in the proofs, of interest in itself, is a novel flexibility theorem for embeddings in Reeb dynamics in terms of an h-principle in contact geometry, which unveils the flexible behavior of the steady Euler flows. These results can be viewed as lending support to the intuition that solutions to the Euler equations can be extremely complicated in nature.

math.DS↗

arXiv2023

Action-angle coordinates and KAM theory for singular symplectic manifolds

This monograph explores classification and perturbation problems for integrable systems on a class of Poisson manifolds called $b^m$-Poisson manifolds. Even if the class of $b^m$-Poisson manifolds is not ample enough to represent general Poisson manifolds, this investigation can be seen as a first step for the study of perturbation theory for general Poisson manifolds. We prove an action-angle coordinate and a KAM theorem for $b^m$-Poisson manifolds which improves the one obtained for $b$-Poisson manifolds for $m=1$ in [KMS16]. As an outcome of this result together with the extension of the desingularization techniques of Guillemin-Miranda-Weitsman to the realm of integrable systems, we obtain a KAM theorem for folded symplectic manifolds. We also obtain a new KAM theorem for symplectic manifolds where the perturbation keeps track of a distinguished hypersurface. In several problems in celestial mechanics, this distinguished hypersurface can be the line at infinity or can represent the collision set.

math.SG↗

arXiv2023

Constructions of b-semitoric systems

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.

math.SG↗

arXiv2023

Singular cotangent models and complexity in fluids with dissipation

In this article we analyze several mathematical models with singularities where the classical cotangent model is replaced by a $b$-cotangent model. We provide physical interpretations of the singular symplectic geometry underlying in $b$-cotangent bundles featuring two models: the canonical (or non-twisted) model and the twisted one. The first one models systems on manifolds with boundary and the twisted model represents Hamiltonian systems where the singularity of the system is in the fiber of the bundle. The twisted cotangent model includes (for linear potentials) the case of fluids with dissipation. We relate the complexity of the fluids in terms of the Reynolds number and the (non)-existence of cotangent lift dynamics. We also discuss more general physical interpretations of the twisted and non-twisted $b$-symplectic models. These models offer a Hamiltonian formulation for systems which are dissipative, extending the horizons of Hamiltonian dynamics and opening a new approach to study non-conservative systems.

math-ph↗

arXiv2023

Contact structures with singularities: from local to global

In this article we introduce and analyze in detail singular contact structures, with an emphasis on $b^m$-contact structures, which are tangent to a given smooth hypersurface $Z$ and satisfy certain transversality conditions. These singular contact structures are determined by the kernel of non-smooth differential forms, called $b^m$-contact forms, having an associated critical hypersurface $Z$. We provide several constructions, prove local normal forms, and study the induced structure on the critical hypersurface. The topology of manifolds endowed with such singular contact forms are related to smooth contact structures via desingularization. The problem of existence of $b^m$-contact structures on a given manifold is also tackled in this paper. We prove that a connected component of a convex hypersurface of a contact manifold can be realized as a connected component of the critical set of a $b^m$-contact structure. In particular, given an almost contact manifold $M$ with a hypersurface $Z$, this yields the existence of a $b^{2k}$-contact structure on $M$ realizing $Z$ as a critical set. As a consequence of the desingularization techniques in [GMW], we prove the existence of folded contact forms on any almost contact manifold.

math.SG↗

arXiv2022

Reduction theory for singular symplectic manifolds and singular forms on moduli spaces

The investigation of symmetries of b-symplectic manifolds and folded-symplectic manifolds is well-understood when the group under consideration is a torus (see, for instance, [GMPS,GLPR, GMW18a] for b-symplectic manifolds and [CGP, CM] for folded symplectic manifolds). However, reduction theory has not been set in this realm in full generality. This is fundamental, among other reasons, to advance in the "quantization commutes with reduction" programme for these manifolds initiated in [GMW18b, GMW21]. In this article, we fill in this gap and investigate the Marsden-Weinstein reduction theory under general symmetries for general $b^m$-symplectic manifolds and other singular symplectic manifolds, including certain folded symplectic manifolds. In this new framework, the set of admissible Hamiltonian functions is larger than the category of smooth functions as it takes the singularities of the differential forms into account. The quasi-Hamiltonian set-up is also considered and brand-new constructions of (singular) quasi-Hamiltonian spaces are obtained via a reduction procedure and the fusion product.

math.SG↗

arXiv2022

Computability and Beltrami fields in Euclidean space

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 $\mathbb R^3$, however they can be employed to show that an arbitrary tape-bounded Turing machine can be robustly simulated by a Beltrami flow on $\mathbb T^3$ (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 $\mathbb T^3$ 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 $\mathbb{S}^2$ with zero topological entropy, thus disclosing a certain degree of independence within different hierarchies of complexity.

math.AP↗

arXiv2022

Hamiltonian facets of classical gauge theories on $E$-manifolds

Manifolds with boundary, with corners, $b$-manifolds and foliations model configuration spaces for particles moving under constraints and can be described as $E$-manifolds. $E$-manifolds were introduced in [NT01] and investigated in depth in [MS20]. In this article we explore their physical facets by extending gauge theories to the $E$-category. Singularities in the configuration space of a classical particle can be described in several new scenarios unveiling their Hamiltonian aspects on an $E$-symplectic manifold. Following the scheme inaugurated in [Wei78], we show the existence of a universal model for a particle interacting with an $E$-gauge field. In addition, we generalize the description of phase spaces in Yang-Mills theory as Poisson manifolds and their minimal coupling procedure, as shown in [Mon86], for base manifolds endowed with an $E$-structure. In particular, the reduction at coadjoint orbits and the shifting trick are extended to this framework. We show that Wong's equations, which describe the interaction of a particle with a Yang-Mills field, become Hamiltonian in the $E$-setting. We formulate the electromagnetic gauge in a Minkowski space relating it to the proper time foliation and we see that our main theorem describes the minimal coupling in physical models such as the compactified black hole.

math-ph↗

arXiv2022

A $b$-symplectic slice theorem

In this article, motivated by the study of symplectic structures on manifolds with boundary and the systematic study of $b$-symplectic manifolds started in [12], we prove a slice theorem for Lie group actions on $b$-symplectic manifolds.

math.SG↗

arXiv2022

Bohr-Sommerfeld quantization of $b$-symplectic toric manifolds

We define the Bohr-Sommerfeld quantization via $T$-modules for a $b$-symplectic toric manifold and show that it coincides with the formal geometric quantization of [GMW18b]. In particular, we prove that its dimension is given by a signed count of the integral points in the moment polytope of the toric action on the manifold.

math.SG↗

arXiv2022

$b$-Structures on Lie groups and Poisson reduction

Motivated by the group of Galilean transformations and the subgroup of Galilean transformations which fix time zero, we introduce the notion of a $b$-Lie group as a pair $(G,H)$ where $G$ is a Lie group and $H$ is a codimension-one Lie subgroup. Such a notion allows us to give a theoretical framework for transformations of space-time where the initial time can be seen as a boundary. In this theoretical framework, we develop the basics of the theory and study the associated canonical $b$-symplectic structure on the $b$-cotangent bundle $^b {T}^\ast G$ together with its reduction theory. Namely, we extend the minimal coupling procedure to $^bT^*G/H$ and prove that the Poisson reduction under the cotangent lifted action of $H$ by left translations can be described in terms of the Lie Poisson structure on $\mathfrak{h}^\ast$ (where $\mathfrak{h}$ is the Lie algebra of $H$) and the canonical $b$-symplectic structure on $^b {T}^\ast(G/H)$, where $G/H$ is viewed as a one-dimensional $b$-manifold having as critical hypersurface (in the sense of $b$-manifolds) the identity element.

math.DG↗

arXiv2021

Looking at Euler flows through a contact mirror: Universality and undecidability

The dynamics of an inviscid and incompressible fluid flow on a Riemannian manifold is governed by the Euler equations. In recent papers [5, 6, 7, 8] several unknown facets of the Euler flows have been discovered, including universality properties of the stationary solutions to the Euler equations. The study of these universality features was suggested by Tao as a novel way to address the problem of global existence for Euler and Navier-Stokes [28]. Universality of the Euler equations was proved in [7] for stationary solutions using a contact mirror which reflects a Beltrami flow as a Reeb vector field. This contact mirror permits the use of advanced geometric techniques in fluid dynamics. On the other hand, motivated by Tao's approach relating Turing machines to Navier-Stokes equations, a Turing complete stationary Euler solution on a Riemannian $3$-dimensional sphere was constructed in [8]. Since the Turing completeness of a vector field can be characterized in terms of the halting problem, which is known to be undecidable [30], a striking consequence of this fact is that a Turing complete Euler flow exhibits undecidable particle paths [8]. In this article, we give a panoramic overview of this fascinating subject, and go one step further in investigating the undecidability of different dynamical properties of Turing complete flows. In particular, we show that variations of [8] allow us to construct a stationary Euler flow of Beltrami type (and, via the contact mirror, a Reeb vector field) for which it is undecidable to determine whether its orbits through an explicit set of points are periodic.

math.AP↗

arXiv2021

Geometric quantization via cotangent models

In this article we give a universal model for geometric quantization associated to a real polarization given by an integrable system with non-degenerate singularities. This universal model goes one step further than the previous cotangent models by both considering singular orbits and adding to the cotangent models a model for the prequantum line bundle. These singularities are generic in the sense that are given by Morse-type functions and include elliptic, hyperbolic and focus-focus singularities. Examples of systems admitting such singularities are toric, semitoric and almost toric manifolds, as well as physical systems such as the coupling of harmonic oscillators, the spherical pendulum or the reduction of the Euler's equations of the rigid body on $T^*(SO(3))$ to a sphere. Our geometric quantization formulation coincides with the previous models away from the singularities and corrects former models for hyperbolic and focus-focus singularities cancelling out the infinite dimensional contributions obtained by former approaches. The geometric quantization models provided here match the classical physical methods for mechanical systems such as the spherical pendulum. Our cotangent models obey a local-to-global principle and can be glued to determine the geometric quantization of the global systems even if the global symplectic classification of the systems is not known in general.

math.SG↗

arXiv2021

Turing universality of the incompressible Euler equations and a conjecture of Moore

In this article we construct a compact Riemannian manifold of high dimension on which the time dependent Euler equations are Turing complete. More precisely, the halting of any Turing machine with a given input is equivalent to a certain global solution of the Euler equations entering a certain open set in the space of divergence-free vector fields. In particular, this implies the undecidability of whether a solution to the Euler equations with an initial datum will reach a certain open set or not in the space of divergence-free fields. This result goes one step further in Tao's programme to study the blow-up problem for the Euler and Navier-Stokes equations using fluid computers. As a remarkable spin-off, our method of proof allows us to give a counterexample to a conjecture of Moore dating back to 1998 on the non-existence of analytic maps on compact manifolds that are Turing complete.

math.AP↗

arXiv2021

Integrable systems on singular symplectic manifolds: From local to global

In this article we consider integrable systems on manifolds endowed with singular symplectic structures of order one. These structures are symplectic away from an hypersurface where the symplectic volume goes either to infinity or to zero in a transversal way (singularity of order one) resulting either in a $b$-symplectic form or a folded symplectic form. The hypersurface where the form degenerates is called critical set. We give a new impulse to the investigation of the existence of action-angle coordinates for these structures initiated in [KM] and [KMS] by proving an action-angle theorem for folded symplectic integrable systems. Contrary to expectations, the action-angle coordinate theorem for folded symplectic manifolds cannot be presented as a cotangent lift as done for symplectic and $b$-symplectic forms in [KM]. Global constructions of integrable systems are provided and obstructions for global existence of action-angle coordinates are investigated in both scenarios. The new topological obstructions found emanate from the topology of the critical set $Z$ of the singular symplectic manifold. The existence of these obstructions in turn implies the existence of singularities for the integrable system on $Z$.

math.SG↗

arXiv2020

Constructing Turing complete Euler flows in dimension $3$

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 $S^3$ and speculate on its implications concerning Tao's approach to the blow up problem in the Navier-Stokes equations.

math.DS↗

arXiv2020

On the singular Weinstein conjecture and the existence of escape orbits for $b$-Beltrami fields

Motivated by Poincaré's orbits going to infinity in the (restricted) three-body (see [26] and [6]), we investigate the generic existence of heteroclinic-like orbits in a neighbourhood of the critical set of a $b$-contact form. This is done by using the singular counterpart [3] of Etnyre--Ghrist's contact/Beltrami correspondence [9], and genericity results concerning eigenfunctions of the Laplacian established by Uhlenbeck [29]. Specifically, we analyze the $b$-Beltrami vector fields on $b$-manifolds of dimension $3$ and prove that for a generic asymptotically exact $b$-metric they exhibit escape orbits. We also show that a generic asymptotically symmetric $b$-Beltrami vector field on an asymptotically flat $b$-manifold has a generalized singular periodic orbit and at least $4$ escape orbits. Generalized singular periodic orbits are trajectories of the vector field whose $α$- and $ω$-limit sets intersect the critical surface. These results are a first step towards proving the singular Weinstein conjecture.

math.SG↗

arXiv2020

Rigidity of cotangent lifts and integrable systems

In this article we generalize a theorem by Palais on the rigidity of compact group actions to cotangent lifts. We use this result to prove rigidity for integrable systems on symplectic manifolds including sytems with degenerate singularities which are invariant under a torus action.

math.SG↗