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:2211.12742

Spectral theorem for dummies: A pedagogical discussion on quantum probability and random variable theory

Andrea Aiello

Published Nov 23, 2022• 1 citation
arXivHTMLPDF

Abstract

John von Neumann's spectral theorem for self-adjoint operators is a cornerstone of quantum mechanics. Among other things, it also provides a connection between expectation values of self-adjoint operators and expected values of real-valued random variables. This paper presents a plain-spoken formulation of this theorem in terms of Dirac's bra and ket notation, which is based on physical intuition and provides techniques that are important for performing actual calculations. The goal is to engage students in a constructive discussion about similarities and differences in the use of random variables in classical and quantum mechanics. Special emphasis is given on operators that are simple functions of noncommuting self-adjoint operators. The presentation is self-contained and includes detailed calculations for the most relevant results.

DOI
10.48550/arxiv.2211.12742

Related papers

Self-adjoint Operators as Functions II: Quantum Probability

Andreas Doering, Barry Dewitt

In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.

arXiv:1210.5747•Oct 21, 2012•7 citations

Intermediate Spectral Theory and Quantum Dynamics

César R. de Oliveira

The spectral theory of linear operators plays a key role in the mathematical formulation of quantum theory. Furthermore, such a rigorous mathematical foundation leads to a more profound insight into the nature of quantum mechanics. This textbook provides a concise and comprehensible introduction to the spectral theory of (unbounded) self-adjoint operators and its application in quantum dynamics. The book places emphasis on the symbiotic relationship of these two domains by (1) presenting the basic mathematics of nonrelativistic quantum mechanics of one particle, i.e., developing the spectral theory of self-adjoint operators in infinite-dimensional Hilbert spaces from the beginning, and (2) giving an overview of many of the basic functional aspects of quantum theory, from its physical principles to the mathematical models. The book is intended for graduate (or advanced undergraduate) students and researchers interested in mathematical physics. It starts with linear operator theory, spectral questions and self-adjointness, and ends with the effect of spectral type on the large time behaviour of quantum systems. Many examples and exercises are included that focus on quantum mechanics.

Birkhäuser Basel eBooks•Jan 1, 2009•134 citations

Mathematical Formalism of Quantum Mechanics

Reinhold A. Bertlmann, Nicolai Friis

Abstract In this chapter we present the mathematical framework of describing wave functions as vectors in a Hilbert space and observables as Hermitian operators on such a vector space. We describe the mathematical formulation of these ideas for finite and infinite-dimensional cases via the Dirac notation, and discuss the example of the Hilbert space of photon polarization. Important classes of linear operators on Hilbert spaces are discussed, including projectors, Hermitian and self-adjoint operators, as well as unitary operators. As an important centre piece for the mathematical language of quantum mechanics we present the spectral theorem. We discuss the subtleties of this framework in infinite dimensions, giving a brief overview of the distributional aspects of quantum mechanics and the conceptually important problem of finding self-adjoint extensions via the Weyl-von Neumann theorem

•Sep 7, 2023•0 citations

Basic Tools For Quantum Mechanics

Robert Alicki, M. Fannes

This chapter reminds, without entering into details, the main mathematical concepts and results relevant for finite system quantum mechanics. The basic postulates single out a Hilbert space of wave functions with self-adjoint linear operators corresponding to observables as was originally discovered by von Neumann. The chapter connects the contemporary terminology of linear Hilbert space operators with quantum physics. Important concepts like linear operators, measures, self-adjointness, spectral measures, density matrices, and tensor products are discussed and illustrated in the light of observables, probability for quantum systems and composite systems. A first example of a useful algebra of observables, the Weyl algebra, is described in detail and linked to the classical phase space of a point particle.

Oxford University Press eBooks•Jul 12, 2001•0 citations

Von Neumann's Minimax Theorem for Continuous Quantum Games

Luigi Accardi, Andreas Boukas

The concept of a classical player, corresponding to a classical random variable, is extended to include quantum random variables in the form of self adjoint operators on infinite dimensional Hilbert space.A quantum version of Von Neumann's Minimax theorem for infinite dimensional (or continuous) games is proved.

arXiv:2006.11502•Journal of Stochastic Analysis•Jun 18, 2020•2 citations

Quantum Scattering Theory

Harish Parthasarathy

After a fairly rigorous mathematical formulation of quantum mechanics based on transformation theory by Dirac in which he cast Heisenberg’s matrix mechanics and Schrodinger’s wave mechanics on a common operator theoretic setting and successfully explained their equivalence, it was John Von Neumann in monumental treatise “Mathematical foundations of quantum mechanics” who proved the spectral theorem for all self adjoint operators in an infinite dimensional Hilbert space and thereby cast the masterly work of Dirac “The principles of quantum mechanics“ in a way that even pure mathematicians were able to understand. Dirac in his book had also indicated the work of Jordan and Heisenberg on quantum scattering theory but without the modern method of wave operators. Lippmann and Schwinger gave a more rigorous discussion of scattering theory via the introduction of free particle states and scattered states. Actually, free particle states are not square integrable and hence cannot strictly be termed as states. However by the use of wave operators the equations of Lippmann and Schwinger could be made rigorous using the setting of the continuous spectrum of a self-adjoint opearator introduced by Von Neumann, Crucial to this development is the notion of the domain of definition of an unbounded operator. This leads to the fact that the wave operators that appear in scattering theory are not defined on all vectors but usually on those vectors that belong to the continuous spectrum of the free particle Hamiltonian. Today scattering theory is a well developed subject and the interested reader can get a good grasp of this subject from the books 1 Tosio Kato, “Perturbation theory for linear operators”, Springer. 2 Werner O. Amrein, “Hilbert space methods in quantum mechanics”, CRC press, 2012.

