Nekhoroshev theory and discrete averaging

This paper contains a proof of the Nekhoroshev theorem for quasi-integrable symplectic maps. In contrast to the classical methods, our proof is based on the discrete averaging method and does not rely on transformations to normal forms. At the centre of our arguments lies the theorem on embedding of a near-the-identity symplectic map into an autonomous Hamiltonian flow with exponentially small error.