The (classical) lower bound on Fast Fourier transform is still open question. IheThe complexity of $\mathcal{O}(Nlog(N))$$\mathcal{O}(N\log(N))$ (due to Cooley-TuckeyCooley-Tukey) is not shownknown to be optimal. (Here, N$N$ is the vector size.)
In the Quantumquantum counterpart, there is an $\mathcal{O}(n^2)$ algorithm (duedue to Coppersmith Coppersmith, 1994, and also Deutsch (1994)unpublished). Here n$n$ is number of qubits.
Is this result known to be optimal?
There has been some approximate QFT algorithm that do better [see- see, $\mathcal{O}(nlog(n))$$\mathcal{O}(n\log(n))$ due to HalesHales,2002] 2002. But, I am restricting to exact algorithms only for this question.