Related papers: Computer Assisted Proof for Normally Hyperbolic In…

We study the knot invariant based on the quantum dilogarithm function. This invariant can be regarded as a non-compact analogue of Kashaev's invariant, or the colored Jones invariant, and is defined by an integral form. The 3-dimensional…

For $C^1$ diffeomorphisms with continuous invariant splitting without domination, we prove the existence of (un)stable manifold under the hyperbolicity of invariant measures.

We construct a hyperbolic attractor of renormalization of bi-cubic circle maps with bounded combinatorics, with a codimension-two stable foliation.

We establish a theory for the existence and regularity of solutions to the cohomological equation over an accessible, partially hyperbolic diffeomorphism. As a by-product of our techniques, we show that for $r>1$, any $C^r$ homogeneous,…

Bifurcations in a system of coupled maps are investigated. Using symbolic dynamics it is proven that for coupled shift maps the well known space--time--mixing attractor becomes unstable at a critical coupling strength in favour of a…

Automated program verification often proceeds by exhibiting inductive invariants entailing the desired properties.For numerical properties, a classical class of invariants is convex polyhedra: solution sets of system of linear…

This Part establishes the geometric theory of uniformly hyperbolic sets with explicit quantitative bounds throughout, and contains five main theorems. The Stable Manifold Theorem is proved via the backward graph transform, with a complete…

The bending map of a hyperbolic 3-manifold maps a convex cocompact hyperbolic metric on a hyperbolic 3-manifold with boundary to its bending measured geodesic lamination. In the present paper we study the extension of this map to the space…

Let ($M$, $\Omega$) be a smooth symplectic manifold and $f:M\rightarrow M$ be a symplectic diffeomorphism of class $C^l$ ($l\geq 3$). Let $N$ be a compact submanifold of $M$ which is boundaryless and normally hyperbolic for $f$. We suppose…

We prove that at least one of the two invariant laminations of a strongly partially hyperbolic attractor with one-dimensional center bundle is minimal. This result extends those in [7] about minimal foliations for robustly transitive…

The contraction map proof method is the commonly used method to prove holographic entropy inequalities. Existence of a contraction map corresponding to a holographic entropy inequality is a sufficient condition for its validity. But is it…

This work studies existence and regularity questions for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations. Our main result is a constructive method of computer assisted proof which…

The transfer operator corresponding to a uniformly expanding map enjoys good spectral properties. Here it is verified that coupling yields explicit estimates that depend continuously on the expansion and distortion constants of the map. For…

We prove that if a certain entry in the map of the Hadamard-Perron theorem is $T$-periodic in one of the variables, then the stable manifold guaranteed by the Hadamard-Perron theorem is a graph of a $T$-periodic function. As an application,…

We study a family of dynamical systems obtained by coupling an Anosov map on the two-dimensional torus -- the chaotic system -- with the identity map on the one-dimensional torus -- the neutral system -- through a dissipative interaction.…

For complex parameters a,c, we consider the Henon mapping H_{a,c}: C^2 -> C^2 given by (x,y) -> (x^2 +c -ay, x), and its Julia set, J. In this paper, we describe a rigorous computer program for attempting to construct a cone field in the…

We consider admissible random walks on hyperbolic graphs. For a given harmonic function on such a graph, we prove that asymptotic properties of non-tangential boundedness and non-tangential convergence are almost everywhere equivalent. The…

This paper provides a theoretical background for Lagrangian Descriptors (LDs). The goal of achieving rigourous proofs that justify the ability of LDs to detect invariant manifolds is simplified by introducing an alternative definition for…

There are insights of chaotic properties in economic systems and data. To prove the existence of chaotic dynamics, the establishment of a deterministic model is mandatory. A global modelling tool (GPoM) is used to search for mathematical…

We consider a certain two-parameter family of automorphisms of the affine plane over a complete, locally compact non-Archimedean field. Each of these automorphisms admits a chaotic attractor on which it is topologically conjugate to a full…