Abstract:An important part of reaping computational advantage from a quantum computer is to reduce the quantum resources needed to implement a desired quantum algorithm. Quantum algorithms that are too large to be practical on noisy intermediate scale quantum devices will require fault-tolerant error correction. This work focuses on reducing the physical cost of implementing quantum algorithms when using the state-of-the-art fault-tolerant quantum error correcting codes, in particular, those for which implementing the T gate consumes vastly more resources than the other gates in the gate set. More specifically, in this paper we consider the group of unitaries that can be exactly implemented by a quantum circuit consisting of the Clifford + T gate set. The Clifford + T gate set is a universal gate set and in this group, using state-of-the-art surface codes, the T gate is by far the most expensive component to implement fault-tolerantly. So it is important to minimize the number of T gates necessary for a fault-tolerant implementation. Our primary interest is to compute a circuit for a given n-qubit unitary U, using the minimum possible number of T gates (called the T-count of unitary U). We consider the problem COUNT-T, the optimization version of which aims to find the T-count of U. In its decision version the goal is to decide if the T-count is at most some positive integer m. Given an oracle for COUNT-T, we can compute a T-count-optimal circuit in time polynomial in the T-count and dimension of U. We give a provable classical algorithm that solves COUNT-T (decision) in time and space , where N = 2n and c ⩾ 2. This gives a space-time trade-off for solving this problem with variants of meet-in-the-middle techniques. We also introduce an asymptotically faster multiplication method that shaves a factor of N0.7457 off of the overall complexity. Lastly, beyond our improvements to the rigorous algorithm, we give a heuristic algorithm that outputs a T-count-optimal circuit and has space and time complexity poly(m, N), under some assumptions. In our heuristic algorithm we developed a novel way of pruning the search space. While our heuristic method still scales exponentially with the number of qubits (though with a lower exponent), there is a large improvement by going from exponential to polynomial scaling with m. We implemented our heuristic algorithm with up to 4 qubit unitaries and obtained a significant improvement in time. For all benchmark and random unitaries we studied, the T-count returned by our algorithm is at most the T-count of their circuits shown in previous papers.

Resource-compact time-optimal quantum computation

Fault-tolerant qubit from a constant number of components

Fault-tolerant quantum input/output

Quantum fault tolerance with constant-space and logarithmic-time overheads

Compilation of Trotter-Based Time Evolution for Partially Fault-Tolerant Quantum Computing Architecture

Fault-tolerant quantum computation using low-cost joint measurements

Low-overhead fault-tolerant quantum computation by gauging logical operators

Polylog-time- and constant-space-overhead fault-tolerant quantum computation with quantum low-density parity-check codes

Resource Optimized Quantum Squaring Circuit

Time-Efficient Constant-Space-Overhead Fault-Tolerant Quantum Computation

Quantum circuit for multi-qubit Toffoli gate with optimal resource

Optimal compression of constrained quantum time evolution

A polynomial time and space heuristic algorithm for T-count

Quantum circuit optimization by topological compaction in the surface code

Fault-tolerant resource estimation using graph-state compilation on a modular superconducting architecture

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

Optimising quantum circuits is generally hard

Weakly Fault-Tolerant Computation in a Quantum Error-Detecting Code

Algorithmic Fault Tolerance for Fast Quantum Computing

Efficient Quantum Arithmetic Operation Circuits for Quantum Image Processing