Spectral presheaves, kochen-specker contextuality, and quantale-valued relations

Dunne, Kevin (2018) Spectral presheaves, kochen-specker contextuality, and quantale-valued relations. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 386-398. ISSN 2075-2180

[img]
Preview
 Text (Dunne-EPTCS-2017-Spectral-presheaves-kochen-specker-contextuality)
Dunne_EPTCS_2017_Spectral_presheaves_kochen_specker_contextuality.pdf
Final Published Version
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 logo
Download (173kB)| Preview

    Abstract

    In the topos approach to quantum theory of Doering and Isham the Kochen-Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of a commutativeC-Algebra. In previous work we showed how this topos perspective can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke, and in particular how one can generalise the Gelfand spectrum. Here we study the Gelfand spectrum presheaf for categories of quantale-valued relations, and by considering its global sections we give a non-contextuality result for these categories. We also show that the Gelfand spectrum comes equipped with a topology which has a natural interpretation when thinking of these structures as representing physical theories.

    Creators(s): Dunne, Kevin ORCID logoORCID: https://orcid.org/0000-0003-1148-5202;
    Item type:Article
    ID code:64965
    Keywords:quantum theory, Gelfand spectrum, Kochen–Specker Theorem, Electronic computers. Computer science, Computer Science(all)
    Subjects:Science > Mathematics > Electronic computers. Computer science
    Department:Faculty of Science > Computer and Information Sciences
    Depositing user: Pure Administrator
    Date deposited:01 Aug 2018 14:20
    Last modified:12 Feb 2020 04:35
    Related URLs:
    URI:https://strathprints.strath.ac.uk/id/eprint/64965
    Export data:
    CORE (COnnecting REpositories)