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!