Abstract:Reversible quantum logic plays an important role in quantum computing. In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability analysis where the primary inputs are purely binary. we use symbolic reachability analysis, a technique most commonly used in model checking (a way of formal verification), to synthesize the optimum quantum circuits. We present an exact synthesis method with optimal quantum cost and a speedup method with non-optimal quantum cost. Both our methods guarantee the synthesizeability of all reversible circuits. Unlike previous works which use permutative reversible gates, we use a lower level library which includes non-permutative quantum gates. For the first time, problems in quantum logic synthesis have been reduced to those of multiple-valued logic synthesis thus reducing the search space and algorithm complexity. We synthesized quantum circuits for gate, half-adder, full-adder, etc. with the smallest cost.. Our approach obtains the minimum cost quantum circuits for Miller's gate, half-adder, and full-adder, which are better than previous results. In addition, we prove the minimum quantum cost (using our elementary quantum gates) for Fredkin, Peres, and Toffoli gates. Our work constitutes the first successful experience of applying satisfiability with formal methods to quantum logic synthesis.

Speedy Algorithm for Synthesis of Quantum Reversible Logic Circuits Based on Bit Operation

An Algorithm for Synthesis of Optimal 3-qubit Reversible Circuits Based on Bit Operation

Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost

Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis.

Bi-Directional Synthesis of 4-Bit Reversible Circuits

A Synthesis Method of Quantum Reversible Logic Circuit Based on Elementary Qutrit Quantum Logic Gates.

Reversible Logic Synthesis by Quantum Rotation Gates

Bi-Direction Synthesis for Reversible Circuits

Quantum logic synthesis by symbolic reachability analysis

Four-level Realisation of 3-Qubit Reversible Functions

Optimal Synthesis of Multiple Output Boolean Functions Using a Set of Quantum Gates by Symbolic Reachability Analysis

Synthesis and Optimization of Reversible Circuits - A Survey

Group theory based synthesis of binary reversible circuits

Realization and Synthesis of Reversible Functions

Exact Synthesis of Three-Qubit Quantum Circuits from Non-Binary Quantum Gates

Realization and Synthesis of Reversible Functions Throng Double-Coset

Synthesis of Ternary Non-Reversible Logic Circuits

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits

Asymptotically optimal synthesis of reversible circuits

Reversible Circuit Optimization via Leaving the Boolean Domain

On Synthesis of 3 × 3 Reversible Logic Functions