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:2109.07418 · Proceedings of the National Academy of Sciences

Axioms for the category of Hilbert spaces

Chris Heunen, Andre Kornell

Published Feb 25, 2022• 3 citations
arXivHTMLPDF

Abstract

Significance Hilbert spaces and their operators are the mathematical foundation of quantum mechanics. The problem of reconstructing this foundation from first principles has been open for nearly a century. What is mathematically special about Hilbert spaces and their operators? This paper gives a categorical axiomatization. Unlike previous partial results of this type, the axioms do not presuppose probabilities, complex amplitudes, or continuity and are not limited to finite dimension.

DOI
10.1073/pnas.2117024119

Related papers

Seven Principles of Quantum Mechanics

Igor Vasil'evich Volovich

The list of basic axioms of quantum mechanics as it was formulated by von Neumann includes only the mathematical formalism of the Hilbert space and its statistical interpretation. We point out that such an approach is too general to be considered as the foundation of quantum mechanics. In particular in this approach any finite-dimensional Hilbert space describes a quantum system. Though such a treatment might be a convenient approximation it can not be considered as a fundamental description of a quantum system and moreover it leads to some paradoxes like Bell's theorem. I present a list from seven basic postulates of axiomatic quantum mechanics. In particular the list includes the axiom describing spatial properties of quantum system. These axioms do not admit a nontrivial realization in the finite-dimensional Hilbert space. One suggests that the axiomatic quantum mechanics is consistent with local realism.

arXiv:quant-ph/0212126•Dec 22, 2002•15 citations

Axiomatising the dagger category of complex Hilbert spaces

Jan Paseka, Thomas Vetterlein

We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of objecs, two further ones deal with the decomposition of objects, and a final axiom expresses a symmetry property. The categorical reconstruction of complex Hilbert spaces addresses foundational issues in quantum physics. We present a simplified alternative to recent characterisations.

math.CTCross-listedarXiv:2511.15410•Nov 20, 2025•0 citations

Mathematical Foundations of Quantum Mechanics

Fumitomo Maeda

Although• quantum mechanics has achieved great success in the explanation of physical phenomena, the mathematics used in quantum mechanics is not rigorous.Unrigorous treatments occur in the case of continuous spectrum.In a Hilbert • space, let A be a self-adjoint operator.When we define the eigenvalue and the eigenelement by the ' ' relation Af=J.f, (1) ' ' h d -. -f(q)=).f(q)2m dq has solutions 2,ri f(q)=ce"Aq for any ;.., But these are not quadratically integrable.E. Hellinger and H. Weyi< 0 have already investigated the problem of continuous spectrum and introduced the " eigendifferential."But they are concerned with a special problem, i. e. bounded quadratic forms and solutions of differential equation.In respect of generality, they do not satisfy.< 2 > E. Fues< 3 > and some other writers<" have used this conception " eigendifferential " in quantum mechanics.But the treatments are either complicated or not rigorous.J. v. Neumann< 5 > has proved that in Hilbert space, for any selfadjoint operator A, there exists a resolution of identity E(;..) such that Af= J:and he has applied this theory to quantum mechanics.Although his theory gave a rigorous mathematical foundation to quantum mechanics, it did not give any interpretation to the representation theory of Dirac's form.Recently I investigated the "theory of vector-valued set functions."This theory removes the difficulties in the treatement of continuous spectrum, and gives a rigorous interpretation to the representation theory.< 5 > The vector-valued set function q(U) is a function of set U, and its functional value is an element (vector) in the Hilbert ,space, (1) E. Hellinger [l], 231-271.H. Weyl [1], 238-251.(2) T. Carlemann used this conception "eigendifferential" in the treatise of singular integral equations.Cf.T. Carlemann [1].(3) E. Fues [1], 295-303.(4) For example, L. de Broglie [2], 140-159.(5) J. v. Neumann [1], 53-121.(6) F. Maeda [2], [5], [6].A summary of the theory of vector-valued set functions is given in the first part Qf the present paper.(1) G. Temple has formulated a principle of quantum theory in which projective operators are given priority over self-adjoint operators.(C(.G. Temple [1)).But. the .whole discussion differs from that of my present paper.

Hiroshima Mathematical Journal•Jan 1, 1937•48 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

The mathematics of quantum mechanics I: finite dimension

Michel Le Bellac

The superposition principle is a founding principle of quantum mechanics; we have already made use of it in interpreting the Young's slit experiment. Quantum mechanics is a linear theory, and so it is natural that vector spaces play an important role in it. We shall see that a physical state is represented mathematically by a vector in a space whose characteristics we shall define; this is called the space of states . A second founding principle, which can also be deduced from the Young's slit experiment, is the existence of probability amplitudes. These probability amplitudes will be represented mathematically by scalar products defined on the space of states. In the theory of waves, the use of complex numbers is just a convenience, but in quantum mechanics the probability amplitudes are fundamentally complex numbers – the scalar product will a priori be a complex number. Physical properties like momentum, position, energy, and so on will be represented by operators acting in the space of states. In this chapter we shall introduce the essential properties of Hilbert spaces, that is, vector spaces on which a positive-definite scalar product is defined, and we shall limit ourselves to the case of finite dimension. This restriction will be lifted later on, because the space of states is in general of infinite dimension. The mathematical theory of Hilbert spaces of infinite dimension is much more complicated than that of spaces of finite dimension, and we shall put off studying them until Chapter 7. The reader familiar with vector spaces of finite dimension and operators in such spaces can proceed directly to Chapter 3 after reviewing the notation.

