@article {1533, title = {Optimal ancilla-free Clifford+T approximation of z-rotations}, journal = {Quantum Information and Computation}, volume = {16}, year = {2016}, pages = {901-953}, abstract = {
We consider the problem of decomposing arbitrary single-qubit z-rotations into ancilla-free Clifford+T circuits, up to given epsilon. We present a new efficient algorithm for solving this problem optimally, i.e., for finding the shortest possible circuit whatsoever for the given problem instance. The algorithm requires a factoring oracle (such as a quantum computer). Even in the absence of a factoring oracle, the algorithm is still near-optimal: In this case, it finds a solution of T-count m + O(log(log(1/epsilon))), where m is the T-count of the second-to-optimal solution. In the typical case, this yields circuit decompositions of T-count 3log_2(1/epsilon) + O(log(log(1/epsilon))).
}, url = {http://arxiv.org/abs/1403.2975v2}, author = {Neil J. Ross and Peter Selinger} }