MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

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".