Cubic eighth-moment proof by differencing
ID: cubic-eighth-moment-proof-by-differencing
Write and . Character orthogonality gives . For , fix the difference . If , there are choices for the two equal pairs. If , any solution has ; fixing this divisor gives a quadratic equation for , hence at most two choices. The subpower bound for the divisor function yields .
The twice-differenced inequality in Weyl differencing reads , with counting triples for which and all four shifted arguments are in . Thus , and for : the product divides , and the remaining equation determines . The Fourier coefficients of are nonnegative counts, with and . Multiply the inequality by and integrate. It follows that , after choosing the divisor-bound exponents small enough.
New to topics? Read the docs here!