transfer operators, spectrum, symbolic calculus, 
Anosov diffeomorphism