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.

Optimal number of parametrized rotations and Hadamard gates in parametrized Clifford circuits with non-repeated parameters

Optimal compilation of parametrised quantum circuits

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

Optimal joint cutting of two-qubit rotation gates

Sequential optimal selections of single-qubit gates in parameterized quantum circuits

Near-optimal quantum circuit construction via Cartan decomposition

Qubit-count optimization using ZX-calculus

Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning

Shorter quantum circuits via single-qubit gate approximation

A Note on Optimality of Quantum Circuits over Metaplectic Basis

Optimising quantum circuits is generally hard

Lower $T$-count with faster algorithms

Optimizing a parameterized controlled gate with Free Quaternion Selection

Parsimonious Optimisation of Parameters in Variational Quantum Circuits

A simple asymptotically optimal Clifford circuit compilation algorithm

Characterization, synthesis, and optimization of quantum circuits over multiple-control $\textit{Z}$-rotation gates: A systematic study

Optimal synthesis of general multi-qutrit quantum computation

Local Hamiltonian decomposition and classical simulation of parametrized quantum circuits

Optimal complexity of parameterized quantum circuits

Faster and shorter synthesis of Hamiltonian simulation circuits

Optimizing Gate Decomposition for High-Level Quantum Programming