Abstract:We give a novel procedure for approximating general single-qubit unitaries from a finite universal gate set by reducing the problem to a novel magnitude approximation problem, achieving an immediate improvement in sequence length by a factor of 7/9. Extending the works <a class="link-https" data-arxiv-id="1612.01011" href="https://arxiv.org/abs/1612.01011">arXiv:1612.01011</a> and <a class="link-https" data-arxiv-id="1612.02689" href="https://arxiv.org/abs/1612.02689">arXiv:1612.02689</a>, we show that taking probabilistic mixtures of channels to solve fallback (<a class="link-https" data-arxiv-id="1409.3552" href="https://arxiv.org/abs/1409.3552">arXiv:1409.3552</a>) and magnitude approximation problems saves factor of two in approximation costs. In particular, over the Clifford+$\sqrt{\mathrm{T}}$ gate set we achieve an average non-Clifford gate count of $0.23\log_2(1/\varepsilon)+2.13$ and T-count $0.56\log_2(1/\varepsilon)+5.3$ with mixed fallback approximations for diamond norm accuracy $\varepsilon$. This paper provides a holistic overview of gate approximation, in addition to these new insights. We give an end-to-end procedure for gate approximation for general gate sets related to some quaternion algebras, providing pedagogical examples using common fault-tolerant gate sets (V, Clifford+T and Clifford+$\sqrt{\mathrm{T}}$). We also provide detailed numerical results for Clifford+T and Clifford+$\sqrt{\mathrm{T}}$ gate sets. In an effort to keep the paper self-contained, we include an overview of the relevant algorithms for integer point enumeration and relative norm equation solving. We provide a number of further applications of the magnitude approximation problems, as well as improved algorithms for exact synthesis, in the Appendices.

A unified quantum NOT gate

Universal quantum Controlled-NOT gate

Design of gates for quantum computation: the NOT gate

Universal Quantum Gates for Hybrid System Assisted by Atomic Ensembles Embedded in Double-Sided Optical Cavities

Systematic construction of topological-nontopological hybrid universal quantum gates based on many-body Majorana fermion interactions

Universal quantum gates for hybrid systems assisted by quantum dots inside double-sided optical microcavities

Efficient Fault-Tolerant Single Qubit Gate Approximation And Universal Quantum Computation Without Using The Solovay-Kitaev Theorem

The General Quantum Cloning Machine for Phase-Covariant Qubit

Experimental Realization of Universal Time-optimal non-Abelian Geometric Gates

On Universal and Fault-Tolerant Quantum Computing

Universal quantum computing with a single arbitrary gate

Universal quantum circuits for quantum chemistry

Experimental Realization of Non-Adiabatic Universal Quantum Gates Using Geometric Landau-Zener-Stückelberg Interferometry

Experimental characterization of universal one-way quantum computing

Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits

Universal Topological Quantum Computation with Strongly Correlated Majorana Edge Modes

Gate generation for open quantum systems via a monotonic algorithm with time optimization

Time-optimal universal quantum gates on superconducting circuits

Shorter quantum circuits via single-qubit gate approximation

Nonunitary gates using measurements only