Efficient Fault-Tolerant Single Qubit Gate Approximation And Universal Quantum Computation Without Using The Solovay-Kitaev Theorem

H. F. Chau

2024-06-07

Abstract:Arbitrarily accurate fault-tolerant (FT) universal quantum computation can be carried out using the Clifford gates Z, S, CNOT plus the non-Clifford T gate. Moreover, a recent improvement of the Solovay-Kitaev theorem by Kuperberg implies that to approximate any single-qubit gate to an accuracy of $\epsilon > 0$ requires $\text{O}(\log^c[1/\epsilon])$ quantum gates with $c > 1.44042$. Can one do better? That was the question asked by Nielsen and Chuang in their quantum computation textbook. Specifically, they posted a challenge to efficiently approximate single-qubit gate, fault-tolerantly or otherwise, using $\Omega(\log[1/\epsilon])$ gates chosen from a finite set. Here I give a partial answer to this question by showing that this is possible using $\text{O}(\log[1/\epsilon] \log\log[1/\epsilon] \log\log\log[1/\epsilon] \cdots)$ FT gates chosen from a finite set depending on the value of $\epsilon$. The key idea is to construct an approximation of any phase gate in a FT way by recursion to any given accuracy $\epsilon > 0$. This method is straightforward to implement, easy to understand, and interestingly does not involve the Solovay-Kitaev theorem.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to efficiently implement fault - tolerant approximations of single - qubit gates in quantum computing without relying on the Solovay - Kitaev theorem. Specifically, the paper explores how to use quantum gates in a finite set to approximate any single - qubit gate with a complexity of \(O(\log[1/\epsilon]\log\log[1/\epsilon]\log\log\log[1/\epsilon]\cdots)\) in a fault - tolerant manner, where \(\epsilon\) is the required precision. This problem was initially proposed by Nielsen and Chuang in their quantum computing textbook, where they challenged researchers to find a method to efficiently approximate single - qubit gates with a complexity of \(O(\log[1/\epsilon])\), regardless of whether fault - tolerance is considered.

The main contribution of the paper lies in providing a partial solution. By recursively constructing fault - tolerant approximations of arbitrary phase gates, it achieves an efficient approximation of any single - qubit gate. This method not only avoids the use of the Solovay - Kitaev theorem but also theoretically achieves a near - optimal complexity, providing new ideas for efficient fault - tolerant operations in quantum computing.