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.

Approximating Korobov Functions via Quantum Circuits

Approximating dynamical correlation functions with constant depth quantum circuits

Chebyshev Approximated Variational Coupled Cluster for Quantum Computing

Approximating outcome probabilities of linear optical circuits

Non-asymptotic Approximation Error Bounds of Parameterized Quantum Circuits

Quantum Circuits for partial differential equations via Schrödingerisation

The Quantum Approximate Optimization Algorithm performance with low entanglement and high circuit depth

Optimal Deep Neural Network Approximation for Korobov Functions with respect to Sobolev Norms

Simulation of quantum algorithms using classical probabilistic bits and circuits

Optimizing Quantum Circuits for Arithmetic

Efficient Quantum Circuits for Non-Unitary and Unitary Diagonal Operators with Space-Time-Accuracy trade-offs

A Method to Calculate Correlation for Density Functional Theory on a Quantum Processor

Schrödinger-Heisenberg Variational Quantum Algorithms

Approximate Boltzmann Distributions in Quantum Approximate Optimization

Schr\"odinger-Heisenberg Variational Quantum Algorithms

Approximate real-time evolution operator for potential with one ancillary qubit and application to first-quantized Hamiltonian simulation

Shorter quantum circuits via single-qubit gate approximation

An in-principle super-polynomial quantum advantage for approximating combinatorial optimization problems via computational learning theory

Quantum Fourier analysis for multivariate functions and applications to a class of Schrödinger-type partial differential equations

Approximation Algorithms for Quantum Max-$d$-Cut

Toward perturbation theory methods on a quantum computer