← Back to ranked candidates
Infrastructure·Composite 3.75 / 5 (default weights)

Fault-Tolerant Software & QEC Stack

The infrastructure that turns 'Shor-level' from theory into runtime

Thesis

Shor's algorithm for 2048-bit RSA demands 10⁶–10⁸ physical qubits and billions of T-gate cycles when naively mapped to surface codes — a regime physical qubit count alone cannot unlock. The decisive bottleneck is the full fault-tolerant software stack: codes that exponentially suppress logical error with distance, magic-state factories that produce the non-Clifford gates universal circuits need, real-time decoders that keep up with sub-microsecond syndrome cycles, and compilers that translate high-level quantum programs into hardware-native fault-tolerant sequences. Recent milestones — Google Willow's sub-threshold operation, IBM's Gross code (10× overhead reduction over surface codes), Gidney et al.'s magic-state cultivation (~CNOT-cost T states), Higgott–Gidney Sparse Blossom decoders, and Quantinuum's Guppy/Selene/Helios stack — collectively compress the practical threshold for cryptographically-relevant quantum computation by orders of magnitude. Without these advances, raw qubit count is necessary but wholly insufficient.

Scoring

Provable speedup4/5
Dequantization resilience2/5
Resource efficiency4/5
Application breadth5/5
Empirical traction4/5

Compresses physical qubit estimates by 10²–10³× and enables every algorithm above ~10³ logical-qubit-depth. Vulnerable to the post-quantum-crypto pivot if NIST PQC rollout outpaces FTQC. Strongest concrete engineering momentum across Google, IBM, Microsoft, Quantinuum.

Open problems

  • ·Real-time decoders for general QLDPC codes (MWPM is surface-code only).
  • ·Magic-state cultivation/distillation adapted to non-planar QLDPC geometries.
  • ·Topological qubit reproducibility and scale-up beyond 8-qubit demos.
  • ·NP-hard scheduling of T gates and lattice-surgery patches; current compilers leave 2–10× overhead.
  • ·ASIC/FPGA decoder co-processors with I/O bandwidth for >10⁶ physical qubits.
  • ·Threshold analysis under realistic correlated noise (crosstalk, leakage, cosmic rays).

Demo · pre-computed on the Selene emulator

Fault-tolerant resource estimates

AlgorithmLogical qubitsT-countReference
Shor factor RSA-20486,1891.4e+10Gidney & Ekerå 2021
Regev factor RSA-2048 (space-efficient variant)1,7301.0e+10Ragavan-Vaikuntanathan 2024
QSVT Hamiltonian sim (50-spin FeMoco)4,0001.0e+10Lee et al. 2021
QTDA Betti numbers (n=30 simplicial complex)601.0e+9McArdle et al. 2022
HHL 1024x1024 sparse solve255.0e+8Childs-Kothari-Somma 2017

Order-of-magnitude estimates; conventions vary by paper. The QEC + compilation stack is the lever that turns these from impossible to merely large.

Key papers (8)

Quantum error correction below the surface code threshold
Google Quantum AI · 2024
arXiv:2408.13687

Willow demonstrates exponential suppression of logical error from d=3 to d=7 — first empirical confirmation of sub-threshold superconducting operation.

A Game of Surface Codes: Lattice Surgery
Litinski · 2019
arXiv:1808.02892

Canonical space-time trade-off framework for surface-code FTQC; T-factories shown to dominate Shor's circuit volume.

High-threshold and low-overhead fault-tolerant quantum memory
Bravyi, Cross, Gambetta, Maslov, Rall, Yoder · 2023
arXiv:2308.07915

The Gross code [[144,12,12]]: 12 logical qubits at distance 12 on 288 physical qubits — ~10× overhead reduction vs surface codes.

Magic state cultivation: T states as cheap as CNOT
Gidney, Shutty, Jones · 2024
arXiv:2409.17595

Distillation-free magic state preparation at ~100 physical qubit-rounds per T state — 3–5× cheaper than the best prior factories.

Sparse Blossom: a million errors per core-second
Higgott, Gidney · 2023
arXiv:2303.15933

MWPM decoder fast enough for real-time surface-code decoding at superconducting syndrome rates; ships in PyMatching v2.

Interferometric single-shot parity in InAs–Al hybrids
Microsoft Azure Quantum · 2024
arXiv:2401.09549

Substrate behind Majorana 1: topological qubit parity readout via Majorana interferometry — hardware-level error protection.

Guppy: Pythonic Quantum-Classical Programming
Sivarajah, Koch et al. (Quantinuum) · 2025
arXiv:2510.12582

Production type-safe, fault-tolerant compilation DSL with mid-circuit measurement and classical control. Powers the demos in this app.

HUGR: A Quantum-Classical Intermediate Representation
Koch, Borgna, Sivarajah et al. · 2025
arXiv:2510.11420

The 'LLVM moment' for quantum compilation: hierarchical IR with linearity types, interoperating with OpenQASM3 and QIR.