Exponential scalar mixing for the 2D Navier-Stokes equations with degenerate stochastic forcing

We show exponential mixing of passive scalars advected by a solution to the stochastic Navier-Stokes equations with finitely many (e.g. four) forced modes satisfying a hypoellipticity condition. Our proof combines the asymptotic strong Feller framework of Hairer and Mattingly with the mixing theory of Bedrossian, Blumenthal, and Punshon-Smith.