for some time T ≫ ≫ 0. Precise formulations of possible genericity conditions in the context of a priori unstable and a priori stable system can be found in, respectively. Informally, the Arnold diffusion problem says that small perturbations can accumulate to large effects.