Details
| Original language | English |
|---|---|
| Title of host publication | Samson Abramsky on Logic and Structure in Computer Science and Beyond |
| Editors | Alessandra Palmigiano, Mehrnoosh Sadrzadeh |
| Publisher | Springer Science and Business Media B.V. |
| Pages | 595-622 |
| Number of pages | 28 |
| ISBN (electronic) | 9783031241178 |
| ISBN (print) | 9783031241161 |
| Publication status | Published - 2 Aug 2023 |
| Externally published | Yes |
Publication series
| Name | Outstanding Contributions to Logic |
|---|---|
| Volume | 25 |
| ISSN (Print) | 2211-2758 |
| ISSN (electronic) | 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.
Keywords
- Cohomology, Contextuality, Kochen–Specker theorem, Measurement-based quantum computation, Quantum computation, Temporal order
ASJC Scopus subject areas
- Mathematics(all)
- Logic
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
Samson Abramsky on Logic and Structure in Computer Science and Beyond. ed. / Alessandra Palmigiano; Mehrnoosh Sadrzadeh. Springer Science and Business Media B.V., 2023. p. 595-622 (Outstanding Contributions to Logic; Vol. 25).
Research output: Chapter in book/report/conference proceeding › Contribution to book/anthology › Research › 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 -