A Poincar\'e-Birkhoff Theorem for Asymptotically Linear Hamiltonian Diffeomorphisms

We propose a twist condition, inspired by the classical Poincar\'e-Birkhoff theorem on area-preserving maps of the annulus, which applies to asymptotically linear Hamiltonian diffeomorphisms of linear phase space. When an asymptotically linear Hamiltonian diffeomorphism, non-degenerate and unitary at infinity, satisfies this twist condition, we show that it has infinitely many periodic points.
Comment: 35 pages, 3 figures, comments welcome. V3: minor changes to improve exposition, some typos fixed, one figure added