Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic
- URL: http://arxiv.org/abs/2006.16350v2
- Date: Tue, 4 Aug 2020 23:26:24 GMT
- Title: Functoriality of Quantum Resource Theory and Variable-Domain Modal Logic
- Authors: Patrick Fraser
- Abstract summary: I show that quantum resource theories may be functorially translated into models of variable-domain S4 modal logic.
I then extend this functorial relationship to an injective one by adding structure to these logical models.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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.
Related papers
- Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic [0.0]
Quantum Contextual Topos (QCT) is a novel framework that extends traditional quantum logic by embedding contextual elements within a topos-theoretic structure.
We show that QCT corresponds to a form of classical propositional polymodal logic.
arXiv Detail & Related papers (2024-09-04T20:16:24Z) - Investigating the Global Properties of a Resource Theory of
Contextuality [0.0]
We will investigate some properties of a resource theory for quantum contextuality.
This characteristic ensures the impossibility of interpreting the results of quantum measurements as revealing properties that are independent of the set of measurements being made.
We will use the so called cost and yield monotones, extending the results of reference Quantum 4, 280 ( 2020) to general contextuality scenarios.
arXiv Detail & Related papers (2022-10-07T00:33:49Z) - Theory of Quantum Generative Learning Models with Maximum Mean
Discrepancy [67.02951777522547]
We study learnability of quantum circuit Born machines (QCBMs) and quantum generative adversarial networks (QGANs)
We first analyze the generalization ability of QCBMs and identify their superiorities when the quantum devices can directly access the target distribution.
Next, we prove how the generalization error bound of QGANs depends on the employed Ansatz, the number of qudits, and input states.
arXiv Detail & Related papers (2022-05-10T08:05:59Z) - Entropic and operational characterizations of dynamic quantum resources [3.2074558838636262]
We provide new methods for characterizing general closed and convex quantum resource theories.
We propose a resource-theoretic generalization of the quantum conditional min-entropy.
We show that every well-defined robustness-based measure of a channel can be interpreted as an operational advantage of the channel over free channels in a communication task.
arXiv Detail & Related papers (2021-12-13T18:58:36Z) - LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
This paper introduces a dynamic logic formalism for reasoning about information flow in composite quantum systems.
We present a finitary syntax, a relational semantics and a sound proof system for this logic.
As applications, we use our system to give formal correctness for the Teleportation protocol and for a standard Quantum Secret Sharing protocol.
arXiv Detail & Related papers (2021-10-04T12:20:23Z) - Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding [58.720142291102135]
We define a resource measure for magic, the sought-after property in most fault-tolerant quantum computers.
Our formulation is based on bosonic codes, well-studied tools in continuous-variable quantum computation.
arXiv Detail & Related papers (2021-09-27T12:56:01Z) - An introductory review on resource theories of generalized nonclassical
light [0.0]
Quantum resource theory is perhaps the most revolutionary framework that quantum physics has ever experienced.
Generalized quantum optical framework strives to bring in several prosperous contemporary ideas.
arXiv Detail & Related papers (2021-03-23T05:10:44Z) - Error mitigation and quantum-assisted simulation in the error corrected
regime [77.34726150561087]
A standard approach to quantum computing is based on the idea of promoting a classically simulable and fault-tolerant set of operations.
We show how the addition of noisy magic resources allows one to boost classical quasiprobability simulations of a quantum circuit.
arXiv Detail & Related papers (2021-03-12T20:58:41Z) - Resource theory of imaginarity: Quantification and state conversion [48.7576911714538]
Resource theory of imaginarity has been introduced, allowing for a systematic study of complex numbers in quantum mechanics and quantum information theory.
We investigate imaginarity quantification, focusing on the geometric imaginarity and the robustness of imaginarity, and apply these tools to the state conversion problem in imaginarity theory.
Our study reveals the significance of complex numbers in quantum physics, and proves that imaginarity is a resource in optical experiments.
arXiv Detail & Related papers (2021-03-02T15:30:27Z) - From a quantum theory to a classical one [117.44028458220427]
We present and discuss a formal approach for describing the quantum to classical crossover.
The method was originally introduced by L. Yaffe in 1982 for tackling large-$N$ quantum field theories.
arXiv Detail & Related papers (2020-04-01T09:16:38Z) - Information-based approach towards a unified resource theory [0.0]
Resource theories identify resourceful states and channels that are potentially useful for the accomplishment of tasks that would be otherwise unreachable.
We develop a unifying approach that proves able to encompass several nonclassical aspects, including the newly developed concepts of quantum irreality and realism-based nonlocality.
arXiv Detail & Related papers (2020-01-21T12:53:24Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.