



@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 = {<p>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))).</p>},
	url = {http://arxiv.org/abs/1403.2975v2},
	author = {Neil J. Ross and Peter Selinger}
}
