Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-76/5/i/solution

Use and the unnormalized Fourier transform
We state the eighth-power convention explicitly. A bounded function is -quadratically uniform if
where means conjugation and every expectation is uniform. The expression is real and nonnegative. Applying Parseval identity on a finite group to the multiplicative derivatives gives the equivalent condition
This is the Derivative identity for the Gowers U3 norm. A set of density is quadratically uniform when its balanced subset indicator satisfies that condition, not when its unbalanced indicator does. Some definitions bound rather than its eighth power; that norm parameter is in the convention here. Quadratic uniformity controls three-dimensional additive cubes and four-term progression counts; small ordinary linear Fourier coefficients alone are not the same condition.

New to topics? Read the docs here!