Abstract
We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects are identical. We analyse 11 known quantum procedures in this way—including entanglement manipulation, error correction and teleportation—and in each case present a fully topological formal verification, yielding generalized procedures in some cases. We also use our methods to identify two new procedures, for topological state transfer and quantum error correction. Our formalism yields in some cases significant new insight into how the procedures work, including a description of quantum entanglement arising from topological entanglement of strands, and a description of quantum error correction where errors are ‘trapped by bubbles’ and removed from the shaded tangle.
Original language | English |
---|---|
Article number | 20180338 |
Number of pages | 30 |
Journal | Proceedings of the Royal Society A |
Volume | 475 |
Issue number | 2224 |
Early online date | 3 Apr 2019 |
DOIs | |
Publication status | Published - Apr 2019 |
Keywords
- 2-category
- 2Hilb
- Graphical calculus
- Knot theory
- Quantum computing
- Verification
ASJC Scopus subject areas
- General Mathematics
- General Engineering
- General Physics and Astronomy