Anosov diffeomorphism
An Anosov diffeomorphism is a uniformly hyperbolic diffeomorphism of a compact manifold in which the entire phase space is a hyperbolic set — every tangent vector is either exponentially expanded or exponentially contracted by the derivative. Introduced by Dmitri Anosov in 1962, these systems are the gold standard of chaos: they are structurally stable, ergodic, mixing, and admit finite Markov partitions that reduce their dynamics to symbolic shifts. Despite their elegant properties, Anosov diffeomorphisms are known to exist only on manifolds with complicated fundamental groups; none exist on spheres. Their rarity suggests that global hyperbolicity is not generic but a special geometric gift, most commonly produced by geodesic flows on negatively curved manifolds.