Quantum Fourier Transform Revisited

The fast Fourier transform (FFT) is one of the most successful numerical algorithms of the 20th century and has found numerous applications in many branches of computational science and engineering. The FFT algorithm can be derived from a particular matrix decomposition of the discrete Fourier transform (DFT) matrix. In this paper, we show that the quantum Fourier transform (QFT) can be derived by further decomposing the diagonal factors of the FFT matrix decomposition into products of matrices with Kronecker product structure. We analyze the implication of this Kronecker product structure on the discrete Fourier transform of rank-1 tensors on a classical computer. We also explain why such a structure can take advantage of an important quantum computer feature that enables the QFT algorithm to attain an exponential speedup on a quantum computer over the FFT algorithm on a classical computer. Further, the connection between the matrix decomposition of the DFT matrix and a quantum circuit is made. We also discuss a natural extension of a radix-2 QFT decomposition to a radix-d QFT decomposition. No prior knowledge of quantum computing is required to understand what is presented in this paper. Yet, we believe this paper may help readers to gain some rudimentary understanding of the nature of quantum computing from a matrix computation point of view.

[1]  H. Sloate,et al.  Matrix representations for sorting and the fast Fourier transform , 1974 .

[2]  Marshall C. Pease,et al.  An Adaptation of the Fast Fourier Transform for Parallel Processing , 1968, JACM.

[3]  Ashok Muthukrishnan C. R. Stroud Quantum fast Fourier transform using multilevel atoms , 2001, quant-ph/0112017.

[4]  Igor L. Markov,et al.  Asymptotically optimal circuits for arbitrary n-qubit diagonal comutations , 2004, Quantum Inf. Comput..

[5]  Jonathan M. Welch On the Synthesis of Quantum Circuits for Diagonal Operators in Quantum Computation , 2015 .

[6]  J. Tukey,et al.  An algorithm for the machine calculation of complex Fourier series , 1965 .

[7]  Meir Drubin Kronecker Product Factorization of the FFT Matrix , 1971, IEEE Transactions on Computers.

[8]  Chris Lomont Quantum convolution and quantum correlation algorithms are physically impossible , 2003 .

[9]  D. Coppersmith An approximate Fourier transform useful in quantum factoring , 2002, quant-ph/0201067.

[10]  C. Loan Computational Frameworks for the Fast Fourier Transform , 1992 .

[11]  Jack J. Dongarra,et al.  Guest Editors Introduction to the top 10 algorithms , 2000, Comput. Sci. Eng..

[12]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[13]  D. Deutsch Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[14]  Kavita Dorai,et al.  Implementation of the quantum Fourier transform on a hybrid qubit–qutrit NMR quantum emulator , 2015, 1503.06624.

[15]  Boris N. Khoromskij,et al.  Superfast Fourier Transform Using QTT Approximation , 2012 .

[16]  Dmitry V. Savostyanov QTT-rank-one vectors with QTT-rank-one and full-rank Fourier images , 2012 .

[17]  F. L. Hitchcock The Expression of a Tensor or a Polyadic as a Sum of Products , 1927 .

[18]  Cao Ye,et al.  Quantum Fourier Transform and Phase Estimation in Qudit System , 2011 .

[19]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[20]  Alexei Y. Kitaev,et al.  Quantum measurements and the Abelian Stabilizer Problem , 1995, Electron. Colloquium Comput. Complex..

[21]  Daniel Gottesman Fault-Tolerant Quantum Computation with Higher-Dimensional Systems , 1998, QCQC.