String Diagrams for Defect-Based Surface Code Computing

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science Vol. 426; pp. 159 - 196
Main Authors Kupper, Mateusz, Horsman, Dominic, Heunen, Chris, de Beaudrap, Niel
Format Journal Article
LanguageEnglish
Published 20.08.2025
Online AccessGet full text
ISSN2075-2180
2075-2180
DOI10.4204/EPTCS.426.6

Cover

Author Kupper, Mateusz
Horsman, Dominic
de Beaudrap, Niel
Heunen, Chris
Author_xml – sequence: 1
  givenname: Mateusz
  surname: Kupper
  fullname: Kupper, Mateusz
  organization: Department of Informatics, University of Sussex
– sequence: 2
  givenname: Dominic
  surname: Horsman
  fullname: Horsman, Dominic
  organization: Department of Computer Science, University of Oxford
– sequence: 3
  givenname: Chris
  surname: Heunen
  fullname: Heunen, Chris
  organization: School of Informatics, University of Edinburgh
– sequence: 4
  givenname: Niel
  surname: de Beaudrap
  fullname: de Beaudrap, Niel
  organization: Department of Informatics, University of Sussex
BookMark eNpNj0tPwzAQhC1UJErbE38gd5Syjh-xj5CWh1SJSund2jh2FUSSyk4P_Htc4MAeZj-NdkeaWzIbxsERckdhzQvgD9v9oaoTyrW8IvMCSpEXVMHsH9-QVYwfkIbpgms5J2U9hW44ZpsOjwH7mPkxZBvnnZ3yJ4yuzepz8GhdVo3tRfrTeUoPS3Lt8TO61d9ekPp5e6he8937y1v1uMttyWQuFGOKU4e8QVTQcu20Bcm9tJTyRoMUgqNOBuMg0o1kTWO1QkAvCscW5P431YYxxuC8OYWux_BlKJhLafNTOqE0kn0DktNKNw
Cites_doi 10.1038/srep30600
10.1007/978-3-540-85110-3_8
10.1103/PhysRevX.10.041030
10.1088/1367-2630/13/9/095011
10.1016/j.aop.2006.01.012
10.1088/1367-2630/14/12/123011
10.4204/EPTCS.343.4
10.22331/q-2020-01-09-218
10.1063/1.1499754
10.1017/9781316219317
10.48550/arXiv.1904.10614
10.22331/q-2019-04-30-135
10.48550/arXiv.2410.17240
10.1088/2058-9565/ac5d20
10.22331/q-2024-06-18-1379
10.48550/arXiv.1902.02417
10.4204/EPTCS.372.24
10.22331/q-2020-06-04-279
10.4204/EPTCS.406.4
10.48550/arXiv.2304.10584
10.1016/j.entcs.2006.12.018
10.1016/j.jpaa.2016.06.002
10.1088/2058-9565/aa66eb
10.4204/EPTCS.266.19
10.1088/1367-2630/9/6/199
10.1016/0001-8708(91)90003-P
10.4204/EPTCS.384.14
10.1103/physreva.80.052312
10.48550/arXiv.1209.0510
10.48550/arXiv.2204.14038
10.4204/EPTCS.236.1
10.1103/PhysRevA.75.032110
10.4204/eptcs.266.18
10.1103/PhysRevA.86.032324
10.4204/EPTCS.318.14
10.1103/PhysRevA.98.022302
10.26421/QIC9.9-10-1
10.1145/3123939.3123949
10.1007/978-981-287-996-7_4
10.1007/s10701-015-9957-7
10.1016/S0003-4916(02)00018-0
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.4204/EPTCS.426.6
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
EndPage 196
ExternalDocumentID 10_4204_EPTCS_426_6
GroupedDBID 5VS
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-LOGICAL-c736-5833841ea4baa80d49e9c064f6c114b906554a964f3405baa63bbc98a0af52e3
ISSN 2075-2180
IngestDate Wed Aug 27 16:24:12 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c736-5833841ea4baa80d49e9c064f6c114b906554a964f3405baa63bbc98a0af52e3
OpenAccessLink https://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2025.6.pdf
PageCount 38
ParticipantIDs crossref_primary_10_4204_EPTCS_426_6
PublicationCentury 2000
PublicationDate 2025-8-20
PublicationDateYYYYMMDD 2025-08-20
PublicationDate_xml – month: 08
  year: 2025
  text: 2025-8-20
  day: 20
