Quantum Cost Reduction of Reversible Circuits Using New Toffoli Decomposition Techniques

Quantum cost is the most important criteria to evaluate reversible and quantum circuits. Also the fundamental building blocks of reversible and quantum circuits are Multiple-Control Toffoli (MCT) gates. The synthesis of MCT based reversible circuits are usually conducted into two steps. First, MCT circuits are decomposed into quantum circuits and then they are optimized using various techniques such as template matching, moving rules to reduce the quantum cost of reversible circuits. In this paper, we propose new techniques to decompose the Toffoli gates, in which MCT based circuits are mapped into a corresponding quantum realization. The main improvement is that the resulting quantum realization of MCT based circuits makes significantly better realization than those achieved in the earlier approaches and further reduction is possible using some other optimization techniques. Experimental results show that our new techniques enable to get sub-optimal realization of the MCT based reversible circuits in decomposition stage and quantum cost reduction of the reversible circuits is achieved by using that sub-optimal realization.

[1]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[2]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

[3]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[4]  Gerhard W. Dueck,et al.  Improved quantum cost for n-bit Toffoli gates , 2003 .

[5]  Anshul Kumar,et al.  Impact of intercluster communication mechanisms on ILP in clustered VLIW architectures , 2007, TODE.

[6]  Rolf Drechsler,et al.  Exact sat-based toffoli network synthesis , 2007, GLSVLSI '07.

[7]  Gerhard W. Dueck,et al.  Techniques for the synthesis of reversible Toffoli networks , 2006, TODE.

[8]  Niraj K. Jha,et al.  Reversible logic synthesis with Fredkin and Peres gates , 2008, JETC.

[9]  Robert Wille,et al.  Quantified Synthesis of Reversible Logic , 2008, 2008 Design, Automation and Test in Europe.

[10]  Gerhard W. Dueck,et al.  Pairwise decomposition of toffoli gates in a quantum circuit , 2008, GLSVLSI '08.

[11]  D. Michael Miller,et al.  Lower cost quantum gate realizations of multiple-control Toffoli gates , 2009, 2009 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing.

[12]  Robert Wille,et al.  Reducing Reversible Circuit Cost by Adding Lines , 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

[13]  D. M. Miller,et al.  Lowering the Quantum Gate Cost of Reversible Circuits , 2010, 2010 53rd IEEE International Midwest Symposium on Circuits and Systems.

[14]  Robert Wille,et al.  Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates , 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.

[15]  Gerhard W. Dueck,et al.  Two-Qubit Quantum Gates to Reduce the Quantum Cost of Reversible Circuit , 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.

[16]  D. Michael Miller,et al.  Transforming MCT Circuits to NCVW Circuits , 2011, RC.

[17]  Pawel Kerntopf,et al.  Reducing Quantum Cost in Reversible Toffoli Circuits , 2011, ArXiv.

[18]  Dmitri Maslov,et al.  Reversible Circuit Optimization Via Leaving the Boolean Domain , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[19]  D. Michael Miller,et al.  Mapping a Multiple-control Toffoli Gate Cascade to an Elementary Quantum Gate Circuit , 2012, J. Multiple Valued Log. Soft Comput..

[20]  D. Michael Miller,et al.  Reversible and Quantum Circuit Optimization: A Functional Approach , 2012, RC.

[21]  M. Szyprowski,et al.  A study of optimal 4-bit reversible circuit synthesis from mixed-polarity Toffoli gates , 2012, 2012 12th IEEE International Conference on Nanotechnology (IEEE-NANO).

[22]  Zahra Sasanian,et al.  Technology mapping and optimization for reversible and quantum circuits , 2012 .

[23]  Igor L. Markov,et al.  Synthesis and optimization of reversible circuits—a survey , 2011, CSUR.