2025

Homology, Hopf Algebras and Quantum Code Surgery

Cowtan, Alexander

Understand

This thesis is a study of quantum error-correction codes from an algebraic perspective.

We concern ourselves not only with quantum codes but also protocols to perform logical quantum computation using such codes.
We derive new methods of performing fault-tolerant quantum computation, rooted in abstract algebra and category theory.
We also generalise known constructions of quantum codes and rigorously formalise existing constructions.

Built on

F. Peter and H. Weyl, Die Vollstandigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe, Math. Ann., 97: 737–755 (1927), doi:10.1007/BF01447892
1927
Earlier work this paper cites.
R. Penrose, Asymptotic Properties of Fields and Space-Times, Phys. Rev. Lett. 10, 66 (1963), https://doi.org/10.1103/PhysRevLett.10.66
1963
Earlier work this paper cites.
B. Pareigis, When Hopf algebras are Frobenius algebras, J. Alg., Volume 18, Issue 4 (1971) 588-596
1971
Earlier work this paper cites.
S. Mac Lane, Categories for the working mathematician
1978
Earlier work this paper cites.
M. Takeuchi, Matched pairs of groups and bismash products of Hopf algebras, Comm. Algebra 9 (1981) 841
1981
Earlier work this paper cites.
A. L. Edmonds and J. H. Ewing and R. S. Kulkarni, Regular Tessellations of Surfaces and (p, q, 2)-Triangle Groups, Annals of Mathematics 116 (1982) 113–132
1982
Earlier work this paper cites.
F. J. MacWilliams and N. J. A. Sloane, The Theory of Error-Correcting Codes
1983
Earlier work this paper cites.
V.G. Drinfeld, Quantum groups, in Proc. ICM Berkeley. AMS, 1987
1987
Earlier work this paper cites.
S. Majid, Physics for algebraists: non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction, J. Algebra 130 (1990) 17–64
1990
Earlier work this paper cites.
A. Joyal and R. Street, The geometry of tensor calculus, I, Advances in Mathematics, Volume 88, Issue 1, July 1991, https://doi.org/10.1016/0001-8708(91)90003-P
1991
Earlier work this paper cites.
G. Kuperberg, Involutory hopf algebras and 3-manifold invariants, Int. J. Math. 2 (1991), 41–66
1991
Earlier work this paper cites.
S. Majid, Representations, duals and quantum doubles of monoidal categories, Proceedings of the Winter School ”Geometry and Physics” (1991) 197–206
1991
Earlier work this paper cites.
F. D. M. Haldane, Z. N. C. Ha, J. C. Talstra, D. Bernard and V. Pasquier, Yangian symmetry of integrable quantum chains with long-range interactions and a new description of states in conformal field theory, Physical Review Letters, 69 (1992)
1992
Earlier work this paper cites.
S. Majid, Tannaka-Krein Theorem for quasiHopf algebras and other results, Contemp. Math. 134 (1992) 219–232
1992
Earlier work this paper cites.
C. A. Weibel, An Introduction to Homological Algebra (Cambridge Studies in Advanced Mathematics), Cambridge University Press (1994), https://doi.org/10.1017/CBO9781139644136
1994
Earlier work this paper cites.
H.-J. Schneider, Lectures on Hopf algebras; Notes by Sonia Natale, Trabajos de Matematica 31/95, FaMAF, 1995
1995
Earlier work this paper cites.
P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Physical Review A. 52 (4): R2493–R2496, 1995, https://doi.org/10.1103/PhysRevA.52.R2493
1995
Earlier work this paper cites.
A. Alekseev, H. Grosse and V. Schomerus, Combinatorial quantization of the Hamiltonian Chern–Simons theory II. Commun. Math. Phys. 174 (1996) 561–604
1996
Earlier work this paper cites.
E. Beggs, J. Gould and S. Majid, Finite group factorisations and braiding J. Algebra 181 (1996) 112–151
1996
Earlier work this paper cites.
A. R. Calderbank and P. W. Shor, Good quantum error-correcting codes exist, Phys. Rev. A 54, 1098 (1996), https://doi.org/10.1103/PhysRevA.54.1098
1996
Earlier work this paper cites.
A. Steane, Multiple-particle interference and quantum error correction, Proceedings of the Royal Society of London, Series A: Mathematical, Physical and Engineering Sciences 452(1954), pp. 2551–2577 (1996), doi:10.1098/rspa.1996.0136
1996
Earlier work this paper cites.
G. Hahn and G. Sabidussi, Graph symmetry: algebraic methods and applications, NATO Advanced Science Institutes Series, vol. 497, Springer, p. 116 (1997) ISBN 978-0-7923-4668-5, https://doi.org/10.1007/978-94-015-8937-6
1997
Earlier work this paper cites.
S. Majid, Quantum double of quasi-Hopf algebras, Lett. Math. Phys. 45 (1998) 1-9
1998
Earlier work this paper cites.
Chuan-Kun Wu and Ed Dawson, Existence of generalized inverse of linear transformations over finite fields, Finite Fields and Their Applications 4 (1998) 307–315, https://doi.org/10.1006/ffta.1998.0215
1998
Earlier work this paper cites.
H. Albuquerque and S. Majid, Quasialgebra structure of the octonions, J. Algebra 220 (1999) 188–224
1999
Earlier work this paper cites.
E. Knill and R. Laflamme, A theory of quantum error correcting codes, Phys. Rev. Lett. 84 (2000) 2525–2528
2000
Earlier work this paper cites.
S. Majid, Foundations of Quantum Group Theory
2000
Earlier work this paper cites.
M. H. Freedman and D. A. Meyer, Projective plane and planar quantum codes, Foundations of Computational Mathematics 1, 325 (2001), https://doi.org/10.1007/s102080010013
2001
Earlier work this paper cites.
P. Schauenburg, Turning Monoidal Categories into Strict Ones, New York Journal of Mathematics 7 (2001) 257-265
2001
Earlier work this paper cites.
S. Majid, A Quantum Groups Primer
2002
Earlier work this paper cites.
P. Schauenburg, Hopf Algebra Extensions and Monoidal Categories, New Dir. Hopf Alg. 43 (2002)
2002
Earlier work this paper cites.
P. Schauenburg, Hopf Bimodules, Coquasibialgebras, and an Exact Sequence of Kac, Advances in Mathematics 165 (2002) 194–-263
2002
Earlier work this paper cites.
E. Beggs, Making non-trivially associated tensor categories from left coset representatives, J. Pure. App. Alg. 177 (2003) 5–41
2003
Earlier work this paper cites.
D. S. Farley, Finiteness and CAT(0) properties of diagram groups, Topology, Vol. 42, Issue 5 (2003) pp. 1065-1082, https://doi.org/10.1016/S0040-9383(02)00029-0
2003
Earlier work this paper cites.
J. Fuchs and C. Schweigert, Category theory for conformal boundary conditions, Fields Institute Communications 39 (2003) 25–71
2003
Earlier work this paper cites.
A. Kitaev, Fault-tolerant quantum computation by anyons, Ann. Phys. 303 (2003) 3–20, https://doi.org/10.1016/S0003-4916
2003
Earlier work this paper cites.
J. Kock, Frobenius Algebras and 2-D Topological Quantum Field Theories (London Mathematical Society Student Texts), Cambridge: Cambridge University Press (2003) doi:10.1017/CBO9780511615443
2003
Earlier work this paper cites.
C. Mochon, Anyons from nonsolvable finite groups are sufficient for universal quantum computation, Phys. Rev. A 67(2003) 022315
2003
Earlier work this paper cites.
V. Ostrik, Module categories over the Drinfeld double of a finite group, International Mathematics Research Notices 27 (2003) 1507–-1520, doi:10.1155/S1073792803205079
2003
Earlier work this paper cites.
V. Ostrik, Module categories, weak Hopf algebras and modular invariants, Transform. Groups 8 (2003) 177–-206
2003
Earlier work this paper cites.
S. Aaronson and D. Gottesman, Improved Simulation of Stabilizer Circuits, Phys. Rev. A 70, 052328 (2004)
2004
Earlier work this paper cites.
L. P. Cordella, P. Foggia, C. Sansone and M. Vento, A (sub)graph isomorphism algorithm for matching large graphs, in IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 26, no. 10, pp. 1367-1372, Oct. 2004, doi:10.1109/TPAMI.2004.75
2004
Earlier work this paper cites.
S. Majid, Classification of differentials on quantum doubles and finite noncommutative geometry, Lect. Notes Pure Appl. Maths 239 (2004) 167-188, Marcel Dekker
2004
Earlier work this paper cites.
C. Mochon, Anyon computers with smaller groups, Phys. Rev. A 69 (2004) 032306
2004
Earlier work this paper cites.
S. Aaronson, Quantum computing, postselection, and probabilistic polynomial-time, Proc. R. Soc. A. 461 (2005) 3473-–3482
2005
Earlier work this paper cites.
S. Bravyi and A. Kitaev, Universal quantum computation with ideal Clifford gates and noisy ancillas, Phys. Rev. A 71 (2005), 022316, https://doi.org/10.1103/PhysRevA.71.022316
2005
Earlier work this paper cites.
D. Kribs, R. Laflamme, and D. Poulin, Unified and Generalized Approach to Quantum Error Correction, Physical Review Letters 94, (2005), https://doi.org/10.1103/PhysRevLett.94.180501
2005
Earlier work this paper cites.
S. Natale, Frobenius–Schur indicators for a class of fusion categories, Pacific J. Math. 221 (2005) 353–377,doi:10.2140/pjm.2005.221.353
2005
Earlier work this paper cites.
H. Bombin and M. A. Martin-Delgado, Topological Quantum Distillation, Phys. Rev. Lett. 97, 180501 (2006), https://doi.org/10.1103/PhysRevLett.97.180501
2006
Earlier work this paper cites.

