Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Samson Abramsky on Logic and Structure in Computer Science and Beyond |
| Herausgeber/-innen | Alessandra Palmigiano, Mehrnoosh Sadrzadeh |
| Herausgeber (Verlag) | Springer Science and Business Media B.V. |
| Seiten | 595-622 |
| Seitenumfang | 28 |
| ISBN (elektronisch) | 9783031241178 |
| ISBN (Print) | 9783031241161 |
| Publikationsstatus | Veröffentlicht - 2 Aug. 2023 |
| Extern publiziert | Ja |
Publikationsreihe
| Name | Outstanding Contributions to Logic |
|---|---|
| Band | 25 |
| ISSN (Print) | 2211-2758 |
| ISSN (elektronisch) | 2211-2766 |
Abstract
We describe a joint cohomological framework for measurement-based quantum computation (MBQC) and the corresponding contextuality proofs. The central object in this framework is an element [ βΨ] in the second cohomology group of the chain complex describing a given MBQC. [ βΨ] contains the function computed therein up to gauge equivalence, and at the same time is a contextuality witness. The present cohomological description only applies to temporally flat MBQCs, and we outline an approach for extending it to the temporally ordered case.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Logik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
Samson Abramsky on Logic and Structure in Computer Science and Beyond. Hrsg. / Alessandra Palmigiano; Mehrnoosh Sadrzadeh. Springer Science and Business Media B.V., 2023. S. 595-622 (Outstanding Contributions to Logic; Band 25).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review
}
TY - CHAP
T1 - Putting Paradoxes to Work
T2 - Contextuality in Measurement-Based Quantum Computation
AU - Raussendorf, Robert
N1 - Funding Information: Acknowledgements The author thanks the Yukawa Institute for Theoretical Physics Kyoto (YITP) for their hospitality. Part of this work was performed there. This work is supported by NSERC. Funding Information: The author thanks the Yukawa Institute for Theoretical Physics Kyoto (YITP) for their hospitality. Part of this work was performed there. This work is supported by NSERC.
PY - 2023/8/2
Y1 - 2023/8/2
N2 - We describe a joint cohomological framework for measurement-based quantum computation (MBQC) and the corresponding contextuality proofs. The central object in this framework is an element [ βΨ] in the second cohomology group of the chain complex describing a given MBQC. [ βΨ] contains the function computed therein up to gauge equivalence, and at the same time is a contextuality witness. The present cohomological description only applies to temporally flat MBQCs, and we outline an approach for extending it to the temporally ordered case.
AB - We describe a joint cohomological framework for measurement-based quantum computation (MBQC) and the corresponding contextuality proofs. The central object in this framework is an element [ βΨ] in the second cohomology group of the chain complex describing a given MBQC. [ βΨ] contains the function computed therein up to gauge equivalence, and at the same time is a contextuality witness. The present cohomological description only applies to temporally flat MBQCs, and we outline an approach for extending it to the temporally ordered case.
KW - Cohomology
KW - Contextuality
KW - Kochen–Specker theorem
KW - Measurement-based quantum computation
KW - Quantum computation
KW - Temporal order
UR - http://www.scopus.com/inward/record.url?scp=85168686638&partnerID=8YFLogxK
U2 - 10.48550/arXiv.2208.06624
DO - 10.48550/arXiv.2208.06624
M3 - Contribution to book/anthology
AN - SCOPUS:85168686638
SN - 9783031241161
T3 - Outstanding Contributions to Logic
SP - 595
EP - 622
BT - Samson Abramsky on Logic and Structure in Computer Science and Beyond
A2 - Palmigiano, Alessandra
A2 - Sadrzadeh, Mehrnoosh
PB - Springer Science and Business Media B.V.
ER -