-
Local formation of knotted screw dislocations in smectic liquid crystals
Authors:
Robert Cardona,
Andreu Vega
Abstract:
Given a configuration of a smectic liquid crystal, we show that a new screw dislocation loop can be introduced along any knot or link transverse to the regular layers through a purely local modification. We define a topological invariant of screw dislocation loops, the multiplicity, and show that it can be explicitly prescribed in our construction. Finally, we apply this method to establish that a…
▽ More
Given a configuration of a smectic liquid crystal, we show that a new screw dislocation loop can be introduced along any knot or link transverse to the regular layers through a purely local modification. We define a topological invariant of screw dislocation loops, the multiplicity, and show that it can be explicitly prescribed in our construction. Finally, we apply this method to establish that any link type can be locally introduced within the set of screw dislocations of a smectic configuration modeled by an open book decomposition.
△ Less
Submitted 18 March, 2025;
originally announced March 2025.
-
Fillability obstructions for high-dimensional confoliations
Authors:
Robert Cardona,
Fabio Gironella
Abstract:
In this paper, we study confoliations in dimensions higher than three mostly from the perspective of symplectic fillability. Our main result is that Massot-Niederkrüger-Wendl's bordered Legendrian open book, an object that obstructs the weak symplectic fillability of contact manifolds, admits a generalization for confoliations equipped with symplectic data. Applications include the non-fillability…
▽ More
In this paper, we study confoliations in dimensions higher than three mostly from the perspective of symplectic fillability. Our main result is that Massot-Niederkrüger-Wendl's bordered Legendrian open book, an object that obstructs the weak symplectic fillability of contact manifolds, admits a generalization for confoliations equipped with symplectic data. Applications include the non-fillability of the product of an overtwisted contact manifold and a class of symplectic manifolds, and the fact that Bourgeois contact structures associated with overtwisted contact manifolds admit no weak symplectic fillings for which the symplectic structure restricts at the boundary to a positive generator of the second cohomology of the torus factor. In addition, along the lines of the original 3-dimensional work of Eliashberg and Thurston, we give a new definition of approximation and deformation of confoliations by contact structures and describe some natural examples.
△ Less
Submitted 30 November, 2024; v1 submitted 9 October, 2024;
originally announced October 2024.
-
Non-density results in high dimensional stable Hamiltonian topology
Authors:
Robert Cardona,
Fabio Gironella
Abstract:
We push forward the study of higher dimensional stable Hamiltonian topology by establishing two non-density results. First, we prove that stable hypersurfaces are not $C^3$-dense in any isotopy class of embedded hypersurfaces on any ambient symplectic manifold of dimension $2n\geq 8$. Our second result is that on any manifold of dimension $2m+1\geq 5$, the set of non-degenerate stable Hamiltonian…
▽ More
We push forward the study of higher dimensional stable Hamiltonian topology by establishing two non-density results. First, we prove that stable hypersurfaces are not $C^3$-dense in any isotopy class of embedded hypersurfaces on any ambient symplectic manifold of dimension $2n\geq 8$. Our second result is that on any manifold of dimension $2m+1\geq 5$, the set of non-degenerate stable Hamiltonian structures is not $C^2$-dense among stable Hamiltonian structures in any given stable homotopy class that satisfies a mild assumption. The latter generalizes a result by Cieliebak and Volkov to arbitrary dimensions.
△ Less
Submitted 14 March, 2025; v1 submitted 1 July, 2024;
originally announced July 2024.
-
California Community Colleges: Designing mentoring networks for access to social capital
Authors:
A. Balaraman,
S. Maokosy,
L. Slaton,
R. Cardona,
P. Maokosy,
N. Gaitan
Abstract:
Successful careers are built on Skills (what you know), Occupational Identity (what you believe you can be) and Social Capital (who you know). Higher-ed spends significant resources in addressing the first, sometimes to the exclusion of the other two - which are difficult and expensive to teach and administer. This research specifically explores how near-peer mentoring programs, rather than a stan…
▽ More
Successful careers are built on Skills (what you know), Occupational Identity (what you believe you can be) and Social Capital (who you know). Higher-ed spends significant resources in addressing the first, sometimes to the exclusion of the other two - which are difficult and expensive to teach and administer. This research specifically explores how near-peer mentoring programs, rather than a stand-alone opt-in guidance, can be integrated into the instruction/pedagogy by faculty at California community colleges. The research was conducted at 5 California community colleges (Reedley, Porterville, Coalinga, Solano and Glendale). A mixed-methods approach was used to gather social cognitive measures of student self-efficacy, occupational identity and social capital access. Measures were collected using survey instruments at the beginning of the mentoring program, and at its culmination. One of the most consistent measures observed across all the pilots was the increase in student self-efficacy of skills and competencies (3% - 7%) across colleges, geographies, and course formats after the mentoring program. Additionally, the research offers insights in implementing peer and near-peer mentoring programs that improve course completion, with significant instructional (and non-instructional) cost advantages.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Towards a Fluid computer
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas
Abstract:
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 b…
▽ More
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.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Topological entropy of Turing complete dynamics (with an appendix by Ville Salo)
Authors:
Renzo Bruera,
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas
Abstract:
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 "regular Turing machines" (which includes most of the examples of universal Turing machines) has positive topological entropy. We deduce that any Turing complete dynamics with a continuous encoding that simulates a universal machi…
▽ More
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 "regular Turing machines" (which includes most of the examples of universal Turing machines) has positive topological entropy. We deduce that any Turing complete dynamics with a continuous encoding that simulates a universal machine in this class is chaotic. This applies to our previous constructions of Turing complete area-preserving diffeomorphisms of the disk and 3D stationary Euler flows. The article concludes with an appendix written by Ville Salo that introduces a method to construct universal Turing machines that are not regular and have zero topological entropy.
△ Less
Submitted 13 May, 2024; v1 submitted 10 April, 2024;
originally announced April 2024.
-
Asymmetry of MHD equilibria for generic adapted metrics
Authors:
Robert Cardona,
Nathan Duignan,
David Perrella
Abstract:
Ideal magnetohydrodynamic (MHD) equilibria on a Riemannian 3-manifold satisfy the stationary Euler equations for ideal fluids. A stationary solution $X$ admits a large set of ``adapted" metrics in $M$ for which $X$ solves the corresponding MHD equilibrium equations with the same pressure function. We prove different versions of the following statement: an MHD equilibrium with non-constant pressure…
▽ More
Ideal magnetohydrodynamic (MHD) equilibria on a Riemannian 3-manifold satisfy the stationary Euler equations for ideal fluids. A stationary solution $X$ admits a large set of ``adapted" metrics in $M$ for which $X$ solves the corresponding MHD equilibrium equations with the same pressure function. We prove different versions of the following statement: an MHD equilibrium with non-constant pressure on a compact three-manifold with or without boundary admits no continuous Killing symmetries for an open and dense set of adapted metrics. This contrasts with the classical conjecture of Grad which loosely states that an MHD equilibrium on a toroidal Euclidean domain in $\mathbb{R}^3$ with pressure function foliating the domain with nested toroidal surfaces must admit Euclidean symmetries.
△ Less
Submitted 6 September, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Contact type solutions and non-mixing of the 3D Euler equations
Authors:
Robert Cardona,
Francisco Torres de Lizaur
Abstract:
We prove that on any closed Riemannian three-manifold $(M,g)$ the time-dependent Euler equations are non-mixing on the space of smooth volume-preserving vector fields endowed with the $C^1$-topology, for any fixed helicity and large enough energy, solving a problem posed by Khesin, Misiolek, and Shnirelman. To prove this, we introduce a new framework that assigns contact/symplectic geometry invari…
▽ More
We prove that on any closed Riemannian three-manifold $(M,g)$ the time-dependent Euler equations are non-mixing on the space of smooth volume-preserving vector fields endowed with the $C^1$-topology, for any fixed helicity and large enough energy, solving a problem posed by Khesin, Misiolek, and Shnirelman. To prove this, we introduce a new framework that assigns contact/symplectic geometry invariants to large sets of time-dependent solutions to the Euler equations on any 3-manifold with an arbitrary fixed metric. This greatly broadens the scope of contact topological methods in hydrodynamics, which so far have had applications only for stationary solutions and without fixing the ambient metric. We further use this framework to prove that spectral invariants obtained from Floer theory, concretely embedded contact homology, define new non-trivial continuous first integrals of the Euler equations in certain regions of the phase space endowed with the $C^{1,s}$-topology, producing countably many disjoint invariant open sets.
△ Less
Submitted 30 January, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Stability is not open or generic in symplectic four-manifolds
Authors:
Robert Cardona
Abstract:
Given an embedded stable hypersurface in a four-dimensional symplectic manifold, we prove that it is stable isotopic to a $C^0$-close stable hypersurface with the following property: $C^\infty$-nearby hypersurfaces are generically unstable. This shows that the stability property is neither open nor generic, independently of the isotopy class of hypersurfaces and ambient symplectic manifold. The pr…
▽ More
Given an embedded stable hypersurface in a four-dimensional symplectic manifold, we prove that it is stable isotopic to a $C^0$-close stable hypersurface with the following property: $C^\infty$-nearby hypersurfaces are generically unstable. This shows that the stability property is neither open nor generic, independently of the isotopy class of hypersurfaces and ambient symplectic manifold. The proof combines tools from stable Hamiltonian topology with techniques in three-dimensional dynamics such as partial sections, integrability and KAM theory. On our way, we establish non-density properties of Reeb-like flows and a generic non-integrability theorem for cohomologous Hamiltonian structures and volume-preserving fields in dimension three.
△ Less
Submitted 30 June, 2024; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Algebraic and Geometric Models for Space Networking
Authors:
William Bernardoni,
Robert Cardona,
Jacob Cleveland,
Justin Curry,
Robert Green,
Brian Heller,
Alan Hylton,
Tung Lam,
Robert Kassouf-Short
Abstract:
In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. Th…
▽ More
In this paper we introduce some new algebraic and geometric perspectives on networked space communications. Our main contribution is a novel definition of a time-varying graph (TVG), defined in terms of a matrix with values in subsets of the real line P(R). We leverage semi-ring properties of P(R) to model multi-hop communication in a TVG using matrix multiplication and a truncated Kleene star. This leads to novel statistics on the communication capacity of TVGs called lifetime curves, which we generate for large samples of randomly chosen STARLINK satellites, whose connectivity is modeled over day-long simulations. Determining when a large subsample of STARLINK is temporally strongly connected is further analyzed using novel metrics introduced here that are inspired by topological data analysis (TDA). To better model networking scenarios between the Earth and Mars, we introduce various semi-rings capable of modeling propagation delay as well as protocols common to Delay Tolerant Networking (DTN), such as store-and-forward. Finally, we illustrate the applicability of zigzag persistence for featurizing different space networks and demonstrate the efficacy of K-Nearest Neighbors (KNN) classification for distinguishing Earth-Mars and Earth-Moon satellite systems using time-varying topology alone.
△ Less
Submitted 5 October, 2023; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Hydrodynamic and symbolic models of computation with advice
Authors:
Robert Cardona
Abstract:
Dynamical systems and physical models defined on idealized continuous phase spaces are known to exhibit non-computable phenomena, examples include the wave equation, recurrent neural networks, or Julia sets in holomorphic dynamics. Inspired by the works of Moore and Siegelmann, we show that ideal fluids, modeled by the Euler equations, are capable of simulating poly-time Turing machines with polyn…
▽ More
Dynamical systems and physical models defined on idealized continuous phase spaces are known to exhibit non-computable phenomena, examples include the wave equation, recurrent neural networks, or Julia sets in holomorphic dynamics. Inspired by the works of Moore and Siegelmann, we show that ideal fluids, modeled by the Euler equations, are capable of simulating poly-time Turing machines with polynomial advice on compact three-dimensional domains. This is precisely the complexity class $P/poly$ considered by Siegelmann in her study of analog recurrent neural networks. In addition, we introduce a new class of symbolic systems, related to countably piecewise linear transformations of the unit square, that is capable of simulating Turing machines with advice in real-time, contrary to previously known models.
△ Less
Submitted 27 September, 2024; v1 submitted 27 January, 2023;
originally announced January 2023.
-
An $h$-principle for embeddings transverse to a contact structure
Authors:
Robert Cardona,
Francisco Presas
Abstract:
Given a class of embeddings into a contact or a symplectic manifold, we give a sufficient condition, that we call isocontact or isosymplectic realization, for this class to satisfy a general $h$-principle. The flexibility follows from the $h$-principles for isocontact and isosymplectic embeddings, it provides a framework for classical results, and we give two new applications. Our main result is t…
▽ More
Given a class of embeddings into a contact or a symplectic manifold, we give a sufficient condition, that we call isocontact or isosymplectic realization, for this class to satisfy a general $h$-principle. The flexibility follows from the $h$-principles for isocontact and isosymplectic embeddings, it provides a framework for classical results, and we give two new applications. Our main result is that embeddings transverse to a contact structure satisfy a full $h$-principle in two cases: if the complement of the embedding is overtwisted, or when the intersection of the image of the formal derivative with the contact structure is strictly contained in a proper symplectic subbundle. We illustrate the general framework on symplectic manifolds by studying the universality of Hamiltonian dynamics on regular level sets via a class of embeddings.
△ Less
Submitted 3 February, 2024; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Existence and classification of $b$-contact structures
Authors:
Robert Cardona,
Cédric Oms
Abstract:
A $b$-contact structure on a $b$-manifold $(M,Z)$ is a Jacobi structure on $M$ satisfying a transversality condition along the hypersurface $Z$. We show that, in three dimensions, $b$-contact structures with overtwisted three-dimensional leaves satisfy an existence $h$-principle that allows prescribing the induced singular foliation. We give a method to classify $b$-contact structures on a given…
▽ More
A $b$-contact structure on a $b$-manifold $(M,Z)$ is a Jacobi structure on $M$ satisfying a transversality condition along the hypersurface $Z$. We show that, in three dimensions, $b$-contact structures with overtwisted three-dimensional leaves satisfy an existence $h$-principle that allows prescribing the induced singular foliation. We give a method to classify $b$-contact structures on a given $b$-manifold and use it to give a classification on $S^3$ with either a two-sphere or an unknotted torus as the critical surface. We also discuss generalizations to higher dimensions.
△ Less
Submitted 9 December, 2024; v1 submitted 25 July, 2022;
originally announced July 2022.
-
Periodic orbits and Birkhoff sections of stable Hamiltonian structures
Authors:
Robert Cardona,
Ana Rechtman
Abstract:
Stable Hamiltonian structures generalize contact forms and define a volume-preserving vector field known as the Reeb vector field. We study two aspects of Reeb vector fields defined by stable Hamiltonian structures on 3-manifolds: on one hand, we classify all the examples with finitely many periodic orbits under a non-degeneracy condition; on the other, we give sufficient conditions for the existe…
▽ More
Stable Hamiltonian structures generalize contact forms and define a volume-preserving vector field known as the Reeb vector field. We study two aspects of Reeb vector fields defined by stable Hamiltonian structures on 3-manifolds: on one hand, we classify all the examples with finitely many periodic orbits under a non-degeneracy condition; on the other, we give sufficient conditions for the existence of a supporting broken book decomposition and for the existence of a Birkhoff section.
△ Less
Submitted 24 September, 2024; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Morse functions and contact convex surfaces
Authors:
Robert Cardona,
Cédric Oms
Abstract:
Let $f$ be a Morse function on a closed surface $Σ$ such that zero is a regular value and such that $f$ admits neither positive minima nor negative maxima. In this expository note, we show that $Σ\times \mathbb{R}$ admits an $\mathbb{R}$-invariant contact form $α=fdt+β$ whose characteristic foliation along the zero section is (negative) weakly gradient-like with respect to $f$. The proof is self-c…
▽ More
Let $f$ be a Morse function on a closed surface $Σ$ such that zero is a regular value and such that $f$ admits neither positive minima nor negative maxima. In this expository note, we show that $Σ\times \mathbb{R}$ admits an $\mathbb{R}$-invariant contact form $α=fdt+β$ whose characteristic foliation along the zero section is (negative) weakly gradient-like with respect to $f$. The proof is self-contained and gives explicit constructions of any $\mathbb{R}$-invariant contact structure in $Σ\times \mathbb{R}$, up to isotopy. As an application, we give an alternative geometric proof of the homotopy classification of $\mathbb{R}$-invariant contact structures in terms of their dividing set.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
The Universal $\ell^p$-Metric on Merge Trees
Authors:
Robert Cardona,
Justin Curry,
Tung Lam,
Michael Lesnick
Abstract:
Adapting a definition given by Bjerkevik and Lesnick for multiparameter persistence modules, we introduce an $\ell^p$-type extension of the interleaving distance on merge trees. We show that our distance is a metric, and that it upper-bounds the $p$-Wasserstein distance between the associated barcodes. For each $p\in[1,\infty]$, we prove that this distance is stable with respect to cellular sublev…
▽ More
Adapting a definition given by Bjerkevik and Lesnick for multiparameter persistence modules, we introduce an $\ell^p$-type extension of the interleaving distance on merge trees. We show that our distance is a metric, and that it upper-bounds the $p$-Wasserstein distance between the associated barcodes. For each $p\in[1,\infty]$, we prove that this distance is stable with respect to cellular sublevel filtrations and that it is the universal (i.e., largest) distance satisfying this stability property. In the $p=\infty$ case, this gives a novel proof of universality for the interleaving distance on merge trees.
△ Less
Submitted 21 March, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Computability and Beltrami fields in Euclidean space
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas
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 Eu…
▽ More
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.
△ Less
Submitted 8 November, 2022; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Looking at Euler flows through a contact mirror: Universality and undecidability
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Turing universality of the incompressible Euler equations and a conjecture of Moore
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas
Abstract:
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 o…
▽ More
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.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
The periodic orbit conjecture for steady Euler flows
Authors:
Robert Cardona
Abstract:
The periodic orbit conjecture states that, on closed manifolds, the set of lengths of the orbits of a non-vanishing vector field all whose orbits are closed admits an upper bound. This conjecture is known to be false in general due to a counterexample by Sullivan. However, it is satisfied under the geometric condition of being geodesible. In this work, we use the recent characterization of Euleris…
▽ More
The periodic orbit conjecture states that, on closed manifolds, the set of lengths of the orbits of a non-vanishing vector field all whose orbits are closed admits an upper bound. This conjecture is known to be false in general due to a counterexample by Sullivan. However, it is satisfied under the geometric condition of being geodesible. In this work, we use the recent characterization of Eulerisable flows (or more generally flows admitting a strongly adapted one-form) to prove that the conjecture remains true for this larger class of vector fields.
△ Less
Submitted 3 May, 2021; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Constructing Turing complete Euler flows in dimension $3$
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas,
Francisco Presas
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 31 December, 2020; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Path Optimization Sheaves
Authors:
Michael Moy,
Robert Cardona,
Robert Green,
Jacob Cleveland,
Alan Hylton,
Robert Short
Abstract:
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the se…
▽ More
Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and sink vertices, in which paths are represented by sections. The first sheaf is a very general construction that can be applied to other algorithms, while the second is created specifically to capture the decision making of Dijkstra's algorithm. In both cases, Dijkstra's algorithm can be described as a systematic process of extending local sections to global sections. We discuss the relationship between the two sheaves and summarize how other pathfinding algorithms can be interpreted in a similar way. While the sheaves presented here address paths and pathfinding algorithms, we suggest that future work could explore connections to other concepts from graph theory and other networking algorithms. This work was supported by the NASA Internship Project and SCaN Internship Project during the summer of 2020.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Integrable systems on singular symplectic manifolds: From local to global
Authors:
Robert Cardona,
Eva Miranda
Abstract:
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 degenerate…
▽ More
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$.
△ Less
Submitted 3 February, 2021; v1 submitted 20 July, 2020;
originally announced July 2020.
-
The topology of Bott integrable fluids
Authors:
Robert Cardona
Abstract:
We construct non-vanishing steady solutions to the Euler equations (for some metric) with analytic Bernoulli function in each three-manifold where they can exist: graph manifolds. Using the theory of integrable systems, any admissible Morse-Bott function can be realized as the Bernoulli function of some non-vanishing steady Euler flow. This can be interpreted as an inverse problem to Arnold's stru…
▽ More
We construct non-vanishing steady solutions to the Euler equations (for some metric) with analytic Bernoulli function in each three-manifold where they can exist: graph manifolds. Using the theory of integrable systems, any admissible Morse-Bott function can be realized as the Bernoulli function of some non-vanishing steady Euler flow. This can be interpreted as an inverse problem to Arnold's structure theorem and yields as a corollary the topological classification of such solutions. Finally, we prove that the topological obstruction holds without the non-vanishing assumption: steady Euler flows with a Morse-Bott Bernoulli function only exist on graph three-manifolds.
△ Less
Submitted 6 April, 2022; v1 submitted 30 June, 2020;
originally announced June 2020.
-
Intermittent yet coordinated regional strategies can alleviate the COVID-19 epidemic: a network model of the Italian case
Authors:
Fabio Della Rossa,
Davide Salzano,
Anna Di Meglio,
Francesco De Lellis,
Marco Coraggio,
Carmela Calabrese,
Agostino Guarino,
Ricardo Cardona,
Pietro DeLellis,
Davide Liuzza,
Francesco Lo Iudice,
Giovanni Russo,
Mario di Bernardo
Abstract:
The COVID-19 epidemic that emerged in Wuhan China at the end of 2019 hit Italy particularly hard, yielding the implementation of strict national lockdown rules (Phase 1). There is now a hot ongoing debate in Italy and abroad on what the best strategy is to restart a country to exit a national lockdown (Phase 2). Previous studies have focused on modelling possible restarting scenarios at the nation…
▽ More
The COVID-19 epidemic that emerged in Wuhan China at the end of 2019 hit Italy particularly hard, yielding the implementation of strict national lockdown rules (Phase 1). There is now a hot ongoing debate in Italy and abroad on what the best strategy is to restart a country to exit a national lockdown (Phase 2). Previous studies have focused on modelling possible restarting scenarios at the national level, overlooking the fact that Italy, as other nations around the world, is divided in administrative regions who can independently oversee their own share of the Italian National Health Service. In this study, we show that regionalism, and heterogeneity between regions, is essential to understand the spread of the epidemic and, more importantly, to design effective post Lock-Down strategies to control the disease. To achieve this, we model Italy as a network of regions and parameterize the model of each region on real data spanning almost two months from the initial outbreak. Using the model, we confirm the effectiveness at the regional level of the national lockdown strategy implemented so far by the Italian government to mitigate the spread of the disease and show its efficacy at the regional level. We also propose that differentiated, albeit coordinated, regional interventions can be effective in Phase 2 to restart the country and avoid future recurrence of the epidemic, while avoiding saturation of the regional health systems and mitigating impact on costs. Our study and methodology can be easily extended to other levels of granularity (provinces or counties in the same region or states in other federal countries, etc.) to support policy- and decision-makers.
△ Less
Submitted 15 May, 2020;
originally announced May 2020.
-
Steady Euler flows and Beltrami fields in high dimensions
Authors:
Robert Cardona
Abstract:
Using open books, we prove the existence of a non-vanishing steady solution to the Euler equations for some metric in every homotopy class of non-vanishing vector fields of any odd dimensional manifold. As a corollary, any such field can be realized in an invariant submanifold of a contact Reeb field on a sphere of high dimension. The constructed solutions are geodesible and hence of Beltrami type…
▽ More
Using open books, we prove the existence of a non-vanishing steady solution to the Euler equations for some metric in every homotopy class of non-vanishing vector fields of any odd dimensional manifold. As a corollary, any such field can be realized in an invariant submanifold of a contact Reeb field on a sphere of high dimension. The constructed solutions are geodesible and hence of Beltrami type, and can be modified to obtain chaotic fluids. We characterize Beltrami fields in odd dimensions and show that there always exist volume-preserving Beltrami fields which are neither geodesible nor Euler flows for any metric. This contrasts with the three dimensional case, where every volume-preserving Beltrami field is a steady Euler flow for some metric. Finally, we construct a non-vanishing Beltrami field (which is not necessarily volume-preserving) without periodic orbits in every manifold of odd dimension greater than three.
△ Less
Submitted 28 October, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Universality of Euler flows and flexibility of Reeb embeddings
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas,
Francisco Presas
Abstract:
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
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.
△ Less
Submitted 28 May, 2023; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Euler flows and singular geometric structures
Authors:
Robert Cardona,
Eva Miranda,
Daniel Peralta-Salas
Abstract:
Tichler proved that a manifold admitting a smooth closed one-form fibers over a circle. More generally a manifold admitting $k$ independent closed one-forms fibers over a torus $T^k$. In this article we explain a version of this construction for manifolds with boundary using the techniques of $b$-calculus. We explore new applications of this idea to Fluid Dynamics and more concretely in the study…
▽ More
Tichler proved that a manifold admitting a smooth closed one-form fibers over a circle. More generally a manifold admitting $k$ independent closed one-forms fibers over a torus $T^k$. In this article we explain a version of this construction for manifolds with boundary using the techniques of $b$-calculus. We explore new applications of this idea to Fluid Dynamics and more concretely in the study of stationary solutions of the Euler equations. In the study of Euler flows on manifolds, two dichotomic situations appear. For the first one, in which the Bernoulli function is not constant, we provide a new proof of Arnold's structure theorem and describe $b$-symplectic structures on some of the singular sets of the Bernoulli function. When the Bernoulli function is constant, a correspondence between contact structures with singularities and what we call $b$-Beltrami fields is established, thus mimicking the classical correspondence between Beltrami fields and contact structures. These results provide a new technique to analyze the geometry of steady fluid flows on non-compact manifolds with cylindrical ends.
△ Less
Submitted 26 March, 2019; v1 submitted 31 January, 2019;
originally announced February 2019.
-
On the volume elements of a manifold with transverse zeroes
Authors:
Robert Cardona,
Eva Miranda
Abstract:
Moser proved in 1965 in his seminal paper that two volume forms on a compact manifold can be conjugated by a diffeomorphism, that is to say they are equivalent, if and only if their associated cohomology classes in the top cohomology group of a manifold coincide. In particular, this yields a classification of compact symplectic surfaces in terms of De Rham cohomology. In this paper we generalize t…
▽ More
Moser proved in 1965 in his seminal paper that two volume forms on a compact manifold can be conjugated by a diffeomorphism, that is to say they are equivalent, if and only if their associated cohomology classes in the top cohomology group of a manifold coincide. In particular, this yields a classification of compact symplectic surfaces in terms of De Rham cohomology. In this paper we generalize these results for volume forms admitting transversal zeroes. In this case there is also a cohomology capturing the classification: the relative cohomology with respect to the set of critical hypersurface. We compare this classification scheme with the classification of Poisson structures on surfaces which are symplectic away from a hypersurface where they fulfill a transversality assumption ($b$-Poisson structures). We do this using the desingularization technique introduced by Guillemin-Miranda-Weitsman and extend it to $b^m$-Nambu structures.
△ Less
Submitted 18 December, 2018; v1 submitted 10 December, 2018;
originally announced December 2018.
-
Integrable systems and closed one forms
Authors:
Robert Cardona,
Eva Miranda
Abstract:
In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over a torus. As an application we reprove the Liouville theorem for integrable systems asserting that the invariant sets or compact connected fibers of a regular in…
▽ More
In the first part of this paper we revisit a classical topological theorem by Tischler (1970) and deduce a topological result about compact manifolds admitting a set of independent closed forms proving that the manifold is a fibration over a torus. As an application we reprove the Liouville theorem for integrable systems asserting that the invariant sets or compact connected fibers of a regular integrable system are tori. We give a new proof of this theorem (including the non-commutative version) for symplectic and more generally Poisson manifolds.
△ Less
Submitted 6 November, 2019; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Structure, ferromagnetic, dielectric and electronic features of the LaBiFe2O6 material
Authors:
J. A. Cuervo Farfán,
D. M. Aljure García,
R. Cardona,
J. Arbey Rodríguez,
D. A. Landínez Téllez,
J. Roa-Rojas
Abstract:
In this paper the synthesis and study of the structural, morphological, electrical, magnetic and electronic properties of the LaBiFe2O6 novel material are reported. The material was produced using the standard ceramic method. The Rietveld analysis of experimental data of x-ray diffraction showed that it synthesizes in an orthorhombic perovskite structure (Pnma, #62 space group). Two types of grain…
▽ More
In this paper the synthesis and study of the structural, morphological, electrical, magnetic and electronic properties of the LaBiFe2O6 novel material are reported. The material was produced using the standard ceramic method. The Rietveld analysis of experimental data of x-ray diffraction showed that it synthesizes in an orthorhombic perovskite structure (Pnma, #62 space group). Two types of grain, micro and submicrometric, with the LaBiFe2O6 stoichiometry were identified by scanning electron microscopy and X-ray dispersive spectroscopy. Results of electrical polarization and dielectric constant ferroelectric suggest the occurrence of response of the material at room temperature. A T=300 K the material is ferromagnetic and exhibits an anomaly at T=258 K, which is attributed to anisotropy effects, suggesting the occurrence of biferroic behaviour. Results of diffuse reflectance suggest a semiconductor behaviour with energy gap Eg=2,17 eV, which is in agreement with calculations of band structure and density of states for one spin orientation, while for the other spin configuration calculations suggest a conductor feature.
△ Less
Submitted 18 November, 2019; v1 submitted 6 September, 2016;
originally announced September 2016.
