Quantum Wavelet Transforms: Fast Algorithms and Complete Circuits

The quantum Fourier transform (QFT), a quantum analog of the classical Fourier transform, has been shown to be a powerful tool in developing quantum algorithms. However, in classical computing there is another class of unitary transforms, the wavelet transforms, which are every bit as useful as the Fourier transform. Wavelet transforms are used to expose the multi-scale structure of a signal and are likely to be useful for quantum image processing and quantum data compression. In this paper, we derive efficient, complete, quantum circuits for two representative quantum wavelet transforms, the quantum Haar and quantum Daubechies D(4) transforms. Our approach is to factor the classical operators for these transforms into direct sums, direct products and dot products of unitary matrices. In so doing, we find that permutation matrices, a particular class of unitary matrices, play a pivotal role. Surprisingly, we find that operations that are easy and inexpensive to implement classically are not always easy and inexpensive to implement quantum mechanically, and vice versa. In particular, the computational cost of performing certain permutation matrices is ignored classically because they can be avoided explicitly. However, quantum mechanically, these permutation operations must be performed explicitly and hence their cost enters into the full complexity measure of the quantum transform. We consider the particular set of permutation matrices arising in quantum wavelet transforms and develop efficient quantum circuits that implement them. This allows us to design efficient, complete quantum circuits for the quantum wavelet transform.

[1]  R. Jozsa Quantum algorithms and the Fourier transform , 1997, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[2]  Jonathan A. Jones,et al.  Implementation of a Quantum Search Algorithm on a Nuclear Magnetic Resonance Quantum Computer , 1998 .

[3]  Peter Hoyer,et al.  Multiparty quantum communication complexity. , 1997 .

[4]  Reck,et al.  Experimental realization of any discrete unitary operator. , 1994, Physical review letters.

[5]  D. Leung,et al.  Experimental realization of a quantum algorithm , 1998, Nature.

[6]  Barenco,et al.  Approximate quantum Fourier transform and decoherence. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[7]  Jonathan A. Jones,et al.  Implementation of a quantum search algorithm on a quantum computer , 1998, Nature.

[8]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[9]  Gilles Brassard,et al.  Quantum Counting , 1998, ICALP.

[10]  E. Knill Approximation by Quantum Circuits , 1995 .

[11]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[12]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[13]  I. Daubechies Orthonormal bases of compactly supported wavelets , 1988 .

[14]  Christof Zalka GROVER'S QUANTUM SEARCHING ALGORITHM IS OPTIMAL , 1997, quant-ph/9711070.

[15]  D. Deutsch,et al.  Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[16]  Chuang,et al.  Simple quantum computer. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[17]  Noam Nisan,et al.  Quantum circuits with mixed states , 1998, STOC '98.

[18]  V. Ralph Algazi,et al.  A Unified Treatment of Discrete Fast Unitary Transforms , 1977, SIAM J. Comput..

[19]  Lov K. Grover,et al.  Nested quantum search and structured problems , 1998, quant-ph/9806078.

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

[21]  Barenco,et al.  Quantum networks for elementary arithmetic operations. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[22]  P. Høyer Efficient Quantum Transforms , 1997, quant-ph/9702028.

[23]  Preskill,et al.  Efficient networks for quantum factoring. , 1996, Physical review. A, Atomic, molecular, and optical physics.