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.

Quantum circuits for computing Hamming distance requiring fewer T gates

Lower $T$-count with faster algorithms

Efficient Quantum Arithmetic Operation Circuits for Quantum Image Processing

Quantum Circuit Designs of Integer Division Optimizing T-count and T-depth

Error Mitigation for Universal Gates on Encoded Qubits

Quantum circuit optimization of an integer divider

High-distance codes with transversal Clifford and $T$-gates

Lowering the cost of quantum comparator circuits

Optimising quantum circuits is generally hard

Shorter quantum circuits via single-qubit gate approximation

Optimal Hadamard gate count for Clifford$+T$ synthesis of Pauli rotations sequences

T-count and Qubit Optimized Quantum Circuit Design of the Non-Restoring Square Root Algorithm

Implementing multi-controlled X gates using the quantum Fourier transform

The Circuit Design and Optimization of Quantum Multiplier and Divider

Hardware-Tailored Diagonalization Circuits

Efficient quantum circuits for binary elliptic curve arithmetic: reducing T-gate complexity

Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates

Non-Fault Tolerant T-Gates for the [7,1,3] Quantum Error Correction Code

Resource Optimized Quantum Squaring Circuit

T-count and T-depth efficient fault-tolerant quantum arithmetic and logic unit

Quantum one-time pad-based quantum homomorphic encryption schemes for circuits of the non-Clifford gates