English

A comonadic view of simulation and quantum resources

Quantum Physics 2019-08-29 v1 Logic in Computer Science

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.

Keywords

Cite

@article{arxiv.1904.10035,
  title  = {A comonadic view of simulation and quantum resources},
  author = {Samson Abramsky and Rui Soares Barbosa and Martti Karvonen and Shane Mansfield},
  journal= {arXiv preprint arXiv:1904.10035},
  year   = {2019}
}

Comments

To appear in Proceedings of LiCS 2019

R2 v1 2026-06-23T08:46:42.195Z