PublicationDecade 2020
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2025
References Horsman (Horsman-2011) 2011; 13
Simmons (will-simmons-flow) 2021; 343
Bonchi (bonchi2017interacting) 2017; 221
Coecke (Coecke-Kissinger-2017) 2017
Wang (wang2018completeness) 2018
Raussendorf (raussendorf2007topological) 2007; 9
Selinger (SELINGER2007139) 2007; 170
Horsman (Horsman-2012) 2012; 14
Dennis (Dennis-2002) 2002; 43
Gidney (Gidney2019efficientmagicstate) 2019; 3
Hanks (hanks2020effective) 2020; 10
Joyal (joyal1991geometry) 1991; 88
Kitaev (KITAEV20032) 2003; 303
Penrose (penrose1971applications) 1971; 1
Kissinger (kissinger2024scalable) 2024; 406
Spekkens (spekkens2007evidence) 2007; 75
Bombin (bombin2023unifying) 2024; 8
Fowler (Austin2D) 2012; 86
Cicala (cicala2017categorifying) 2018; 266
Fowler (Fowler2009) 2009; 80
Javadi-Abhari (surface-code-communication) 2017
Duncan (rossmbqc) 2013
Dixon (dixon2008extending) 2008
Kissinger (kissinger2012pictures) 2012
Paler (paler2016synthesis) 2016; 6
Comfort (comfort2019circuit) 2019
Comfort (Comfort:2023tar) 2023
Comfort (Comfort:2021axr) 2022; 372
Raussendorf (raussendorf2006fault) 2006; 321
Fujii (fujii2015quantum) 2015; 8
Kissinger (Kissinger-2022) 2022; 7
Townsend-Teague (TownsendTeague2023) 2023; 384
Fowler (fowler2012bridge) 2012
Hatcher (hatcher2002algebraic) 2002
Cockett (cockett2017category) 2018; 266
Paler (paler2014design) 2014
Paler (paler2017fault) 2017; 2
Rodatz (rodatz2024floquetifying) 2024
Fowler (austingoyal2009) 2009; 9
Duncan (Duncan2020graphtheoretic) 2020; 4
Kissinger (pyzx) 2020; 318
Paler (paler2019surfbraid) 2019
de Beaudrap (deBeaudrap2020zxcalculusis) 2020; 4
Kissinger (kissinger2022phasefree) 2022
Backens (backens2016complete) 2016; 46
Backens (simplified-stab-backens) 2017; 236
Paler (paler2018specification) 2018; 98
References_xml – volume: 6
  issue: 1
  year: 2016
  ident: paler2016synthesis
  article-title: Synthesis of arbitrary quantum circuits to topological assembly
  publication-title: Scientific reports
  doi: 10.1038/srep30600
– start-page: 77
  volume-title: Intelligent Computer Mathematics
  year: 2008
  ident: dixon2008extending
  article-title: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
  doi: 10.1007/978-3-540-85110-3_8
– volume: 10
  year: 2020
  ident: hanks2020effective
  article-title: Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus
  publication-title: Phys. Rev. X
  doi: 10.1103/PhysRevX.10.041030
– volume-title: Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
  year: 2012
  ident: kissinger2012pictures
– volume: 13
  issue: 9
  year: 2011
  ident: Horsman-2011
  article-title: Quantum picturalism for topological cluster-state computing
  publication-title: New Journal of Physics
  doi: 10.1088/1367-2630/13/9/095011
