Abstract:We conduct a systematic study of quantum circuits composed of multiple-control $Z$-rotation (MCZR) gates as primitives, since they are widely-used components in quantum algorithms and also have attracted much experimental interest in recent years. Herein, we establish a circuit-polynomial correspondence to characterize the functionality of quantum circuits over the MCZR gate set with continuous parameters. An analytic method for exactly synthesizing such quantum circuit to implement any given diagonal unitary matrix with an optimal gate count is proposed, which also enables the circuit depth optimal for specific cases with pairs of complementary gates. Furthermore, we present a gate-exchange strategy together with a flexible iterative algorithm for effectively optimizing the depth of any MCZR circuit, which can also be applied to quantum circuits over any other commuting gate set. Besides the theoretical analysis, the practical performances of our circuit synthesis and optimization techniques are further evaluated by numerical experiments on two typical examples in quantum computing, including diagonal Hermitian operators and Quantum Approximate Optimization Algorithm (QAOA) circuits with tens of qubits, which can demonstrate a reduction in circuit depth by 33.40\% and 15.55\% on average over relevant prior works, respectively. Therefore, our methods and results provide a pathway for implementing quantum circuits and algorithms on recently developed devices.

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

EQB: Synthesizing Permutative Quantum Gates and Circuits Using Rotation-Based Group Decomposition

Linear decomposition of approximate multi-controlled single qubit gates

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

Efficient Implementation of Multi-Controlled Quantum Gates

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

Characterization, synthesis, and optimization of quantum circuits over multiple-control $\textit{Z}$-rotation gates: A systematic study

Modified Khaneja–Glaser Decomposition and Realization of Three-Qubit Quantum Gate

Quantum Computing with Hermitian Gates

Approaching the theoretical limit in quantum gate decomposition

Nonadiabatic Holonomic Multiqubit Controlled Gates

Diagonal operator decomposition on restricted topologies via enumeration of quantum state subsets

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

Optimizing Gate Decomposition for High-Level Quantum Programming

Cutting multi-control quantum gates with ZX calculus

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

Synthesis of Multivalued Quantum Logic Circuits by Elementary Gates

Hardware-Tailored Diagonalization Circuits

Experimental Realization of High-Dimensional Quantum Gates with Ultrahigh Fidelity and Efficiency

Realizing Multi-Qubit Controlled Nonadiabatic Holonomic Gates with Connecting Systems