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.

Topological Quantum Gate Construction by Iterative Pseudogroup Hashing

Topological Quantum Hashing with the Icosahedral Group.

Exploiting Geometric Degrees of Freedom in Topological Quantum Computing

Braid Matrices and Quantum Gates for Ising Anyons Topological Quantum Computation

Geodesic Algorithm for Unitary Gate Design with Time-Independent Hamiltonians

Constructing Functional Braids for Low-Leakage Topological Quantum Computing

Here comes the SU(N): multivariate quantum gates and gradients

Primitive Quantum Gates for an $SU(2)$ Discrete Subgroup: Binary Octahedral

A Rout to Protect Quantum Gates Constructed Via Quantum Walks from Noises

Primitive Quantum Gates for an SU(2) Discrete Subgroup: BT

Topologically protected quantum gates for computation with non-Abelian anyons in the Pfaffian quantum Hall state

Quantum hashing algorithm implementation

Primitive quantum gates for an discrete subgroup: Binary octahedral

Topological obstructions to quantum computation with unitary oracles

Shorter quantum circuits via single-qubit gate approximation

Quantum Computing with Hermitian Gates

Multibit Gates for Quantum Computing

Universal Gates via Fusion and Measurement Operations on SU$(2)_4$ Anyons

Universal Topological Quantum Computation with Strongly Correlated Majorana Edge Modes

Quantum origami: Transversal gates for quantum computation and measurement of topological order