Abstract:Quantum circuits for mathematical functions such as division are necessary to use quantum computers for scientific computing. Quantum circuits based on Clifford+T gates can easily be made fault-tolerant but the T gate is very costly to implement. The small number of qubits available in existing quantum computers adds another constraint on quantum circuits. As a result, reducing T-count and qubit cost have become important optimization goals. The design of quantum circuits for integer division has caught the attention of researchers and designs have been proposed in the literature. However, these designs suffer from excessive T gate and qubit costs. Many of these designs also produce significant garbage output resulting in additional qubit and T gate costs to eliminate these outputs. In this work, we propose two quantum integer division circuits. The first proposed quantum integer division circuit is based on the restoring division algorithm and the second proposed design implements the non-restoring division algorithm. Both proposed designs are optimized in terms of T-count, T-depth and qubits. Both proposed quantum circuit designs are based on (i) a quantum subtractor, (ii) a quantum adder-subtractor circuit, and (iii) a novel quantum conditional addition circuit. Our proposed restoring division circuit achieves average T-count savings from 79.03 to 91.69 percent compared to the existing works. Our proposed non-restoring division circuit achieves average T-count savings from 49.22 to 90.03 percent compared to the existing works. Further, both our proposed designs have linear T-depth. We also illustrate the application of the proposed quantum division circuits in quantum image processing with a case study of quantum bilinear interpolation.

Halving the cost of quantum addition

Optimizing T and CNOT Gates in Quantum Ripple-Carry Adders and Comparators

T-count and T-depth efficient fault-tolerant quantum arithmetic and logic unit

Truncated phase-based quantum arithmetic: error propagation and resource reduction

Efficient Construction of a Control Modular Adder on a Carry-Lookahead Adder Using Relative-phase Toffoli Gates

Lower $T$-count with faster algorithms

Quantum block lookahead adders and the wait for magic states

Optimal Toffoli-Depth Quantum Adder

Designs of the divider and special multiplier optimizing T and CNOT gates

Quantum schoolbook multiplication with fewer Toffoli gates

T-count and Qubit Optimized Quantum Circuit Design of the Non-Restoring Square Root Algorithm

Efficient Implementation of Multi-Controlled Quantum Gates

Novel Optimized Designs of Modulo $2n+1$ Adder for Quantum Computing

Quantum Circuit Designs of Integer Division Optimizing T-count and T-depth

Resource Optimized Quantum Squaring Circuit

Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla

Quantum circuit optimization of an integer divider

A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits

Decomposing (N+1)-Qubit Toffoli Gate with Shallow Circuit Depth and No Ancilla

Cost-Effective Realization of n-Bit Toffoli Gates for IBM Quantum Computers Using the Bloch Sphere Approach and IBM Native Gates

Quantum circuit for multi-qubit Toffoli gate with optimal resource