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
• 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

• Lie-Algebraic Classical Simulation of Bosonic Systems Beyond Gaussian Dynamics [0.0]
  We make bosonic systems accessible to the Lie-algebraic programme of exact-time classical simulation.<n>We show that unlike in the finite-dimensional spin and fermionic setting treated previously, a finite-dimensional generator algebra alone does not guarantee finite observable dynamics.<n>These results provide a unified formalism for discovering and systematically approxing tractable bosonic quantum dynamics.
  arXiv  Detail & Related papers  (2026-08-17T20:01:15Z)
• Quantum Kolmogorov--Arnold representation theorem for continuous unitary-valued maps [0.0]
  We establish two quantum analogues of the Kolmogorov--Arnold representation theorem for continuous unitary-valued maps.<n>We provide a concrete topological counterexample based on the lifting property of (mathcalSU(2)) to demonstrate that these local representation theorems cannot be globally extended.
  arXiv  Detail & Related papers  (2026-07-03T10:46:32Z)
• Toward Hamiltonian simulations of Maxwell-Chern-Simons theory: constant modes and gauge field truncation [1.8641283062016065]
  Maxwell-Chern-Simons (MCS) theory in $2+1$ dimensions provides a paradigmatic example of a topological gauge theory with both dynamical and topological degrees of freedom.<n>Being analytically solvable in the continuum, it provides an ideal benchmark for understanding how the topological properties of the theory are encoded in a finite-dimensional lattice Hilbert space.
  arXiv  Detail & Related papers  (2026-06-30T18:01:35Z)
• Path integral formulation of finite-dimensional quantum mechanics in discrete phase space [0.0]
  We develop a path integral representation for the dynamics of quantum systems with a finite-dimensional Hilbert space.<n>For Hamiltonians linear in the phase-space coordinates, we show that the fluctuation sum factorizes.<n>We show explicitly that the full entanglement dynamics requires the coherent contribution of all fluctuation sectors of the action.
  arXiv  Detail & Related papers  (2026-04-22T17:04:10Z)
• 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.