– volume: 321
  start-page: 2242
  issue: 9
  year: 2006
  ident: raussendorf2006fault
  article-title: A fault-tolerant one-way quantum computer
  publication-title: Annals of Physics
  doi: 10.1016/j.aop.2006.01.012
– volume: 14
  issue: 12
  year: 2012
  ident: Horsman-2012
  article-title: Surface code quantum computing by lattice surgery
  publication-title: New Journal of Physics
  doi: 10.1088/1367-2630/14/12/123011
– volume: 343
  start-page: 50
  volume-title: Proceedings 18th International Conference on Quantum Physics and Logic, Gdansk, Poland, and online, 7-11 June 2021
  year: 2021
  ident: will-simmons-flow
  article-title: Relating Measurement Patterns to Circuits via Pauli Flow
  doi: 10.4204/EPTCS.343.4
– volume: 4
  year: 2020
  ident: deBeaudrap2020zxcalculusis
  article-title: The ZX calculus is a language for surface code lattice surgery
  publication-title: Quantum
  doi: 10.22331/q-2020-01-09-218
– volume: 43
  issue: 9
  year: 2002
  ident: Dennis-2002
  article-title: Topological quantum memory
  publication-title: Journal of Mathematical Physics
  doi: 10.1063/1.1499754
– volume: 1
  start-page: 221
  year: 1971
  ident: penrose1971applications
  article-title: Applications of negative dimensional tensors
  publication-title: Combinatorial mathematics and its applications
– volume-title: Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
  year: 2017
  ident: Coecke-Kissinger-2017
  doi: 10.1017/9781316219317
– year: 2019
  ident: comfort2019circuit
  article-title: Circuit Relations for Real Stabilizers: Towards TOF+ H
  publication-title: arXiv preprint arXiv:1904.10614
  doi: 10.48550/arXiv.1904.10614
– volume: 3
  year: 2019
  ident: Gidney2019efficientmagicstate
  article-title: Efficient magic state factories with a catalyzed |CCZto 2|Ttransformation
  publication-title: Quantum
  doi: 10.22331/q-2019-04-30-135
– year: 2024
  ident: rodatz2024floquetifying
  article-title: Floquetifying stabiliser codes with distance-preserving rewrites
  publication-title: arXiv preprint arXiv: 2410.17240
  doi: 10.48550/arXiv.2410.17240
– volume: 7
  issue: 4
  year: 2022
  ident: Kissinger-2022
  article-title: Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
  publication-title: Quantum Science and Technology
  doi: 10.1088/2058-9565/ac5d20
– volume: 8
  year: 2024
  ident: bombin2023unifying
  article-title: Unifying flavors of fault tolerance with the ZX calculus
  publication-title: Quantum
  doi: 10.22331/q-2024-06-18-1379
– year: 2019
  ident: paler2019surfbraid
  article-title: SurfBraid: A concept tool for preparing and resource estimating quantum circuits protected by the surface code
  publication-title: arXiv preprint arXiv:1902.02417
  doi: 10.48550/arXiv.1902.02417
– volume: 372
  start-page: 338
  volume-title: Quantum Physics and Logic
  year: 2022
  ident: Comfort:2021axr
  article-title: A Graphical Calculus for Lagrangian Relations
  doi: 10.4204/EPTCS.372.24
– volume: 4
  year: 2020
  ident: Duncan2020graphtheoretic
  article-title: Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
  publication-title: Quantum
  doi: 10.22331/q-2020-06-04-279
– volume-title: Algebraic Topology
  year: 2002
  ident: hatcher2002algebraic
– volume: 406
  start-page: 79
  volume-title: Proceedings of the 21st International Conference on Quantum Physics and Logic, Buenos Aires, Argentina, July 15-19, 2024
  year: 2024
  ident: kissinger2024scalable
  article-title: Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates)
  doi: 10.4204/EPTCS.406.4
