Abstract:This paper proposes an approach to optimally synthesize quantum circuits by symbolic reachability analysis, where the primary inputs and outputs are basis binary and the internal signals can be nonbinary in a multiple-valued domain. The authors present an optimal synthesis method to minimize quantum cost and some speedup methods with nonoptimal quantum cost. The methods here are applicable to small reversible functions. Unlike previous works that use permutative reversible gates, a lower level library that includes nonpermutative quantum gates is used here. The proposed approach obtains the minimum cost quantum circuits for Miller gate, half adder, and full adder, which are better than previous results. This cost is minimum for any circuit using the set of quantum gates in this paper, where the control qubit of 2-qubit gates is always basis binary. In addition, the minimum quantum cost in the same manner for Fredkin, Peres, and Toffoli gates is proven. The method can also find the best conversion from an irreversible function to a reversible circuit as a byproduct of the generality of its formulation, thus synthesizing in principle arbitrary multi-output Boolean functions with quantum gate library. This paper constitutes the first successful experience of applying formal methods and satisfiability to quantum logic synthesis.

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

Realizing Ternary Quantum Switching Networks Without Ancilla Bits

Synthesis of Ternary Non-Reversible Logic Circuits

Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits

Universality of 2-qudit ternary reversible gates

Quantum Ternary Circuit Synthesis Using Projection Operations

Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits

Synthesizing hybrid quantum circuits without ancilla qudits

Group theory based synthesis of binary reversible circuits

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

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 Throng Double-Coset

A Synthesis Method for Quaternary Quantum Logic Circuits

Bi-Direction Synthesis for Reversible Circuits

Reversible Logic Synthesis by Quantum Rotation Gates

On Synthesis of 3 × 3 Reversible Logic Functions

Four-level Realisation of 3-Qubit Reversible Functions

Quantum Circuit Synthesis Using a New Quantum Logic Gate Library of NCV Quantum Gates

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

Qubits Reversible Logic Circuits Synthesis Based on Bisection Method