@inproceedings{170aac9c3b6745cbbeabd660d1603f87,
title = "Contextuality, cohomology and paradox",
abstract = "Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in quantum theory [New Journal of Physics 13 (2011) 113036]. However, contextual phenomena are found in other fields as well, for example database theory. In this paper, we shall develop this unified view of contextuality. We provide two main contributions: first, we expose a remarkable connection between contexuality and logical paradoxes; secondly, we show that an important class of contextuality arguments has a topological origin. More specifically, we show that {"}All-vs-Nothing{"} proofs of contextuality are witnessed by cohomological obstructions.",
keywords = "Cohomology, Contextuality, Logical paradoxes, Quantum mechanics, Sheaf theory",
author = "Samson Abramsky and Barbosa, {Rui Soares} and Kohei Kishida and Raymond Lal and Shane Mansfield",
note = "Publisher Copyright: {\textcopyright} Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, and Shane Mansfield.; 24th EACSL Annual Conference on Computer Science Logic, CSL 2015 ; Conference date: 07-09-2015 Through 10-09-2015",
year = "2015",
month = sep,
day = "1",
doi = "10.4230/LIPIcs.CSL.2015.211",
language = "English (US)",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "211--228",
editor = "Stephan Kreutzer",
booktitle = "24th EACSL Annual Conference on Computer Science Logic, CSL 2015",
address = "Germany",
}