Compare Papers
Paper 1
Untangling Surface Codes: Bridging Braids and Lattice Surgery
Alexandru Paler
- Year
- 2025
- Journal
- arXiv preprint
- DOI
- arXiv:2511.22290
- arXiv
- 2511.22290
We present a systematic method for translating fault-tolerant quantum circuits between their braiding and lattice surgery (LS) representations within the surface code. Our approach employs the ZX calculus to establish an equivalence between these two paradigms, enabling verified, bidirectional conversion of arbitrary surface-code-level circuits. We show that both braiding and LS operations can be uniformly expressed as compositions of multibody measurements and demonstrate that the Raussendorf compression rule encompasses all known braid and bridge optimizations. We also introduce a novel CNOT circuit with LS. Our framework provides a foundation for the automated verification, compilation, and benchmarking of large-scale surface code computations, advancing toward a unified formal language for topological quantum computation.
Open paperPaper 2
Proceedings 9th Workshop on Quantum Physics and Logic
Ross Duncan, Prakash Panangaden
- Year
- 2014
- Journal
- arXiv preprint
- DOI
- arXiv:1407.8427
- arXiv
- 1407.8427
This volume contains the proceedings of the ninth workshop on Quantum Physics and Logic (QPL2012) which took place in Brussels from the 10th to the 12th of October 2012. QPL2012 brought together researchers working on mathematical foundations of quantum physics, quantum computing, and spatio-temporal causal structures. The particular focus was on the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical techniques, and other computer science methods for the study of physical behaviour in general.
Open paper