Quantitative exponential mixing for the randomized Chirikov standard map

We investigate the mixing properties of a randomized Chirikov standard map on ${\mathbb{T}}^2$. While the deterministic dynamics exhibit obstructions to global ergodicity, we establish explicit almost-sure quantitative exponential mixing when kicking strengths are sufficiently large. To achieve this, we formulate a criterion for incompressible random dynamical systems, reducing quantitative exponential mixing to serval verifiable conditions. Additionally, we provide a milder parameter condition to derive qualitative exponential mixing and enhanced dissipation.