Details
| Originalsprache | Englisch |
|---|---|
| Aufsatznummer | 20140716 |
| Fachzeitschrift | Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences |
| Jahrgang | 471 |
| Ausgabenummer | 2176 |
| Publikationsstatus | Veröffentlicht - 8 Apr. 2015 |
| Extern publiziert | Ja |
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.
ASJC Scopus Sachgebiete
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, Jahrgang 471, Nr. 2176, 20140716, 08.04.2015.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › 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 -