Prequantum transfer operator for symplectic Anosov diffeomorphism
Fr\'ed\'eric Faure (IF), Masato Tsujii

TL;DR
This paper introduces a prequantum transfer operator for symplectic Anosov diffeomorphisms, analyzes its spectral properties using semi-classical analysis, and reveals a band structure with implications for quantum-classical correspondence.
Contribution
It defines the prequantization for symplectic Anosov diffeomorphisms and studies the spectral properties of the associated transfer operator using advanced semi-classical techniques.
Findings
Spectral spectrum forms separated annuli and a disk, with the outermost annulus on the unit circle.
Most eigenvalues in the outermost annulus concentrate on a circle of radius e^{<V0>}, following a Weyl law.
The semiclassical Egorov formula is exact, linking quantum transport to classical dynamics.
Abstract
We define the prequantization of a symplectic Anosov diffeomorphism f:M-> M, which is a U(1) extension of the diffeomorphism f preserving an associated specific connection, and study the spectral properties of the associated transfer operator, called prequantum transfer operator. This is a model for the transfer operators associated to geodesic flows on negatively curved manifolds (or contact Anosov flows). We restrict the prequantum transfer operator to the N-th Fourier mode with respect to the U(1) action and investigate the spectral property in the limit N->infinity, regarding the transfer operator as a Fourier integral operator and using semi-classical analysis. In the main result, we show a " band structure " of the spectrum, that is, the spectrum is contained in a few separated annuli and a disk concentric at the origin. We show that, with the special (H\"older continuous)…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
