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.

Quantum Reversible Circuits for $${\text {GF}}(2^8)$$ Multiplication Based on Composite Field Arithmetic Operations

Quantum reversible circuits for multiplicative inverse

Quantum schoolbook multiplication with fewer Toffoli gates

Fast quantum integer multiplication with zero ancillas

Toffoli gate count optimized space-efficient quantum circuit for binary field multiplication

Efficient Quantum Arithmetic Operation Circuits for Quantum Image Processing

Efficient quantum circuits for binary elliptic curve arithmetic: reducing T-gate complexity

Quantum circuits for floating-point arithmetic

The Circuit Design and Optimization of Quantum Multiplier and Divider

High- and Half-Degree Quantum Multiplication for Post-Quantum Security Evaluation

Resource Optimized Quantum Squaring Circuit

Optimal synthesis of general multi-qutrit quantum computation

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

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

On the realistic worst case analysis of quantum arithmetic circuits

Implementing multi-controlled X gates using the quantum Fourier transform

Faster Quantum Number Factoring via Circuit Synthesis

Quantum Fourier Transformation Circuits Compilation

Quantum reversible circuit of AES-128

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

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