Rational-phase Type II estimate

ID: rational-phase-type-ii-estimate

Suppose , , , , and with . A dyadic decomposition reduces to blocks . The Cauchy-Schwarz inequality, divisor-square summatory bound and the reciprocal fractional-part sum near a rational give
The condition makes the allowed values for each pair an interval, so the exponential geometric sum bound applies despite the hyperbolic cutoff. Since and , take square roots and sum the blocks to get the displayed estimate.

New to topics? Read the docs here!