1: \begin{abstract}

2:   The \emph{quantum Fourier transform} (QFT) is the principal

3:   algorithmic tool underlying most efficient quantum algorithms. We

4:   present a generic framework for the construction of efficient

5:   quantum circuits for the QFT by ``quantizing'' the \emph{separation

6:     of variables} technique that has been so successful in the study

7:   of classical Fourier transform computations.  Specifically, this

8:   framework applies the existence of computable Bratteli diagrams,

9:   adapted factorizations, and Gel'fand-Tsetlin bases to offer

10:   efficient quantum circuits for the QFT over a wide variety a finite

11:   Abelian and non-Abelian groups, including all group families for

12:   which efficient QFTs are currently known and many new group

13:   families. Moreover, the method gives rise to the first

14:   subexponential-size quantum circuits for the QFT over the linear

15:   groups $\GL_k(q)$, $\SL_k(q)$, and the finite groups of Lie type,

16:   for any fixed prime power $q$.

17: 

18:   \remove{Specifically, applying the classical tools of Bratteli

19:     diagrams, adapted factorizations, and Gel'fand-Tsetlin bases, we

20:     give the first efficient QFTs for a broad family of groups

21:     including

22:   \begin{itemize}

23:   \item $\GL_k(q)$, $\SL_k(q)$, $\PGL_k(q)$, and $\PSL_k(q)$, for any

24:     fixed prime $q$,

25:   \item the symmetric groups $S_n$ (recovering Beals' QFT for these

26:     groups) and wreath products $G \wreath S_n$ for $|G| = n^{O(1)}$,

27:     symmetric groups as a special case.

28: \end{itemize}}

29: \end{abstract}

30: