arXiv subjects

Robert Cardona

Publications and source records attributed to Robert Cardona.

At least 19 recordsLinked to original sources

arXiv2026

$C^0$-Poisson geometry, coisotropic submanifolds, and clean intersection points

In this work, we initiate the study of rigidity and non-rigidity phenomena for Poisson homeomorphisms, defined as uniform $C^0$-limits of Poisson diffeomorphisms. First, we prove that Poisson homeomorphisms preserve the singular symplectic foliation: they map symplectic leaves to symplectic leaves by symplectic homeomorphisms. Second, we establish the $C^0$-rigidity of coisotropic submanifolds in Poisson manifolds. A key ingredient is the notion of ''clean intersection point'' between a submanifold and the leaves of a singular foliation, whose study is of independent interest for singular foliation theory and Poisson geometry. In contrast with the symplectic case, characteristic foliations of coisotropic submanifolds are not rigid under Poisson homeomorphisms, exhibiting flexibility phenomena specific to the Poisson setting. We discuss partial rigidity results, introduce a topological invariant of coisotropic submanifolds, the $C^0$-characteristic partition, and show that $C^0$-coisotropic submanifolds are non-smooth objects whose vanishing ideal defines a Lie subalgebra of the Poisson algebra. Finally, we consider Poisson homeomorphisms that lift to symplectic homeomorphisms of a symplectic realization and show that nearly all Poisson manifolds admit non-liftable Poisson homeomorphisms. Our main results answer three questions posed by Joksimovi\'c and M\u{a}rcu\c{t}.

math.SG↗

arXiv2025

On dynamical invariants of coadjoint orbits of 3D volume-preserving diffeomorphisms

The helicity, or asymptotic linking number, is a functional of exact volume-preserving vector fields on 3-manifolds, invariant under volume-preserving transformations. It is known to exhibit remarkable uniqueness properties: many invariant functionals reduce to functions of helicity. We examine how severely this uniqueness can fail. On integral homology spheres with the $C^{1}$-topology, the failure is extreme: for every $C^{1}$-open set of nonvanishing exact fields of fixed helicity, some other global dynamical invariant is continuous and non-constant in that set; the Ruelle invariant if some field is non-Anosov, and topological entropy otherwise. In particular, on the three-sphere, the Ruelle invariant is everywhere independent of helicity. This implies, in a very strong sense, a negative answer to a question of Arnold and Khesin on the somewhere density of coadjoint orbits of 3D volume-preserving diffeomorphisms, when considered for the $C^1$-topology. On arbitrary three-manifolds, we also answer the question in the negative using local rather than global invariants.

math.DS↗

arXiv2025

Local construction of knotted screw dislocations in smectic liquid crystals

The goal of this work is to show that, mathematically, screw dislocation loops with distinct topological properties can be introduced locally on a given smectic liquid crystal configuration. Concretely, given a configuration, 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 smectic configurations of a certain class. This shows that both the global topology (link type) and the local topology (multiplicity) of loop dislocations can be very rich, even when constrained to arise from local modifications.

math-ph↗

arXiv2024

Fillability obstructions for high-dimensional confoliations

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\"uger-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.

math.SG↗

arXiv2024

Non-density results in high dimensional stable Hamiltonian topology

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.

math.SG↗

arXiv2024

Towards a Fluid computer

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.

math.DS↗

arXiv2024

Topological entropy of Turing complete dynamics

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.

math.DS↗

arXiv2023

Asymmetry of MHD equilibria for generic adapted metrics

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.

math.DG↗

arXiv2023

Contact type solutions and non-mixing of the 3D Euler equations

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.

math.DS↗

arXiv2023

Stability is not open or generic in symplectic four-manifolds

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.

math.SG↗

arXiv2023

Algebraic and Geometric Models for Space Networking

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.

math.AT↗

arXiv2023

Hydrodynamic and symbolic models of computation with advice

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.

math-ph↗

arXiv2022

An $h$-principle for embeddings transverse to a contact structure

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.

math.SG↗

arXiv2022

Existence and classification of $b$-contact structures

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.

math.SG↗

arXiv2022

Periodic orbits and Birkhoff sections of stable Hamiltonian structures

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.

math.DS↗

arXiv2022

Morse functions and contact convex surfaces

Let $f$ be a Morse function on a closed surface $\Sigma$ 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 $\Sigma\times \mathbb{R}$ admits an $\mathbb{R}$-invariant contact form $\alpha=fdt+\beta$ 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 $\Sigma \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.

math.SG↗

arXiv2021

The Universal $\ell^p$-Metric on Merge Trees

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.

cs.CG↗

arXiv2021

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↗