3 papers
math.DS2026
A computer-assisted proof of robust transitivity
Marisa Cantarino, Andy Hammerlindl, Warwick Tucker
We present computer-assisted proofs of partial hyperbolicity, existence of a blender and robust transitivity for diffeomorphisms on closed manifolds. These proofs are implemented f…
math.DS2026
An algorithm to detect and rigorously verify blenders
Andy Hammerlindl, Natalia McAlister, Warwick Tucker
We present a characterisation of blenders based on mapping properties of certain sets of curves that can be rigorously verified by computer-assisted methods. We develop an algorith…
math.DS2024
Quantitative infinite mixing for non-compact skew products
Paolo Giulietti, Andy Hammerlindl, Davide Ravotti
We consider skew products over subshifts of finite type in which the fibers are copies of the real line, and we study their mixing properties with respect to any infinite invariant…