New proof shows fault-tolerant quantum computing with only logarithmic slow‑down and constant extra qubits
This paper proves that fault‑tolerant quantum computing can be done with a fixed, constant amount of extra memory and with a time cost that grows only like the logarithm of the problem size. In plain terms, the authors show how to run error‑corrected quantum algorithms while using only a small, fixed number of extra physical qubits per logical qubit, and while slowing the computation by a factor proportional to log(n) rather than by larger subpolynomial factors found in earlier results.
The main idea uses good quantum locally testable codes (qLTCs) and a special kind of logical gate called transversal CCZ (controlled‑controlled‑Z). “Transversal” means the same simple physical operation is applied in parallel across code blocks, which helps prevent errors from spreading. The authors arrange computation by moving batches of logical qubits between a dense storage area and a small active workspace. That lets the device reuse the same ancilla (helper) qubits many times, keeping the extra space fixed. Because the CCZ gates are implemented directly by transversal operations, the construction only needs separate preparation for certain stabilizer resource states (a type of pre‑prepared quantum state used as a resource).
The paper gives two constructions. The first builds on qLTCs with polynomial subrank transversal CCZ gates to realize an addressable universal computation scheme that moves logical qubits in and out of the active workspace. The second adapts a quantum Reed–Solomon magic‑state distillation scheme of Nguyen and Pattison. In that approach the authors recursively apply the same distillation circuit while protecting it with qLTCs whose block sizes grow. That recursion removes an extra subpolylogarithmic time factor and yields a purely logarithmic time overhead.
Why this matters: reducing the time overhead while keeping space overhead constant could make large error‑corrected quantum computations more resource‑efficient in principle. Logarithmic time growth is much slower than many previous overhead bounds, so the result tightens theoretical limits on how costly fault tolerance needs to be. It addresses both the memory and the speed side of the resource trade‑off for fault‑tolerant quantum computers.