We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

quant-ph

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic

Abstract: Quantum resource theory is a cutting-edge tool used to study practical implementations of quantum mechanical principles under realistic operational constraints. It does this by modelling quantum systems as restricted classes of possible or permissible experimental operations. Modal logic provides a formal tool for studying possibility and impossibility is a completely general logical setting. Here, I show that quantum resource theories may be functorially translated into models of variable-domain S4 modal logic in a way that provides a new class of formal techniques for exploring quantum resource-theoretic problems. I then extend this functorial relationship to an injective one by adding structure to these logical models to reflect the convertibility preorder of resources in the underlying resource theory. I conclude by discussing how this viewpoint may be deployed concretely.
Comments: 17 pages
Subjects: Quantum Physics (quant-ph); Logic (math.LO)
Cite as: arXiv:2006.16350 [quant-ph]
  (or arXiv:2006.16350v2 [quant-ph] for this version)

Submission history

From: Patrick Fraser [view email]
[v1] Mon, 29 Jun 2020 20:11:32 GMT (272kb,D)
[v2] Tue, 4 Aug 2020 23:26:24 GMT (278kb,D)

Link back to: arXiv, form interface, contact.