Bilinear cancellation for badly approximable phases
ID: bilinear-cancellation-for-badly-approximable-phases
Let be a badly approximable number, and sum with and . The Cauchy-Schwarz inequality, divisor-square summatory bound and geometric sums give . Separated rotations bound the last sum by , giving the displayed estimate. A hyperbolic cutoff remains valid because the allowed first-variable values after expansion form an interval.
New to topics? Read the docs here!