Local decoders for fault-tolerant quantum computation and translation-invariant stabilizer codes
AuthorsNathaniel Selub, Aditya Bhardwaj, Ethan Lake
Resources
This work proposes a fully local quantum-computing architecture whose continuously operating decoder could make fault-tolerant computation possible in a realistic two-dimensional setting.
Key results
Numerically estimated threshold for the local toric-code decoder under i.i.d. bit-flip noise.
Threshold approached as the decoder clock period increases.
Numerically estimated threshold under phenomenological data and stabilizer-measurement noise.
Code-capacity threshold supported by simulations for the local repetition-code decoder.
What the paper found
This paper presents the first fully spatially local fault-tolerant quantum-computing architecture based on topological codes in 2D, using geometrically local quantum and classical operations, bounded-speed communication, and constant resource density. Its core is a time-translation-invariant cellular-automaton decoder that drives defect clusters toward designated corners, where they annihilate, while linear defect and message erosion yield nonzero thresholds, stretched-exponential memory lifetimes, and polylogarithmic average decoding time. Translation-invariant streaming decoders reduce the classical overhead to poly(log log L) bits per site, while hierarchical coarse-grained decoders achieve constant density for toric and surface codes, including decoding during state preparation, state injection, lattice surgery, fold-transversal Hadamards, and readout. Numerically, the code-capacity toric decoder reaches a 6.3% threshold and extrapolates to 8.2% as its clock period grows, while the surface-code streaming decoder reaches approximately 1.1% under phenomenological noise; the repetition-code decoder is consistent with a 50% threshold. The architecture implements universal Clifford+T computation using lattice surgery, magic-state distillation, and Y-state distillation, with one constant-bandwidth input/output wire per logical qubit. A general proof based on Haah’s polynomial formalism and Gröbner-basis division establishes local decodability for every translation-invariant topological Pauli stabilizer code, including fracton models. The paper also reports using GPT 5.6 Sol, GPT 5.6, GPT 6, and Claude Fable 5 for literature review, revision, figures, and simulations.
Original abstract
We construct the first fully spatially local fault-tolerant quantum computer based on topological codes in fewer than four spatial dimensions. Our construction is a two-dimensional architecture that uses only geometrically local quantum and classical operations, bounded-speed classical communication and computation, and a constant density of quantum and classical resources. The core component is a new time-translation-invariant cellular-automaton decoder for the surface code. This decoder preserves logical information for a time stretched-exponential in the code distance and operates continuously during state injection, stabilizer-state preparation, lattice surgery, and transversal readout. We also prove that every translation-invariant topological Pauli stabilizer code is locally decodable under phenomenological noise.
Read the original paperMore in AI Hardware
Browse all 34 papers →AI as a Compiler: Compiling Triton kernels without the Triton compiler
François Costa, Charly Castes, Thomas Bourgeat, Azalia Mirhoseini
An LLM learns to replace parts of the GPU compiler stack by translating Triton code directly into fast, verified PTX kernels.
Purlin: Separating Orchestration from the Datapath of Collectives
Osayamen Jonathan Aimuyo, Swapnil Gandhi, Christos Kozyrakis
Purlin makes GPU collective communication more modular and faster, improving large-scale LLM and diffusion inference across modern hardware.
RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof
Ashkan Vedadi Gargary, Guido Martínez, Sebastian Burckhardt, Gabriel Ebner, Abhinav Jangda, Madan Musuvathi, Tyler Sorensen
RESOLVE makes AI-written GPU kernels safer by combining race-finding tests with formal proofs that optimized code still computes the right result.