Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 13 / 2 / Solution

Write $e(t)=e^{2\pi it}$. We first prove the needed cancellation of quadratic exponential sums, rather than invoke equidistribution without proof. The number $\sqrt{2}$ is irrational: writing it as a reduced fraction would make its numerator even from $u^2=2v^2$, and then its denominator even as well, a contradiction. Thus $2hr\sqrt{2}$ is irrational for nonzero integers $h,r$.

Fix $h\ne 0$ and set $z_n=e(h\sqrt{2}{n}^2)$ for $1\le n\le L$, extending it by zero otherwise. For integers $L\ge H\ge 1$, each term appears exactly $H$ times in the shifted sum, soFor any complex numbers $w_1,\dots ,w_J$, nonnegativity of ${\sum }_j|w_j-J^{-1}{\sum }_i{w}_i{|}^2$ gives $|{\sum }_j{w}_j{|}^2\le J{\sum }_j|w_j{|}^2$. Apply this special Cauchy-Schwarz inequality to the displayed outer sum, and then expand the inner squared modulus. This givesFor fixed $H$ and large $L$, each correlation is the geometric serieswhose absolute value is at most $2/|1-e(2hr\sqrt{2})|$, independently of $L$. This follows by multiplying the geometric sum by $1-e(2hr\sqrt{2})$; its denominator is nonzero by irrationality. Divide the inequality by $L^2$ and let $L\to \infty$, keeping $H$ fixed. It gives a limit superior at most $1/H$. Taking arbitrarily large $H$ provesThis is the quadratic instance of the Van der Corput inequality for finite scalar sequences, with its proof supplied here.

To turn cancellation into the particular approximation, put $\epsilon =10^{-8}$ and choose an integer $M>2/{\sin }^2(\pi \epsilon )$. The Fejér kernel is the explicit finite trigonometric polynomialThe expansion follows by counting pairs of indices with difference $h$. Its constant coefficient is one, so the cancellation just proved givesIf $\Vert t{\Vert }_{\mathbb{R}/\mathbb{Z}}\ge \epsilon$, the geometric-series formula givesFor all sufficiently large $L$, the displayed average exceeds $1/2$. Consequently at least one $n\in \{1,\dots ,L\}$ satisfiesIt is a positive integer, as required. Every auxiliary cancellation and kernel identity used in this existence proof has been derived; a smooth cutoff or an unproved Weyl criterion is unnecessary.