Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws

• URL: http://arxiv.org/abs/2012.02928v1
• Date: Sat, 5 Dec 2020 02:38:37 GMT
• Title: Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws
• Authors: Masanao Ozawa
• Abstract summary: Takeuti introduced set theory based on quantum logic in 1981. We show that equality axioms do not hold, while axioms of ZFC set theory hold if appropriately modified with the notion of commutators.
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In 1981, Takeuti introduced set theory based on quantum logic by constructing a model analogous to Boolean-valued models for Boolean logic. He defined the quantum logical truth value for every sentence of set theory. He showed that equality axioms do not hold, while axioms of ZFC set theory hold if appropriately modified with the notion of commutators. Here, we consider the problem in Takeuti's quantum set theory that De Morgan's laws do not hold for bounded quantifiers. We construct a counter-example to De Morgan's laws for bounded quantifiers in Takeuti's quantum set theory. We redefine the truth value for the membership relation and bounded existential quantification to ensure that De Morgan's laws hold. Then, we show that the truth value of every theorem of ZFC set theory is lower bounded by the commutator of constants therein as quantum transfer principle.

Related papers

• Quantum set theory: Equality and order of internal reals defined through different quantum conditionals [0.0]
  We show how the form of the conditional follows from an analysis of experimental concepts in quantum theory. For each of the above conditionals, we previously introduced an interpretation of quantum set theory. We show that the externally defined set of the internal reals is identical for each choice among the above three conditionals.
  arXiv  Detail & Related papers  (2024-10-24T00:56:43Z)
• 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)
• Minimal Equational Theories for Quantum Circuits [44.99833362998488]
  We show that any true equation on quantum circuits can be derived from simple rules. One of our main contributions is to prove the minimality of the equational theory.
  arXiv  Detail & Related papers  (2023-11-13T17:11:25Z)
• 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)
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory [44.99833362998488]
  We introduce quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple quantum numbers. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories.
  arXiv  Detail & Related papers  (2022-12-28T18:56:25Z)
• 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)
• Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
  An important problem in any quantum resource theory is to determine how quantum states can be converted into each other. Very few results have been presented on the intermediate regime between probabilistic and approximate transformations. We show that these bounds imply an upper bound on the rates for various classes of states under probabilistic transformations. We also show that the deterministic version of the single copy bounds can be applied for drawing limitations on the manipulation of quantum channels.
  arXiv  Detail & Related papers  (2021-11-24T17:29:43Z)
• 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)
• From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti [0.0]
  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.
  arXiv  Detail & Related papers  (2021-02-07T17:17:06Z)
• Dirac Book The Principles Of Quantum Mechanics as presenting the alternative organization of a theory [0.0]
  I show that the text is aimed at solving a basic problem: How quantum mechanics is similar to classical mechanics. An accurate inspection of Dirac text proves that it actually applied this kind of organization of a theory.
  arXiv  Detail & Related papers  (2021-01-23T19:16:47Z)
• No purification ontology, no quantum paradoxes [0.0]
  It is almost believed that in quantum theory the two following statements hold: 1) all transformations are achieved by a unitary interaction followed by a von Neumann measurement; 2) all mixed states are marginals of pure entangled states. I name this doctrine the dogma purification of ontology. The source of the dogma is the original von Neumann axiomatisation of the theory.
  arXiv  Detail & Related papers  (2020-11-08T16:20:06Z)
• Quantum Set Theory: Transfer Principle and De Morgan's Laws [0.0]
  Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. We introduce a new truth value assignment for bounded quantifiers that satisfies De Morgan's Laws.
  arXiv  Detail & Related papers  (2020-02-16T21:59:20Z)

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.