Reversible Circuit Optimization via Leaving the Boolean Domain

Abstract

For years, the quantum/reversible circuit community has been convinced that: a) the addition of auxiliary qubits is instrumental in constructing a smaller quantum circuit; and, b) the introduction of quantum gates inside reversible circuits may result in more efficient designs. This paper presents a systematic approach to optimizing reversible (and quantum) circuits via the introduction of auxiliary qubits and quantum gates inside circuit designs. This advances our understanding of what may be achieved with a) and b).

14 pages, 8 figures

References in corpus (7)

• Elementary gates for quantum computation
• Improved Simulation of Stabilizer Circuits
• Quantum measurements and the Abelian Stabilizer Problem
• A geometric theory of non-local two-qubit operations
• Efficient Toffoli Gates Using Qudits
• Techniques for the Synthesis of Reversible Toffoli Networks
• Reversible Circuit Synthesis Using a Cycle-Based Approach

Cited by in corpus (7)

• Synthesis and Optimization of Reversible Circuits - A Survey
• Efficient Distributed Quantum Computing
• A Threshold for Quantum Advantage in Derivative Pricing
• Reducing Quantum Cost in Reversible Toffoli Circuits
• Reversible circuit compilation with space constraints
• Depth-Optimized Reversible Circuit Synthesis
• Cayley graphs and analysis of quantum cost for reversible circuit synthesis