A comonadic view of simulation and quantum resources
Abstract
We study simulation and quantum resources in the setting of the sheaf-theoretic approach to contextuality and non-locality. 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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2019
- DOI:
- 10.48550/arXiv.1904.10035
- arXiv:
- arXiv:1904.10035
- Bibcode:
- 2019arXiv190410035A
- Keywords:
-
- Quantum Physics;
- Computer Science - Logic in Computer Science
- E-Print:
- To appear in Proceedings of LiCS 2019