Gaussian fluctuations for random walks in random mixing environments

We consider a class of ballistic, multidimensional random walks in random environments where the environment satisfies appropriate mixing conditions. Continuing our previous work [2] for the law of large numbers, we prove here that the fluctuations are Gaussian when the environment is Gibbsian satisfying the "strong mixing condition" of Dobrushin and Shlosman and the mixing rate is large enough to balance moments of some random times depending on the path. Under appropriate assumptions the annealed Central Limit Theorem (CLT) applies in both non-nestling and nestling cases, and trivially in the case of finite-dependent environments with "strong enough bias". Our proof makes use of the asymptotic regeneration scheme introduced in [2]. When the environment is only weakly mixing, we can only prove that if the fluctuations are diffusive then they are necessarily Gaussian.