Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Efficient Synthesis of Universal Repeat-Until-Success Circuits

Alex Bocharov, Martin Roetteler, and Krysta M. Svore


Recently, it was shown that Repeat-Until-Success (RUS) circuits can achieve a 2.5 times reduction in expected T-count over ancilla-free techniques for single-qubit unitary decomposition. However, the previously best known algorithm to synthesize RUS circuits requires exponential classical runtime. In this paper we present an algorithm to synthesize an RUS circuit to approximate any given single-qubit unitary within precision ε in probabilistically polynomial classical runtime. Our synthesis approach uses the Clifford+T basis, plus one ancilla qubit and measurement. We provide numerical evidence that our RUS circuits have an expected T-count on average 2.5 times lower than the theoretical lower bound of 3log2(1/ε) for ancilla-free single-qubit circuit decomposition.


Publication typeArticle
Published inPhysical Review Letters
PublisherAmerican Physical Society
> Publications > Efficient Synthesis of Universal Repeat-Until-Success Circuits