Reversible circuit rewriting with simulated annealing

This paper presents a rule based approach to optimize the quantum cost of reversible circuits using circuit rewriting rules that handle positive and negative controls. Since incremental optimization cannot guarantee optimality, we consider the application of simulated annealing to find further sub-circuits that could be replaced with smaller ones. Experimental evaluations show that simulated annealing not only can significantly improve the quality of reversible circuits but also is more efficient than a comparable greedy approach. Using the rewriting rules combined with the proposed method quantum cost reductions by up to 80% can be achieved.

[1]  Kamalika Datta,et al.  An ESOP-Based Reversible Circuit Synthesis Flow Using Simulated Annealing , 2014, ACSS.

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

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

[4]  Morteza Saheb Zamani,et al.  Rule-based optimization of reversible circuits , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

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

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

[8]  Stefan Frehse,et al.  RevKit: A Toolkit for Reversible Circuit Design , 2012, J. Multiple Valued Log. Soft Comput..

[9]  Robert Wille,et al.  Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits , 2012, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic.

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

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

[12]  Mathias Soeken,et al.  White Dots do Matter: Rewriting Reversible Logic Circuits , 2013, RC.

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

[14]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[15]  Saraju P. Mohanty,et al.  Reversible circuit synthesis using ACO and SA based Quine-McCluskey method , 2013, 2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS).

[16]  Gerhard W. Dueck,et al.  Simplification of Toffoli networks via templates , 2003, 16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings..