Topos logic in measurement-based quantum computation
Quantum Physics
2015-10-26 v3
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.
Cite
@article{arxiv.1408.0745,
title = {Topos logic in measurement-based quantum computation},
author = {Leon Loveridge and Raouf Dridi and Robert Raussendorf},
journal= {arXiv preprint arXiv:1408.0745},
year = {2015}
}
Comments
Minor typos fixed