Rigorous approximation of diffusion coefficients for expanding maps (Q310035)

The authors consider the rigorous computation of diffusion coefficients in a class of systems where a central limit theorem holds. Such coefficients are relevant in the study of limit theorems and fluctuations for dynamical systems. This rigorous computation is based on a suitable finite dimensional approximation (discretization) of the system which is known as Ulam's method. The authors construct a rigorous approximation of diffusion coefficient for expanding maps. The main aim of the paper is to provide an algorithm whose output approximation has rigorous bounds. The authors divide the algorithm in four steps and its implementation is performed by using the Lanford's map.