Current browse context:
math.LO
Change to browse by:
References & Citations
Quantum Physics
Title: Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic
(Submitted on 29 Jun 2020 (v1), last revised 4 Aug 2020 (this version, v2))
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.
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.