On mixing diffeomorphisms of the disk

A. Avila, B. Fayad, P. Le Calvez +2

We prove that a real analytic pseudo-rotation $f$ of the disc or the sphere is never topologically mixing. When the rotation number of $f$ is of Brjuno type, the latter follows fro…