CRC Press eBooks•Sep 14, 2022•7 citations
John von Neumann's spectral theorem for self-adjoint operators is a cornerstone of quantum mechanics. Among other things, it also provides a connection between expectation values of self-adjoint operators and expected values of real-valued random variables. This paper presents a plain-spoken formulation of this theorem in terms of Dirac's bra and ket notation, which is based on physical intuition and provides techniques that are important for performing actual calculations. The goal is to engage students in a constructive discussion about similarities and differences in the use of random variables in classical and quantum mechanics. Special emphasis is given on operators that are simple functions of noncommuting self-adjoint operators. The presentation is self-contained and includes detailed calculations for the most relevant results.
In "Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order" [arXiv:1208.4724], it was shown that self-adjoint operators affiliated with a von Neumann algebra N can equivalently be described as certain real-valued functions on the projection lattice P(N) of the algebra, which we call q-observable functions. Here, we show that q-observable functions can be interpreted as generalised quantile functions for quantum observables interpreted as random variables. More generally, when L is a complete meet-semilattice, we show that L-valued cumulative distribution functions and the corresponding L-quantile functions form a Galois connection. An ordinary CDF can be written as an L-CDF composed with a state. For classical probability, one picks L=B(Ω), the complete Boolean algebra of measurable subsets modulo null sets of a measurable space Ω. For quantum probability, one uses L=P(N), the projection lattice of a nonabelian von Neumann algebra N. Moreover, using some constructions from the topos approach to quantum theory, we show that there is a joint sample space for all quantum observables, despite no-go results such as the Kochen-Specker theorem. Specifically, the spectral presheaf Σ of a von Neumann algebra N, which is not a mere set, but a presheaf (i.e., a 'varying set'), plays the role of the sample space. The relevant meet-semilattice L in this case is the complete bi-Heyting algebra of clopen subobjects of Σ. We show that using the spectral presheaf Σ and associated structures, quantum probability can be formulated in a way that is structurally very similar to classical probability.
The spectral theory of linear operators plays a key role in the mathematical formulation of quantum theory. Furthermore, such a rigorous mathematical foundation leads to a more profound insight into the nature of quantum mechanics. This textbook provides a concise and comprehensible introduction to the spectral theory of (unbounded) self-adjoint operators and its application in quantum dynamics. The book places emphasis on the symbiotic relationship of these two domains by (1) presenting the basic mathematics of nonrelativistic quantum mechanics of one particle, i.e., developing the spectral theory of self-adjoint operators in infinite-dimensional Hilbert spaces from the beginning, and (2) giving an overview of many of the basic functional aspects of quantum theory, from its physical principles to the mathematical models. The book is intended for graduate (or advanced undergraduate) students and researchers interested in mathematical physics. It starts with linear operator theory, spectral questions and self-adjointness, and ends with the effect of spectral type on the large time behaviour of quantum systems. Many examples and exercises are included that focus on quantum mechanics.
Abstract In this chapter we present the mathematical framework of describing wave functions as vectors in a Hilbert space and observables as Hermitian operators on such a vector space. We describe the mathematical formulation of these ideas for finite and infinite-dimensional cases via the Dirac notation, and discuss the example of the Hilbert space of photon polarization. Important classes of linear operators on Hilbert spaces are discussed, including projectors, Hermitian and self-adjoint operators, as well as unitary operators. As an important centre piece for the mathematical language of quantum mechanics we present the spectral theorem. We discuss the subtleties of this framework in infinite dimensions, giving a brief overview of the distributional aspects of quantum mechanics and the conceptually important problem of finding self-adjoint extensions via the Weyl-von Neumann theorem
This chapter reminds, without entering into details, the main mathematical concepts and results relevant for finite system quantum mechanics. The basic postulates single out a Hilbert space of wave functions with self-adjoint linear operators corresponding to observables as was originally discovered by von Neumann. The chapter connects the contemporary terminology of linear Hilbert space operators with quantum physics. Important concepts like linear operators, measures, self-adjointness, spectral measures, density matrices, and tensor products are discussed and illustrated in the light of observables, probability for quantum systems and composite systems. A first example of a useful algebra of observables, the Weyl algebra, is described in detail and linked to the classical phase space of a point particle.
After a fairly rigorous mathematical formulation of quantum mechanics based on transformation theory by Dirac in which he cast Heisenberg’s matrix mechanics and Schrodinger’s wave mechanics on a common operator theoretic setting and successfully explained their equivalence, it was John Von Neumann in monumental treatise “Mathematical foundations of quantum mechanics” who proved the spectral theorem for all self adjoint operators in an infinite dimensional Hilbert space and thereby cast the masterly work of Dirac “The principles of quantum mechanics“ in a way that even pure mathematicians were able to understand. Dirac in his book had also indicated the work of Jordan and Heisenberg on quantum scattering theory but without the modern method of wave operators. Lippmann and Schwinger gave a more rigorous discussion of scattering theory via the introduction of free particle states and scattered states. Actually, free particle states are not square integrable and hence cannot strictly be termed as states. However by the use of wave operators the equations of Lippmann and Schwinger could be made rigorous using the setting of the continuous spectrum of a self-adjoint opearator introduced by Von Neumann, Crucial to this development is the notion of the domain of definition of an unbounded operator. This leads to the fact that the wave operators that appear in scattering theory are not defined on all vectors but usually on those vectors that belong to the continuous spectrum of the free particle Hamiltonian. Today scattering theory is a well developed subject and the interested reader can get a good grasp of this subject from the books 1 Tosio Kato, “Perturbation theory for linear operators”, Springer. 2 Werner O. Amrein, “Hilbert space methods in quantum mechanics”, CRC press, 2012.