From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti

• URL: http://arxiv.org/abs/2102.03851v1
• Date: Sun, 7 Feb 2021 17:17:06 GMT
• Title: From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
• Authors: Masanao Ozawa
• Abstract summary: Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of Boolean valued models of set theory to analysis. He then stepped forward to construct set theory based on quantum logic, as the first step to construct "quantum mathematics" We analyze Takeuti's mathematical world view underlying his program from two perspectives.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems in analysis and algebra. Using the methods of Boolean valued analysis, he further stepped forward to construct set theory based on quantum logic, as the first step to construct "quantum mathematics", a mathematics based on quantum logic. While it is known that the distributive law does not apply to quantum logic, and the equality axiom turns out not to hold in quantum set theory, he showed that the real numbers in quantum set theory are in one-to-one correspondence with the self-adjoint operators on a Hilbert space, or equivalently the physical quantities of the corresponding quantum system. As quantum logic is intrinsic and empirical, the results of the quantum set theory can be experimentally verified by quantum mechanics. In this paper, we analyze Takeuti's mathematical world view underlying his program from two perspectives: set theoretical foundations of modern mathematics and extending the notion of sets to multi-valued logic. We outlook the present status of his program, and envisage the further development of the program, by which we would be able to take a huge step forward toward unraveling the mysteries of quantum mechanics that have persisted for many years.

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)
• Quantum data learning for quantum simulations in high-energy physics [55.41644538483948]
  We explore the applicability of quantum-data learning to practical problems in high-energy physics. We make use of ansatz based on quantum convolutional neural networks and numerically show that it is capable of recognizing quantum phases of ground states. The observation of non-trivial learning properties demonstrated in these benchmarks will motivate further exploration of the quantum-data learning architecture in high-energy physics.
  arXiv  Detail & Related papers  (2023-06-29T18:00:01Z)
• 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)
• On the Common Logical Structure of Classical and Quantum Mechanics [0.0]
  We show that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. We show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions.
  arXiv  Detail & Related papers  (2022-06-21T18:31:53Z)
• 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)
• 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)
• Quantum simulation of gauge theory via orbifold lattice [47.28069960496992]
  We propose a new framework for simulating $textU(k)$ Yang-Mills theory on a universal quantum computer. We discuss the application of our constructions to computing static properties and real-time dynamics of Yang-Mills theories.
  arXiv  Detail & Related papers  (2020-11-12T18:49:11Z)
• Preferred basis, decoherence and a quantum state of the Universe [77.34726150561087]
  We review a number of issues in foundations of quantum theory and quantum cosmology. These issues can be considered as a part of the scientific legacy of H.D. Zeh.
  arXiv  Detail & Related papers  (2020-06-28T18:07:59Z)
• Quantum simulation of quantum field theories as quantum chemistry [9.208624182273288]
  Conformal truncation is a powerful numerical method for solving generic strongly-coupled quantum field theories. We show that quantum computation could not only help us understand fundamental physics in the lattice approximation, but also simulate quantum field theory methods directly.
  arXiv  Detail & Related papers  (2020-04-28T01:20:04Z)
• 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.