Work

A computer-assisted proof of robust transitivity

Year: 2026

Type: preprint

Abstract: We present computer-assisted proofs of partial hyperbolicity, existence of a blender and robust transitivity for diffeomorphisms on closed manifolds. These proofs are implemented for a family of derived-from-Anosov systems on the 3-torus.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2609.10120

Authors: Cantarino, Marisa, Hammerlindl, Andy, Tucker, Warwick

Institutions: Centre National de la Recherche Scientifique, Center for Mathematical Modeling, University of Chile, Monash University

Language: English

Topic: Mathematical Dynamics and Fractals

Subfield: Mathematical Physics

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

Funders: Agencia Nacional de Investigación y Desarrollo, Australian Research Council

Awards: Computer-aided proofs for non-hyperbolic dynamics and blenders , CENTER FOR MATHEMATICAL MODELING (CMM)

OpenAlex ID: W7212154946

Cites: 2

Cited by:

Related to: 10