Families of $d=2$ 2D subsystem stabilizer codes for universal Hamiltonian quantum computation with two-body interactions
1Center for Quantum Information Science & Technology
2Department of Physics & Astronomy
3Department of Electrical & Computer Engineering
4Department of Chemistry, University of Southern California, Los Angeles, California 90089, USA
| Published: | 2025-08-05, volume 9, page 1821 |
| Editor: | Alioscia Hamma |
| Eprint: | arXiv:2412.06744v3 |
| Doi: | https://doi.org/10.22331/q-2025-08-05-1821 |
| Citation: | Quantum 9, 1821 (2025). |
Find this paper interesting or want to discuss? Scite or leave a comment on SciRate.
Abstract
In the absence of fault tolerant quantum error correction for analog, Hamiltonian quantum computation, error suppression via energy penalties is an effective alternative. We construct families of distance-$2$ stabilizer subsystem codes we call “trapezoid codes'', that are tailored for energy-penalty schemes. We identify a family of codes achieving the maximum code rate, and by slightly relaxing this constraint, uncover a broader range of codes with enhanced physical locality, thus increasing their practical applicability. Additionally, we provide an algorithm to map the required qubit connectivity graph into graphs compatible with the locality constraints of quantum hardware. Finally, we provide a systematic framework to evaluate the performance of these codes in terms of code rate, physical locality, graph properties, and penalty gap, enabling an informed selection of error-suppression codes for specific quantum computing applications. We identify the $[[4k+2,2k,g,2]]$ family of subsystem codes as optimal in terms of code rate and penalty gap scaling.