Similar

J. Plefka, F. Spill, A. Torrielli, Hopf algebra structure of the AdS/CFT S-matrix, Phys. Rev. D74 (2006) 066008, https://doi.org/10.1103/PhysRevD.74.066008
2006
Cited alongside, same era.
H. Bombin and M. A. Martin-Delgado, Homological error correction: Classical and quantum codes, Journal of Mathematical Physics, vol. 48, no. 5, p. 052105 (2007), https://doi.org/10.1063/1.2731356
2007
Cited alongside, same era.
H. Bombin and M. A. Martin-Delgado, Optimal resources for topological two-dimensional stabilizer codes: Comparative study, Physical Review A 76, (2007), doi:10.1103/PhysRevA.76.012305
2007
Cited alongside, same era.
H. Bombin and M. A. Martin-Delgado, Family of non-Abelian Kitaev models on a lattice: Topological condensation and confinement, Phys. Rev. B 78 (2008) 115421
2008
Cited alongside, same era.
L. de Moura and N. Bjorner, Z3: an efficient SMT solver. In Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems (TACAS’08/ETAPS’08), Springer-Verlag, Berlin, Heidelberg, 337–340 (2008), https://doi.org/10.1007/978-3-540-78800-3-24
2008
Cited alongside, same era.
A. Hagberg, P. J. Swart and D. A. Schult, Exploring network structure, dynamics, and function using NetworkX, United States: N. p., 2008
2008
Cited alongside, same era.
S. Trebst, M. Troyer, Z. Wang and A. Ludwig, A short introduction to Fibonacci anyon models, Prog. Theor. Phys. Suppl. 176 (2008) 384–407
2008
Cited alongside, same era.
E. Beggs and S. Majid, Bar categories and star operations, Alg. and Repn. Theory 12 (2009) 103–152
2009
Cited alongside, same era.
S. Bravyi and B. Terhal, A no-go theorem for a two-dimensional self-correcting quantum memory based on stabilizer codes, New Journal of Physics 11, 043029 (2009), doi:10.1088/1367-2630/11/4/043029
2009
Cited alongside, same era.
G. K. Brennen1, M. Aguado and J.I. Cirac, Simulations of quantum double models, New J. Phys. 11 053009 (2009)
2009
Cited alongside, same era.
B. Eastin and E. Knill, Restrictions on Transversal Encoded Quantum Gate Sets, Phys. Rev. Lett. 102, 110502 (2009), doi:10.1103/PhysRevLett.102.110502
2009
Cited alongside, same era.
A. G. Fowler, A. M. Stephens and Peter Groszkowski, High-threshold universal quantum computation on the surface code, Phys. Rev. A 80 (2009) 052312
2009
Cited alongside, same era.

