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.

Approaching the theoretical limit in quantum gate decomposition

Linear decomposition of approximate multi-controlled single qubit gates

Optimizing Gate Decomposition for High-Level Quantum Programming

Beyond Quantum Shannon: Circuit Construction for General n-Qubit Gates Based on Block ZXZ-Decomposition

Optimal, hardware native decomposition of parameterized multi-qubit Pauli gates

Near-optimal quantum circuit construction via Cartan decomposition

Optimal joint cutting of two-qubit rotation gates

Optimal synthesis of general multi-qutrit quantum computation

Systematic construction of multi-controlled Pauli gate decompositions with optimal $T$-count

Intermediate qutrit-assisted Toffoli gate decomposition with quantum error correction

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

On Fault Tolerance of Circuits with Intermediate Qutrit-assisted Gate Decomposition

Decomposition of Diagonal Hermitian Quantum Gates Using Multiple-Controlled Pauli Z Gates

Decomposing (N+1)-Qubit Toffoli Gate with Shallow Circuit Depth and No Ancilla

Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla

Diagonal operator decomposition on restricted topologies via enumeration of quantum state subsets

Cutting multi-control quantum gates with ZX calculus

Shorter quantum circuits via single-qubit gate approximation

Optimal Partitioning of Quantum Circuits using Gate Cuts and Wire Cuts

Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms

No-go Theorem and a Universal Decomposition Strategy for Quantum Channel Compilation