The logic of quantum mechanics

• URL: http://arxiv.org/abs/2510.12502v1
• Date: Tue, 14 Oct 2025 13:33:05 GMT
• Title: The logic of quantum mechanics
• Authors: Eric Buffenoir,
• Abstract summary: The quantum logic program originated in a 1936 article by G. Birkhoff and J. von Neumann.<n>The existence of a tensor product and a star involution are the only prerequisites for the definition of the state spaces.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The quantum logic program originated in a 1936 article by G. Birkhoff and J. von Neumann. This program is generally disregarded due to no-go theorems restricting the existence of the tensor product of elementary quantum logics and, above all, the impossibility of considering entangled states and Bell non-local states within the framework of these composite quantum logics. We revisit this study from the beginning and reverse the perspective. Here, the existence of a tensor product and a star involution are the only prerequisites for the definition of the state spaces. Surprisingly, the quantum logics constructed in this way turn out to have a close connection with irreducible Hilbert geometries, even though we did not impose this sort of structure ab initio. Endly, the existence of some basic quantum-like properties is explicitly proven in our framework : contextuality, no-broadcasting theorem, and Bell non-locality. These elements demonstrate that our quantum logic program is capable of achieving G. Birkhoff and J. von Neumann's initial ambition of founding quantum theory.

Related papers

• Comment on "There is No Quantum World" by Jeffrey Bub [0.0]
  Jeffrey Bub presents a discussion of neo-Bohrian interpretations of quantum mechanics.<n>We argue that admitting mathematical infinities in a physical theory is not a problem, if properly done.
  arXiv  Detail & Related papers  (2025-12-28T15:12:59Z)
• Quantum First-Order Logics That Capture Logarithmic-Time/Space Quantum Computability [0.0]
  This work is to express "quantum computation" by introducing specially-featured quantum connectives and quantum quantifiers.<n>We demonstrate that quantum first-order logics possess an ability of expressing bounded-error quantum logarithmic-time computability.
  arXiv  Detail & Related papers  (2025-01-21T09:58:59Z)
• A computational test of quantum contextuality, and even simpler proofs of quantumness [43.25018099464869]
  We show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device. Our work can be seen as using cryptography to enforce spatial separation within subsystems of a single quantum device.
  arXiv  Detail & Related papers  (2024-05-10T19:30:23Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical. We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022) can in fact do much more. Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation.
  arXiv  Detail & Related papers  (2023-03-02T14:18:17Z)
• Biorthogonal resource theory of genuine quantum superposition [0.0]
  We introduce a pseudo-Hermitian representation of the density operator, wherein its diagonal elements correspond to biorthogonal extensions of Kirkwood-Dirac quasi-probabilities. This representation provides a unified framework for the inter-basis quantum superposition and basis state indistinguishability, giving rise to what we term as textitgenuine quantum superposition.
  arXiv  Detail & Related papers  (2022-10-05T17:17:37Z)
• 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)
• Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs [1.1878820609988696]
  A first-order logic with quantum variables is needed as an assertion language for specifying and reasoning about various properties of quantum programs. In this paper, we introduce a first-order extension of Birkhoff-von Neumann quantum logic with universal and existential quantifiers over quantum variables.
  arXiv  Detail & Related papers  (2022-05-04T08:57:44Z)
• 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)
• A Quantum Interpretation of Bunched Logic for Quantum Separation Logic [22.507329566323982]
  We develop a program logic where pre- and post-conditions are BI formulas describing quantum states. We exercise the logic for proving the security of quantum one-time pad and secret sharing.
  arXiv  Detail & Related papers  (2021-01-30T22:24:36Z)
• Impossibility of creating a superposition of unknown quantum states [16.467540842571328]
  We show that the existence of a protocol that superposes two unknown pure states with nonzero probability leads to violation of other no-go theorems. Such a protocol can be used to perform certain state discrimination and cloning tasks that are forbidden in quantum theory.
  arXiv  Detail & Related papers  (2020-11-04T13:25:42Z)
• 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)
• Quantum Mechanical description of Bell's experiment assumes Locality [91.3755431537592]
  Bell's experiment description assumes the (Quantum Mechanics-language equivalent of the classical) condition of Locality. This result is complementary to a recently published one demonstrating that non-Locality is necessary to describe said experiment. It is concluded that, within the framework of Quantum Mechanics, there is absolutely no reason to believe in the existence of non-Local effects.
  arXiv  Detail & Related papers  (2020-02-27T15:04:08Z)

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.