2013/11/30 by Adam Paetznick, Krysta M. Svore · 3 citations
Physics and Astronomy · #quant-ph
published as Quantum Information & Computation 14(15 & 16): 1277-1301 (2014) · 26 pages, 12 figures. (v2): Slightly improved T scaling, improved achievable approximation accuracy with gearbox circuits, fixed several clerical errors
arxiv created 2014/10/19 · arxiv updated 2014/10/21
We present a decomposition technique that uses non-deterministic circuits to approximate an arbitrary single-qubit unitary to within distance ε and requires significantly fewer non-Clifford gates than existing techniques. We develop "Repeat-Until-Success" (RUS) circuits and characterize unitaries that can be exactly represented as an RUS circuit. Our RUS circuits operate by conditioning on a given measurement outcome and using only a small number of non-Clifford gates and ancilla qubits. We construct an algorithm based on RUS circuits that approximates an arbitrary single-qubit Z-axis rotation to within distance ε, where the number of T gates scales as 1.26log2(1/ε) - 3.53, an improvement of roughly three-fold over state-of-the-art techniques. We then extend our algorithm and show that a scaling of 2.4log2(1/ε) - 3.28 can be achieved for arbitrary unitaries and a small range of ε, which is roughly twice as good as optimal deterministic decomposition methods.