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.

Synthesis of Ternary Non-Reversible Logic Circuits

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits

Computation of Internal Fluid Flows in Channels Using the Package CFX-5

Group theory based synthesis of binary reversible circuits

Realization and Synthesis of Reversible Functions Throng Double-Coset

On Synthesis of 3 × 3 Reversible Logic Functions

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

Realizing Ternary Quantum Switching Networks Without Ancilla Bits

Application of Permutation Group Theory in Reversible Logic Synthesis

Universality of 2-qudit ternary reversible gates

Four-level Realisation of 3-Qubit Reversible Functions

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

Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic and group theory

Realization and Synthesis of Reversible Functions

Bi-Direction Synthesis for Reversible Circuits

Reversible Logic Synthesis by Quantum Rotation Gates

Reversible logic circuit synthesis algorithm based on transposition gate library

Bi-Directional Synthesis of 4-Bit Reversible Circuits

Quantum Ternary Circuit Synthesis Using Projection Operations

Qubits Reversible Logic Circuits Synthesis Based on Bisection Method

Quantum logic synthesis by symbolic reachability analysis