Title | Optimal ancilla-free Clifford+T approximation of z-rotations |

Publication Type | Journal Article |

Year of Publication | 2016 |

Authors | Ross, NJ, Selinger, P |

Journal | Quantum Information and Computation |

Volume | 16 |

Issue | 11-12 |

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 |