arXiv++ Combinatorics

The main result of this paper is a decomposition theorem for a measure on the one-dimensional torus. Given a sufficiently large subset $S$ of the positive integers, an arbitrary measure on the torus is decomposed as the sum of two measures. The first one $μ_1$ has the property that the random walk with initial distribution $μ_1$ evolved by the action of $S$ equidistributes very fast. The second measure $μ_2$ in the decomposition is concentrated on very small neighborhoods of a small number of points.