Featured image: The induced graphs (required connectivity in quantum devices) to support single-qubit logical operators, two-qubit logical operators, and gauge operators are shown for codes with k = 3 and l = 3.
Popular summary
This work introduces new families of quantum error-correcting codes, called trapezoid subsystem codes, that are specifically designed for Hamiltonian-based computation. These codes suppress errors by making them energetically costly, rather than correcting them through active detection. They use only simple two-qubit interactions, making them more practical for real-world devices. Our framework is flexible enough to evaluate each code in the family based on different criteria such as efficiency, locality, and physical layout, enabling researchers to tailor code choices to specific hardware constraints or performance goals.
Our results provide a foundation for building more robust quantum systems without sacrificing hardware feasibility. Future work may explore longer-range error protection, optimize layouts for specific platforms, or adapt the ideas to more complex computational models.
► BibTeX data
► References
[1] E. Farhi, J. Goldstone, S. Gutmann, and M. Sipser, Quantum Computation by Adiabatic Evolution, arXiv:quant-ph/0001106 (2000).
arXiv:quant-ph/0001106
[2] D. Aharonov, W. van Dam, J. Kempe, Z. Landau, S. Lloyd, and O. Regev, Adiabatic quantum computation is equivalent to standard quantum computation, SIAM Journal on Computing 37, 166–194 (2007).
https://doi.org/10.1137/S0097539705447323
[3] T. Albash and D. A. Lidar, Adiabatic quantum computation, Reviews of Modern Physics 90, 015002– (2018a).
https://doi.org/10.1103/RevModPhys.90.015002
[4] T. Kadowaki and H. Nishimori, Quantum annealing in the transverse ising model, Phys. Rev. E 58, 5355–5363 (1998).
https://doi.org/10.1103/PhysRevE.58.5355
[5] P. Hauke, H. G. Katzgraber, W. Lechner, H. Nishimori, and W. D. Oliver, Perspectives of quantum annealing: Methods and implementations, Reports on Progress in Physics (2020).
https://doi.org/10.1088/1361-6633/ab85b8
[6] E. J. Crosson and D. A. Lidar, Prospects for quantum enhancement with diabatic quantum annealing, Nature Reviews Physics 3, 466–489 (2021).
https://doi.org/10.1038/s42254-021-00313-6
[7] P. Zanardi and M. Rasetti, Holonomic quantum computation, Physics Letters A 264, 94–99 (1999).
https://doi.org/10.1016/S0375-9601(99)00803-8
[8] L. M. Duan, J. I. Cirac, and P. Zoller, Geometric manipulation of trapped ions for quantum computation, Science 292, 1695–1697 (2001).
https://doi.org/10.1126/science.1058835
[9] J. Zhang, T. H. Kyaw, S. Filipp, L.-C. Kwek, E. Sjöqvist, and D. Tong, Geometric and holonomic quantum computation, Physics Reports 1027, 1–53 (2023).
https://doi.org/10.1016/j.physrep.2023.07.004
[10] H. Bernien, S. Schwartz, A. Keesling, H. Levine, A. Omran, H. Pichler, S. Choi, A. S. Zibrov, M. Endres, M. Greiner, V. Vuletić, and M. D. Lukin, Probing many-body dynamics on a 51-atom quantum simulator, Nature 551, 579–584 (2017).
https://doi.org/10.1038/nature24622
[11] A. D. King, S. Suzuki, J. Raymond, A. Zucca, T. Lanting, F. Altomare, A. J. Berkley, S. Ejtemaee, E. Hoskinson, S. Huang, E. Ladizinsky, A. J. R. MacDonald, G. Marsden, T. Oh, G. Poulin-Lamarre, M. Reis, C. Rich, Y. Sato, J. D. Whittaker, J. Yao, R. Harris, D. A. Lidar, H. Nishimori, and M. H. Amin, Coherent quantum annealing in a programmable 2,000 qubit ising chain, Nature Physics 18, 1324–1328 (2022).
https://doi.org/10.1038/s41567-022-01741-6
[12] E. Altman, K. R. Brown, G. Carleo, L. D. Carr, E. Demler, C. Chin, B. DeMarco, S. E. Economou, M. A. Eriksson, K.-M. C. Fu, M. Greiner, K. R. A. Hazzard, R. G. Hulet, A. J. Kollár, B. L. Lev, M. D. Lukin, R. Ma, X. Mi, S. Misra, C. Monroe, K. Murch, Z. Nazario, K.-K. Ni, A. C. Potter, P. Roushan, M. Saffman, M. Schleier-Smith, I. Siddiqi, R. Simmonds, M. Singh, I. B. Spielman, K. Temme, D. S. Weiss, J. Vučković, V. Vuletić, J. Ye, and M. Zwierlein, Quantum simulators: Architectures and opportunities, PRX Quantum 2, 017003– (2021).
https://doi.org/10.1103/PRXQuantum.2.017003
[13] E. Farhi and S. Gutmann, Quantum computation and decision trees, Physical Review A 58, 915–928 (1998).
https://doi.org/10.1103/PhysRevA.58.915
[14] A. M. Childs, D. Gosset, and Z. Webb, Universal computation by multiparticle quantum walk, Science 339, 791–794 (2013).
https://doi.org/10.1126/science.1229957
[15] O. Mülken and A. Blumen, Continuous-time quantum walks: Models for coherent transport on complex networks, Physics Reports 502, 37–87 (2011).
https://doi.org/10.1016/j.physrep.2011.01.002
[16] O. Oreshkov, T. A. Brun, and D. A. Lidar, Fault-tolerant holonomic quantum computation, Phys. Rev. Lett. 102, 070502– (2009).
https://doi.org/10.1103/PhysRevLett.102.070502
[17] S. P. Jordan, E. Farhi, and P. W. Shor, Error-correcting codes for adiabatic quantum computation, Phys. Rev. A 74, 052322 (2006).
https://doi.org/10.1103/PhysRevA.74.052322
[18] D. Gottesman, Class of quantum error-correcting codes saturating the quantum hamming bound, Phys. Rev. A 54, 1862 (1996).
https://doi.org/10.1103/PhysRevA.54.1862
[19] A. R. Calderbank, E. M. Rains, P. M. Shor, and N. J. A. Sloane, Quantum error correction via codes over $gf(4)$, IEEE Transactions on Information Theory 44, 1369–1387 (1998).
https://doi.org/10.1109/18.681315
[20] S. Bravyi and M. Vyalyi, Commutative version of the k-local hamiltonian problem and common eigenspace problem, Quantum Inf. and Comp. 5, 187–215 (2005).
arXiv:quant-ph/0308021
[21] E. Dennis, A. Kitaev, A. Landahl, and J. Preskill, Topological quantum memory, Journal of Mathematical Physics 43, 4452–4505 (2002).
https://doi.org/10.1063/1.1499754
[22] R. Alicki, M. Fannes, and M. Horodecki, A statistical mechanics view on kitaev's proposal for quantum memories, Journal of Physics A: Mathematical and Theoretical 40, 6451 (2007).
https://doi.org/10.1088/1751-8113/40/24/012
[23] K. C. Young, R. Blume-Kohout, and D. A. Lidar, Adiabatic quantum optimization with the wrong hamiltonian, Phys. Rev. A 88, 062314– (2013a).
https://doi.org/10.1103/PhysRevA.88.062314
[24] K. C. Young, M. Sarovar, and R. Blume-Kohout, Error suppression and error correction in adiabatic quantum computation: Techniques and challenges, Phys. Rev. X 3, 041013– (2013b).
https://doi.org/10.1103/PhysRevX.3.041013
[25] M. Sarovar and K. C. Young, Error suppression and error correction in adiabatic quantum computation: non-equilibrium dynamics, New J. of Phys. 15, 125032 (2013).
https://doi.org/10.1088/1367-2630/15/12/125032
[26] A. Ganti, U. Onunkwo, and K. Young, Family of $[[6k,2k,2]]$ codes for practical, scalable adiabatic quantum computation, Phys. Rev. A 89, 042313– (2014).
https://doi.org/10.1103/PhysRevA.89.042313
[27] A. D. Bookatz, E. Farhi, and L. Zhou, Error suppression in hamiltonian-based quantum computation using energy penalties, Phys. Rev. A 92, 022317– (2015).
https://doi.org/10.1103/PhysRevA.92.022317
[28] I. Marvian, Exponential suppression of decoherence and relaxation of quantum systems using energy penalty, arXiv:1602.03251 (2016).
arXiv:1602.03251
[29] M. Marvian and D. A. Lidar, Error suppression for hamiltonian quantum computing in markovian environments, Physical Review A 95, 032302– (2017a).
https://doi.org/10.1103/PhysRevA.95.032302
[30] D. A. Lidar, Arbitrary-time error suppression for markovian adiabatic quantum computing using stabilizer subspace codes, Physical Review A 100, 022326– (2019).
https://doi.org/10.1103/PhysRevA.100.022326
[31] A. Mizel and D. A. Lidar, Three- and four-body interactions in spin-based quantum computers, Phys. Rev. Lett. 92, 077903– (2004).
https://doi.org/10.1103/PhysRevLett.92.077903
[32] J. H. Gurian, P. Cheinet, P. Huillery, A. Fioretti, J. Zhao, P. L. Gould, D. Comparat, and P. Pillet, Observation of a resonant four-body interaction in cold cesium rydberg atoms, Physical Review Letters 108, 023005– (2012).
https://doi.org/10.1103/PhysRevLett.108.023005
[33] H.-N. Dai, B. Yang, A. Reingruber, H. Sun, X.-F. Xu, Y.-A. Chen, Z.-S. Yuan, and J.-W. Pan, Four-body ring-exchange interactions and anyonic statistics within a minimal toric-code hamiltonian, Nature Physics 13, 1195–1200 (2017).
https://doi.org/10.1038/nphys4243
[34] L. Chirolli, A. Braggio, and F. Giazotto, Cooper quartets in interacting hybrid superconducting systems, Physical Review Research 6, 033171– (2024).
https://doi.org/10.1103/PhysRevResearch.6.033171
[35] I. Marvian and D. A. Lidar, Quantum error suppression with commuting hamiltonians: Two local is too local, Phys. Rev. Lett. 113, 260504– (2014).
https://doi.org/10.1103/PhysRevLett.113.260504
[36] Z. Jiang and E. G. Rieffel, Non-commuting two-local hamiltonians for quantum error suppression, Quant. Inf. Proc. 16, 89 (2017).
https://doi.org/10.1007/s11128-017-1527-9
[37] M. Marvian and D. A. Lidar, Error Suppression for Hamiltonian-Based Quantum Computation Using Subsystem Codes, Phys. Rev. Lett. 118, 030504– (2017b).
https://doi.org/10.1103/PhysRevLett.118.030504
[38] D. Poulin, Stabilizer formalism for operator quantum error correction, Phys. Rev. Lett. 95, 230504 (2005).
https://doi.org/10.1103/PhysRevLett.95.230504
[39] M. Marvian and S. Lloyd, Robust universal hamiltonian quantum computing using two-body interactions, arXiv:1911.01354 (2019).
arXiv:1911.01354
[40] S. Bravyi, Subsystem codes with spatially local generators, Phys. Rev. A 83, 012320 (2011).
https://doi.org/10.1103/PhysRevA.83.012320
[41] J. D. Biamonte and P. J. Love, Realizable hamiltonians for universal adiabatic quantum computers, Phys. Rev. A 78, 012352 (2008).
https://doi.org/10.1103/PhysRevA.78.012352
[42] M. W. Johnson, M. H. S. Amin, S. Gildert, T. Lanting, F. Hamze, N. Dickson, R. Harris, A. J. Berkley, J. Johansson, P. Bunyk, E. M. Chapple, C. Enderud, J. P. Hilton, K. Karimi, E. Ladizinsky, N. Ladizinsky, T. Oh, I. Perminov, C. Rich, M. C. Thom, E. Tolkacheva, C. J. S. Truncik, S. Uchaikin, J. Wang, B. Wilson, and G. Rose, Quantum annealing with manufactured spins, Nature 473, 194–198 (2011).
https://doi.org/10.1038/nature10012
[43] S. Boixo, T. F. Ronnow, S. V. Isakov, Z. Wang, D. Wecker, D. A. Lidar, J. M. Martinis, and M. Troyer, Evidence for quantum annealing with more than one hundred qubits, Nat. Phys. 10, 218–224 (2014).
https://doi.org/10.1038/nphys2900
[44] S. Boixo, V. N. Smelyanskiy, A. Shabani, S. V. Isakov, M. Dykman, V. S. Denchev, M. H. Amin, A. Y. Smirnov, M. Mohseni, and H. Neven, Computational multiqubit tunnelling in programmable quantum annealers, Nat Commun 7 (2016).
https://doi.org/10.1038/ncomms10327
[45] T. Albash and D. A. Lidar, Demonstration of a scaling advantage for a quantum annealer over simulated annealing, Physical Review X 8, 031016– (2018b).
https://doi.org/10.1103/PhysRevX.8.031016
[46] S. Mandrà and H. G. Katzgraber, A deceptive step towards quantum speedup detection, Quantum Sci. Technol. 3, 04LT01 (2018).
https://doi.org/10.1088/2058-9565/aac8b2
[47] M. Kowalsky, T. Albash, I. Hen, and D. A. Lidar, 3-regular three-xorsat planted solutions benchmark of classical and quantum heuristic optimizers, Quantum Science and Technology 7, 025008 (2022).
https://doi.org/10.1088/2058-9565/ac4d1b
[48] E. Knill and R. Laflamme, Theory of quantum error-correcting codes, Phys. Rev. A 55, 900–911 (1997).
https://doi.org/10.1103/PhysRevA.55.900
[49] D. Bacon, Operator quantum error-correcting subsystems for self-correcting quantum memories, Phys. Rev. A 73, 012340 (2006).
https://doi.org/10.1103/PhysRevA.73.012340
[50] P. Aliferis and A. W. Cross, Subsystem fault tolerance with the bacon-shor code, Phys. Rev. Lett. 98, 220502 (2007).
https://doi.org/10.1103/PhysRevLett.98.220502
[51] S. Burton, Spectra of gauge code hamiltonians, arXiv:1801.03243 (2018).
arXiv:1801.03243
[52] Z. Nussinov and J. van den Brink, Compass models: Theory and physical motivations, Reviews of Modern Physics 87, 1–59 (2015).
https://doi.org/10.1103/RevModPhys.87.1
[53] P. Pfeuty, The one-dimensional ising model with a transverse field, Annals of Physics 57, 79–90 (1970).
https://doi.org/10.1016/0003-4916(70)90270-8
[54] W. Brzezicki, J. Dziarmaga, and A. M. Oleś, Quantum phase transition in the one-dimensional compass model, Physical Review B 75, 134415– (2007).
https://doi.org/10.1103/PhysRevB.75.134415
[55] W. Brzezicki and A. M. Oleś, Symmetry properties and spectra of the two-dimensional quantum compass model, Phys. Rev. B 87, 214421 (2013).
https://doi.org/10.1103/PhysRevB.87.214421
[56] W. Brzezicki and A. M. Oleś, Exact solution for a quantum compass ladder, Phys. Rev. B 80, 014405 (2009).
https://doi.org/10.1103/PhysRevB.80.014405
[57] J. Dorier, F. Becca, and F. Mila, Quantum compass model on the square lattice, Phys. Rev. B 72, 024448 (2005).
https://doi.org/10.1103/PhysRevB.72.024448
[58] G. Nannicini, L. S. Bishop, O. Günlük, and P. Jurcevic, Optimal qubit assignment and routing via integer programming, ACM Transactions on Quantum Computing 4, 1–31 (2022).
https://doi.org/10.1145/3544563
Cited by
[1] Yingkang Cao, Suying Liu, Haowei Deng, Zihan Xia, Xiaodi Wu, and Yu-Xin Wang, "Robust analog quantum simulators by quantum error-detecting codes", arXiv:2412.07764, (2024).
[2] Victor V. Albert and Philippe Faist, "Handbook of Error-Correcting Codes", arXiv:2606.11484, (2026).
The above citations are from SAO/NASA ADS (last updated successfully 2026-08-09 16:43:07). The list may be incomplete as not all publishers provide suitable and complete citation data.
On Crossref's cited-by service no data on citing works was found (last attempt 2026-08-10 05:30:41). Could not fetch ADS cited-by data during last attempt 2026-08-10 05:30:42: Cannot retrieve data from ADS due to rate limitations.
This Paper is published in Quantum under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Copyright remains with the original copyright holders such as the authors or their institutions.