A computer scientist's reconstruction of quantum theory
- URL: http://arxiv.org/abs/2109.10707v1
- Date: Wed, 22 Sep 2021 12:58:20 GMT
- Title: A computer scientist's reconstruction of quantum theory
- Authors: Bas Westerbaan, John van de Wetering
- Abstract summary: We present a compositional reconstruction of quantum theory that includes infinite-dimensional systems.
This reconstruction is noteworthy for three reasons: it includes no restrictions on the dimension of a system; it allows for both classical, quantum, and mixed systems; and it makes no a priori reference to the structure of the real (or complex) numbers.
- Score: 1.52292571922932
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The rather unintuitive nature of quantum theory has led numerous people to
develop sets of (physically motivated) principles that can be used to derive
quantum mechanics from the ground up, in order to better understand where the
structure of quantum systems comes from. From a computer scientist's
perspective we would like to study quantum theory in a way that allows
interesting transformations and compositions of systems and that also includes
infinite-dimensional datatypes. Here we present such a compositional
reconstruction of quantum theory that includes infinite-dimensional systems.
This reconstruction is noteworthy for three reasons: it is only one of a few
that includes no restrictions on the dimension of a system; it allows for both
classical, quantum, and mixed systems; and it makes no a priori reference to
the structure of the real (or complex) numbers. This last point is possible
because we frame our results in the language of category theory, specifically
the categorical framework of effectus theory.
Related papers
- An Indeterminacy-based Ontology for Quantum Theory [0.0]
I present and defend a new ontology for quantum theories (or sinterpretation'' of quantum theory) called Generative Quantum Interpretation (GQT)
GQT provides a series of important benefits that current widely discussed lack, namely, wave function realism and primitive primitive, without some of their costs.
I will argue that GQT should be taken seriously because it provides a series of important benefits that current widely discussed lack, namely, wave function realism and primitive primitive, without some of their costs.
arXiv Detail & Related papers (2024-04-10T17:55:58Z) - A new indeterminacy-based quantum theory [0.0]
I propose a novel interpretation of quantum theory, which I will call Environmental Determinacy-based (EnDQT)
Unlike theories such as spontaneous collapse theories, no modifications of the fundamental equations of quantum theory are required to establish when determinate values arise.
EnDQT may provide payoffs to other areas of physics and their foundations, such as cosmology.
arXiv Detail & Related papers (2023-10-06T04:05:38Z) - Is there a finite complete set of monotones in any quantum resource theory? [39.58317527488534]
We show that there does not exist a finite set of resource monotones which completely determines all state transformations.
We show that totally ordered theories allow for free transformations between all pure states.
arXiv Detail & Related papers (2022-12-05T18:28:36Z) - Quantum simulation beyond Hamiltonian paradigm: categorical quantum
simulation [0.0]
We propose a new dynamic simulation method,categorical quantum simulation.
In our paradigm quantum simulation is no longer based on the structure of the group theory, but based on the structure of the tensor category.
arXiv Detail & Related papers (2022-03-29T14:36:01Z) - No-signalling constrains quantum computation with indefinite causal
structure [45.279573215172285]
We develop a formalism for quantum computation with indefinite causal structures.
We characterize the computational structure of higher order quantum maps.
We prove that these rules, which have a computational and information-theoretic nature, are determined by the more physical notion of the signalling relations between the quantum systems.
arXiv Detail & Related papers (2022-02-21T13:43:50Z) - Testing real quantum theory in an optical quantum network [1.6720048283946962]
We show that tests in the spirit of a Bell inequality can reveal quantum predictions in entanglement swapping scenarios.
We disproving real quantum theory as a universal physical theory.
arXiv Detail & Related papers (2021-11-30T05:09:36Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
We build an axiomatization for quantum realism -- a notion of realism compatible with quantum theory.
We explicitly construct some classes of entropic quantifiers that are shown to satisfy almost all of the proposed axioms.
arXiv Detail & Related papers (2021-10-10T18:08:42Z) - 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) - Operational Resource Theory of Imaginarity [48.7576911714538]
We show that quantum states are easier to create and manipulate if they only have real elements.
As an application, we show that imaginarity plays a crucial role for state discrimination.
arXiv Detail & Related papers (2020-07-29T14:03:38Z) - Characterization of the probabilistic models that can be embedded in
quantum theory [0.0]
We show that only classical and standard quantum theory with superselection rules can arise from a physical decoherence map.
Our results have significant consequences for some experimental tests of quantum theory, by clarifying how they could (or could not) falsify it.
arXiv Detail & Related papers (2020-04-13T18:09:39Z) - 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)
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.