Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 324 / 1 / a / iii

Measure the coset state in the common eigenbasis $\{|v_{\chi }⟩\}$ of the group shift operators. Its overlap isThe character-sum cancellation lemma makes this sum $|K|$ when $\chi$ is trivial on $K$, and zero otherwise. Hence, with $K^{\perp }$ the annihilator of a subgroup of a finite abelian group,Since $|K^{\perp }|=|G|/|K|$, this is the uniform distribution on a finite set $K^{\perp }$. The factor $\chi (g_0)$ has modulus one, so the distribution is independent of $g_0$. This is abelian hidden-subgroup Fourier sampling.