PreprintarXiv licencearXiv
A computer-assisted proof of robust transitivity
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.
Related
- An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4
- A Computer-Assisted Proof that R(5,10;5,8)=21 for the Generalized Threshold Ramsey Number
- A computer-assisted proof of Krzyż's conjecture for the sixth coefficient
- Star-shaped periodic solutions of a system of delay differential equations: A computer-assisted proof
- Nonexistence of a Leech Tree of Order 18: A Computer-Assisted Proof
BibTeX
@misc{cantarino2026computerassisted,
title = {{A computer-assisted proof of robust transitivity}},
author = {Marisa Cantarino and Andy Hammerlindl and Warwick Tucker},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.10120},
eprint = {2609.10120},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.10120},
}
RIS
TY - UNPB
TI - A computer-assisted proof of robust transitivity
AU - Marisa Cantarino
AU - Andy Hammerlindl
AU - Warwick Tucker
PY - 2026
DA - 2026/09/09
PB - arXiv
DO - 10.48550/arxiv.2609.10120
UR - https://arxiv.org/abs/2609.10120
AB - 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.
ER -