Quantum picturalism for topological cluster-state computing
arXiv:1101.4722 · doi:10.1088/1367-2630/13/9/095011
Abstract
Topological quantum computing is a way of allowing precise quantum computations to run on noisy and imperfect hardware. One implementation uses surface codes created by forming defects in a highly-entangled cluster state. Such a method of computing is a leading candidate for large-scale quantum computing. However, there has been a lack of sufficiently powerful high-level languages to describe computing in this form without resorting to single-qubit operations, which quickly become prohibitively complex as the system size increases. In this paper we apply the category-theoretic work of Abramsky and Coecke to the topological cluster-state model of quantum computing to give a high-level graphical language that enables direct translation between quantum processes and physical patterns of measurement in a computer - a "compiler language". We give the equivalence between the graphical and topological information flows, and show the applicable rewrite algebra for this computing model. We show that this gives us a native graphical language for the design and analysis of topological quantum algorithms, and finish by discussing the possibilities for automating this process on a large scale.
18 pages, 21 figures. Published in New J. Phys. special issue on topological quantum computing
References in corpus (4)
Cited by in corpus (17)
- The ZX-calculus is complete for stabilizer quantum mechanics
- Reconstructing quantum theory from diagrammatic postulates
- Strong Complementarity and Non-locality in Categorical Quantum Mechanics
- Categorical Probabilistic Theories
- Graphical Structures for Design and Verification of Quantum Error Correction
- Focus on topological quantum computation
- Effective Compression of Quantum Braided Circuits Aided by ZX-Calculus
- A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
- Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics
- Depicting qudit quantum mechanics and mutually unbiased qudit theories
- Compositional Quantum Logic
- Picturing Counting Reductions with the ZH-Calculus
- Complete set of circuit equations for Stabilizer Quantum Mechanics
- Addition and Differentiation of ZX-diagrams
- Trichromatic Open Digraphs for Understanding Qubits
- ZX Graphical Calculus for Continuous-Variable Quantum Processes
- String Diagrams for Defect-Based Surface Code Computing