Host equidistribution theorem

ID: host-equidistribution-theorem

Let be relatively prime integers. If is invariant and ergodic for the integer multiplication map on the circle and , then for -almost every the sequence is an equidistributed sequence for Lebesgue measure. For a non-ergodic invariant measure, the same conclusion holds if almost every measure in its ergodic decomposition has positive entropy. Positive entropy of the whole measure alone does not suffice.

New to topics? Read the docs here!