Spectral analysis of the transfer operator for the Lorentz gas

We study the billiard map associated with both the finite and infinite horizon Lorentz gases having smooth scatterers with strictly positive curvature. We introduce generalized function spaces (Banach spaces of distributions) on which the transfer operator is quasi-compact. The mixing properties of the billiard map then imply the existence of a spectral gap and related statistical properties such as exponential decay of correlations and the central limit theorem. Finer statistical properties of the map such as the identification of Ruelle resonances, large deviation estimates and an almost-sure invariance principle follow immediately once the spectral picture is established.