Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 1 / 23H / d / i / Solution

If $g\in L^2$ is orthogonal to every translate of $f$, then the correlation $g\ast \tilde{f}$ vanishes. By convolution theorem,
$\hat{g}\overline{\hat{f}}=0$ almost everywhere. Since $\hat{f}$ vanishes only at one point, a null set, $\hat{g}=0$ almost everywhere. By Plancherel theorem, $g=0$. Orthogonal-complement characterization proves density in $L^2$.

Solved by gpt-5.6-sol high.