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.

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

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

Optimizing Gate Decomposition for High-Level Quantum Programming

Linear decomposition of approximate multi-controlled single qubit gates

Efficient Implementation of Multi-Controlled Quantum Gates

Approaching the theoretical limit in quantum gate decomposition

Polylogarithmic-depth controlled-NOT gates without ancilla qubits

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

Decompositions of N-Qubit Toffoli Gates with Linear Circuit Complexity

Optimal, hardware native decomposition of parameterized multi-qubit Pauli gates

Decomposition of Diagonal Hermitian Quantum Gates Using Multiple-Controlled Pauli Z Gates

Quantum circuit for multi-qubit Toffoli gate with optimal resource

Cutting multi-control quantum gates with ZX calculus

Optimal Hadamard gate count for Clifford$+T$ synthesis of Pauli rotations sequences

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

Realization of Conditional Operations through Transition Pathway Engineering

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

Realization of a New Permutative Gate Library Using Controlled-Kth-root-of-not Quantum Gates for Exact Minimization of Quantum Circuits

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

Experimental Realization of Universal Time-optimal non-Abelian Geometric Gates

Implementing multi-controlled X gates using the quantum Fourier transform