Also known as quantum error correction · QEC · bosonic codes · cat code · GKP · fault tolerance
Quantum error correction (QEC) protects quantum information by encoding it redundantly, repeatedly measuring
error syndromes and correcting the errors they reveal [1, 2, 3]. It
works only if the physical operations are good enough, below the code’s threshold, and if errors stay local and
uncorrelated. Every QEC cycle is a sequence of control tasks — entangling gates, measurements, resets, real-time
decisions — so the quality of control decides whether encoding helps at all.
The control stack of a QEC cycle
Gates. The surface code needs only nearest-neighbour gates and tolerates errors near 1% per step
[4]. Superconducting and neutral-atom processors have reached this regime
[5, 6]. See Quantum gate synthesis.
Measurement. Syndrome readout must be fast and accurate, and must not disturb neighbouring qubits. Careful
design of superconducting dispersive readout reached 98.25% fidelity in 48 ns [7]. Five qubits
were read out in one multiplexed channel with 80 ns pulses [8]. Shaped measurement pulses empty
the readout resonator quickly so that the next cycle can start [9].
Reset. Ancillas must return to the ground state after each measurement. An all-microwave protocol resets a
transmon in under 500 ns with 0.2% residual excitation, without feedback [10].
Leakage. Population in non-computational levels is long-lived and mobile, which makes errors correlated in
space and time. A reset protocol that removes leakage from all relevant levels lowered logical error rates and
stabilized their suppression with system size [11]. See DRAG & leakage suppression.
Real-time decoding. Corrections must be decided faster than errors accumulate. Increasing the surface-code
distance first improved logical performance modestly [12]. Later, distance-5 and distance-7
memories ran below threshold, suppressing the logical error by a factor of 2.14 per distance step and outliving
their best physical qubit, with a real-time decoder [13]. Reconfigurable atom arrays have run
logical circuits with up to 280 physical qubits [14]. See Control electronics & software stacks.
Optimizing codes and recoveries
Standard codes correct a fixed set of errors exactly. If the noise is known, encoding and recovery can be optimized
for it, as a control problem on quantum channels. Iterative algorithms find optimal encodings and decodings for a
given channel [15]. The optimal recovery for a given code is a semidefinite program
[16]. Optimizing encoding and recovery together can make them robust to uncertainty in the
noise [17]. See QCPOP & polynomial optimization for related convex methods.
QEC can also be continuous. Weak measurements and Hamiltonian feedback protect states between discrete correction
cycles [18]. Reinforcement learning can discover feedback strategies of this kind
[19], and a learning agent has acted in real time on a superconducting qubit
[20]. See Measurement-based feedback and Reinforcement & machine learning for control.
Fault-tolerant operations
The ancillas used to detect errors are often noisier than the encoded qubit, and their errors must not spread to it.
Error detection can be made fault-tolerant to ancilla errors by using higher ancilla levels
[21]. Gates can be made error-transparent, keeping the device’s tolerance to errors
that occur before or during them [22]. On a cavity-encoded qubit, ancilla-induced errors were
corrected in real time during the gate [23].
Noise bias is a resource. Cat qubits stabilized by two-photon dissipation show an exponential suppression of bit
flips as the cat grows, at the price of a linear increase of phase flips [24]. Bias-preserving
CX gates on such qubits raise the fault-tolerance threshold and reduce overhead [25].
Bosonic codes
A single oscillator can host an error-correctable qubit: cat codes [26, 27] or grid
(GKP) codes [28, 29]. A GKP memory with parameters tuned by reinforcement learning
outlived the best of its physical components by a factor of 2.27 [30]. Logical operations on such codes
are designed by numerical optimal control of the cavity–ancilla system [31] or built from sequences of
simpler operations [32]. See
Bosonic & continuous-variable control and Reservoir engineering & dissipative preparation.
Limitations
Physical gate fidelities are a proxy. What matters is the logical error rate, which depends on correlations,
leakage and the decoder, and these are rarely part of the control objective.
A large code needs thousands of calibrated pulses that drift. Calibration and recalibration have to be automated.
Feedback latency is set by electronics and decoders, not by the quantum hardware alone.
Key papers
Barbara M. TerhalQuantum error correction for quantum memoriesRev. Mod. Phys.87, 307-346 (2015)doi
Review of quantum error correction for quantum memories, from stabilizer codes to topological order.
Austin G. Fowler, Matteo Mariantoni, John M. Martinis and Andrew N. ClelandSurface codes: Towards practical large-scale quantum computationPhys. Rev. A86, 032324 (2012)doi
The surface code as an architecture — the gates, measurements and cycle times it needs.
Google Quantum AI and Collaborators, Rajeev Acharya, Dmitry A. Abanin, Laleh Aghababaie-Beni, Igor Aleiner, et al.Quantum error correction below the surface code thresholdNature638, 920-926 (2025)doi
Surface-code memories below threshold, with real-time decoding, on superconducting qubits.
M. McEwen, D. Kafri, Z. Chen, J. Atalaya, K. J. Satzinger, et al.Removing leakage-induced correlated errors in superconducting quantum error correctionNat Commun12, 1761 (2021)doi
Leakage creates correlated errors in error correction; a dedicated reset protocol removes them.
S. Rosenblum, P. Reinhold, M. Mirrahimi, Liang Jiang, L. Frunzio and R. J. SchoelkopfFault-tolerant detection of a quantum errorScience361, 266-270 (2018)doi
Error detection designed so that ancilla errors do not spread to the logical qubit.
Robert L. Kosut, Alireza Shabani and Daniel A. LidarRobust Quantum Error Correction via Convex OptimizationPhys. Rev. Lett.100, 020502 (2008)doi
Encoding and recovery optimized by semidefinite programming, robust to uncertainty in the noise.
References
Peter W. ShorScheme for reducing decoherence in quantum computer memoryPhys. Rev. A52, R2493-R2496 (1995)doi
A. M. SteaneError Correcting Codes in Quantum TheoryPhys. Rev. Lett.77, 793-797 (1996)doi
Barbara M. TerhalQuantum error correction for quantum memoriesRev. Mod. Phys.87, 307-346 (2015)doi
Austin G. Fowler, Matteo Mariantoni, John M. Martinis and Andrew N. ClelandSurface codes: Towards practical large-scale quantum computationPhys. Rev. A86, 032324 (2012)doi
R. Barends, J. Kelly, A. Megrant, A. Veitia, D. Sank, et al.Superconducting quantum circuits at the surface code threshold for fault toleranceNature508, 500-503 (2014)doi
Simon J. Evered, Dolev Bluvstein, Marcin Kalinowski, Sepehr Ebadi, Tom Manovitz, et al.High-fidelity parallel entangling gates on a neutral-atom quantum computerNature622, 268-272 (2023)doi
T. Walter, P. Kurpiers, S. Gasparinetti, P. Magnard, A. Potočnik, et al.Rapid High-Fidelity Single-Shot Dispersive Readout of Superconducting QubitsPhys. Rev. Applied7, 054020 (2017)doi
Johannes Heinsoo, Christian Kraglund Andersen, Ants Remm, Sebastian Krinner, Theodore Walter, et al.Rapid High-fidelity Multiplexed Readout of Superconducting QubitsPhys. Rev. Applied10, 034040 (2018)doi
D. T. McClure, Hanhee Paik, L. S. Bishop, M. Steffen, Jerry M. Chow and Jay M. GambettaRapid Driven Reset of a Qubit Readout ResonatorPhys. Rev. Applied5, 011001 (2016)doi
P. Magnard, P. Kurpiers, B. Royer, T. Walter, J.-C. Besse, et al.Fast and Unconditional All-Microwave Reset of a Superconducting QubitPhys. Rev. Lett.121, 060502 (2018)doi
M. McEwen, D. Kafri, Z. Chen, J. Atalaya, K. J. Satzinger, et al.Removing leakage-induced correlated errors in superconducting quantum error correctionNat Commun12, 1761 (2021)doi
Google Quantum AI, Rajeev Acharya, Igor Aleiner, Richard Allen, Trond I. Andersen, et al.Suppressing quantum errors by scaling a surface code logical qubitNature614, 676-681 (2023)doi
Google Quantum AI and Collaborators, Rajeev Acharya, Dmitry A. Abanin, Laleh Aghababaie-Beni, Igor Aleiner, et al.Quantum error correction below the surface code thresholdNature638, 920-926 (2025)doi
Dolev Bluvstein, Simon J. Evered, Alexandra A. Geim, Sophie H. Li, Hengyun Zhou, et al.Logical quantum processor based on reconfigurable atom arraysNature626, 58-65 (2024)doi
M. Reimpell and R. F. WernerIterative Optimization of Quantum Error Correcting CodesPhys. Rev. Lett.94, 080501 (2005)doi
Andrew S. Fletcher, Peter W. Shor and Moe Z. WinOptimum quantum error recovery using semidefinite programmingPhys. Rev. A75, 012338 (2007)doi
Robert L. Kosut, Alireza Shabani and Daniel A. LidarRobust Quantum Error Correction via Convex OptimizationPhys. Rev. Lett.100, 020502 (2008)doi
Charlene Ahn, Andrew C. Doherty and Andrew J. LandahlContinuous quantum error correction via quantum feedback controlPhys. Rev. A65, 042301 (2002)doi
Thomas Fösel, Petru Tighineanu, Talitha Weiss and Florian MarquardtReinforcement Learning with Neural Networks for Quantum FeedbackPhys. Rev. X8, 031084 (2018)doi
Kevin Reuer, Jonas Landgraf, Thomas Fösel, James O’Sullivan, Liberto Beltrán, et al.Realizing a deep reinforcement learning agent for real-time quantum feedbackNat Commun14, 7138 (2023)doi
S. Rosenblum, P. Reinhold, M. Mirrahimi, Liang Jiang, L. Frunzio and R. J. SchoelkopfFault-tolerant detection of a quantum errorScience361, 266-270 (2018)doi
Eliot KapitError-Transparent Quantum Gates for Small Logical Qubit ArchitecturesPhys. Rev. Lett.120, 050503 (2018)doi
Philip Reinhold, Serge Rosenblum, Wen-Long Ma, Luigi Frunzio, Liang Jiang and Robert J. SchoelkopfError-corrected gates on an encoded qubitNat. Phys.16, 822-826 (2020)doi
Raphaël Lescanne, Marius Villiers, Théau Peronnin, Alain Sarlette, Matthieu Delbecq, et al.Exponential suppression of bit-flips in a qubit encoded in an oscillatorNat. Phys.16, 509-513 (2020)doi
Shruti Puri, Lucas St-Jean, Jonathan A. Gross, Alexander Grimm, Nicholas E. Frattini, et al.Bias-preserving gates with stabilized cat qubitsSci. Adv.6, eaay5901 (2020)doi
Mazyar Mirrahimi, Zaki Leghtas, Victor V Albert, Steven Touzard, Robert J Schoelkopf, et al.Dynamically protected cat-qubits: a new paradigm for universal quantum computationNew J. Phys.16, 045014 (2014)doi
Nissim Ofek, Andrei Petrenko, Reinier Heeres, Philip Reinhold, Zaki Leghtas, et al.Extending the lifetime of a quantum bit with error correction in superconducting circuitsNature536, 441-445 (2016)doi
Daniel Gottesman, Alexei Kitaev and John PreskillEncoding a qubit in an oscillatorPhys. Rev. A64, 012310 (2001)doi
P. Campagne-Ibarcq, A. Eickbusch, S. Touzard, E. Zalys-Geller, N. E. Frattini, et al.Quantum error correction of a qubit encoded in grid states of an oscillatorNature584, 368-372 (2020)doi
V. V. Sivak, A. Eickbusch, B. Royer, S. Singh, I. Tsioutsios, et al.Real-time quantum error correction beyond break-evenNature616, 50-55 (2023)doi
Reinier W. Heeres, Philip Reinhold, Nissim Ofek, Luigi Frunzio, Liang Jiang, et al.Implementing a universal gate set on a logical qubit encoded in an oscillatorNat Commun8, 94 (2017)doi
Alec Eickbusch, Volodymyr Sivak, Andy Z. Ding, Salvatore S. Elder, Shantanu R. Jha, et al.Fast universal control of an oscillator with weak dispersive coupling to a qubitNat. Phys.18, 1464-1469 (2022)doi
Recent papers
214 tracked papers since 2000 are classified
under this topic. See all ·
Feed
Fault tolerant quantum computers greatly benefit from having both high fidelity entangling gates and a non-local qubit connectivity. However, most entangling gates for neutral atoms are local, requiring separated atoms to be moved using optical tweezers to yield entanglement between them. Here, we design a high fidelity Mølmer Sørensen-like entangling gate between neutral atoms coupled to a photonic cavity, enabling a programmable all-to-all connectivity through the shared cavity coupling. The gate is both robust to changes in cavity photon number, and enables selective entanglement between any subset of separated atoms through local laser addressing. This eliminates the need to physically move atoms to perform the gate, and therefore motional errors and erasure are suppressed. Using experimentally realistic parameters we demonstrate gate fidelities exceeding $F > 0.99$, with higher fidelities achievable through optimal control of the pump amplitudes.
Encoding quantum information in $d$-dimensional systems (qudits) with $d>2$ offers appealing new directions for resource-efficient quantum computing. However, protecting the coherence of nonclassical qudit resource states remains an open challenge. Dynamical decoupling (DD) is a well-established technique for extending coherence, but its application to qudits is hindered by the quadratic scaling of the decoupling sequence overhead with the dimension $d$. As a result, demonstrations of qudit DD have so far been limited to low-dimensional qudits. Here, we show that noise-biased qudits enable a nontrivial reduction of this overhead, for example, from quadratic to linear. We perform qudit DD on a model $d=8$ qudit, the nuclear spin of an antimony donor in silicon. We benchmark DD performance on highly nonclassical states such as uniform superpositions, cat states, and Haar random states and measure coherence improvements up to a factor $5$ to $10$. For a spin-cat error correction code, continuous DD extends the coherence time of the logical superposition $|+\rangle_L$ to $225$~ms, compared to $19$~ms under free evolution and $85$~ms with a Hahn echo. This improvement shows that DD sequences tailored to a system's noise bias can significantly enhance the lifetime of encoded logical qubits.
Scaling fault-tolerant quantum computing (FTQC) requires orchestrating millions of operations continuously across a tightly coupled classical-quantum control stack. A critical challenge in this orchestration is determining the optimal hardware-software boundary, i.e., the Quantum Instruction Set Architecture (QISA). We focus on cryogenic, fixed-connectivity qubit platforms, such as superconducting and topological Majorana qubits. For these, existing QISA choices either operate at too low a level, violating cryogenic thermal budgets at scale, or at too high a level, imposing unrealizable complexity on the control engine. To reason about these tradeoffs, we introduce the ARIES instruction set hierarchy, which categorizes QISAs into distinct abstraction levels. To systematically evaluate these levels, we develop an end-to-end evaluation toolflow featuring a cycle-accurate classical driver and hardware engine simulator. Using eight quantum applications across superconducting and topological qubit platforms, we measure instruction bandwidth, transceiver power dissipation, and measurement processing overheads. We demonstrate that while physical-level abstractions exceed the thermal limits of dilution refrigerators by orders of magnitude, canonical-level abstractions significantly underestimate hardware routing congestion and execution runtimes. Our Level 4 QISA (local logical operations) offers an optimal architectural balance. As quantum hardware platforms scale toward FTQC in the coming years, our findings provide concrete architectural guidance for the design of their classical control stacks and instruction interfaces.
Fault-tolerant quantum design relies on simulating noisy quantum error correction (QEC) circuits with hundreds to thousands of physical qubits and large circuit depths. High-throughput stabilizer simulators, such as Stim, are the de facto tools for this regime. However, these simulators typically support only Clifford gates and stochastic Pauli noise. As a result, more realistic device noise models-such as coherent control errors and thermal relaxation-are often approximated using Pauli Twirling. This replacement offers speed but can introduce inaccuracies. To address this, we propose QuasiStim for scalable exact QEC simulation of realistic noise, with QuasiFold as a compiler frontend and DeltaFrame as a sampling backend. QuasiFold lowers sampling overhead by merging equivalent non-Pauli sites in the quantum circuit. DeltaFrame samples the resulting stabilizer trajectories by reusing precomputed predicted references instead of resimulating the full tableau for each shot. QuasiFold can reduce the number of shots by over $100\times$ on bivariate-bicycle (BB) codes. Compared to a per-shot tableau simulator, DeltaFrame is $166\times$--$1331\times$ faster on rotated surface-code memory under coherent $R_Z$ noise as $d$ grows from 5 to 35. QuasiStim also makes the PTA bias measurable: the gap is non-negligible and varies with noise strength, decoder, and circuit schedule. QuasiStim will be open-sourced upon publication at https://github.com/isaachyw/QuasiStim
Quantum science and engineering increasingly target the exploitation and control of large-scale dynamical systems. As system size grows, novel phenomena and quantum advantages emerge, but the resulting many-body dynamics become correspondingly harder to monitor and characterize. In particular, the underlying Hamiltonian often lacks symmetries, and the induced many-body dynamics quickly become hard to track. Focusing on one of the most important quantum features---entanglement---we demonstrate that, for a broad class of common Hamiltonian models, one can design effective witnesses that detect both the presence and structure of entanglement over relatively long evolution times. Inspired by stabilizer-based simulation, we track the evolution of generalized stabilizers of the underlying state and use them to construct linear entanglement witnesses. Through numerical experiments on Heisenberg-type Hamiltonians with up to twelve qubits, we show that the required number of measurement settings can be kept at a modest scale as the system size increases, and entanglement detection remains effective over evolution times that significantly exceed those accessible to naive approaches. The corresponding calculations can be carried out largely symbolically. Furthermore, unlike accurate state simulation, the stabilizer-based design of entanglement witnesses can be performed in a much more coarse-grained, digitized manner. We hope these results will stimulate further exploration of the quantum control of large systems.