Floquetifying stabiliser codes with distance-preserving rewrites

Understand this faster with AI
AbstractStabiliser codes with large weight measurements can be challenging to implement fault-tolerantly. To overcome this, we propose a Floquetification procedure which, given a stabiliser code, synthesises a novel Floquet code that only uses single- and two-qubit operations. Moreover, this procedure preserves the distance and number of logicals of the original code. The new Floquet code requires additional physical qubits. This overhead is linear in the weight of the largest measurement of the original code. Our method is based on the ZX calculus, a graphical language for representing and rewriting quantum circuits. However, a problem arises with the use of ZX in the context of rewriting error-correcting codes: ZX rewrites generally do not preserve code distance. Tackling this issue, we define the notion of distance-preserving rewrite that enables the transformation of error-correcting codes without changing their distance. These distance-preserving rewrites are used to decompose arbitrary weight stabiliser measurements into quantum circuits with single- and two-qubit operations. As we only use distance-preserving rewrites, we are guaranteed that a single error in the resulting circuit creates at most a single error on the data qubits. These decompositions enable us to generalise the Floquetification procedure of Townsend-Teague et al [83] to arbitrary stabiliser codes, provably preserving the distance and number of logicals of the original code.Featured image: Example of the Floquetification procedure based on the [[4, 2, 2]] codePopular summaryHowever, they are extremely sensitive to noise: data can easily be corrupted by small environmental disturbances or hardware imperfections. Because of this, large-scale quantum computing will require quantum error correction to protect the data against noise. The most well-studied class of quantum error correction codes is stabiliser codes. Recently, a new, more dynamic class of quantum error correction codes has been discovered: Floquet codes. Floquet codes promise various advantages over stabiliser codes, including more efficient data encoding and easier computations. In this work, we show how to create novel Floquet codes from existing stabiliser codes, translating the immense progress made on existing codes to Floquet codes. For this, we introduce a method that allows us to manipulate codes while preserving their core properties, such as how much information they encode and how well they protect that information from noise. While in this work we use this method to transform quantum error correcting codes, the techniques used have potential broader applications in the design of fault-tolerant quantum computations.► BibTeX data@article{Rodatz2026floquetifying, doi = {10.22331/q-2026-09-03-2202}, url = {https://doi.org/10.22331/q-2026-09-03-2202}, title = {Floquetifying stabiliser codes with distance-preserving rewrites}, author = {Rodatz, Benjamin and Po{\'{o}}r, Boldizs{\'{a}}r and Kissinger, Aleks}, journal = {{Quantum}}, issn = {2521-327X}, publisher = {{Verein zur F{\"{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, volume = {10}, pages = {2202}, month = sep, year = {2026} }► References [1] ``Adiabatic Paths of Hamiltonians, Symmetries of Topological Order, and Automorphism Codes'' Physical Review B 106, 085122 (2022). https://doi.org/10.1103/PhysRevB.106.085122 arXiv:2203.11137 [2] ``The ZX-calculus Is Complete for Stabilizer Quantum Mechanics'' New Journal of Physics 16, 093021 (2014). https://doi.org/10.1088/1367-2630/16/9/093021 [3] ``A Simplified Stabilizer ZX-calculus'' Open Publishing Association (2017). https://doi.org/10.4204/EPTCS.236.1 [4] ``The Code Distance of Floquet Codes'' (2025). https://doi.org/10.48550/arXiv.2510.05549 [5] ``Topological Quantum Distillation'' Physical Review Letters 97, 180501 (2006). https://doi.org/10.1103/PhysRevLett.97.180501 [6] ``Unifying Flavors of Fault Tolerance with the ZX Calculus'' Quantum 8, 1379 (2024). https://doi.org/10.22331/q-2024-06-18-1379 [7] ``ZX-calculus and Quantum Stabilizer Theory'' thesis (2019). https://www.cs.ox.ac.uk/people/aleks.kissinger/papers/borghans-thesis.pdf [8] ``Quantum Codes on a Lattice with Boundary'' (1998). https://doi.org/10.48550/arXiv.quant-ph/9811052 [9] ``Good Quantum Error-Correcting Codes Exist'' Physical Review A: Atomic, Molecular, and Optical Physics 54, 1098–1105 (1996). https://doi.org/10.1103/PhysRevA.54.1098 [10] ``Interacting Quantum Observables'' Springer (2008). https://doi.org/10.1007/978-3-540-70583-3_25 http://personal.strath.ac.uk/ross.duncan/papers/iqo-icalp.pdf [11] ``Determinism in the One-Way Model'' Physical Review A 74, 052310 (2006). https://doi.org/10.1103/PhysRevA.74.052310 [12] ``Finding Flows in the One-Way Measurement Model'' Physical Review A 77, 022328 (2008). https://doi.org/10.1103/PhysRevA.77.022328 [13] ``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 [14] ``Spacetime Codes of Clifford Circuits'' (2023). https://doi.org/10.48550/arXiv.2304.05943 [15] ``Designing fault-tolerant circuits using detector error models'' Quantum 9, 1905 (2025). https://doi.org/10.22331/q-2025-11-06-1905 [16] ``A Graphical Approach to Measurement-Based Quantum Computing'' (2013). https://doi.org/10.48550/arXiv.1203.6242 arXiv:1203.6242 [17] ``Graph-Theoretic Simplification of Quantum Circuits with the ZX-calculus'' Quantum 4, 279 (2020). https://doi.org/10.22331/q-2020-06-04-279 [18] ``Dynamical Weight Reduction of Pauli Measurements'' (2024). https://doi.org/10.48550/arXiv.2410.12527 [19] ``A Pair Measurement Surface Code on Pentagons'' Quantum 7, 1156 (2023). https://doi.org/10.22331/q-2023-10-25-1156 [20] ``The Heisenberg Representation of Quantum Computers'' Proc. XXII International Colloquium on Group Theoretical Methods in Physics, 1998 32–43 (1998). [21] ``Stabilizer Codes and Quantum Error Correction'' thesis (1997). https://doi.org/10.7907/rzr7-dt72 [22] ``Fault-tolerant pairwise measurement-based code on eight qubits'' Phys. Rev. A 112, 042413 (2025). https://doi.org/10.48550/arXiv.2409.13681 [23] ``Dynamically Generated Logical Qubits'' Quantum 5, 564 (2021). https://doi.org/10.22331/q-2021-10-19-564 [24] ``Enhanced Fault-tolerance in Photonic Quantum Computing: Floquet Code Outperforms Surface Code in Tailored Architecture'' (2024). https://doi.org/10.48550/arXiv.2410.07065 [25] ``Graphical CSS Code Transformation Using ZX Calculus'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.1 [26] ``Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics'' Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 569–578 (2018). https://doi.org/10.1145/3209108.3209139 arXiv:1801.10142 [27] ``Phase-Free ZX Diagrams Are CSS Codes (...or How to Graphically Grok the Surface Code)'' (2022). https://doi.org/10.48550/arXiv.2204.14038 [28] ``Picturing Quantum Software: An Introduction to the ZX-calculus and Quantum Compilation'' Preprint (2024). https://github.com/zxcalc/book [29] ``Scalable Spider Nests (...or How to Graphically Grok Transversal Non-Clifford Gates)'' Open Publishing Association (2024). https://doi.org/10.4204/EPTCS.406.4 [30] ``Unified and Generalized Approach to Quantum Error Correction'' Physical Review Letters 94, 180501 (2005). https://doi.org/10.1103/PhysRevLett.94.180501 [31] ``$\mathrm{XYZ}$ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime'' PRX Quantum 6, 010360 (2025). https://doi.org/10.1103/PRXQuantum.6.010360 [32] ``Relaxing Hardware Requirements for Surface Code Circuits Using Time-dynamics'' Quantum 7, 1172 (2023). https://doi.org/10.22331/q-2023-11-07-1172 [33] ``On the Constant Depth Implementation of Pauli Exponentials'' npj Quantum Information 12, 82 (2026). https://doi.org/10.1038/s41534-026-01226-x [34] ``A Universal Completion of the ZX-calculus'' (2017). https://doi.org/10.48550/arXiv.1706.09877 [35] ``A Unique Normal Form for Prime-Dimensional Qudit Clifford ZX-calculus'' thesis (2022). https://www.cs.ox.ac.uk/people/aleks.kissinger/theses/poor-thesis.pdf [36] ``The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.13 [37] ``Fault Tolerance by Construction'' (2025). https://doi.org/10.48550/arXiv.2506.17181 [38] ``Completeness for Fault Equivalence of Clifford ZX Diagrams'' (2025). https://doi.org/10.48550/arXiv.2510.08477 [39] ``Multiple-Particle Interference and Quantum Error Correction'' Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 452, 2551–2577 (1997). https://doi.org/10.1098/rspa.1996.0136 [40] ``Floquetifying the Colour Code'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.14 [41] ``ZX-calculus for the Working Quantum Computer Scientist'' (2020). https://doi.org/10.48550/arXiv.2012.13966 [42] ``A Near-Minimal Axiomatisation of ZX-calculus for Pure Qubit Quantum Mechanics'' 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 1–10 (2019). https://doi.org/10.1109/LICS.2019.8785765 arXiv:1812.09114 [43] ``Planar Floquet Codes'' (2021). https://doi.org/10.48550/arXiv.2110.05348 [44] ``Adiabatic Paths of Hamiltonians, Symmetries of Topological Order, and Automorphism Codes'' Physical Review B 106, 085122 (2022). https://doi.org/10.1103/PhysRevB.106.085122 arXiv:2203.11137 [45] ``The ZX-calculus Is Complete for Stabilizer Quantum Mechanics'' New Journal of Physics 16, 093021 (2014). https://doi.org/10.1088/1367-2630/16/9/093021 [46] ``A Simplified Stabilizer ZX-calculus'' Open Publishing Association (2017). https://doi.org/10.4204/EPTCS.236.1 [47] ``The Code Distance of Floquet Codes'' (2025). https://doi.org/10.48550/arXiv.2510.05549 [48] ``Topological Quantum Distillation'' Physical Review Letters 97, 180501 (2006). https://doi.org/10.1103/PhysRevLett.97.180501 [49] ``Unifying Flavors of Fault Tolerance with the ZX Calculus'' Quantum 8, 1379 (2024). https://doi.org/10.22331/q-2024-06-18-1379 [50] ``ZX-calculus and Quantum Stabilizer Theory'' thesis (2019). https://www.cs.ox.ac.uk/people/aleks.kissinger/papers/borghans-thesis.pdf [51] ``Quantum Codes on a Lattice with Boundary'' (1998). https://doi.org/10.48550/arXiv.quant-ph/9811052 [52] ``Good Quantum Error-Correcting Codes Exist'' Physical Review A: Atomic, Molecular, and Optical Physics 54, 1098–1105 (1996). https://doi.org/10.1103/PhysRevA.54.1098 [53] ``Interacting Quantum Observables'' Springer (2008). https://doi.org/10.1007/978-3-540-70583-3_25 http://personal.strath.ac.uk/ross.duncan/papers/iqo-icalp.pdf [54] ``Determinism in the One-Way Model'' Physical Review A 74, 052310 (2006). https://doi.org/10.1103/PhysRevA.74.052310 [55] ``Finding Flows in the One-Way Measurement Model'' Physical Review A 77, 022328 (2008). https://doi.org/10.1103/PhysRevA.77.022328 [56] ``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 [57] ``Spacetime Codes of Clifford Circuits'' (2023). https://doi.org/10.48550/arXiv.2304.05943 [58] ``Designing fault-tolerant circuits using detector error models'' Quantum 9, 1905 (2025). https://doi.org/10.22331/q-2025-11-06-1905 [59] ``A Graphical Approach to Measurement-Based Quantum Computing'' (2013). https://doi.org/10.48550/arXiv.1203.6242 arXiv:1203.6242 [60] ``Graph-Theoretic Simplification of Quantum Circuits with the ZX-calculus'' Quantum 4, 279 (2020). https://doi.org/10.22331/q-2020-06-04-279 [61] ``Dynamical Weight Reduction of Pauli Measurements'' (2024). https://doi.org/10.48550/arXiv.2410.12527 [62] ``A Pair Measurement Surface Code on Pentagons'' Quantum 7, 1156 (2023). https://doi.org/10.22331/q-2023-10-25-1156 [63] ``The Heisenberg Representation of Quantum Computers'' Proc. XXII International Colloquium on Group Theoretical Methods in Physics, 1998 32–43 (1998). [64] ``Stabilizer Codes and Quantum Error Correction'' thesis (1997). https://doi.org/10.7907/rzr7-dt72 [65] ``Fault-tolerant pairwise measurement-based code on eight qubits'' Phys. Rev. A 112, 042413 (2025). https://doi.org/10.48550/arXiv.2409.13681 [66] ``Dynamically Generated Logical Qubits'' Quantum 5, 564 (2021). https://doi.org/10.22331/q-2021-10-19-564 [67] ``Enhanced Fault-tolerance in Photonic Quantum Computing: Floquet Code Outperforms Surface Code in Tailored Architecture'' (2024). https://doi.org/10.48550/arXiv.2410.07065 [68] ``Graphical CSS Code Transformation Using ZX Calculus'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.1 [69] ``Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics'' Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 569–578 (2018). https://doi.org/10.1145/3209108.3209139 arXiv:1801.10142 [70] ``Phase-Free ZX Diagrams Are CSS Codes (...or How to Graphically Grok the Surface Code)'' (2022). https://doi.org/10.48550/arXiv.2204.14038 [71] ``Picturing Quantum Software: An Introduction to the ZX-calculus and Quantum Compilation'' Preprint (2024). https://github.com/zxcalc/book [72] ``Scalable Spider Nests (...or How to Graphically Grok Transversal Non-Clifford Gates)'' Open Publishing Association (2024). https://doi.org/10.4204/EPTCS.406.4 [73] ``Unified and Generalized Approach to Quantum Error Correction'' Physical Review Letters 94, 180501 (2005). https://doi.org/10.1103/PhysRevLett.94.180501 [74] ``$\mathrm{XYZ}$ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime'' PRX Quantum 6, 010360 (2025). https://doi.org/10.1103/PRXQuantum.6.010360 [75] ``Relaxing Hardware Requirements for Surface Code Circuits Using Time-dynamics'' Quantum 7, 1172 (2023). https://doi.org/10.22331/q-2023-11-07-1172 [76] ``On the Constant Depth Implementation of Pauli Exponentials'' npj Quantum Information 12, 82 (2026). https://doi.org/10.1038/s41534-026-01226-x [77] ``A Universal Completion of the ZX-calculus'' (2017). https://doi.org/10.48550/arXiv.1706.09877 [78] ``A Unique Normal Form for Prime-Dimensional Qudit Clifford ZX-calculus'' thesis (2022). https://www.cs.ox.ac.uk/people/aleks.kissinger/theses/poor-thesis.pdf [79] ``The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.13 [80] ``Fault Tolerance by Construction'' (2025). https://doi.org/10.48550/arXiv.2506.17181 [81] ``Completeness for Fault Equivalence of Clifford ZX Diagrams'' (2025). https://doi.org/10.48550/arXiv.2510.08477 [82] ``Multiple-Particle Interference and Quantum Error Correction'' Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 452, 2551–2577 (1997). https://doi.org/10.1098/rspa.1996.0136 [83] ``Floquetifying the Colour Code'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.14 [84] ``ZX-calculus for the Working Quantum Computer Scientist'' (2020). https://doi.org/10.48550/arXiv.2012.13966 [85] ``A Near-Minimal Axiomatisation of ZX-calculus for Pure Qubit Quantum Mechanics'' 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 1–10 (2019). https://doi.org/10.1109/LICS.2019.8785765 arXiv:1812.09114 [86] ``Planar Floquet Codes'' (2021). https://doi.org/10.48550/arXiv.2110.05348Cited byCould not fetch Crossref cited-by data during last attempt 2026-09-03 08:10:46: Could not fetch cited-by data for 10.22331/q-2026-09-03-2202 from Crossref. This is normal if the DOI was registered recently. Could not fetch ADS cited-by data during last attempt 2026-09-03 08:10:46: 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. AbstractStabiliser codes with large weight measurements can be challenging to implement fault-tolerantly. To overcome this, we propose a Floquetification procedure which, given a stabiliser code, synthesises a novel Floquet code that only uses single- and two-qubit operations. Moreover, this procedure preserves the distance and number of logicals of the original code. The new Floquet code requires additional physical qubits. This overhead is linear in the weight of the largest measurement of the original code. Our method is based on the ZX calculus, a graphical language for representing and rewriting quantum circuits. However, a problem arises with the use of ZX in the context of rewriting error-correcting codes: ZX rewrites generally do not preserve code distance. Tackling this issue, we define the notion of distance-preserving rewrite that enables the transformation of error-correcting codes without changing their distance. These distance-preserving rewrites are used to decompose arbitrary weight stabiliser measurements into quantum circuits with single- and two-qubit operations. As we only use distance-preserving rewrites, we are guaranteed that a single error in the resulting circuit creates at most a single error on the data qubits. These decompositions enable us to generalise the Floquetification procedure of Townsend-Teague et al [83] to arbitrary stabiliser codes, provably preserving the distance and number of logicals of the original code.Featured image: Example of the Floquetification procedure based on the [[4, 2, 2]] codePopular summaryHowever, they are extremely sensitive to noise: data can easily be corrupted by small environmental disturbances or hardware imperfections. Because of this, large-scale quantum computing will require quantum error correction to protect the data against noise. The most well-studied class of quantum error correction codes is stabiliser codes. Recently, a new, more dynamic class of quantum error correction codes has been discovered: Floquet codes. Floquet codes promise various advantages over stabiliser codes, including more efficient data encoding and easier computations. In this work, we show how to create novel Floquet codes from existing stabiliser codes, translating the immense progress made on existing codes to Floquet codes. For this, we introduce a method that allows us to manipulate codes while preserving their core properties, such as how much information they encode and how well they protect that information from noise. While in this work we use this method to transform quantum error correcting codes, the techniques used have potential broader applications in the design of fault-tolerant quantum computations.► BibTeX data@article{Rodatz2026floquetifying, doi = {10.22331/q-2026-09-03-2202}, url = {https://doi.org/10.22331/q-2026-09-03-2202}, title = {Floquetifying stabiliser codes with distance-preserving rewrites}, author = {Rodatz, Benjamin and Po{\'{o}}r, Boldizs{\'{a}}r and Kissinger, Aleks}, journal = {{Quantum}}, issn = {2521-327X}, publisher = {{Verein zur F{\"{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}}, volume = {10}, pages = {2202}, month = sep, year = {2026} }► References [1] ``Adiabatic Paths of Hamiltonians, Symmetries of Topological Order, and Automorphism Codes'' Physical Review B 106, 085122 (2022). https://doi.org/10.1103/PhysRevB.106.085122 arXiv:2203.11137 [2] ``The ZX-calculus Is Complete for Stabilizer Quantum Mechanics'' New Journal of Physics 16, 093021 (2014). https://doi.org/10.1088/1367-2630/16/9/093021 [3] ``A Simplified Stabilizer ZX-calculus'' Open Publishing Association (2017). https://doi.org/10.4204/EPTCS.236.1 [4] ``The Code Distance of Floquet Codes'' (2025). https://doi.org/10.48550/arXiv.2510.05549 [5] ``Topological Quantum Distillation'' Physical Review Letters 97, 180501 (2006). https://doi.org/10.1103/PhysRevLett.97.180501 [6] ``Unifying Flavors of Fault Tolerance with the ZX Calculus'' Quantum 8, 1379 (2024). https://doi.org/10.22331/q-2024-06-18-1379 [7] ``ZX-calculus and Quantum Stabilizer Theory'' thesis (2019). https://www.cs.ox.ac.uk/people/aleks.kissinger/papers/borghans-thesis.pdf [8] ``Quantum Codes on a Lattice with Boundary'' (1998). https://doi.org/10.48550/arXiv.quant-ph/9811052 [9] ``Good Quantum Error-Correcting Codes Exist'' Physical Review A: Atomic, Molecular, and Optical Physics 54, 1098–1105 (1996). https://doi.org/10.1103/PhysRevA.54.1098 [10] ``Interacting Quantum Observables'' Springer (2008). https://doi.org/10.1007/978-3-540-70583-3_25 http://personal.strath.ac.uk/ross.duncan/papers/iqo-icalp.pdf [11] ``Determinism in the One-Way Model'' Physical Review A 74, 052310 (2006). https://doi.org/10.1103/PhysRevA.74.052310 [12] ``Finding Flows in the One-Way Measurement Model'' Physical Review A 77, 022328 (2008). https://doi.org/10.1103/PhysRevA.77.022328 [13] ``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 [14] ``Spacetime Codes of Clifford Circuits'' (2023). https://doi.org/10.48550/arXiv.2304.05943 [15] ``Designing fault-tolerant circuits using detector error models'' Quantum 9, 1905 (2025). https://doi.org/10.22331/q-2025-11-06-1905 [16] ``A Graphical Approach to Measurement-Based Quantum Computing'' (2013). https://doi.org/10.48550/arXiv.1203.6242 arXiv:1203.6242 [17] ``Graph-Theoretic Simplification of Quantum Circuits with the ZX-calculus'' Quantum 4, 279 (2020). https://doi.org/10.22331/q-2020-06-04-279 [18] ``Dynamical Weight Reduction of Pauli Measurements'' (2024). https://doi.org/10.48550/arXiv.2410.12527 [19] ``A Pair Measurement Surface Code on Pentagons'' Quantum 7, 1156 (2023). https://doi.org/10.22331/q-2023-10-25-1156 [20] ``The Heisenberg Representation of Quantum Computers'' Proc. XXII International Colloquium on Group Theoretical Methods in Physics, 1998 32–43 (1998). [21] ``Stabilizer Codes and Quantum Error Correction'' thesis (1997). https://doi.org/10.7907/rzr7-dt72 [22] ``Fault-tolerant pairwise measurement-based code on eight qubits'' Phys. Rev. A 112, 042413 (2025). https://doi.org/10.48550/arXiv.2409.13681 [23] ``Dynamically Generated Logical Qubits'' Quantum 5, 564 (2021). https://doi.org/10.22331/q-2021-10-19-564 [24] ``Enhanced Fault-tolerance in Photonic Quantum Computing: Floquet Code Outperforms Surface Code in Tailored Architecture'' (2024). https://doi.org/10.48550/arXiv.2410.07065 [25] ``Graphical CSS Code Transformation Using ZX Calculus'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.1 [26] ``Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics'' Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 569–578 (2018). https://doi.org/10.1145/3209108.3209139 arXiv:1801.10142 [27] ``Phase-Free ZX Diagrams Are CSS Codes (...or How to Graphically Grok the Surface Code)'' (2022). https://doi.org/10.48550/arXiv.2204.14038 [28] ``Picturing Quantum Software: An Introduction to the ZX-calculus and Quantum Compilation'' Preprint (2024). https://github.com/zxcalc/book [29] ``Scalable Spider Nests (...or How to Graphically Grok Transversal Non-Clifford Gates)'' Open Publishing Association (2024). https://doi.org/10.4204/EPTCS.406.4 [30] ``Unified and Generalized Approach to Quantum Error Correction'' Physical Review Letters 94, 180501 (2005). https://doi.org/10.1103/PhysRevLett.94.180501 [31] ``$\mathrm{XYZ}$ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime'' PRX Quantum 6, 010360 (2025). https://doi.org/10.1103/PRXQuantum.6.010360 [32] ``Relaxing Hardware Requirements for Surface Code Circuits Using Time-dynamics'' Quantum 7, 1172 (2023). https://doi.org/10.22331/q-2023-11-07-1172 [33] ``On the Constant Depth Implementation of Pauli Exponentials'' npj Quantum Information 12, 82 (2026). https://doi.org/10.1038/s41534-026-01226-x [34] ``A Universal Completion of the ZX-calculus'' (2017). https://doi.org/10.48550/arXiv.1706.09877 [35] ``A Unique Normal Form for Prime-Dimensional Qudit Clifford ZX-calculus'' thesis (2022). https://www.cs.ox.ac.uk/people/aleks.kissinger/theses/poor-thesis.pdf [36] ``The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.13 [37] ``Fault Tolerance by Construction'' (2025). https://doi.org/10.48550/arXiv.2506.17181 [38] ``Completeness for Fault Equivalence of Clifford ZX Diagrams'' (2025). https://doi.org/10.48550/arXiv.2510.08477 [39] ``Multiple-Particle Interference and Quantum Error Correction'' Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 452, 2551–2577 (1997). https://doi.org/10.1098/rspa.1996.0136 [40] ``Floquetifying the Colour Code'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.14 [41] ``ZX-calculus for the Working Quantum Computer Scientist'' (2020). https://doi.org/10.48550/arXiv.2012.13966 [42] ``A Near-Minimal Axiomatisation of ZX-calculus for Pure Qubit Quantum Mechanics'' 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 1–10 (2019). https://doi.org/10.1109/LICS.2019.8785765 arXiv:1812.09114 [43] ``Planar Floquet Codes'' (2021). https://doi.org/10.48550/arXiv.2110.05348 [44] ``Adiabatic Paths of Hamiltonians, Symmetries of Topological Order, and Automorphism Codes'' Physical Review B 106, 085122 (2022). https://doi.org/10.1103/PhysRevB.106.085122 arXiv:2203.11137 [45] ``The ZX-calculus Is Complete for Stabilizer Quantum Mechanics'' New Journal of Physics 16, 093021 (2014). https://doi.org/10.1088/1367-2630/16/9/093021 [46] ``A Simplified Stabilizer ZX-calculus'' Open Publishing Association (2017). https://doi.org/10.4204/EPTCS.236.1 [47] ``The Code Distance of Floquet Codes'' (2025). https://doi.org/10.48550/arXiv.2510.05549 [48] ``Topological Quantum Distillation'' Physical Review Letters 97, 180501 (2006). https://doi.org/10.1103/PhysRevLett.97.180501 [49] ``Unifying Flavors of Fault Tolerance with the ZX Calculus'' Quantum 8, 1379 (2024). https://doi.org/10.22331/q-2024-06-18-1379 [50] ``ZX-calculus and Quantum Stabilizer Theory'' thesis (2019). https://www.cs.ox.ac.uk/people/aleks.kissinger/papers/borghans-thesis.pdf [51] ``Quantum Codes on a Lattice with Boundary'' (1998). https://doi.org/10.48550/arXiv.quant-ph/9811052 [52] ``Good Quantum Error-Correcting Codes Exist'' Physical Review A: Atomic, Molecular, and Optical Physics 54, 1098–1105 (1996). https://doi.org/10.1103/PhysRevA.54.1098 [53] ``Interacting Quantum Observables'' Springer (2008). https://doi.org/10.1007/978-3-540-70583-3_25 http://personal.strath.ac.uk/ross.duncan/papers/iqo-icalp.pdf [54] ``Determinism in the One-Way Model'' Physical Review A 74, 052310 (2006). https://doi.org/10.1103/PhysRevA.74.052310 [55] ``Finding Flows in the One-Way Measurement Model'' Physical Review A 77, 022328 (2008). https://doi.org/10.1103/PhysRevA.77.022328 [56] ``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 [57] ``Spacetime Codes of Clifford Circuits'' (2023). https://doi.org/10.48550/arXiv.2304.05943 [58] ``Designing fault-tolerant circuits using detector error models'' Quantum 9, 1905 (2025). https://doi.org/10.22331/q-2025-11-06-1905 [59] ``A Graphical Approach to Measurement-Based Quantum Computing'' (2013). https://doi.org/10.48550/arXiv.1203.6242 arXiv:1203.6242 [60] ``Graph-Theoretic Simplification of Quantum Circuits with the ZX-calculus'' Quantum 4, 279 (2020). https://doi.org/10.22331/q-2020-06-04-279 [61] ``Dynamical Weight Reduction of Pauli Measurements'' (2024). https://doi.org/10.48550/arXiv.2410.12527 [62] ``A Pair Measurement Surface Code on Pentagons'' Quantum 7, 1156 (2023). https://doi.org/10.22331/q-2023-10-25-1156 [63] ``The Heisenberg Representation of Quantum Computers'' Proc. XXII International Colloquium on Group Theoretical Methods in Physics, 1998 32–43 (1998). [64] ``Stabilizer Codes and Quantum Error Correction'' thesis (1997). https://doi.org/10.7907/rzr7-dt72 [65] ``Fault-tolerant pairwise measurement-based code on eight qubits'' Phys. Rev. A 112, 042413 (2025). https://doi.org/10.48550/arXiv.2409.13681 [66] ``Dynamically Generated Logical Qubits'' Quantum 5, 564 (2021). https://doi.org/10.22331/q-2021-10-19-564 [67] ``Enhanced Fault-tolerance in Photonic Quantum Computing: Floquet Code Outperforms Surface Code in Tailored Architecture'' (2024). https://doi.org/10.48550/arXiv.2410.07065 [68] ``Graphical CSS Code Transformation Using ZX Calculus'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.1 [69] ``Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics'' Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science 569–578 (2018). https://doi.org/10.1145/3209108.3209139 arXiv:1801.10142 [70] ``Phase-Free ZX Diagrams Are CSS Codes (...or How to Graphically Grok the Surface Code)'' (2022). https://doi.org/10.48550/arXiv.2204.14038 [71] ``Picturing Quantum Software: An Introduction to the ZX-calculus and Quantum Compilation'' Preprint (2024). https://github.com/zxcalc/book [72] ``Scalable Spider Nests (...or How to Graphically Grok Transversal Non-Clifford Gates)'' Open Publishing Association (2024). https://doi.org/10.4204/EPTCS.406.4 [73] ``Unified and Generalized Approach to Quantum Error Correction'' Physical Review Letters 94, 180501 (2005). https://doi.org/10.1103/PhysRevLett.94.180501 [74] ``$\mathrm{XYZ}$ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime'' PRX Quantum 6, 010360 (2025). https://doi.org/10.1103/PRXQuantum.6.010360 [75] ``Relaxing Hardware Requirements for Surface Code Circuits Using Time-dynamics'' Quantum 7, 1172 (2023). https://doi.org/10.22331/q-2023-11-07-1172 [76] ``On the Constant Depth Implementation of Pauli Exponentials'' npj Quantum Information 12, 82 (2026). https://doi.org/10.1038/s41534-026-01226-x [77] ``A Universal Completion of the ZX-calculus'' (2017). https://doi.org/10.48550/arXiv.1706.09877 [78] ``A Unique Normal Form for Prime-Dimensional Qudit Clifford ZX-calculus'' thesis (2022). https://www.cs.ox.ac.uk/people/aleks.kissinger/theses/poor-thesis.pdf [79] ``The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.13 [80] ``Fault Tolerance by Construction'' (2025). https://doi.org/10.48550/arXiv.2506.17181 [81] ``Completeness for Fault Equivalence of Clifford ZX Diagrams'' (2025). https://doi.org/10.48550/arXiv.2510.08477 [82] ``Multiple-Particle Interference and Quantum Error Correction'' Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 452, 2551–2577 (1997). https://doi.org/10.1098/rspa.1996.0136 [83] ``Floquetifying the Colour Code'' Open Publishing Association (2023). https://doi.org/10.4204/EPTCS.384.14 [84] ``ZX-calculus for the Working Quantum Computer Scientist'' (2020). https://doi.org/10.48550/arXiv.2012.13966 [85] ``A Near-Minimal Axiomatisation of ZX-calculus for Pure Qubit Quantum Mechanics'' 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 1–10 (2019). https://doi.org/10.1109/LICS.2019.8785765 arXiv:1812.09114 [86] ``Planar Floquet Codes'' (2021). https://doi.org/10.48550/arXiv.2110.05348Cited byCould not fetch Crossref cited-by data during last attempt 2026-09-03 08:10:46: Could not fetch cited-by data for 10.22331/q-2026-09-03-2202 from Crossref. This is normal if the DOI was registered recently. Could not fetch ADS cited-by data during last attempt 2026-09-03 08:10:46: 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.
Tags
Source Information
Discussion
0 professional contributions
Sign in to join this professional discussion.
Be the first to add a constructive contribution.
