Related papers: Computability, Noncomputability, and Hyperbolic Sy…
Hypergraphs are useful mathematical representations of overlapping and nested subsets of interacting units, including groups of genes or brain regions, economic cartels, political or military coalitions, and groups of products that are…
We show that the stable and unstable sets of non-uniformly hyperbolic horseshoes arising in some heteroclinic bifurcations of surface diffeomorphisms have the value conjectured in a previous work by the second and third authors of the…
We give a sufficient condition on the hyperplanes used in the inbreeding construction of Belolipetsky-Thomson to obtain nonarithmetic manifolds. We construct explicitly infinitely many examples of such manifolds that are pairwise…
In this paper we continue the analysis of non-diagonalisable hyperbolic systems initiated in \cite{GarJRuz, GarJRuz2}. Here we assume that the system has discontinuous coefficients or more in general distributional coefficients.…
Topological dynamics constitutes the study of asymptotic properties of orbits under flows or maps on the Hausdorff phase space. Hyperbolic dynamics is the study of differentiable flows or maps that are usually characterized by the presence…
Following Part~I, we consider a class of reversible systems and study bifurcations of homoclinic orbits to hyperbolic saddle equilibria. Here we concentrate on the case in which homoclinic orbits are symmetric, so that only one control…
We prove microlocal estimates at the trapped set of asymptotically Kerr spacetimes: these are spacetimes whose metrics decay inverse polynomially in time to a stationary subextremal Kerr metric. This combines two independent results. The…
We derive some statistical properties for equilibrium states of partially hyperbolic horseshoes. We define a projection map associated to the horseshoe and prove a spectral gap for its transfer operator acting on the space of H\"older…
In this paper, we discuss the birational invariance of the class of balanced hyperbolic manifolds.
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs. We prove computability of the solution…
We investigate the topological aspects of some algebraic computation models, in particular the BSS-model. Our results can be seen as bounds on how different BSS-computability and computability in the sense of computable analysis can be. The…
It is a longstanding problem to determine the precise relationship between the geodesic length spectrum of a hyperbolic manifold and its commensurability class. A well known result of Reid, for instance, shows that the geodesic length…
In this paper we construct a new completely integrable system. This system is an instance of a master system of differential equations in $5$ unknowns having $3$ quartics constants of motion.We find via the Painlev\'e analysis the principal…
We describe a collection of computer scripts written in PARI/GP to compute, for reflection groups determined by finite-volume polyhedra in $\mathbb{H}^3$, the commensurability invariants known as the invariant trace field and invariant…
In these notes I will review the results that have been obtained in these last years on the computation of the number of metastable states in infinite-range models of disordered systems. This is a particular case of the problem of computing…
A uniqueness result in the inverse problem for an inhomogeneous hyperbolic system on a real vector bundle over a smooth compact manifold, based on energy measurements for improperly known sources, is established.
Framing computation as the transformation of metastable memories, we explore its fundamental thermodynamic limits. The true power of information follows from a novel decomposition of nonequilibrium free energy derived here, which provides a…
We present a Melnikov type approach for establishing transversal intersections of stable/unstable manifolds of perturbed normally hyperbolic invariant manifolds (NHIMs). The method is based on a new geometric proof of the normally…
In this paper we study high order expansions of chart maps for local finite dimensional unstable manifolds of hyperbolic equilibrium solutions of scalar parabolic partial differential equations. Our approach is based on studying an…
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.