Typicality of recurrence for Lorentz gases

Abstract

It is a safe conjecture that most (not necessarily periodic) two-dimensional Lorentz gases with finite horizon are recurrent. Here we formalize this conjecture by means of a stochastic ensemble of Lorentz gases, in which independent identically distributed random scatterers are placed in each cell of a co-compact lattice in the plane. We prove that the typical Lorentz gas, in the sense of Baire, is recurrent, and give results in the direction of showing that recurrence is an almost sure property (including a zero--one law that holds in every dimension). A few toy models illustrate the extent of these results.