Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1002.2061

A Stepwise Planned Approach to the Solution of Hilbert's Sixth Problem. II : Supmech and Quantum Systems

Tulsi Dass

Published Feb 10, 2010• 43 citations
arXivHTMLPDF

Abstract

Supmech, which is noncommutative Hamiltonian mechanics \linebreak (NHM) (developed in paper I) with two extra ingredients : positive observable valued measures (PObVMs) [which serve to connect state-induced expectation values and classical probabilities] and the `CC condition' [which stipulates that the sets of observables and pure states be mutually separating] is proposed as a universal mechanics potentially covering all physical phenomena. It facilitates development of an autonomous formalism for quantum mechanics. Quantum systems, defined algebraically as supmech Hamiltonian systems with non-supercommutative system algebras, are shown to inevitably have Hilbert space based realizations (so as to accommodate rigged Hilbert space based Dirac bra-ket formalism), generally admitting commutative superselection rules. Traditional features of quantum mechanics of finite particle systems appear naturally. A treatment of localizability much simpler and more general than the traditional one is given. Treating massive particles as localizable elementary quantum systems, the Schr$\ddot{o}$dinger wave functions with traditional Born interpretation appear as natural objects for the description of their pure states and the Schr$\ddot{o}$dinger equation for them is obtained without ever using a classical Hamiltonian or Lagrangian. A provisional set of axioms for the supmech program is given.

DOI
10.48550/arxiv.1002.2061

Related papers

Supmech: the Geometro-statistical Formalism Underlying Quantum Mechanics

Tulsi Dass

As the first step in an approach to the solution of Hilbert's sixth problem, a general scheme of mechanics, called `supmech', is developed integrating noncommutative symplectic geometry and noncommutative probability theory in an algebraic framework; it has quantum mechanics (QM) and classical mechanics as special subdisciplines and facilitates an autonomous development of QM and satisfactory treatments of quantum-classical correspondence and quantum measurements (including a straightforward \emph{derivation} of the von Neumann reduction rule). The scheme associates, with every `experimentally accessible' system, a symplectic superalgebra and operates essentially as noncommutative Hamiltonian mechanics incorporating the extra condition that the sets of observables and pure states be mutually separating. The latter condition serves to smoothly connect the algebraically defined quantum systems to ilbert space-based ones; the rigged Hilbert space - based Dirac bra-ket formalism naturally appears. The formalism has a natural place for commutative superselection rules. Noncommutative analogues of objects like the momentum map and the Poincar$\acute{e}$-Cartan form are introduced and some related symplectic geometry developed.

arXiv:0807.3604•Jul 23, 2008•1 citation

Universality of quantum symplectic structure

Tulsi Dass

Operating in the framework of `supmech' (a scheme of mechanics which aims at providing a concrete setting for the axiomatization of physics and probability theory as required in Hilbert's sixth problem; integrating noncommutative symplectic geometry and noncommutative probability in an algebraic setting, it associates, with every `experimentally accessible' system, a symplectic algebra and operates essentially as noncommutative Hamiltonian mechanics with some extra sophistication in the treatment of states) it is shown that interaction between systems can be consistently described only if either (i) all system algebras are commutative or (ii) all system algebras are noncommutative and have a quantum symplectic structure characterized by a UNIVERSAL Planck type real-valued constant of the dimension of action.

arXiv:0709.4312•Sep 27, 2007•1 citation

Consistent Quantum-Classical Interaction and Solution of the Measurement Problem in Quantum Mechanics

Tulsi Dass

Supmech, an algebraic scheme of mechanics integrating noncommutative symplectic geometry and noncommutative probability, subsumes quantum and classical mechanics and permits consistent treatment of interaction of quantum and classical systems. Quantum measurements are treated in this framework; the von Neumann reduction rule (generally postulated) is derived and interpreted in physical terms.

arXiv:quant-ph/0612224•Dec 29, 2006•2 citations

Quantum mechanics revisited (v.3)

Jean Claude Dutailly

The purpose of the paper is to study the foundations of the main axioms of Quantum Mechanics. From a general study of the mathematical properties of the models used in Physics to represent systems, we prove that the states of a system can be represented in a Hilbert space, that a self-adjoint operator is associated to any observable, that the result of a measure must be the eigen value of the operator and appear with the usual probability. Furthermore an equivalent of the Wigner's theorem holds, which leads to the Schr{ö}dinger equation. These results are based on well known mathematics, and do not involve any specific hypothesis in Physics. They validate and explain the methods currently used, which are made simpler and safer, and open new developments. In the third edition of this paper developments have been added about the estimation of physical anomalies.

arXiv:1301.0885•Jan 5, 2013•0 citations

Quantum mechanical density matrix

J. W. Halleý