Cambridge University Press eBooks•Mar 23, 2006•0 citations

An Axiomatic Approach to the Formalism of Quantum Mechanics. I.

Eduard Prugovečki

An axiomatic formulation of a quantum mechanical formalism is given. The formulation is not in terms of objects associated with the Hilbert space, but in terms of a different kind of objects for which the name ``complex probability measures'' has been chosen. It is shown that the conventional Hilbert-space formalism obeys the given axioms. A few consequences of the axioms are investigated, some of which are found useful in the second part of this work.

Journal of Mathematical Physics•Jun 1, 1966•16 citations
Significance Hilbert spaces and their operators are the mathematical foundation of quantum mechanics. The problem of reconstructing this foundation from first principles has been open for nearly a century. What is mathematically special about Hilbert spaces and their operators? This paper gives a categorical axiomatization. Unlike previous partial results of this type, the axioms do not presuppose probabilities, complex amplitudes, or continuity and are not limited to finite dimension.
The list of basic axioms of quantum mechanics as it was formulated by von Neumann includes only the mathematical formalism of the Hilbert space and its statistical interpretation. We point out that such an approach is too general to be considered as the foundation of quantum mechanics. In particular in this approach any finite-dimensional Hilbert space describes a quantum system. Though such a treatment might be a convenient approximation it can not be considered as a fundamental description of a quantum system and moreover it leads to some paradoxes like Bell's theorem. I present a list from seven basic postulates of axiomatic quantum mechanics. In particular the list includes the axiom describing spatial properties of quantum system. These axioms do not admit a nontrivial realization in the finite-dimensional Hilbert space. One suggests that the axiomatic quantum mechanics is consistent with local realism.
We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of objecs, two further ones deal with the decomposition of objects, and a final axiom expresses a symmetry property. The categorical reconstruction of complex Hilbert spaces addresses foundational issues in quantum physics. We present a simplified alternative to recent characterisations.
Although• quantum mechanics has achieved great success in the explanation of physical phenomena, the mathematics used in quantum mechanics is not rigorous.Unrigorous treatments occur in the case of continuous spectrum.In a Hilbert • space, let A be a self-adjoint operator.When we define the eigenvalue and the eigenelement by the ' ' relation Af=J.f, (1) ' ' h d -. -f(q)=).f(q)2m dq has solutions 2,ri f(q)=ce"Aq for any ;.., But these are not quadratically integrable.E. Hellinger and H. Weyi< 0 have already investigated the problem of continuous spectrum and introduced the " eigendifferential."But they are concerned with a special problem, i. e. bounded quadratic forms and solutions of differential equation.In respect of generality, they do not satisfy.< 2 > E. Fues< 3 > and some other writers<" have used this conception " eigendifferential " in quantum mechanics.But the treatments are either complicated or not rigorous.J. v. Neumann< 5 > has proved that in Hilbert space, for any selfadjoint operator A, there exists a resolution of identity E(;..) such that Af= J:and he has applied this theory to quantum mechanics.Although his theory gave a rigorous mathematical foundation to quantum mechanics, it did not give any interpretation to the representation theory of Dirac's form.Recently I investigated the "theory of vector-valued set functions."This theory removes the difficulties in the treatement of continuous spectrum, and gives a rigorous interpretation to the representation theory.< 5 > The vector-valued set function q(U) is a function of set U, and its functional value is an element (vector) in the Hilbert ,space, (1) E. Hellinger [l], 231-271.H. Weyl [1], 238-251.(2) T. Carlemann used this conception "eigendifferential" in the treatise of singular integral equations.Cf.T. Carlemann [1].(3) E. Fues [1], 295-303.(4) For example, L. de Broglie [2], 140-159.(5) J. v. Neumann [1], 53-121.(6) F. Maeda [2], [5], [6].A summary of the theory of vector-valued set functions is given in the first part Qf the present paper.(1) G. Temple has formulated a principle of quantum theory in which projective operators are given priority over self-adjoint operators.(C(.G. Temple [1)).But. the .whole discussion differs from that of my present paper.
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.
The superposition principle is a founding principle of quantum mechanics; we have already made use of it in interpreting the Young's slit experiment. Quantum mechanics is a linear theory, and so it is natural that vector spaces play an important role in it. We shall see that a physical state is represented mathematically by a vector in a space whose characteristics we shall define; this is called the space of states . A second founding principle, which can also be deduced from the Young's slit experiment, is the existence of probability amplitudes. These probability amplitudes will be represented mathematically by scalar products defined on the space of states. In the theory of waves, the use of complex numbers is just a convenience, but in quantum mechanics the probability amplitudes are fundamentally complex numbers – the scalar product will a priori be a complex number. Physical properties like momentum, position, energy, and so on will be represented by operators acting in the space of states. In this chapter we shall introduce the essential properties of Hilbert spaces, that is, vector spaces on which a positive-definite scalar product is defined, and we shall limit ourselves to the case of finite dimension. This restriction will be lifted later on, because the space of states is in general of infinite dimension. The mathematical theory of Hilbert spaces of infinite dimension is much more complicated than that of spaces of finite dimension, and we shall put off studying them until Chapter 7. The reader familiar with vector spaces of finite dimension and operators in such spaces can proceed directly to Chapter 3 after reviewing the notation.