Equidistribution criterion for a torus translation

ID: equidistribution-criterion-for-a-torus-translation

The sequence is equidistributed in precisely when for every nonzero integer pair . Equivalently are rationally independent. Under that condition, nonconstant character averages tend to zero by the geometric-series formula. Uniform approximation by trigonometric polynomials gives convergence for continuous functions, and continuous upper and lower bounds give convergence for rectangles. If a character is resonant, the orbit lies in its proper closed kernel and misses a positive-area rectangle, so equidistribution fails.

New to topics? Read the docs here!