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)
• Quantum Instability [30.674987397533997]
  We show how a time-independent, finite-dimensional quantum system can give rise to a linear instability corresponding to that in the classical system. An unstable quantum system has a richer spectrum and a much longer recurrence time than a stable quantum system.
  arXiv  Detail & Related papers  (2022-08-05T19:53:46Z)
• 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)
• 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)
• Quantum Entropic Causal Inference [30.939150842529052]
  We put forth a new theoretical framework for merging quantum information science and causal inference by exploiting entropic principles. We apply our proposed framework to an experimentally relevant scenario of identifying message senders on quantum noisy links.
  arXiv  Detail & Related papers  (2021-02-23T15:51:34Z)
• 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.