- Open Access
Universal Adapters between Quantum Low-Density Parity Check Codes
PRX Quantum 7, 010324 – Published 4 February, 2026
DOI: https://doi.org/10.1103/1g44-jp62
Abstract
We propose the repetition code adapter as a way to perform joint logical Pauli measurements within a quantum low-density parity check (LDPC) codeblock or between separate such codeblocks, thus providing a flexible tool for fault-tolerant computation with quantum LDPC codes. This adapter is universal in the sense that it works regardless of the LDPC codes involved and the logical Paulis being measured. The construction achieves joint logical Pauli measurement of weight operators using time and additional qubits and checks, up to a factor polylogarithmic in . As a special case, for some geometrically local codes in fixed dimensions, only additional qubits and checks are required instead. By extending the adapter in the case , we also construct a toric code adapter that uses additional qubits and checks to perform addressable logical cnot gates on arbitrary LDPC codes via Dehn twists. To obtain these results, we develop a more general form of graph edge expansion and the algorithm, which ensures a sparse transformation between different weight-2 check bases for the classical repetition code.
Physics Subject Headings (PhySH)
Popular Summary
Error correction is key to building a quantum computer. This includes both storage of quantum information and computing on it. Quantum low-density parity check (LDPC) codes offer a route to build these devices with low space overhead. The next question is—How do we fault-tolerantly compute on these codes? Recently, there has been a surge of research regarding the nontrivial problem of fault-tolerant computation on qubits encoded in LDPC codes, and one solution that stands out for its general applicability is code deformation through stabilizer measurements, a general scheme referred to as LDPC surgery. In this work, we present a “universal adapter” construction to enable multi-qubit logical measurements within the same code or different codes, with low qubit overhead. This adapter is universal it works regardless of the LDPC codes involved and the logical operators being measured.
The simplest LDPC surgery works by appending a graphlike system, consisting of additional qubits (edges) and checks (vertices and cycles) and tailored to a desired logical measurement. Our adapter construction connects two or more of these auxiliary systems together to measure their corresponding product operator. Connecting them introduces more qubits and checks, but not more than the original systems, and, crucially for practicality, we also guarantee the new code checks remain sparse. We additionally identify some situations in which the surgery overhead can be even further reduced and separately a construction that merges an arbitrary LDPC code and the well-known toric code in order to perform a unitary logical gate.
Future work may focus on generalizing our ideas to LDPC surgery systems that are more time-efficient, by considering auxiliary systems described by hypergraphs instead of graphs.
Article Text
Supplemental Material
References (72)
- Christian Kraglund Andersen, Ants Remm, Stefania Lazar, Sebastian Krinner, Nathan Lacroix, Graham J. Norris, Mihai Gabureac, Christopher Eichler, and Andreas Wallraff, Repeated quantum error detection in a surface code, Nat. Phys. 16, 875 (2020).
- Google Quantum AI, Exponential suppression of bit or phase errors with cyclic error correction, Nature 595, 383 (2021).
- C. Ryan-Anderson, J. G. Bohnet, K. Lee, D. Gresh, A. Hankin, J. P. Gaebler, D. Francois, A. Chernoguzov, D. Lucchetti, N. C. Brown et al., Realization of real-time fault-tolerant quantum error correction, Phys. Rev. X 11, 041058 (2021).
- J Ferreira Marques, B. M. Varbanov, M. S. Moreira, Hany Ali, Nandini Muthusubramanian, Christos Zachariadis, Francesco Battistel, Marc Beekman, Nadia Haider, Wouter Vlothuizen et al., Logical-qubit operations in an error-detecting surface code, Nat. Phys. 18, 80 (2022).
- Neereja Sundaresan, Theodore J. Yoder, Youngseok Kim, Muyuan Li, Edward H. Chen, Grace Harper, Ted Thorbeck, Andrew W. Cross, Antonio D. Córcoles, and Maika Takita, Demonstrating multi-round subsystem quantum error correction using matching and maximum likelihood decoders, Nat. Commun. 14, 2852 (2023).
- Rajeev Acharya, Laleh Aghababaie-Beni, Igor Aleiner, Trond I. Andersen, Markus Ansmann, Frank Arute, Kunal Arya, Abraham Asfaw, Nikita Astrakhantsev, Juan Atalaya et al., Quantum error correction below the surface code threshold, Nature 638, 920 (2025).
- Dolev Bluvstein, Simon J. Evered, Alexandra A. Geim, Sophie H. Li, Hengyun Zhou, Tom Manovitz, Sepehr Ebadi, Madelyn Cain, Marcin Kalinowski, Dominik Hangleiter et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626, 58 (2024).
- Jean-Pierre Tillich and Gilles Zémor, Quantum LDPC codes with positive rate and minimum distance proportional to the square root of the blocklength, IEEE Trans. Inf. Theory 60, 1193 (2013).
- A. A. Kovalev and L. P. Pryadko, Fault tolerance of quantum low-density parity check codes with sublinear distance scaling, Phys. Rev. A 87, 020304(R) (2013).
- Anthony Leverrier, Jean-Pierre Tillich, and Gilles Zémor, in 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (IEEE, Berkeley, CA, USA, 2015), p. 810.
- Nikolas P. Breuckmann and Jens N. Eberhardt, Balanced product quantum codes, IEEE Trans. Inf. Theory 67, 6653 (2021).
- Pavel Panteleev and Gleb Kalachev, in Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (ACM, New York, NY, 2022), p. 375.
- Anthony Leverrier and Gilles Zémor, in 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS) (IEEE, Denver, CO, USA, 2022), p. 872.
- Dominic Horsman, Austin G. Fowler, Simon Devitt, and Rodney Van Meter, Surface code quantum computing by lattice surgery, New J. Phys. 14, 123011 (2012).
- L. Lao, B. van Wee, I. Ashraf, J. van Someren, N. Khammassi, K. Bertels, and C. G. Almudever, Mapping of lattice surgery-based quantum circuits on surface code architectures, Quantum Sci. Technol. 4, 015005 (2018).
- Daniel Litinski, A game of surface codes: Large-scale quantum computing with lattice surgery, Quantum 3, 128 (2019).
- Matthew B. Hastings, Weight reduction for quantum codes, arXiv:1611.03790.
- Matthew B. Hastings, On quantum weight reduction, arXiv:2102.10030.
- Lawrence Z. Cohen, Isaac H. Kim, Stephen D. Bartlett, and Benjamin J. Brown, Low-overhead fault-tolerant quantum computing using long-range connectivity, Sci. Adv. 8, eabn1717 (2022).
- Alexander Cowtan and Simon Burton, CSS code surgery as a universal construction, Quantum 8, 1344 (2024).
- Andrew Cross, Zhiyang He, Patrick Rall, and Theodore Yoder, Linear-size ancilla systems for logical measurements in QLDPC codes, arXiv:2407.18393.
- Andrew W. Cross, Zhiyang He, Patrick J. Rall, and Theodore J. Yoder, Improved QLDPC surgery: Logical measurements and bridging codes, arXiv:2407.18393 [quant-ph].
- Guo Zhang and Ying Li, Time-efficient logical operations on quantum LDPC codes, Phys. Rev. Lett. 134, 070602 (2025).
- Dominic J. Williamson and Theodore J. Yoder, Low-overhead fault-tolerant quantum computation by gauging logical operators, arXiv:2410.02213.
- Benjamin Ide, Manoj G. Gowda, Priya J. Nadkarni, and Guillaume Dauphinais, Fault-tolerant logical measurements via homological measurement, Phys. Rev. X 15, 021088 (2025).
- Sergey Bravyi, Graeme Smith, and John A. Smolin, Trading classical and quantum computational resources, Phys. Rev. X 6, 021043 (2016).
- Boris Delaunay, Sur la sphère vide. A la mémoire de Georges Voronoï, Bull. Acad. Sci. URSS, Cl. Sci. Math. Nat. 8, 793 (1934).
- Robert Koenig, Greg Kuperberg, and Ben W. Reichardt, Quantum computation with Turaev–Viro codes, Ann. Phys. 325, 2707 (2010).
- Nikolas P. Breuckmann, Christophe Vuillot, Earl Campbell, Anirudh Krishna, and Barbara M. Terhal, Hyperbolic and semi-hyperbolic surface codes for quantum storage, Quantum Sci. Technol. 2, 035007 (2017).
- Ali Lavasani, Guanyu Zhu, and Maissam Barkeshli, Universal logical gates with constant overhead: Instantaneous Dehn twists for hyperbolic quantum codes, Quantum 3, 180 (2019).
- Qian Xu, J. Pablo Bonilla Ataides, Christopher A. Pattison, Nithin Raveendran, Dolev Bluvstein, Jonathan Wurtz, Bane Vasić, Mikhail D. Lukin, Liang Jiang, and Hengyun Zhou, Constant-overhead fault-tolerant quantum computation with reconfigurable atom arrays, Nat. Phys. 20, 1084 (2024).
- Joshua Viszlai, Willers Yang, Sophia Fuhui Lin, Junyu Liu, Natalia Nottingham, Jonathan M. Baker, and Frederic T. Chong, Matching generalized-bicycle codes to neutral atoms for low-overhead fault-tolerance, arXiv:2311.16980 [quant-ph].
- Hendrik Poulsen Nautrup, Nicolai Friis, and Hans J. Briegel, Fault-tolerant interface between quantum memories and quantum processors, Nat. Commun. 8, 1321 (2017).
- Daniel Gottesman, Stabilizer codes and quantum error correction, Ph.D. thesis, Caltech, 1997.
- A. Robert Calderbank and Peter W. Shor, Good quantum error-correcting codes exist, Phys. Rev. A 54, 1098 (1996).
- Andrew M. Steane, Error correcting codes in quantum theory, Phys. Rev. Lett. 77, 793 (1996).
- A. Yu Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys. 303, 2 (2003).
- Claude Berge, The Theory of Graphs (Courier Corporation, Mineola, NY, 2001).
- Jonathan L. Gross and Jay Yellen, Graph Theory and Its Applications (2nd ed.) (CRC, Boca Raton, FL, 2005), Chap. 4.6: Graphs and Vector Spaces, p. 197.
- Bojan Mohar, Isoperimetric numbers of graphs, J. Comb. Theory Ser. B 47, 274 (1989).
- Gert Sabidussi, Graph multiplication, Math. Z. 72, 446 (1959).
- Vladim G. Vizing, The Cartesian product of graphs, Vycisl. Sistemy 9, 33 (1963).
- Omer Reingold, Salil Vadhan, and Avi Wigderson, in Proceedings 41st Annual Symposium on Foundations of Computer Science (IEEE, Redondo Beach, CA, USA, 2000), p. 3.
- Noga Alon, Oded Schwartz, and Asaf Shapira, An elementary construction of constant-degree expanders, Comb. Probab. Comput. 17, 319 (2008).
- Michael Freedman and Matthew B. Hastings, Building manifolds from quantum codes, arXiv:2012.02249 [math.DG].
- Sunny (Zhiyang) He, personal communication.
- Michael E. Beverland, Shilin Huang, and Vadym Kliuchnikov, Fault tolerance of stabilizer channels, arXiv:2401.12017.
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein, Introduction to Algorithms (MIT, Cambridge, MA, 2022).
- Jerome J. Karaganis, On the cube of a graph, Can. Math. Bull. 11, 295 (1968).
- Gary Chartrand and S. F. Kapoor, The cube of every connected graph is 1-Hamiltonian, J. Res. Natl. Bur. Stand., Sect. B 73B, 47 (1969).
- Herbert Fleischner, The square of every two-connected graph is Hamiltonian, J. Comb. Theory Ser. B 16, 29 (1974).
- Gary Chartrand, Arthur M. Hobbs, H. A. Jung, S. F. Kapoor, and C. St. J. A. Nash-Williams, The square of a block is Hamiltonian connected, J. Comb. Theory Ser. B 16, 290 (1974).
- Jakub Radoszewski and Wojciech Rytter, in Algorithms and Computation: 22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5–8, 2011. Proceedings 22 (Springer, Berlin, Heidelberg, 2011), p. 90.
- Tomas Jochym-O’Connor, Aleksander Kubica, and Theodore J Yoder, Disjointness of stabilizer codes and limitations on fault-tolerant logical gates, Phys. Rev. X 8, 021047 (2018).
- For example, consider the four vertices at the corner of a square: they all reside on the same circle centered at the middle of the square with the appropriate radius. Their triangulation is not unique as one can choose either of the diagonals in the edge set.
- Eric Dennis, Alexei Kitaev, Andrew Landahl, and John Preskill, Topological quantum memory, J. Math. Phys. 43, 4452 (2002).
- Hector Bombin and Miguel A. Martin-Delgado, Homological error correction: Classical and quantum codes, J. Math. Phys. 48, 052105 (2007).
- Michael Vasmer and Dan E. Browne, Three-dimensional surface codes: Transversal gates and fault-tolerant architectures, Phys. Rev. A 100, 012312 (2019).
- T. Jochym-O’Connor and T. J. Yoder, Four-dimensional toric code with non-Clifford transversal gates, Phys. Rev. Res. 3, 013118 (2021).
- Xinlan Zhou, Debbie W. Leung, and Isaac L. Chuang, Methodology for quantum logic gate construction, Phys. Rev. A 62, 052316 (2000).
- Sergey Bravyi, Andrew W. Cross, Jay M. Gambetta, Dmitri Maslov, Patrick Rall, and Theodore J. Yoder, High-threshold and low-overhead fault-tolerant quantum memory, Nature 627, 778 (2024).
- Pavel Panteleev and Gleb Kalachev, Quantum LDPC codes with almost linear minimum distance, IEEE Trans. Inf. Theory 68, 213 (2022).
- Alexey A. Kovalev and Leonid P. Pryadko, Quantum Kronecker sum-product low-density parity-check codes with finite rate, Phys. Rev. A 88, 012311 (2013).
- Hsiang-Ku Lin and Leonid P. Pryadko, Quantum two-block group algebra codes, Phys. Rev. A 109, 022407 (2024).
- Joschka Roffe, LDPC: Python tools for low density parity check codes (2022), Github, https://pypi.org/project/ldpc/.
- IBM. IBM ILOG CPLEX Optimization Studio 22.1.1, Release version 22.1.1, 2022.
- Aric A. Hagberg, Daniel A. Schult, and Pieter J. Swart, in Proceedings of the 7th Python in Science Conference, edited by Gaël Varoquaux, Travis Vaught, and Jarrod Millman (NetworkX Developers, Pasadena, CA, USA, 2008), p. 11.
- Esha Swaroop, See Supplemental Material at http://link.aps.org/supplemental/10.1103/1g44-jp62 for PRX Quantum (Universal adapters between quantum LDPC codes) https://doi.org/10.5281/zenodo.17527545, November 2025.
- Esha Swaroop, github.com/eswaroop/adapters_ldpc_surgery.
- Guanyu Zhu, Ali Lavasani, and Maissam Barkeshli, Instantaneous braids and Dehn twists in topologically ordered states, Phys. Rev. B 102, 075105 (2020).
- Shilin Huang, Tomas Jochym-O’Connor, and Theodore J. Yoder, Homomorphic logical measurements, PRX Quantum 4, 030301 (2023).
- S. Aaronson and D. Gottesman, Improved simulation of stabilizer circuits, Phys. Rev. A 70, 052328 (2004).
