Dirac - von Neumann axioms in the setting of Continuous Model Theory

• URL: http://arxiv.org/abs/2511.01900v1
• Date: Thu, 30 Oct 2025 19:15:18 GMT
• Title: Dirac - von Neumann axioms in the setting of Continuous Model Theory
• Authors: Boris Zilber,
• Abstract summary: We recast the well-known axiom system of quantum mechanics used by physicists (the Dirac calculus) in the language of Continuous Logic.<n>For the basic version of the axiomatic system we prove that along with the canonical continuous model the axioms have approximate finite models of large sizes.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We recast the well-known axiom system of quantum mechanics used by physicists (the Dirac calculus) in the language of Continuous Logic. For the basic version of the axiomatic system we prove that along with the canonical continuous model the axioms have approximate finite models of large sizes, in fact the continuous model is isomorphic to an ultraproduct of finite models. We analyse the continuous logic quantifier corresponding to Dirac integration and show that in finite context it has two versions, local and global, which coincide on Gaussian wave-functions.

Related papers

• Deep Sequence Modeling with Quantum Dynamics: Language as a Wave Function [0.0]
  We introduce a sequence modeling framework in which the latent state is a complex-valued wave function evolving on a finite-dimensional Hilbert space under a learned, time-dependent Hamiltonian.<n> Token probabilities are extracted using the Born rule, a quadratic measurement operator that couples magnitudes and relative phases.<n>We derive a continuity equation for the latent probability mass, yielding conserved pairwise currents that serve as a built-in diagnostic.
  arXiv  Detail & Related papers  (2026-02-24T23:42:18Z)
• Foundations of Diffusion Models in General State Spaces: A Self-Contained Introduction [54.95522167029998]
  This article is a self-contained primer on diffusion over general state spaces.<n>We develop the discrete-time view (forward noising via Markov kernels and learned reverse dynamics) alongside its continuous-time limits.<n>A common variational treatment yields the ELBO that underpins standard training losses.
  arXiv  Detail & Related papers  (2025-12-04T18:55:36Z)
• Lie symmetries and ghost-free representations of the Pais-Uhlenbeck model [44.99833362998488]
  We investigate the Pais-Uhlenbeck (PU) model, a paradigmatic example of a higher time-derivative theory.<n>Exploiting Lie symmetries in conjunction with the model's Bi-Hamiltonian structure, we construct distinct Poisson bracket formulations.<n>Our approach yields a unified framework for interpreting and stabilising higher time-derivative dynamics.
  arXiv  Detail & Related papers  (2025-05-09T15:16:40Z)
• Hierarchical analytical approach to universal spectral correlations in Brownian Quantum Chaos [44.99833362998488]
  We develop an analytical approach to the spectral form factor and out-of-time ordered correlators in zero-dimensional Brownian models of quantum chaos.
  arXiv  Detail & Related papers  (2024-10-21T10:56:49Z)
• Tensor product random matrix theory [39.58317527488534]
  We introduce a real-time field theory approach to the evolution of correlated quantum systems. We describe the full range of such crossover dynamics, from initial product states to a maximum entropy ergodic state.
  arXiv  Detail & Related papers  (2024-04-16T21:40:57Z)
• Emergent Topology in Many-Body Dissipative Quantum Matter [0.0]
  We study the dissipative dynamics of pseudo-Hermitian many-body quantum systems.<n>We find the same topological features for a wide range of parameters suggesting that they are universal.<n>In the limit of weak coupling to the bath, topological modes govern the approach to equilibrium.
  arXiv  Detail & Related papers  (2023-11-24T18:15:22Z)
• Geometric Neural Diffusion Processes [55.891428654434634]
  We extend the framework of diffusion models to incorporate a series of geometric priors in infinite-dimension modelling. We show that with these conditions, the generative functional model admits the same symmetry.
  arXiv  Detail & Related papers  (2023-07-11T16:51:38Z)
• A unified diagrammatic approach to topological fixed point models [0.0]
  We introduce a systematic mathematical language for describing fixed point models and apply it to the study of topological phases of matter. The framework is reminiscent of state-sum models and lattice topological quantum field theories, but is formalised and unified in terms of tensor networks. In contrast to existing tensor network ansatzes for the study of ground states of topologically ordered phases, the tensor networks in our formalism represent discrete path integrals in Euclidean space-time.
  arXiv  Detail & Related papers  (2020-11-24T12:40:11Z)
• Long-range level correlations in quantum systems with finite Hilbert space dimension [0.0]
  We study the spectral statistics of quantum systems with finite Hilbert spaces. We derive a theorem showing that eigenlevels in such systems cannot be globally uncorrelated.
  arXiv  Detail & Related papers  (2020-10-13T15:49:15Z)
• Models of zero-range interaction for the bosonic trimer at unitarity [91.3755431537592]
  We present the construction of quantum Hamiltonians for a three-body system consisting of identical bosons mutually coupled by a two-body interaction of zero range. For a large part of the presentation, infinite scattering length will be considered.
  arXiv  Detail & Related papers  (2020-06-03T17:54:43Z)
• Discrete aspects of continuous symmetries in the tensorial formulation of Abelian gauge theories [0.0]
  We show that standard identities and theorems for lattice models with $U(1)$ symmetry get re-expressed discretely. We explain the geometrical analogy between the continuous lattice equations of motion and the discrete selection rules of the tensors. We reformulate Noether's theorem for global, local, continuous or discrete Abelian symmetries.
  arXiv  Detail & Related papers  (2020-03-24T17:26:26Z)

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.