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 show that almost all minimal theories with conditioning satisfy two quantum no-go theorems. As a relevant example, we construct a minimal toy-theory with conditioning where all systems are classical.
  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 [0.0]
  I show that it is possible to construct a mathematically rigorous theory based on Kolmogorov's axioms and physically natural random variables. The approach can in principle be adapted to other classes of quantum-mechanical models.
  arXiv  Detail & Related papers  (2024-05-09T12:11:28Z)
• 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 [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  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)
• Unifying different notions of quantum incompatibility into a strict hierarchy of resource theories of communication [60.18814584837969]
  We introduce the notion of q-compatibility, which unifies different notions of POVMs, channels, and instruments incompatibility. We are able to pinpoint exactly what each notion of incompatibility consists of, in terms of information-theoretic resources.
  arXiv  Detail & Related papers  (2022-11-16T21:33:31Z)
• 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.