Diffusion limit for a slow-fast standard map (Q2299358)

The authors consider the map \(\mathcal{G}_\epsilon:(x, z) \mapsto\left(x+\epsilon^{-\alpha} \sin (2 \pi x)+\epsilon^{-(1+\alpha)} z, z+\epsilon \sin (2 \pi x)\right)\). They show that this map is conjugated to the Chirikov standard map. At first, they prove a theorem (Theorem C) on decay of correlations of the standard map, and introduce the notion of standard pairs. Then they give a central limit theorem for the standard map (Theorem B), which is used to prove their main theorem. In the last part of the article, they get their main result (Theorem A), a central limit theorem for \(\mathcal{G}_\epsilon\) when \(\alpha\) is properly chosen. The author conjecture that the error term in Theorem C can be improved, which may lead to an improved Weak Law of Large Numbers.