Semi-classical formula beyond the Ehrenfest time in quantum chaos. (I) Trace formula
We consider a nonlinear area preserving Anosov map on the torus phase space, which is the simplest example of a fully chaotic dynamics. We are interested in the quantum dynamics for long time, generated by the unitary quantum propagator . The usual semi-classical Trace formula expresses for finite time , in the limit , in terms of periodic orbits of of period . Recent work reach time where is the Ehrenfest time, and is the Lyapounov coefficient. Using a semi-classical normal form...