Then

I. Cong, M. Cheng and Z. Wang, Hamiltonian and algebraic theories of gapped boundaries in topological phases of matter, Comm. Math. Phys. 355 (2), 645-689 (2017)
2017
Later among the works it cites.
I. Dumer, A. A. Kovalev, and L. P. Pryadko, Distance verification for classical and quantum LDPC codes, IEEE Transactions on Information Theory, vol. 63, no. 7, pp. 4675-4686 (2017), doi: 10.1109/TIT.2017.2690381
2017
Later among the works it cites.
C. Meusburger, Kitaev lattice models as a Hopf algebra gauge theory, Commun. Math. Phys. 353 (2017) 413–468, https://doi.org/10.1007/s00220-017-2860-7
2017
Later among the works it cites.
H. P. Nautrup, N. Friis and H. J. Briegel, Fault-tolerant interface between quantum memories and quantum processors, Nat. Commun. 8, 1321 (2017), https://doi.org/10.1038/s41467-017-01418-2
2017
Later among the works it cites.
B. Audoux and A. Couvreur, On tensor products of CSS Codes, Ann. Inst. Henri Poincaré Comb. Phys. Interact. 6 (2019), no. 2, pp. 239–287, https://doi.org/10.4171/aihpd/71
2019
Later among the works it cites.
A. Bullivant and C. Delcamp, Tube algebras, excitations statistics and compactification in gauge models of topological phases, Journal of High Energy Physics 10 (2019) 1–77
2019
Later among the works it cites.
C. Gidney and A. G. Fowler, Efficient magic state factories with a catalyzed | C C Z ⟩ |CCZ\rangle to 2 | T ⟩ 2|T\rangle transformation, Quantum 3, 135 (2019)
2019
Later among the works it cites.
C. Heunen and J. Vicary, Categories for Quantum Theory: An Introduction, Oxford University Press (2019) DOI:10.1093/oso/9780198739623.001.0001
2019
Later among the works it cites.
D. Litinski, A Game of Surface Codes: Large-Scale Quantum Computing with Lattice Surgery, Quantum 3, 128 (2019)
2019
Later among the works it cites.
D. Reutter, Higher linear algebra in topology and quantum information theory, Oxford DPhil thesis (2019)
2019
Later among the works it cites.
C. Vuillot, L. Lao, B. Criger, C. G. Almudéver, K. Bertels and B. M. Terhal, Code deformation and lattice surgery are gauge fixing, New J. Phys. 21 033028 (2019), https://doi.org/10.1088/1367-2630/ab0199
2019
Later among the works it cites.
E. J. Beggs and S. Majid, Quantum Riemannian Geometry
2020
Later among the works it cites.
J Collins and R. Duncan, Hopf-Frobenius algebras and a simpler Drinfeld double, in eds. B. Coecke and M. Leifer, Quantum Physics and Logic
2020
Later among the works it cites.
S. Cui, D. Ding, X. Han, G. Penington, D. Ranard, B Rayhaun and Z. Shangnan, Kitaev’s quantum double model as an error correcting code, Quantum 4 (2020) 331–356
2020
Later among the works it cites.
N. de Beaudrap and D. Horsman, The ZX calculus is a language for surface code lattice surgery, Quantum 4, 218 (2020), https://doi.org/10.22331/q-2020-01-09-218
2020
Later among the works it cites.
A. Kissinger, A. Meijer-van de Griend, CNOT circuit extraction for topologically-constrained quantum memories, Quantum Information and Computation, 20, 7& 8, (2020), https://doi.org/10.26421/QIC20.7-8
2020
Later among the works it cites.
J. Roffe, D. R. White, S. Burton, and E. Campbell, Decoding across the quantum low-density parity-check code landscape, Phys. Rev. Research 2, 043423 (2020), https://doi.org/10.1103/PhysRevResearch.2.043423
2020
Later among the works it cites.
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), doi:10.1103/PRXQuantum.2.020341
2021
Later among the works it cites.
N. P. Breuckmann and J. N. Eberhardt, Balanced Product Quantum Codes, IEEE Transactions on Information Theory 2021, https://doi.org/10.1109/TIT.2021.3097347
2021
Later among the works it cites.
N. P. Breuckmann and J. N. Eberhardt, Quantum Low-Density Parity-Check Codes, PRX Quantum 2 (4), 040101, 2021, https://doi.org/10.1103/PRXQuantum.2.040101
2021
Later among the works it cites.
O. Higgott, M. Wilson, J. Hefford, J. Dborin, F. Hanif, S. Burton and D. E. Browne, Optimal local unitary encoding circuits for the surface code, Quantum 5, 517 (2021), https://doi.org/10.22331/q-2021-08-05-517
2021
Later among the works it cites.
A. Krishna and D. Poulin, Fault-tolerant gates on hypergraph product codes, Phys. Rev. X 11, 011023 (2021), https://doi.org/10.1103/PhysRevX.11.011023
2021
Later among the works it cites.
P. Panteleev and G. Kalachev, Degenerate Quantum LDPC Codes With Good Finite Length Performance, Quantum 5, 585 (2021), https://doi.org/10.22331/q-2021-11-22-585
2021
Later among the works it cites.
P. Panteleev and G. Kalachev, Quantum LDPC Codes With Almost Linear Minimum Distance, in IEEE Transactions on Information Theory, vol. 68, no. 1, pp. 213-229, Jan. 2022, https://doi.org/10.1109/TIT.2021.3119384
2021
Later among the works it cites.
L. Z. Cohen, I. H. Kim, S. D. Bartlett and B. J. Brown, Low-overhead fault-tolerant quantum computing using long-range connectivity, Sci. Adv. 8, eabn1717 (2022), https://doi.org/10.1126/sciadv.abn1717
2022
Later among the works it cites.
A. Cowtan, Qudit lattice surgery, Accepted to QPL 2022, arXiv:2204.13228 [quant-ph], https://doi.org/10.48550/arXiv.2204.13228
Original
2022
Later among the works it cites.
A. Cowtan and S. Majid, Quantum double aspects of surface code models, J. Math. Phys. 63, 042202 (2022)
2022
Later among the works it cites.
S. Gogioso, private communication (2022)
2022
Later among the works it cites.
O. Higgott, Pymatching: A python package for decoding quantum codes with minimum-weight perfect matching, ACM Transactions on Quantum Computing, Vol. 3, Issue 3 (2022), https://doi.org/10.1145/3505637
2022
Later among the works it cites.
A. Kissinger, Phase-free ZX diagrams are CSS codes (…or how to graphically grok the surface code), In Proceedings QPL 2022, arXiv:2204.14038 [quant-ph], https://doi.org/10.48550/arXiv.2204.14038
Original
2022
Later among the works it cites.
Math stackexchange, https://math.stackexchange.com/questions/1046209/pullbacks-and-pushouts-in-the-category-of-graphs, accessed 25/10/2022
2022
Later among the works it cites.
P. Panteleev and G. Kalachev, Asymptotically Good Quantum and Locally Testable Classical LDPC Codes, STOC 2022: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, https://doi.org/10.1145/3519935.3520017
2022
Later among the works it cites.
L P. Pryadko, V. A. Shabashov, V. K. Kozin, QDistRnd: A GAP package for computing the distance of quantum error-correcting codes, Journal of Open Source Software, 7(71) (2022) 4120, https://doi.org/10.21105/joss.04120
2022
Later among the works it cites.
B. Yan, P. Chen, S. X. Cui, Ribbon operators in the generalized Kitaev quantum double model based on Hopf algebras, Journal of Physics A: Mathematical and Theoretical 55 (2022) 185201
2022
Later among the works it cites.
A. Cowtan and S. Majid, Algebraic aspects of boundaries in the Kitaev quantum double model, J. Math. Phys. 64, 102203 (2023), https://doi.org/10.1063/5.0127285
2023
Later among the works it cites.
S. Huang, T. Jochym-O’Connor and T. J. Yoder, Homomorphic Logical Measurements, PRX Quantum 4, 030301 (2023), https://doi.org/10.1103/PRXQuantum.4.030301
2023
Later among the works it cites.
A. O. Quintavalle, P. Webster and M. Vasmer, Partitioning qubits in hypergraph product codes to implement logical gates, Quantum 7, 1153 (2023), https://doi.org/10.22331/q-2023-10-24-1153
2023
Later among the works it cites.
S. Bravyi, A. W. Cross, J. M. Gambetta, D. Maslov, P. Rall, T. J. Yoder, High-threshold and low-overhead fault-tolerant quantum memory, Nature 627, 778-782 (2024), https://doi.org/10.1038/s41586-024-07107-7
2024
Later among the works it cites.
N. P. Breuckmann and S. Burton, Fold-Transversal Clifford Gates for Quantum Codes, Quantum 8, 1372 (2024), https://doi.org/10.22331/q-2024-06-13-1372
2024
Later among the works it cites.
A. Cowtan and S. Burton, CSS code surgery as a universal construction, Quantum 8, 1344 (2024), https://doi.org/10.22331/q-2024-05-14-1344
2024
Later among the works it cites.
H. Lin and L. P. Pryadko, Quantum two-block group algebra codes, Phys. Rev. A 109, 022407 (2024), https://doi.org/10.1103/PhysRevA.109.022407
2024
Later among the works it cites.
M. A. Perlin, qLDPC, https://github.com/Infleqtion/qLDPC, 2023, accessed 06/06/2024
2024
Later among the works it cites.
J. Roffe, LDPC: Python tools for low density parity check codes, https://pypi.org/project/ldpc/, 2022, accessed 06/06/2024
2024
Later among the works it cites.
E. Sabo, A basic coding theory library for Julia, https://github.com/esabo/CodingTheory, accessed 06/06/2024
2024
Later among the works it cites.
G. Watkins et al., A High Performance Compiler for Very Large Scale Surface Code Computations, Quantum 8, 1354 (2024), https://doi.org/10.22331/q-2024-05-22-1354
2024
Later among the works it cites.
D. Gottesman, Surviving as a Quantum Computer in a Classical World, https://www.cs.umd.edu/class/spring2024/cmsc858G/QECCbook-2024-ch1-15.pdf (2024), accessed 27/09/2025
2025
Closest in time.
N. P. Breuckmann, C. Vuillot, E. Campbell, A. Krishna and B. M. Terhal, Hyperbolic and Semi-Hyperbolic Surface Codes for Quantum Storage, Quantum Science and Technology, Volume 2, Number 3, 2017, https://doi.org/10.1088/2058-9565/aa7d3b
2058
Closest in time.
E. T. Campbell, A theory of single-shot error correction for adversarial noise, Quantum Science and Technology 4, 025006 (2019), https://doi.org/10.1088/2058-9565/aafc8f
2058
Closest in time.

Beyond the bibliography

alphaXiv searches the wider corpus for related work and actual follow-ups.

Open on alphaXiv

alphaXiv is searching for related work…

Reading the bibliography…