- Open Access
Decoding across Transversal Clifford Gates in the Surface Code
PRX Quantum 7, 010335 – Published 19 February, 2026
DOI: https://doi.org/10.1103/sk5y-25b1
Abstract
Transversal logical gates offer the opportunity for fast and low-noise logic, particularly when interspersed by a single round of parity check measurements of the underlying code. Using such circuits for the surface code requires decoding across logical gates, complicating the decoding task. We show how one can decode across an arbitrary sequence of transversal gates for the unrotated surface code, using a fast “logical observable” minimum-weight perfect matching-based decoder, and benchmark its performance in Clifford circuits under circuit-level noise. We propose windowed logical observable matching decoders to address the problem of fully efficient decoding: our basic windowed decoder is computationally efficient under the restriction of quiescent (slow) resets. Our “advanced” two-step windowed decoder can be computationally inefficient but allows fast resets. For both windowed decoders we identify errors which scale sublinearly in —depending on the structure of the circuit—which can lead to logical failure, and we propose methods to adapt the decoding to remove such failures. Our work highlights the complexity and interest in efficient decoding of fast logic for the surface code.
Physics Subject Headings (PhySH)
Popular Summary
Quantum error correction (QEC) is believed to be essential for large-scale universal quantum computation. Transversal gates are an attractive way of implementing fault-tolerant gates in mobile-qubit platforms, such as neutral atoms and trapped ions because they are fast, inherently low noise, and allow for fast logic, that is: they can be interspersed with a constant number of QEC cycles. However, classically inferring the errors that have occurred (known as the decoding problem) becomes a more complex task. In particular, standard fast algorithms used for the surface code, a common QEC code, no longer work in the presence of transversal gates. In this paper, we develop a fast and efficient algorithm to decode fast-logic transversal gates in the surface code.
The key insight comes from what we call the “observing region” of a logical observable, which is the region of the quantum circuit in which errors affect the value of the observable. We show that, when solely focusing on the observing region, the decoding problem gets simplified, allowing the use of existing fast algorithms for the surface code to decode observables. This new algorithm strategy is fault-tolerant for universal quantum computation and our numerical simulations show that it achieves high accuracy. We also analyze an adaptation of the proposed method that is computationally efficient, referred to as windowed decoding.
There are still open questions about whether it is possible and how to adapt the proposed method for windowed decoding so that it is both efficient and fault-tolerant.
Article Text
Supplemental Material
References (77)
- B. Zeng, A. Cross, and I. L. Chuang, Transversality versus universality for additive quantum codes, IEEE Trans. Inf. Theory 57, 6272 (2011).
- B. Eastin and E. Knill, Restrictions on transversal encoded quantum gate sets, Phys. Rev. Lett. 102, 110502 (2009).
- H. Bombin and M. A. Martin-Delgado, Topological quantum distillation, Phys. Rev. Lett. 97, 180501 (2006).
- A. Kubica, B. Yoshida, and F. Pastawski, Unfolding the color code, New J. Phys. 17, 083026 (2015).
- J. E. Moussa, Transversal Clifford gates on folded surface codes, Phys. Rev. A 94, 042316 (2016).
- N. P. Breuckmann and S. Burton, Fold-transversal Clifford gates for quantum codes, Quantum 8, 1372 (2024).
- D. Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626, 58 (2024).
- Specs of Quantinuum Model H2 Chip (2025), https://www.quantinuum.com/products-solutions/quantinuum-systems/system-model-h2.
- M. Cain, C. Zhao, H. Zhou, N. Meister, J. P. B. Ataides, A. Jaffe, D. Bluvstein, and M. D. Lukin, Correlated decoding of logical algorithms with transversal gates, Phys. Rev. Lett. 133, 240602 (2024).
- H. Zhou, C. Zhao, M. Cain, D. Bluvstein, N. Maskara, C. Duckering, H.-Y. Hu, S.-T. Wang, A. Kubica, and M. D. Lukin, Low-overhead transversal fault tolerance for universal quantum computation, Nature 646, 303 (2025).
- J. Zhang, Z.-Y. Chen, J.-N. Li, T.-H. Wei, H.-Y. Liu, X.-N. Zhuang, Q.-S. Li, Y.-C. Wu, and G.-P. Guo, Scalable constant-time logical gates for large-scale quantum computation using window-based correlated decoding, arXiv:2410.16963 [quant-ph].
- E. Dennis, A. Kitaev, A. Landahl, and J. Preskill, Topological quantum memory, J. Math. Phys. 43, 4452 (2002).
- E. T. Campbell, A theory of single-shot error correction for adversarial noise, Quantum Sci. Technol. 4, 025006 (2019).
- Note that this does not contradict the known existence of hierarchical cellular automaton decoders for the surface code which use local feedback corrections based on noisy parity check data, see Ref. [75] and references therein.
- M. McEwen, D. Bacon, and C. Gidney, Relaxing hardware requirements for surface code circuits using time-dynamics, Quantum 7, 1172 (2023).
- N. Sundaresan, T. J. Yoder, Y. Kim, M. Li, E. H. Chen, G. Harper, T. Thorbeck, A. W. Cross, A. D. Córcoles, and M. Takita, Demonstrating multi-round subsystem quantum error correction using matching and maximum likelihood decoders, Nat. Commun. 14, 2852 (2023).
- K. Sahay, Y. Lin, S. Huang, K. R. Brown, and S. Puri, Error correction of transversal cnot gates for scalable surface code computation, PRX Quantum 6, 020326 (2025).
- K. H. Wan, M. Webber, A. G. Fowler, and W. K. Hensinger, An iterative transversal CNOT decoder, arXiv:2407.20976 [quant-ph].
- A. Guernut and C. Vuillot, Fault-tolerant constant-depth Clifford gates on toric codes, arXiv:2411.18287 [quant-ph].
- Z.-H. Chen, M.-C. Chen, C.-Y. Lu, and J.-W. Pan, Transversal logical Clifford gates on rotated surface codes with reconfigurable neutral atom arrays, arXiv:2412.01391 [quant-ph].
- M. E. Beverland, A. Kubica, and K. M. Svore, Cost of universality: A comparative study of the overhead of state distillation and code switching with color codes, PRX Quantum 2, 020341 (2021).
- N. Delfosse and N. H. Nickerson, Almost-linear time decoding algorithm for topological codes, Quantum 5, 595 (2021).
- N. Delfosse, A. Paetznick, J. Haah, and M. B. Hastings, Splitting decoders for correcting hypergraph faults, arXiv:2309.15354 [quant-ph].
- C. Gidney, Stim: A fast stabilizer circuit simulator, Quantum 5, 497 (2021).
- M. L. Turner, E. T. Campbell, O. Crawford, N. I. Gillespie, and J. Camps, Scalable decoding protocols for fast transversal logic in the surface code, arXiv:2505.23567 [quant-ph].
- L. Caune, L. Skoric, N. S. Blunt, A. Ruban, J. McDaniel, J. A. Valery, A. D. Patterson, A. V. Gramolin, J. Majaniemi, K. M. Barnes et al., Demonstrating real-time and low-latency quantum error correction with superconducting qubits, arXiv:2410.05202.
- Google Quantum AI and Collaborators, Quantum error correction below the surface code threshold, Nature 638, 920 (2024).
- Y. Tomita and K. M. Svore, Low-distance surface codes under realistic quantum noise, Phys. Rev. A 90, 062320 (2014).
- T. E. O’Brien, B. Tarasinski, and L. DiCarlo, Density-matrix simulation of small surface codes under current and projected experimental noise, npj Quantum Inf. 3, 39 (2017).
- L. Skoric, D. E. Browne, K. M. Barnes, N. I. Gillespie, and E. T. Campbell, Parallel window decoding enables scalable fault tolerant quantum computation, Nat. Commun. 14, 7040 (2023).
- X. Tan, F. Zhang, R. Chao, Y. Shi, and J. Chen, Scalable surface-code decoders with parallelization in time, PRX Quantum 4, 040344 (2023).
- J. Viszlai, J. D. Chadwick, S. Joshi, G. S. Ravi, Y. Li, and F. T. Chong, Predictive window decoding for fault-tolerant quantum programs, arXiv:2412.05115 [quant-ph].
- M. Cain, D. Bluvstein, C. Zhao, S. Gu, N. Maskara, M. Kalinowski, A. A. Geim, A. Kubica, M. D. Lukin, and H. Zhou, Fast correlated decoding of transversal logical algorithms, arXiv:2505.13587 [quant-ph].
- D. Bacon, S. T. Flammia, A. W. Harrow, and J. Shi, Sparse quantum codes from quantum circuits, IEEE Trans. Inf. Theory 63, 2464 (2017).
- N. Delfosse and A. Paetznick, Spacetime codes of Clifford circuits, arXiv:2304.05943 [quant-ph].
- D. Gottesman, Opportunities and challenges in fault-tolerant quantum computation, arXiv:2210.15844 [quant-ph].
- See Supplemental Material at http://link.aps.org/supplemental/10.1103/sk5y-25b1 for details.
- For brevity we use the term hyperedge to refer to hyperedges of any weight, meaning vertex support—including weight two—while we reserve the term edge to only refer to weight-2 hyperedges.
- Observing edge sets have been previously depicted in 3D decoding hypergraphs as logical sheets, see Refs. [26, 76].
- A different definition of the observing edge set, for example, one that includes space-like edges in the bulk of the surface code rather than just on the spatial boundary, can increase the minimum weight of the space-time stabilizer (say to three), but it will always be of constant weight.
- A. G. Fowler, M. Mariantoni, J. M. Martinis, and A. N. Cleland, Surface codes: Towards practical large-scale quantum computation, Phys. Rev. A 86, 032324 (2012).
- One can show that it is necessary in some circuits to have more than tracks, and that it is sufficient for arbitrary circuits to have tracks where is the number of logical qubits in the circuit, leaving aside issues with decoding near fragile time-boundaries which can be solved. Because the focus here is to show that hierarchical matching does not work in general, we do not provide a proof of these statements.
- O. Higgott and C. Gidney, Sparse blossom: Correcting a million errors per core second with minimum-weight matching, Quantum 9, 1600 (2025).
- M. Serra-Peralta, surface-sim on GitHub (2024), https://github.com/MarcSerraPeralta/surface-sim.
- M. Serra-Peralta, lomatching on GitHub (2024), https://github.com/MarcSerraPeralta/lomatching.
- R. Versluis, S. Poletto, N. Khammassi, B. Tarasinski, N. Haider, D. J. Michalak, A. Bruno, K. Bertels, and L. DiCarlo, Scalable Quantum Circuit and Control for a Superconducting Surface Code, Phys. Rev. Appl. 8, 034021 (2017).
- K. Wintersperger, F. Dommert, T. Ehmer, A. Hoursanov, J. Klepsch, W. Mauerer, G. Reuber, T. Strohm, M. Yin, and S. Luber, Neutral atom quantum computing hardware: Performance and end-user perspective, EPJ Quantum Technol. 10, 32 (2023).
- S. Krinner, N. Lacroix, A. Remm, A. Di Paolo, E. Genois, C. Leroux, C. Hellings, S. Lazar, F. Swiadek, J. Herrmann, G. J. Norris, C. K. Andersen, M. Müller, A. Blais, C. Eichler, and A. Wallraff, Realizing repeated quantum error correction in a distance-three surface code, Nature 605, 669 (2022).
- J. Combes, C. Granade, C. Ferrie, and S. T. Flammia, Logical randomized benchmarking, arXiv:1702.03688 [quant-ph].
- N. Lacroix, A. Bourassa, F. J. H. Heras, L. M. Zhang, J. Bausch, A. W. Senior, T. Edlich, N. Shutty, V. Sivak, A. Bengtsson et al., Scaling and logic in the colour code on a superconducting quantum processor, Nature 645, 614 (2025).
- A. R. Calderbank, E. M. Rains, P. M. Shor, and N. J. A. Sloane, Quantum error correction via codes over GF(4), IEEE Trans. Inf. Theory 44, 1369 (1998).
- Note that we do not use the decomposition from Ref. [77] as the hypergraphs would have a particular structure across all circuits and thus this would ruin the purpose of the two-qubit Clifford experiments.
- C. Gidney, M. Newman, A. Fowler, and M. Broughton, A fault-tolerant honeycomb memory, Quantum 5, 605 (2021).
- S. J. Evered, D. Bluvstein, M. Kalinowski, S. Ebadi, T. Manovitz, H. Zhou, S. H. Li, A. A. Geim, T. T. Wang, N. Maskara et al., High-fidelity parallel entangling gates on a neutral-atom quantum computer, Nature 622, 268 (2023).
- P. S. Rodriguez, J. M. Robinson, P. N. Jepsen, Z. He, C. Duckering, C. Zhao, K.-H. Wu, J. Campo, K. Bagnall, M. Kwon et al., Experimental demonstration of logical magic state distillation, Nature 645, 620 (2025).
- T. M. Graham, L. Phuttitarn, R. Chinnarasu, Y. Song, C. Poole, K. Jooya, J. Scott, A. Scott, P. Eichler, and M. Saffman, Midcircuit Measurements on a Single-Species Neutral Alkali Atom Quantum Processor, Phys. Rev. X 13, 041051 (2023).
- E. Deist, Y.-H. Lu, J. Ho, M. K. Pasha, J. Zeiher, Z. Yan, and D. M. Stamper-Kurn, Mid-Circuit Cavity Measurement in a Neutral Atom Array, Phys. Rev. Lett. 129, 203602 (2022).
- M. Serra-Peralta, qec-util on GitHub (2024), https://github.com/MarcSerraPeralta/qec-util.
- E. B. Wilson, Probable inference, the law of succession, and statistical inference, J. Am. Stat. Assoc. 22, 209 (1927).
- S. Heußen, D. Winter, M. Rispler, and M. Müller, Dynamical subset sampling of quantum error-correcting protocols, Phys. Rev. Res. 6, 013177 (2024).
- L. D. Brown, T. T. Cai, and A. DasGupta, Interval estimation for a binomial proportion, Stat. Sci. 16, 101 (2001).
- T. Hillmann, G. Dauphinais, I. Tzitrin, and M. Vasmer, Single-shot and measurement-based quantum error correction via fault complexes, Phys. Rev. A 112, L040401 (2025).
- Z. Wang, Surface code error correction during logical operations, Master’s thesis, TU Delft, 2023.
- A. R. O’Rourke and S. Devitt, Compare the pair: Rotated versus unrotated surface codes at equal logical error rates, Phys. Rev. Res. 7, 033074 (2025).
- M. Serra-Peralta, mle-decoder on GitHub (2025), https://github.com/MarcSerraPeralta/mle-decoder.
- A. J. Landahl, J. T. Anderson, and P. R. Rice, Fault-tolerant quantum computing with color codes, arXiv:1108.5738 [quant-ph].
- Gurobi Optimization, Gurobi Optimizer Reference Manual (2024), https://www.gurobi.com.
- A. Nahum, S. Vijay, and J. Haah, Operator Spreading in Random Unitary Circuits, Phys. Rev. X 8, 021014 (2018).
- B. M. Terhal, Quantum error correction for quantum memories, Rev. Mod. Phys. 87, 307 (2015).
- S.-H. Lee, A. Li, and S. D. Bartlett, Color code decoder with improved scaling for correcting circuit-level noise, Quantum 9, 1609 (2025).
- N. Gillett, Parallel and low-latency streaming decoding of quantum error correction codes (2025), APS March Meeting 2025. https://summit.aps.org/events/MAR-B16/13.
- Delft High Performance Computing Centre (DHPC, DelftBlue Documentation (2023), https://doc.dhpc.tudelft.nl/delftblue/, accessed: 2023-05-15.
- M. Serra-Peralta, data-lom-decoders on GitHub (2025), https://github.com/MarcSerraPeralta/data-lom-decoders.
- Stronger examples where the unique minimum-weight correction in each single-lom leads to a logical error, can also be constructed, but just require another physical errors.
- S. Balasubramanian, M. Davydova, and E. Lake, A local automaton for the 2D toric code, arXiv:2412.19803 [quant-ph].
- C. Chamberland and E. T. Campbell, Universal quantum computing with twist-free and temporally encoded lattice surgery, PRX Quantum 3, 010331 (2022).
- D. Grier and L. Schaeffer, The classification of Clifford gates over qubits, Quantum 6, 734 (2022).
