Related papers: Computability, Noncomputability, and Hyperbolic Sy…

We consider dynamical systems on compact manifolds, which are local diffeomorphisms outside an exceptional set (a compact submanifold). We are interested in analyzing the relation between the integrability (with respect to Lebesgue measure)…

First-order hyperbolic systems are promising as a basis for numerical integration of Einstein's equations. In previous work, the lapse and shift have typically not been considered part of the hyperbolic system and have been prescribed…

In this contribution, the optimal stabilization problem of periodic orbits is studied via invariant manifold theory and symplectic geometry. The stable manifold theory for the optimal point stabilization case is generalized to the case of…

In this paper, we introduce $n$-variables mappings which are cubic in each variable. We show that such mappings satisfy a functional equation. The main purpose is to extend the applications of a fixed point method to establish the…

Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the…

We present a recipe for rendering a submanifold normally hyperbolic and invariant within a stability basin. The construction includes the ability to choose the asymptotic phase map. We are motivated by the notion of "templates and anchors"…

Hyperbolic programming is the problem of computing the infimum of a linear function when restricted to the hyperbolicity cone of a hyperbolic polynomial, a generalization of semidefinite programming. We propose an approach based on symbolic…

In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…

The purpose of this paper is to advance the knowledge of the dynamics arising from the creation and subsequent bifurcation of Poincar\'e heteroclinic cycles. The problem is central to dynamics: it has to be addressed if, for instance, one…

This is the first of a series of papers in which we study deep computations (ultracomputations) and deep iterates, formalizing the ideas of "asymptotic limit" of computations and compositional iterates, respectively. In this first paper of…

We prove that a C2 Hamiltonian system H in M is globally hyperbolic if any of the following statements holds: H is robustly topologically stable; H is stably shadowable; H is stably expansive; and H has the stable weak specification…

Representing graphs as sets of node embeddings in certain curved Riemannian manifolds has recently gained momentum in machine learning due to their desirable geometric inductive biases, e.g., hierarchical structures benefit from hyperbolic…

Recent studies suggest that unstable, non-chaotic solutions of the Navier-Stokes equation may provide deep insights into fluid turbulence. In this article, we present a combined experimental and numerical study exploring the dynamical role…

Random invariant manifolds are geometric objects useful for understanding complex dynamics under stochastic influences. Under a nonuniform hyperbolicity or a nonuniform exponential dichotomy condition, the existence of random pseudo-stable…

Adiabatic passage is a standard tool for achieving robust transfer in quantum systems. We show that, in the context of driven nonlinear Hamiltonian systems, adiabatic passage becomes highly non-robust when the target is unstable. We show…

These expository notes present a proof of the Stable/Unstable Manifold Theorem (also known as the Hadamard--Perron Theorem). They also give examples of hyperbolic dynamics: geodesic flows on surfaces of negative curvature and dispersing…

We study stable conditional measures for a certain equilibrium measure for hyperbolic endomorphisms, on basic sets with overlaps; we show that these conditional measures are geometric probabilities and measures of maximal stable dimension.…

We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…

For systems that are not observable at the very equilibrium of interest to be stabilized, output-feedback stabilization is considerably challenging. In this paper we solve this control problem for the case-study of a second-order system…

We formulate and prove a Jakobson-Benedicks-Carleson type theorem on the occurence of nonuniform hyperbolicity (stochastic dynamics) in families of one-dimensional maps, based on "computable starting conditions" and providing "explicit,…