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.

Reversible logic circuit synthesis algorithm based on transposition gate library

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

Reversible Logic Synthesis by Quantum Rotation Gates

Application of Permutation Group Theory in Reversible Logic Synthesis

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

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

Four-level Realisation of 3-Qubit Reversible Functions

Reversible Gates Using Quantum Phase Slip Junctions, Part A: Logical Reversible Design

Synthesis of Ternary Non-Reversible Logic Circuits

On Synthesis of 3 × 3 Reversible Logic Functions

Synthesis of reversible circuits with minimal costs

Quantum logic synthesis by symbolic reachability analysis

An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

Bi-Direction Synthesis for Reversible Circuits

New Designs of Universal Reversible Gate Library

Group theory based synthesis of binary reversible circuits

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

New designs of reversible sequential devices

Bi-Directional Synthesis of 4-Bit Reversible Circuits

Realization and Synthesis of Reversible Functions Throng Double-Coset

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits