Let $M$ be a compact Riemannian manifold and let $T : M \rightarrow M$ be Anosov. I have read here that it is an open problem to prove that $T$ is topologically mixing if $M$ is connected. Katok and Hasselblatt point out that if $(T, \mu)$ is mixing, then the restriction of $T$ to the support of $\mu$ is topologically mixing. Yet I have also read here (among other places) that Axiom A diffeomorphisms (and hence Anosov diffeomorphisms) satisfy exponential decay of correlations, which seems like it implies mixing (take characteristic functions). Still, I see references in the physics literature (which is where I am coming from) to "mixing Anosov maps".

While the Anosov alternative for *flows* is clear enough, I haven't found a characterization of mixing properties for Anosov diffeomorphisms that sorts out these apparently contradictory statements.

With that in mind, my question is (sort of): under what circumstances is an Anosov diffeomorphism guaranteed to be mixing?