Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits

This paper considers the optimization of reversible circuits composed of multiple-control Toffoli gates to quantum circuits using the well-known NCV-1 (NCV) library and the recently introduced NCV-v1 library which both use a four-valued model for the quantum gates. The techniques introduced handle positive and negative controls which are central to many reversible circuit synthesis procedures. Experimental results confirm the methods are applicable to circuits obtained by diverse synthesis methods. The results also show the significant advantage of the NCV-v1 library.

[1]  Robert Wille,et al.  Realizing reversible circuits using a new class of quantum gates , 2012, DAC Design Automation Conference 2012.

[2]  Robert Wille,et al.  Equivalence Checking of Reversible Circuits , 2009, 2009 39th International Symposium on Multiple-Valued Logic.

[3]  A. Mishchenko,et al.  Fast Heuristic Minimization of Exclusive-Sums-of-Products , 2001 .

[4]  Jr.,et al.  Multivalued logic gates for quantum computation , 2000, quant-ph/0002033.

[5]  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..

[6]  Gerhard W. Dueck,et al.  A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[7]  Anas N. Al-Rabadi.  Reversible Logic Synthesis , 2003 .

[8]  D. Michael Miller,et al.  QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits , 2006, 36th International Symposium on Multiple-Valued Logic (ISMVL'06).

[9]  Yushi Wang,et al.  Improved Complexity of Quantum Oracles for Ternary Grover Algorithm for Graph Coloring , 2011, 2011 41st IEEE International Symposium on Multiple-Valued Logic.

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

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

[12]  Maher Hawash,et al.  Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations , 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

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

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

[15]  Gerhard W. Dueck,et al.  Quantum Circuit Simplification and Level Compaction , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[16]  Robert Wille,et al.  Synthesis of reversible circuits with minimal lines for large functions , 2012, 17th Asia and South Pacific Design Automation Conference.

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

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

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

[20]  Robert Wille,et al.  RevLib: An Online Resource for Reversible Functions and Reversible Circuits , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[21]  Masaki Nakanishi,et al.  An Efficient Method to Convert Arbitrary Quantum Circuits to Ones on a Linear Nearest Neighbor Architecture , 2009, 2009 Third International Conference on Quantum, Nano and Micro Technologies.

[22]  Lov K. Grover.  Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.

[23]  Martin Lukac,et al.  Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates , 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

[24]  Gerhard W. Dueck,et al.  Reversible Logic Synthesis , 2020, Reversible and DNA Computing.

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

[26]  Tsutomu Sasao.  And-Exor Expressions and their Optimization , 1993 .

[27]  Michitaka Kameyama,et al.  Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions , 2010, IEEE Congress on Evolutionary Computation.

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

[29]  Morteza Saheb Zamani,et al.  Evaluation and Improvement of Quantum Synthesis Algorithms based on a Thorough Set of Metrics , 2008, 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools.

[30]  Zahra Sasanian,et al.  NCV realization of MCT gates with mixed controls , 2011, Proceedings of 2011 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing.

[31]  Robert Wille,et al.  Synthesis of quantum circuits for linear nearest neighbor architectures , 2011, Quantum Inf. Process..

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