– year: 2023
  ident: Comfort:2023tar
  article-title: The Algebra for Stabilizer Codes
  doi: 10.48550/arXiv.2304.10584
– volume-title: Completeness of the ZX-calculus
  year: 2018
  ident: wang2018completeness
– volume-title: Design methods for reliable quantum circuits
  year: 2014
  ident: paler2014design
– volume: 170
  start-page: 139
  year: 2007
  ident: SELINGER2007139
  article-title: Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
  publication-title: Electronic Notes in Theoretical Computer Science
  doi: 10.1016/j.entcs.2006.12.018
– volume: 221
  start-page: 144
  issue: 1
  year: 2017
  ident: bonchi2017interacting
  article-title: Interacting Hopf Algebras
  publication-title: Journal of Pure and Applied Algebra
  doi: 10.1016/j.jpaa.2016.06.002
– volume: 2
  issue: 2
  year: 2017
  ident: paler2017fault
  article-title: Fault-tolerant, high-level quantum circuits: form, compilation and description
  publication-title: Quantum Science and Technology
  doi: 10.1088/2058-9565/aa66eb
– volume: 266
  start-page: 294
  volume-title: Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017
  year: 2018
  ident: cicala2017categorifying
  article-title: Categorifying the ZX-calculus
  doi: 10.4204/EPTCS.266.19
– volume-title: A graphical approach to measurement-based quantum computing
  year: 2013
  ident: rossmbqc
– volume: 9
  issue: 6
  year: 2007
  ident: raussendorf2007topological
  article-title: Topological fault-tolerance in cluster state quantum computation
  publication-title: New Journal of Physics
  doi: 10.1088/1367-2630/9/6/199
– volume: 88
  start-page: 55
  issue: 1
  year: 1991
  ident: joyal1991geometry
  article-title: The geometry of tensor calculus, I
  publication-title: Advances in Mathematics
  doi: 10.1016/0001-8708(91)90003-P
– volume: 384
  start-page: 265
  volume-title: Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023
  year: 2023
  ident: TownsendTeague2023
  article-title: Floquetifying the Colour Code
  doi: 10.4204/EPTCS.384.14
– volume: 80
  issue: 5
  year: 2009
  ident: Fowler2009
  article-title: High-threshold universal quantum computation on the surface code
  publication-title: Physical Review A
  doi: 10.1103/physreva.80.052312
– year: 2012
  ident: fowler2012bridge
  article-title: A bridge to lower overhead quantum computation
  publication-title: arXiv preprint arXiv:1209.0510
  doi: 10.48550/arXiv.1209.0510
– year: 2022
  ident: kissinger2022phasefree
  article-title: Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code)
  doi: 10.48550/arXiv.2204.14038
– volume: 236
  start-page: 1
  volume-title: Proceedings 13th International Conference on Quantum Physics and Logic, Glasgow, Scotland, 6-10 June 2016
  year: 2017
  ident: simplified-stab-backens
  article-title: A Simplified Stabilizer ZX-calculus
  doi: 10.4204/EPTCS.236.1
– volume: 75
  issue: 3
  year: 2007
  ident: spekkens2007evidence
  article-title: Evidence for the epistemic view of quantum states: A toy theory
  publication-title: Physical Review A—Atomic, Molecular, and Optical Physics
  doi: 10.1103/PhysRevA.75.032110
– volume: 266
  start-page: 258
  volume-title: Electronic Proceedings in Theoretical Computer Science
  year: 2018
  ident: cockett2017category
  article-title: The Category CNOT
  doi: 10.4204/eptcs.266.18
– volume: 86
  year: 2012
  ident: Austin2D
  article-title: Surface codes: Towards practical large-scale quantum computation
  publication-title: Phys. Rev. A
  doi: 10.1103/PhysRevA.86.032324
