If is irrational and are real, the fractional parts of form an equidistributed sequence. In the Van der Corput lemma, every nonzero-lag correlation of is a geometric series with irrational frequency and tends to zero. The Weyl criterion then applies.
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.
Articles by others on the same topic
There are currently no matching articles.