{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:54:19Z","timestamp":1780674859667,"version":"3.54.1"},"reference-count":47,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:00:00Z","timestamp":1578528000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>A leading choice of error correction for scalable quantum computing is the surface code with lattice surgery. The basic lattice surgery operations, the merging and splitting of logical qubits, act non-unitarily on the logical states and are not easily captured by standard circuit notation. This raises the question of how best to design, verify, and optimise protocols that use lattice surgery, in particular in architectures with complex resource management issues. In this paper we demonstrate that the operations of the ZX calculus --- a form of quantum diagrammatic reasoning based on bialgebras --- match exactly the operations of lattice surgery. Red and green ``spider'' nodes match rough and smooth merges and splits, and follow the axioms of a dagger special associative Frobenius algebra. Some lattice surgery operations require non-trivial correction operations, which are captured natively in the use of the ZX calculus in the form of ensembles of diagrams. We give a first taste of the power of the calculus as a language for lattice surgery by considering two operations (T gates and producing a CNOT) and show how ZX diagram re-write rules give lattice surgery procedures for these operations that are novel, efficient, and highly configurable.<\/jats:p>","DOI":"10.22331\/q-2020-01-09-218","type":"journal-article","created":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T19:54:16Z","timestamp":1578599656000},"page":"218","source":"Crossref","is-referenced-by-count":50,"title":["The ZX calculus is a language for surface code lattice surgery"],"prefix":"10.22331","volume":"4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9549-5146","authenticated-orcid":false,"given":"Niel","family":"de Beaudrap","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4965-0584","authenticated-orcid":false,"given":"Dominic","family":"Horsman","sequence":"additional","affiliation":[{"name":"Department of Physics, Durham University, South Road, Durham, DH1 1LE Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"9598","published-online":{"date-parts":[[2020,1,9]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"M. Backens. The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics, 16 (9): 093021, 2014. 10.1088\/1367-2630\/16\/9\/093021.","DOI":"10.1088\/1367-2630\/16\/9\/093021"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Miriam Backens. Making the stabilizer ZX-calculus complete for scalars. In Chris Heunen, Peter Selinger, and Jamie Vicary, editors, Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), volume 195 of Electronic Proceedings in Theoretical Computer Science, pages 17\u201332, 2015. 10.4204\/EPTCS.195.2.","DOI":"10.4204\/EPTCS.195.2"},{"key":"2","doi-asserted-by":"publisher","unstructured":"H. Bombin. Topological order with a twist: Ising anyons from an Abelian model. Physical review letters, 105 (3): 030403, 2010. 10.1103\/PhysRevLett.105.030403.","DOI":"10.1103\/PhysRevLett.105.030403"},{"key":"3","doi-asserted-by":"publisher","unstructured":"H. Bombin and M. Martin-Delgado. Quantum measurements and gates by code deformation. Journal of Physics A: Mathematical and Theoretical, 42 (9): 095302, 2009. 10.1088\/1751-8113\/42\/9\/095302.","DOI":"10.1088\/1751-8113\/42\/9\/095302"},{"key":"4","unstructured":"S. Bravyi and A. Kitaev. Quantum codes on a lattice with boundary. Preprint, arXiv:quant-ph\/9811052, 1998. Translation of Quantum Computers and Computing 2 (1), pp. 43-48. (2001)."},{"key":"5","doi-asserted-by":"publisher","unstructured":"S. Bravyi and A. Kitaev. Universal quantum computation with ideal Clifford gates and noisy ancillas. Physical Review A, 71 (2): 022316, 2005. 10.1103\/PhysRevA.71.022316.","DOI":"10.1103\/PhysRevA.71.022316"},{"key":"6","doi-asserted-by":"publisher","unstructured":"E. Campbell and J. O'Gorman. An efficient magic state approach to small angle rotations. Quantum Science and Technology, 1 (1): 015007, 2016. 10.1088\/2058-9565\/1\/1\/015007.","DOI":"10.1088\/2058-9565\/1\/1\/015007"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Earl T. Campbell, Barbara M. Terhal, and Christophe Vuillot. Roads towards fault-tolerant universal quantum computation. Nature, 549 (7671): 172, 2017. 10.1038\/nature23460. arXiv:1612.07330.","DOI":"10.1038\/nature23460"},{"key":"8","unstructured":"T. Carette, D. Horsman, and S. Perdrix. SZX-calculus: Scalable graphical quantum reasoning. Preprint, arXiv:1905.00041, 2019."},{"key":"9","unstructured":"Nicholas Chancellor, Aleks Kissinger, Joschka Roffe, Stefan Zohren, and Dominic Horsman. Graphical structures for design and verification of quantum error correction. arXiv:1611.08012, 2018."},{"key":"10","doi-asserted-by":"publisher","unstructured":"B. Coecke and R. Duncan. Interacting quantum observables: categorical algebra and diagrammatics. New Journal of Physics, 13 (4): 043016, 2011. 10.1088\/1367-2630\/13\/4\/043016.","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"11","doi-asserted-by":"publisher","unstructured":"B. Coecke and A. Kissinger. Picturing Quantum Processes: A first course in quantum theory and diagrammatic reasoning. Cambridge University Press, 2017. 10.1017\/9781316219317.","DOI":"10.1017\/9781316219317"},{"key":"12","doi-asserted-by":"publisher","unstructured":"B Coecke, E. Paquette, and D. Pavlovic. Classical and quantum structuralism. Semantic Techniques in Quantum Computation, eds. Gay S., Mackie I., Cambridge University Press, 2008. 10.1017\/CBO9781139193313.003. arXiv:0904.1997.","DOI":"10.1017\/CBO9781139193313.003"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons, and Seyon Sivarajah. On the Qubit Routing Problem. In Wim van Dam and Laura Mancinska, editors, 14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019), volume 135 of Leibniz International Proceedings in Informatics (LIPIcs), pages 5:1\u20135:32, Dagstuhl, Germany, 2019. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-112-2. 10.4230\/LIPIcs.TQC.2019.5. URL http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2019\/10397. arXiv:1902.08091.","DOI":"10.4230\/LIPIcs.TQC.2019.5"},{"key":"14","doi-asserted-by":"publisher","unstructured":"E. Dennis, A. Kitaev, A. Landahl, and J. Preskill. Topological quantum memory. Journal of Mathematical Physics, 43 (9): 4452\u20134505, 2002. 10.1063\/1.1499754. arXiv:quant-ph\/0110143.","DOI":"10.1063\/1.1499754"},{"key":"15","doi-asserted-by":"publisher","unstructured":"R. Duncan and S. Perdrix. Graph states and the necessity of Euler decomposition. In Conference on Computability in Europe, pages 167\u2013177. Springer, 2009. 10.1007\/978-3-642-03073-4.","DOI":"10.1007\/978-3-642-03073-4"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Ross Duncan and Maxime Lucas. Verifying the steane code with Quantomatic. Proceedings QPL 2013, pages 33\u201349, 2013. 10.4204\/EPTCS.171.4. arXiv:1306.4532.","DOI":"10.4204\/EPTCS.171.4"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Ross Duncan and Simon Perdrix. Rewriting measurement-based quantum computations with generalised flow. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, and Paul G. Spirakis, editors, Automata, Languages and Programming, pages 285\u2013296, Berlin, Heidelberg, 2010. Springer Berlin Heidelberg. ISBN 978-3-642-14162-1.","DOI":"10.1007\/978-3-642-14162-1_24"},{"key":"18","unstructured":"Ross Duncan, Aleks Kissinger, Simon Perdrix, and John van de Wetering. Graph-theoretic simplification of quantum circuits with the ZX-calculus. Preprint, arXiv:1902.03178, 2019."},{"key":"19","doi-asserted-by":"publisher","unstructured":"B. Eastin and E. Knill. Restrictions on transversal encoded quantum gate sets. Phys. Rev. Lett., 102: 110502, Mar 2009. 10.1103\/PhysRevLett.102.110502. arXiv:0811.4262.","DOI":"10.1103\/PhysRevLett.102.110502"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Andrew Fagan and Ross Duncan. Optimising Clifford circuits with Quantomatic. In Proceedings of the 15th International Conference on Quantum Physics and Logic (QPL), volume 287 of Electronic Proceedings in Theoretical Computer Science, pages 85\u2013105. Open Publishing Association, 2019. 10.4204\/EPTCS.287.5.","DOI":"10.4204\/EPTCS.287.5"},{"key":"21","doi-asserted-by":"publisher","unstructured":"A. Fowler, A. Stephens, and P. Groszkowski. High-threshold universal quantum computation on the surface code. Phys. Rev. A, 80: 052312, 2009. 10.1103\/PhysRevA.80.052312.","DOI":"10.1103\/PhysRevA.80.052312"},{"key":"22","unstructured":"Austin G Fowler and Craig Gidney. Low overhead quantum computation using lattice surgery. Preprint, arXiv:1808.06709, 2018."},{"key":"23","doi-asserted-by":"publisher","unstructured":"M. Freedman and D. Meyer. Projective plane and planar quantum codes. Foundations of Computational Mathematics, 1 (3): 325\u2013332, 2001. 10.1007\/s102080010013.","DOI":"10.1007\/s102080010013"},{"key":"24","doi-asserted-by":"publisher","unstructured":"Craig Gidney and Austin G Fowler. Efficient magic state factories with a catalyzed $\\mathrm{\\lvert CCZ\\rangle}$ to $\\mathrm{2\\lvert T\\rangle}$ transformation. Quantum, 3, 2019. 10.22331\/q-2019-04-30-135. arXiv:1812.01238.","DOI":"10.22331\/q-2019-04-30-135"},{"key":"25","unstructured":"Google. https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html. Accessed 10\/04\/2019."},{"key":"26","doi-asserted-by":"publisher","unstructured":"Daniel Gottesman. Class of quantum error-correcting codes saturating the quantum Hamming bound. Physical Review A, 54 (3): 1862, 1996. 10.1103\/PhysRevA.54.1862. arXiv:quant-ph\/9604038.","DOI":"10.1103\/PhysRevA.54.1862"},{"key":"27","doi-asserted-by":"publisher","unstructured":"Amar Hadzihasanovic, Kang Feng Ng, and Quanlong Wang. Two complete axiomatisations of pure-state qubit quantum computing. In Proceedings of the 33rd Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS '18, pages 502\u2013511, New York, NY, USA, 2018. ACM. ISBN 978-1-4503-5583-4. 10.1145\/3209108.3209128.","DOI":"10.1145\/3209108.3209128"},{"key":"28","doi-asserted-by":"publisher","unstructured":"D. Herr, F. Nori, and S. Devitt. Lattice surgery translation for quantum computation. New Journal of Physics, (19): 013034, 2017. 10.1088\/1367-2630\/aa5709.","DOI":"10.1088\/1367-2630\/aa5709"},{"key":"29","doi-asserted-by":"publisher","unstructured":"C. Horsman, A. G Fowler, S. Devitt, and R. Van Meter. Surface code quantum computing by lattice surgery. New Journal of Physics, 14 (12): 123011, 2012. 10.1088\/1367-2630\/14\/12\/123011. arXiv:1111.4022.","DOI":"10.1088\/1367-2630\/14\/12\/123011"},{"key":"30","unstructured":"IBM. https:\/\/www.research.ibm.com\/ibm-q\/. Accessed 10\/04\/2019."},{"key":"31","doi-asserted-by":"publisher","unstructured":"C. Jones, D. Kim, M. Rakher, P. Kwiat, and T. Ladd. Design and analysis of communication protocols for quantum repeater networks. New Journal of Physics, 18 (8): 083015, 2016. 10.1088\/1367-2630\/18\/8\/083015.","DOI":"10.1088\/1367-2630\/18\/8\/083015"},{"key":"32","doi-asserted-by":"publisher","unstructured":"A. Kissinger and V. Zamdzhiev. Quantomatic: A proof assistant for diagrammatic reasoning. In International Conference on Automated Deduction, pages 326\u2013336. Springer, 2015. 10.1007\/978-3-319-21401-6_22.","DOI":"10.1007\/978-3-319-21401-6_22"},{"key":"33","unstructured":"Aleks Kissinger and Arianne Meijer-van de Griend. CNOT circuit extraction for topologically-constrained quantum memories. Preprint, arXiv:1904.00633, 2019."},{"key":"34","unstructured":"Aleks Kissinger and John van de Wetering. Reducing T-count with the ZX-calculus. Preprint, arXiv:1903.10477, 2019a."},{"key":"35","unstructured":"Aleks Kissinger and John van de Wetering. PyZX: Large scale automated diagrammatic reasoning. Preprint, arXiv:1904.04735, 2019b."},{"key":"36","doi-asserted-by":"publisher","unstructured":"E. Knill. Quantum computing with realistically noisy devices. Nature, 434 (7029): 39\u201344, 2005. 10.1038\/nature03350. arXiv:quant-ph\/0410199.","DOI":"10.1038\/nature03350"},{"key":"37","unstructured":"Andrew J Landahl and Ci\u00e1ran Ryan-Anderson. Quantum computing by color-code lattice surgery. Preprint, arXiv:1407.5103, 2014. SAND2014-15911J."},{"key":"38","doi-asserted-by":"publisher","unstructured":"Daniel Litinski. A game of surface codes: Large-scale quantum computing with lattice surgery. Quantum, 3: 128, 2019. 10.22331\/q-2019-03-05-128.","DOI":"10.22331\/q-2019-03-05-128"},{"key":"39","doi-asserted-by":"publisher","unstructured":"N. Nickerson, Y. Li, and S. Benjamin. Topological quantum computing with a very noisy network and local error rates approaching one percent. Nature communications, 4: 1756, 2013. 10.1038\/ncomms2773.","DOI":"10.1038\/ncomms2773"},{"key":"40","doi-asserted-by":"publisher","unstructured":"N. Nickerson, J. Fitzsimons, and S. Benjamin. Freely scalable quantum technologies using cells of 5-to-50 qubits with very lossy and noisy photonic links. Physical Review X, 4 (4): 041041, 2014. 10.1103\/PhysRevX.4.041041.","DOI":"10.1103\/PhysRevX.4.041041"},{"key":"41","doi-asserted-by":"publisher","unstructured":"Michael A Nielsen and Isaac Chuang. Quantum computation and quantum information. Cambridge University Press, Cambridge UK, 2000. 10.1017\/CBO9780511976667.","DOI":"10.1017\/CBO9780511976667"},{"key":"42","doi-asserted-by":"publisher","unstructured":"R. Raussendorf and J. Harrington. Fault-tolerant quantum computation with high threshold in two dimensions. Physical review letters, 98 (19): 190504, 2007. 10.1103\/PhysRevLett.98.190504.","DOI":"10.1103\/PhysRevLett.98.190504"},{"key":"43","doi-asserted-by":"publisher","unstructured":"B. Terhal. Quantum error correction for quantum memories. Reviews of Modern Physics, 87 (2): 307, 2015. 10.1103\/RevModPhys.87.307.","DOI":"10.1103\/RevModPhys.87.307"},{"key":"44","doi-asserted-by":"publisher","unstructured":"R. Van Meter. Quantum Networking. John Wiley & Sons, 2014. 10.1002\/9781118648919.","DOI":"10.1002\/9781118648919"},{"key":"45","doi-asserted-by":"publisher","unstructured":"R. Van Meter and C. Horsman. A blueprint for building a quantum computer. Communications of the ACM, 56 (10): 84\u201393, 2013. 10.1145\/2494568.","DOI":"10.1145\/2494568"},{"key":"46","unstructured":"The ZX-calculus. http:\/\/zxcalculus.com\/. Accessed 08\/07\/2019."}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2020-01-09-218\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T18:19:50Z","timestamp":1591381190000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2020-01-09-218\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,9]]},"references-count":47,"URL":"https:\/\/doi.org\/10.22331\/q-2020-01-09-218","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,9]]},"article-number":"218"}}