For systems which obey quantum mechanics, the formulation of the problem of treating large numbers of particles is, of course, somewhat different than it is for classical systems. The microscopic description of the system is provided by a wave function which (in the absence of spin) is a function of the classical coordinates { q i }. The mathematical model is provided by a Hamiltonian operator H which is often obtained from the corresponding classical Hamiltonian by the replacement p i → ( ħ /i)(∂/∂ q i ). In other cases the form of the Hamiltonian operator is simply postulated. The microscopic dynamics are provided by the Schrödinger equation i ħ (∂Ψ/∂ t ) = H Ψ which requires as initial condition the knowledge of the wave function Ψ({ q i }, t ) at some initial time t 0 . (Boundary conditions on Ψ({ q i }, t ) must be specified as part of the description of the model as well.) The results of experiments in quantum mechanics are characterized by operators, usually obtained, like the Hamiltonian, from their classical forms and termed observables. Operators associated with observables must be Hermitian. In general, the various operators corresponding to observables do not commute with one another. It is possible to find sets of commuting operators whose mutual eigenstates span the Hilbert space in which the wave function is confined by the Schrödinger equation and the boundary conditions. A set of such (time independent) eigenstates, termed ψ ν ( q ), is a basis for the Hilbert space.

Cambridge University Press eBooks•Nov 16, 2006•0 citations

Postulates for General Quantum Mechanics

Irving E. Segal

We present in this paper a set of postulates for a physical system and deduce from these the main general features of the quantum theory of stationary states. Our theory is strictly operational in the sense that only the observables of the physical system are involved in the postulates. The collection of all bounded self-adj oint operators on a Hilbert space, which has previously been used as a mathematical model for the observables in quantum mechanics, satisfy the postulates, as do a variety of considerably more general mathematical structures. We show that for any two observables there exists a pure state of the system (this term being defined essentially as done by von Neumann and Weyl) in which they have different (expectation) values. Each observable has a spectral resolution, and a state of the system induces, in a natural way, a probability distribution on the range of spectral values of each observable. A number of observables are simultaneously observable if and only if they commute (although the product of two observables is not defined in general, a reasonable notion of commutativity can be introduced). Inasmuch as Hilbert space plays no role in our theory, our proofs are necessarily of a different character from the proofs of these results for the case of the system of all bounded selfadjoint operators. Actually, Hilbert space appears to be somewhat inadequate as a state space even for the latter system, in that there exist pure states of the system which cannot be represented in the usual way by rays of the Hilbert space. The postulates are partly algebraic and partly metric. The algebraic postulates require essentially that an observable can be multiplied by real numbers and raised to integral powers, and that any two observables can be added. It is assumed that the usual algebraic laws are satisfied so that (1) the observables can be treated like the elements of a linear space, and (2) the usual rules for dealing with polynomials in one variable with real coefficients remain valid when the variable is replaced by an observable. It is not assumed that two observables have a product. The metric postulates require that for each observable there be defined a kind of maximum numerical value, which plays the part of a norm, and has various properties in accord with its physical significance. While this norm is quite essential to the development of the theory, an interesting consequence of the theory is that the norm can be (uniquely) defined in a purely algebraic fashion. This shows that the objective features of a physical system,-the spectral values and probability distributions of the observables, and the pure states,-are completely determined by the algebra of observables, i.e., by the rules for addition, scalar multiplication, and powers, of observables.