– volume: 318
  start-page: 229
  volume-title: Proceedings 16th International Conference on Quantum Physics and Logic, Chapman University, Orange, CA, USA., 10-14 June 2019
  year: 2020
  ident: pyzx
  article-title: PyZX: Large Scale Automated Diagrammatic Reasoning
  doi: 10.4204/EPTCS.318.14
– volume: 98
  year: 2018
  ident: paler2018specification
  article-title: Specification format and a verification method of fault-tolerant quantum circuits
  publication-title: Phys. Rev. A
  doi: 10.1103/PhysRevA.98.022302
– volume: 9
  issue: 9
  year: 2009
  ident: austingoyal2009
  article-title: Topological cluster state quantum computing
  publication-title: Quantum Info. Comput.
  doi: 10.26421/QIC9.9-10-1
– volume-title: Proceedings of the 50th Annual IEEE/ACM International Symposium on Microarchitecture
  year: 2017
  ident: surface-code-communication
  article-title: Optimized surface code communication in superconducting quantum computers
  doi: 10.1145/3123939.3123949
– volume: 8
  volume-title: Quantum Computation with Topological Codes: from qubit to topological fault-tolerance
  year: 2015
  ident: fujii2015quantum
  doi: 10.1007/978-981-287-996-7_4
– volume: 46
  start-page: 70
  issue: 1
  year: 2016
  ident: backens2016complete
  article-title: A complete graphical calculus for Spekkens’ toy bit theory
  publication-title: Foundations of Physics
  doi: 10.1007/s10701-015-9957-7
– volume: 303
  start-page: 2
  issue: 1
  year: 2003
  ident: KITAEV20032
  article-title: Fault-tolerant quantum computation by anyons
  publication-title: Annals of Physics
  doi: 10.1016/S0003-4916(02)00018-0
SSID ssj0000392496
Score 2.3188157
SourceID crossref
SourceType Index Database
StartPage 159
Title String Diagrams for Defect-Based Surface Code Computing
Volume 426
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELYKLCy8EW95YEMpie04yQgUVCEVIbVI3SrbcSSWtGobBgZ-O-fYeajqUFii9JQ0Se_r3efLPRC65TRVXHHi0URSj4Xa95JEm2o0kehE8EAyUzs8eOP9D_Y6Dsedzlcra6lYyq76XltX8h-tggz0aqpk_6DZ-ktBAPugX9iChmG7kY6HyzJ7rvcpTI5V2VkBDIhJ0PAewTsBlSzmmVBmMl2q7-wAh8pVVdH4ZgxO48sWLvuxLnFUbvbDnXOYzQug2czqfACctVh81yiZzhcuttqbmvYlqgm6FrnO674GlRju71GLIp2LmQWoS-V3AQkSmggr8Ru7RYCFeMAcrEivkTnDy0jbdAauM7j1woGdc7tq4BnxGWjl-X30NIQPvLumjfaKe6uTDmG5Y06flCfDLp_wLbRDoqh8vT_4aWJzPjWr0nIuYXXftrTTnH_funiLzLRYyegA7bnlBH6w2DhEHZ0fof1qVAd2lvsYRRYquIIKBqjgNlSwgwo2UME1VE7Q8OV59NT33MwMT0WUlzV0MQu0YFKI2E8Z_OEUsM6MK1j4ygQIZ8hEAgIKTB2O4VRKlcTCF1lIND1F2_k012cIhyJIqaRwZZkBZwnjNI1JZAgu8XUYZ-fotnr0ycw2Rpms-YUvNjvsEu02ULpC28t5oa-B7S3lTamaX5oGVRk
linkProvider ISSN International Centre
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=String+Diagrams+for+Defect-Based+Surface+Code+Computing&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Kupper%2C+Mateusz&rft.au=Horsman%2C+Dominic&rft.au=Heunen%2C+Chris&rft.au=de+Beaudrap%2C+Niel&rft.date=2025-08-20&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=426&rft.spage=159&rft.epage=196&rft_id=info:doi/10.4204%2FEPTCS.426.6&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_426_6
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon