Uniform square recurrence on the circle

ID: uniform-square-recurrence-on-the-circle

For rational , a multiple of its denominator gives exact integer recurrence. For irrational , Weyl differencing and the Weyl criterion give an equidistributed sequence modulo one. Thus every parameter belongs to one of the open sets . Compactness of the circle group gives a finite subcover, hence a bound uniform in ; no explicit rate follows from this compactness step.

New to topics? Read the docs here!