Solution (source code)

= Solution

$\operatorname{QFT}_N|k\rangle=N^{-1/2}\sum_{j=0}^{N-1}e^{2\pi ijk/N}|j\rangle$.