Details
| Original language | English |
|---|---|
| Article number | 20140716 |
| Journal | Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences |
| Volume | 471 |
| Issue number | 2176 |
| Publication status | Published - 8 Apr 2015 |
| Externally published | Yes |
Abstract
We report first steps towards elucidating the relationship between contextuality, measurementbased 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.
Keywords
- Contextuality, Measurement-based quantum computation, Topos theory
ASJC Scopus subject areas
- Mathematics(all)
- General Mathematics
- Engineering(all)
- General Engineering
- Physics and Astronomy(all)
- General Physics and Astronomy
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 471, No. 2176, 20140716, 08.04.2015.
Research output: Contribution to journal › Article › Research › peer review
}
TY - JOUR
T1 - Topos logic in measurement-based quantum computation
AU - Loveridge, Leon
AU - Dridix, Raouf
AU - Raussendorf, Robert
PY - 2015/4/8
Y1 - 2015/4/8
N2 - We report first steps towards elucidating the relationship between contextuality, measurementbased 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.
AB - We report first steps towards elucidating the relationship between contextuality, measurementbased 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.
KW - Contextuality
KW - Measurement-based quantum computation
KW - Topos theory
UR - http://www.scopus.com/inward/record.url?scp=84926294955&partnerID=8YFLogxK
U2 - 10.48550/arXiv.1408.0745
DO - 10.48550/arXiv.1408.0745
M3 - Article
AN - SCOPUS:84926294955
VL - 471
JO - Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
JF - Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
SN - 1364-5021
IS - 2176
M1 - 20140716
ER -