UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

A comonadic view of simulation and quantum resources

Abramsky, Samson; Barbosa, Rui Soares; Karvonen, Martti; Mansfield, Shane; (2019) A comonadic view of simulation and quantum resources. In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE: Vancouver, BC, Canada. Green open access

[thumbnail of Abramsky et al - A comonadic view of simulation and quantum resources.pdf]
Preview
Text
Abramsky et al - A comonadic view of simulation and quantum resources.pdf - Accepted Version

Download (368kB) | Preview

Abstract

We study simulation and quantum resources in the setting of the sheaf-theoretic approach to contextuality and nonlocality. Resources are viewed behaviourally, as empirical models. In earlier work, a notion of morphism for these empirical models was proposed and studied. We generalize and simplify the earlier approach, by starting with a very simple notion of morphism, and then extending it to a more useful one by passing to a co-Kleisli category with respect to a comonad of measurement protocols. We show that these morphisms capture notions of simulation between empirical models obtained via 'free' operations in a resource theory of contextuality, including the type of classical control used in measurement-based quantum computation schemes.

Type: Proceedings paper
Title: A comonadic view of simulation and quantum resources
Event: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Location: CANADA, Vancouver
Dates: 24 Jun 2019 - 27 Jun 2019
Open access status: An open access version is available from UCL Discovery
DOI: 10.1109/lics.2019.8785677
Publisher version: https://doi.org/10.1109/LICS.2019.8785677
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
Keywords: Atmospheric measurements, Particle measurements, Computational modeling, Quantum computing, Context modeling, Protocols, Quantum mechanics
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10193409
Downloads since deposit
Loading...
9Downloads
Download activity - last month
Loading...
Download activity - last 12 months
Loading...
Downloads by country - last 12 months
Loading...

Archive Staff Only

View Item View Item