Conditions Implying Annular Chaos: Quantitative results and Computer Assisted Proofs

We derive quantitative sufficient conditions for rotational chaos and diffusion in annular homeomorphisms, building on the topological criteria established in [31]. These conditions depend only on basic properties of the maps, making their implementation straightforward. To demonstrate the effectiveness of the method, we provide computer-assisted proofs of rotational chaos and diffusion for classical families of annular maps and their variations, in both conservative (twist and non-twist) and dissipative settings.