{"id":"arxiv/2609.10120","url":"https://arxiv.org/abs/2609.10120","tags":["math.DS"],"score":0,"title":"A computer-assisted proof of robust transitivity","domain":"math.DS","source":"arxiv","authors":["Marisa Cantarino","Andy Hammerlindl","Warwick Tucker"],"reviews":0,"subject":"math.DS","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}