Abstract: In this paper, we study the optimal simulation of three-qubit unitary by using two-qubit gates. First, we give a lower bound on the two-qubit gates cost of simulating a multi-qubit gate. Secondly, we completely characterize the two-qubit gate cost of simulating a three-qubit controlled controlled gate by generalizing our result on the cost of Toffoli gate. The function of controlled controlled gate is simply a three-qubit controlled unitary gate and can be intuitively explained as follows: the gate will output the states of the two control qubit directly, and apply the given one-qubit unitary $u$ on the target qubit only if both the states of the control are $\ket{1}$. Previously, it is only known that five two-qubit gates is sufficient for implementing such a gate [Sleator and Weinfurter, Phys. Rev. Lett. 74, 4087 (1995)]. Our result shows that if the determinant of $u$ is 1, four two-qubit gates is achievable optimal. Otherwise, five is optimal. Thirdly, we show that five two-qubit gates are necessary and sufficient for implementing the Fredkin gate(the controlled swap gate), which settles the open problem introduced in [Smolin and DiVincenzo, Phys. Rev. A, 53, 2855 (1996)]. The Fredkin gate is one of the most important quantum logic gates because it is universal alone for classical reversible computation, and thus with little help, universal for quantum computation. Before our work, a five two-qubit gates decomposition of the Fredkin gate was already known, and numerical evidence of showing five is optimal is found.

Optimal Simulation of Deutsch Gates and the Fredkin Gate

Optimal simulation of three-qubit gates

Quantum Fredkin Gate Based on Synthetic Three-Body Interactions in Superconducting Circuits

Five Two-Qubit Gates Are Necessary for Implementing Toffoli Gate

Five Two-Qubit Gates Are Necessary for Implementing the Toffoli Gate

Optimal Implementation of Quantum Gates with Two Controls

Super controlled gates and controlled gates in two-qubit gate simulations

Conditions for Optimal Construction of Two-Qubit Nonlocal Gates

Design and optimisation of quantum logic circuits for a three-qubit Deutsch-Jozsa algorithm implemented with optically-controlled, solid-state quantum logic gates

Extending Matchgate Simulation Methods to Universal Quantum Circuits

Optimal synthesis of general multi-qutrit quantum computation

Efficient experimental design of high-fidelity three-qubit quantum gates via genetic programming

Deutsch, Toffoli, and CNOT Gates via Rydberg Blockade of Neutral Atoms

Optimal Control Theory for Continuous-Variable Quantum Gates

Implementing two-qubit gates at the quantum speed limit

Efficient and deterministic high-dimensional controlled-swap gates on hybrid linear optical systems with high fidelity

Geodesic Algorithm for Unitary Gate Design with Time-Independent Hamiltonians

Optimizing Gate Decomposition for High-Level Quantum Programming

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

Implementation of Fault-tolerant Quantum Logic Gates via Optimal Control