Annals of Mathematics•Oct 1, 1947•422 citations
Supmech, which is noncommutative Hamiltonian mechanics \linebreak (NHM) (developed in paper I) with two extra ingredients : positive observable valued measures (PObVMs) [which serve to connect state-induced expectation values and classical probabilities] and the `CC condition' [which stipulates that the sets of observables and pure states be mutually separating] is proposed as a universal mechanics potentially covering all physical phenomena. It facilitates development of an autonomous formalism for quantum mechanics. Quantum systems, defined algebraically as supmech Hamiltonian systems with non-supercommutative system algebras, are shown to inevitably have Hilbert space based realizations (so as to accommodate rigged Hilbert space based Dirac bra-ket formalism), generally admitting commutative superselection rules. Traditional features of quantum mechanics of finite particle systems appear naturally. A treatment of localizability much simpler and more general than the traditional one is given. Treating massive particles as localizable elementary quantum systems, the Schro¨\ddot{o}o¨dinger wave functions with traditional Born interpretation appear as natural objects for the description of their pure states and the Schro¨\ddot{o}o¨dinger equation for them is obtained without ever using a classical Hamiltonian or Lagrangian. A provisional set of axioms for the supmech program is given.
As the first step in an approach to the solution of Hilbert's sixth problem, a general scheme of mechanics, called `supmech', is developed integrating noncommutative symplectic geometry and noncommutative probability theory in an algebraic framework; it has quantum mechanics (QM) and classical mechanics as special subdisciplines and facilitates an autonomous development of QM and satisfactory treatments of quantum-classical correspondence and quantum measurements (including a straightforward \emph{derivation} of the von Neumann reduction rule). The scheme associates, with every `experimentally accessible' system, a symplectic superalgebra and operates essentially as noncommutative Hamiltonian mechanics incorporating the extra condition that the sets of observables and pure states be mutually separating. The latter condition serves to smoothly connect the algebraically defined quantum systems to ilbert space-based ones; the rigged Hilbert space - based Dirac bra-ket formalism naturally appears. The formalism has a natural place for commutative superselection rules. Noncommutative analogues of objects like the momentum map and the Poincareˊ\acute{e}eˊ-Cartan form are introduced and some related symplectic geometry developed.
Operating in the framework of `supmech' (a scheme of mechanics which aims at providing a concrete setting for the axiomatization of physics and probability theory as required in Hilbert's sixth problem; integrating noncommutative symplectic geometry and noncommutative probability in an algebraic setting, it associates, with every `experimentally accessible' system, a symplectic algebra and operates essentially as noncommutative Hamiltonian mechanics with some extra sophistication in the treatment of states) it is shown that interaction between systems can be consistently described only if either (i) all system algebras are commutative or (ii) all system algebras are noncommutative and have a quantum symplectic structure characterized by a UNIVERSAL Planck type real-valued constant of the dimension of action.
The purpose of the paper is to study the foundations of the main axioms of Quantum Mechanics. From a general study of the mathematical properties of the models used in Physics to represent systems, we prove that the states of a system can be represented in a Hilbert space, that a self-adjoint operator is associated to any observable, that the result of a measure must be the eigen value of the operator and appear with the usual probability. Furthermore an equivalent of the Wigner's theorem holds, which leads to the Schr{ö}dinger equation. These results are based on well known mathematics, and do not involve any specific hypothesis in Physics. They validate and explain the methods currently used, which are made simpler and safer, and open new developments. In the third edition of this paper developments have been added about the estimation of physical anomalies.
For systems which obey quantum mechanics, the formulation of the problem of treating large numbers of particles is, of course, somewhat different than it is for classical systems. The microscopic description of the system is provided by a wave function which (in the absence of spin) is a function of the classical coordinates { q i }. The mathematical model is provided by a Hamiltonian operator H which is often obtained from the corresponding classical Hamiltonian by the replacement p i → ( ħ /i)(∂/∂ q i ). In other cases the form of the Hamiltonian operator is simply postulated. The microscopic dynamics are provided by the Schrödinger equation i ħ (∂Ψ/∂ t ) = H Ψ which requires as initial condition the knowledge of the wave function Ψ({ q i }, t ) at some initial time t 0 . (Boundary conditions on Ψ({ q i }, t ) must be specified as part of the description of the model as well.) The results of experiments in quantum mechanics are characterized by operators, usually obtained, like the Hamiltonian, from their classical forms and termed observables. Operators associated with observables must be Hermitian. In general, the various operators corresponding to observables do not commute with one another. It is possible to find sets of commuting operators whose mutual eigenstates span the Hilbert space in which the wave function is confined by the Schrödinger equation and the boundary conditions. A set of such (time independent) eigenstates, termed ψ ν ( q ), is a basis for the Hilbert space.
We present in this paper a set of postulates for a physical system and deduce from these the main general features of the quantum theory of stationary states. Our theory is strictly operational in the sense that only the observables of the physical system are involved in the postulates. The collection of all bounded self-adj oint operators on a Hilbert space, which has previously been used as a mathematical model for the observables in quantum mechanics, satisfy the postulates, as do a variety of considerably more general mathematical structures. We show that for any two observables there exists a pure state of the system (this term being defined essentially as done by von Neumann and Weyl) in which they have different (expectation) values. Each observable has a spectral resolution, and a state of the system induces, in a natural way, a probability distribution on the range of spectral values of each observable. A number of observables are simultaneously observable if and only if they commute (although the product of two observables is not defined in general, a reasonable notion of commutativity can be introduced). Inasmuch as Hilbert space plays no role in our theory, our proofs are necessarily of a different character from the proofs of these results for the case of the system of all bounded selfadjoint operators. Actually, Hilbert space appears to be somewhat inadequate as a state space even for the latter system, in that there exist pure states of the system which cannot be represented in the usual way by rays of the Hilbert space. The postulates are partly algebraic and partly metric. The algebraic postulates require essentially that an observable can be multiplied by real numbers and raised to integral powers, and that any two observables can be added. It is assumed that the usual algebraic laws are satisfied so that (1) the observables can be treated like the elements of a linear space, and (2) the usual rules for dealing with polynomials in one variable with real coefficients remain valid when the variable is replaced by an observable. It is not assumed that two observables have a product. The metric postulates require that for each observable there be defined a kind of maximum numerical value, which plays the part of a norm, and has various properties in accord with its physical significance. While this norm is quite essential to the development of the theory, an interesting consequence of the theory is that the norm can be (uniquely) defined in a purely algebraic fashion. This shows that the objective features of a physical system,-the spectral values and probability distributions of the observables, and the pure states,-are completely determined by the algebra of observables, i.e., by the rules for addition, scalar multiplication, and powers, of observables.