Abstract:Resource consumption is an important issue in quantum information processing, particularly during the present NISQ era. In this paper, we investigate resource optimization of implementing multiple controlled operations, which are fundamental building blocks in the field of quantum computing and quantum simulation. We design new quantum circuits for the $n$-Toffoli gate and general multi-controlled unitary, which have only $O(\log n)$-depth and $O(n)$-size, and only require $1$ ancillary qubit. To achieve these results, we explore the potential of ancillary qubits and discover a method to create new conditional clean qubits from existed ancillary qubits. These techniques can also be utilized to construct an efficient quantum circuit for incrementor, leading to an implementation of multi-qubit Toffoli gate with a depth of $O(\log^2n)$ and size of $O(n)$ without any ancillary qubits. Furthermore, we explore the power of ancillary qubits from the perspective of resource theory. We demonstrate that without the assistance of ancillary qubit, any quantum circuit implementation of multi-qubit Toffoli gate must employ exponential precision gates. This finding indicates a significant disparity in computational power of quantum circuits between using and not using ancillary qubits. Additionally, we discuss the comparison of the power of ancillary qubits and extra energy levels in quantum circuit design.

Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla

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

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

Approaching the theoretical limit in quantum gate decomposition

Rise of conditionally clean ancillae for optimizing quantum circuits

Quantum circuit for multi-qubit Toffoli gate with optimal resource

Modifying $n$-qubit controlled-$ZX$ gate to be $n$-qubit Toffoli gate

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

Linear decomposition of approximate multi-controlled single qubit gates

00 12 05 5 v 2 1 4 M ar 2 00 1 Multi-bit gates for quantum computing

Beyond Quantum Shannon: Circuit Construction for General n-Qubit Gates Based on Block ZXZ-Decomposition

Optimal synthesis of general multi-qutrit quantum computation

Halving the cost of quantum addition

Polylogarithmic-depth controlled-NOT gates without ancilla qubits

Optimal Toffoli-Depth Quantum Adder

Systematic construction of multi-controlled Pauli gate decompositions with optimal $T$-count

A T-depth two Toffoli gate for 2D square lattice architectures

Classification and transformations of quantum circuit decompositions for permutation operations

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

Optimizing Gate Decomposition for High-Level Quantum Programming