Realization of Quantum Boolean Circuits Using Garbage Free Fredkin Operations

摘要

Synthesis of Boolean logic circuits in quantum domain is an important issue for the design and implementation of quantum computers. The fundamental gates in this domain are reversible in nature. While the generalized CkNOT gate has been a popular choice for defining the quantum logic circuits, recently Fredkin gate logic is also putting up stiff challenges in this regard. It has been established that a Fredkin gate [1] can inherently implement the fundamental logic operations such as AND, OR, NOT and FANOUT. From the technology point of view, Fredkin gate requires one fewer control qubit than its C~k NOT counterpart and hence is easier to implement. However, its drawback lies in the generation of garbage qubits, which can aid in de-coherence of the quantum state. Our work focuses on the logic synthesis of Quantum Boolean Circuits utilizing Fredkin logic as the building block, and defining techniques for realizing programmable logic circuits with garbage free Fredkin operations.