Skip to main navigation Skip to search Skip to main content

Putting Paradoxes to Work: Contextuality in Measurement-Based Quantum Computation

Research output: Chapter in book/report/conference proceedingContribution to book/anthologyResearchpeer review

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.

Original languageEnglish
Title of host publicationSamson Abramsky on Logic and Structure in Computer Science and Beyond
EditorsAlessandra Palmigiano, Mehrnoosh Sadrzadeh
PublisherSpringer Science and Business Media B.V.
Pages595-622
Number of pages28
ISBN (Electronic)9783031241178
ISBN (Print)9783031241161
DOIs
Publication statusPublished - 2 Aug 2023
Externally publishedYes

Publication series

NameOutstanding Contributions to Logic
Volume25
ISSN (Print)2211-2758
ISSN (Electronic)2211-2766

Keywords

  • Cohomology
  • Contextuality
  • Kochen–Specker theorem
  • Measurement-based quantum computation
  • Quantum computation
  • Temporal order

ASJC Scopus subject areas

  • Logic

Cite this