I am going through Generic Quantum Fourier Transforms by Moore et al. I would like to put the screenshot of the section I am confused about below.
So, Why does $H$ need to be of size $poly(n)$ for the sequence to become true? What happens when $|H| >> $poly(n)$?