Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
arXiv:1701.03309 · doi:10.4204/EPTCS.266.21
Abstract
We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in this way -- including entanglement manipulation and error correction -- and in each case present a fully-topological formal verification, yielding in several cases substantial new insight into how the program works. We also use our methods to identify several new or generalized procedures.
In Proceedings QPL 2017, arXiv:1802.09737
References in corpus (10)
- Modular Entanglement of Atomic Qubits using both Photons and Phonons
- Trading inverses for an irrep in the Solovay-Kitaev theorem
- The ZX-calculus is incomplete for quantum mechanics
- Quasistrict symmetric monoidal 2-categories via wire diagrams
- Biunitary constructions in quantum information
- Planar Para Algebras, Reflection Positivity
- Higher Quantum Theory
- Constructive Simulation and Topological Design of Protocols
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- Compressed Teleportation