Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory

• URL: http://arxiv.org/abs/2311.09268v1
• Date: Wed, 15 Nov 2023 11:39:43 GMT
• Title: Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory
• Authors: Masanao Ozawa (Chubu University, Nagoya University)
• Abstract summary: We show that a set theoretical universe is associated with a beable subalgebra if and only if it is ZFC-satisfiable. We show that there is a unique maximal ZFC-satisfiable subuniverse "implicitly definable"
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: While non-contextual hidden-variable theories are proved to be impossible, contextual ones are possible. In a contextual hidden-variable theory, an observable is called a beable if the hidden-variable assigns its value in a given measurement context specified by a state and a preferred observable. Halvorson and Clifton characterized the algebraic structure of beables as a von Neumann subalgebra, called a beable subalgebra, of the full observable algebra such that the probability distribution of every observable affiliated therewith admits the ignorance interpretation. On the other hand, we have shown that for every von Neumann algebra there is a unique set theoretical universe such that the internal "real numbers" bijectively correspond to the observables affiliated with the given von Neumann algebra. Here, we show that a set theoretical universe is associated with a beable subalgebra if and only if it is ZFC-satisfiable, namely, every theorem of ZFC set theory holds with probability equal to unity. Moreover, we show that there is a unique maximal ZFC-satisfiable subuniverse "implicitly definable", in the sense of Malament and others, by the given measurement context. The set theoretical language for the ZFC-satisfiable universe, characterized by the present work, rigorously reconstructs Bohr's notion of the "classical language" to describe the beables in a given measurement context.

Related papers

• Minimal operational theories: classical theories with quantum features [41.94295877935867]
  We introduce a class of probabilistic theories, where system dynamics are constrained to the minimal set of operations. Specifically, the allowed instruments are limited to those derived from compositions of preparations, measurements, swap transformations, and conditional tests. We demonstrate that minimal theories with conditioning and a spanning set of non-separable states satisfy two quantum no-go theorems.
  arXiv  Detail & Related papers  (2024-08-02T16:24:09Z)
• On the applicability of Kolmogorov's theory of probability to the description of quantum phenomena. Part I: Foundations [0.0]
  It is regarded a generalization of the "classical probability theory" due to Kolmogorov. This work argues in favor of the latter position. It shows how to construct a mathematically rigorous theory for non-relativistic $N$-body quantum systems.
  arXiv  Detail & Related papers  (2024-05-09T12:11:28Z)
• Embezzling entanglement from quantum fields [41.94295877935867]
  Embezzlement of entanglement refers to the counterintuitive possibility of extracting entangled quantum states from a reference state of an auxiliary system. We uncover a deep connection between the operational task of embezzling entanglement and the mathematical classification of von Neumann algebras.
  arXiv  Detail & Related papers  (2024-01-14T13:58:32Z)
• Quantum and Reality [0.0]
  We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory. This construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We show how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT.
  arXiv  Detail & Related papers  (2023-11-18T11:00:12Z)
• Connecting classical finite exchangeability to quantum theory [45.76759085727843]
  Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. It is well known that both theorems do not hold for finitely exchangeable sequences.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Foundations of non-commutative probability theory (Extended abstract) [1.8782750537161614]
  Kolmogorov's setting for probability theory is given an original generalization to account for probabilities arising from Quantum Mechanics. The sample space has a central role in this presentation and random variables, i.e., observables, are defined in a natural way.
  arXiv  Detail & Related papers  (2023-06-01T20:34:01Z)
• A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
  We argue in favour of taking Kolmogorov's measure-theoretic axiomatisation of probability as the starting point towards an axiomatisation of causality. Our proposed framework is rigorously grounded in measure theory, but it also sheds light on long-standing limitations of existing frameworks.
  arXiv  Detail & Related papers  (2023-05-19T13:15:48Z)
• An alternative foundation of quantum theory [0.0]
  A new approach to quantum theory is proposed in this paper. The accessible variables are just ideal observations connected to an observer or to some communicating observers. It is shown here that the groups and transformations needed in this approach can be constructed explicitly in the case where the accessible variables are finite-dimensional.
  arXiv  Detail & Related papers  (2023-05-11T11:12:00Z)
• 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)
• Quantum Geometric Confinement and Dynamical Transmission in Grushin Cylinder [68.8204255655161]
  We classify the self-adjoint realisations of the Laplace-Beltrami operator minimally defined on an infinite cylinder. We retrieve those distinguished extensions previously identified in the recent literature, namely the most confining and the most transmitting.
  arXiv  Detail & Related papers  (2020-03-16T11:37:23Z)
• Symmetries in Foundation of Quantum Theory and Mathematics [0.0]
  We consider finite quantum theory (FQT) where states are elements of a space over a finite ring or field with characteristic $p$ and operators of physical quantities act in this space. We prove that, with the same approach to symmetry, FQT and finite mathematics are more general than standard quantum theory and classical mathematics.
  arXiv  Detail & Related papers  (2020-03-05T04:46:04Z)

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.