A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics

• URL: http://arxiv.org/abs/2602.16368v1
• Date: Wed, 18 Feb 2026 11:10:11 GMT
• Title: A Formal Theory for Finite-Dimensional Possibilistic Quantum Mechanics
• Authors: Olivier Brunet,
• Abstract summary: We present a logical formalism for reasoning about quantum systems in finite dimension.<n>We show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems.
• Score: 0.0
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of model theory in our study. In particular, we show that our formal theory is complete, meaning that it entirely determines the behaviour of quantum systems. Moreover, we provide a characterization of the models of our formal theory, thus providing new insights in the study of hidden variable models of quantum theory.

Related papers

• Stochastic Processes: From Classical to Quantum [7.034466417392574]
  We start with some reminders from the theory of classical processes. We then provide a brief overview of quantum mechanics and quantum field theory. We introduce quantum processes on a boson Fock space and their calculus.
  arXiv  Detail & Related papers  (2024-07-04T15:26:35Z)
• Quantum influences and event relativity [0.0]
  We develop a new interpretation of quantum theory by combining insights from Wigner's friend scenarios and quantum causal modelling. We articulate these ideas using a precise mathematical formalism.
  arXiv  Detail & Related papers  (2024-01-31T17:08:22Z)
• 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)
• The de Broglie-Bohm Quantum Theory and its Application to Quantum Cosmology [0.0]
  We review the de Broglie-Bohm quantum theory. It is an alternative description of quantum phenomena in accordance with all the quantum experiments already performed.
  arXiv  Detail & Related papers  (2021-11-04T17:59:20Z)
• 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)
• LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
  This paper introduces a dynamic logic formalism for reasoning about information flow in composite quantum systems. We present a finitary syntax, a relational semantics and a sound proof system for this logic. As applications, we use our system to give formal correctness for the Teleportation protocol and for a standard Quantum Secret Sharing protocol.
  arXiv  Detail & Related papers  (2021-10-04T12:20:23Z)
• The Logic of Quantum Programs [77.34726150561087]
  We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
  arXiv  Detail & Related papers  (2021-09-14T16:08:37Z)
• 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)
• Perfect Discrimination in Approximate Quantum Theory of General Probabilistic Theories [51.7367238070864]
  We define larger measurement classes that are smoothly connected with the class of POVMs via a parameter. We give a sufficient condition of perfect discrimination, which shows a significant improvement beyond the class of POVMs.
  arXiv  Detail & Related papers  (2020-04-10T08:45:20Z)
• 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)
• Density Formalism for Quantum Theory [0.0]
  A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory. The new formalism, developed first for the single-particle case, has the advantage of generalizing immediately to quantum field theory.
  arXiv  Detail & Related papers  (2020-01-14T22:29:03Z)

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.