Topos logic in measurement-based quantum computation
arXiv:1408.0745 · doi:10.1098/rspa.2014.0716
Abstract
We report first steps towards elucidating the relationship between contextuality, measurement-based quantum computation (MBQC) and the non-classical logic of a topos associated with the computation. We show that, in a class of MBQC, classical universality requires non-classical logic, which is 'consumed' during the course of the computation, thereby pinpointing another potential quantum computational resource.
Minor typos fixed
References in corpus (9)
- Hidden Variables and the Two Theorems of John Bell
- Contextuality supplies the magic for quantum computation
- Novel schemes for measurement-based quantum computation
- Computational power of correlations
- Universal quantum computation with little entanglement
- Quantum computational capability of a 2D valence bond solid phase
- Classical simulation versus universality in measurement based quantum computation
- A topos for algebraic quantum theory
- Quantum state reduction for universal measurement based computation