Source-linked AI summary
Introduction to Quantum Mechanics
Eduardo J. S. Villaseñor
TL;DR
The paper gives mathematicians a brief introduction to Quantum Mechanics through Segal’s algebraic approach and its Hilbert-space representations. It motivates noncommutative observables through uncertainty relations, develops the Weyl algebra, and notes conditions needed for well-posed dynamics.
Problem
Classical commutative observables cannot accommodate the nonzero lower bound in Heisenberg uncertainty relations, motivating an algebraic framework for Quantum Mechanics.
Method
The paper introduces Segal systems and C∗-algebras, relates classical Poisson brackets to quantum commutators, and discusses Weyl and Hilbert-space representations.
Results
Noncommutative C∗-algebras yield the Heisenberg uncertainty relation Δω(A1)·Δω(A2) ≥ |ω([A1,A2])|/2, while the GNS theorem supplies Hilbert-space representations.
Takeaways & Limitations
Quantum observables can be modeled algebraically, with Hilbert-space representations and the Weyl algebra providing standard realizations for the quantum particle.
Takeaways & Limitations
The dynamical well-posedness result is stated for potentials in a Kato class, and observable evolution is required to be continuous for every state.
Abstract
from arXiv · showhide
The purpose of this contribution is to give a very brief introduction to Quantum Mechanics for an audience of mathematicians. I will follow Segal's approach to Quantum Mechanics paying special attention to algebraic issues. The usual representation of Quantum Mechanics on Hilbert spaces is also discussed.
INTRODUCTION
Quantum Mechanics is presented as a broadly applicable physical theory whose mathematical framework uses Hilbert spaces, self-adjoint operators, and states defined up to phase. The contribution offers mathematicians a brief algebraically focused introduction while pointing to foundational and C∗-algebraic references.
- Quantum Mechanics is intended, in principle, for physical systems ranging from the subatomic world to the whole universe.Its everyday effects are limited because the reduced Planck constant is approximately 10^-34 J·s.
- In the Copenhagen framework, observables are self-adjoint operators on a Hilbert space, while pure states are equivalence classes of unit vectors.Equivalent vectors differ by multiplication by a complex number of unit modulus.
- The mathematical foundations of Quantum Mechanics were formulated completely by von Neumann, while Mackey’s work helped establish Quantum Logic.The contribution also directs readers to introductory and conceptually focused books, including Strocchi and Isham.
- The contribution follows Segal’s approach and is intended as a brief sampler of the mathematical ideas behind Quantum Mechanics.It is based on a talk and is explicitly presented as an introductory taste rather than a replacement for standard books.
PHYSICAL SYSTEMS
Segal’s operational approach defines a physical system through the measurable properties available through concrete physical devices. The system is therefore represented by its family of observables, together with associated states.
- A physical system is defined operationally by the class of physical properties measurable using concrete physical devices.This avoids relying on loosely defined or metaphysical descriptions of physical things.
- The family O of observables provides the mathematical description of a physical system.The set O is endowed with algebraic and metric properties in a mathematical model.
- States form a set S characterized by the results of measurements of all observables in O.
Observables in Classical Mechanics
Classical Mechanics describes observables as real smooth functions on the cotangent-bundle phase space, whose commutative algebra also carries a Poisson structure. Configuration and momentum observables generate familiar mechanical quantities and their brackets.
- The classical phase space T∗C contains all possible position and momentum values, while observables are real smooth functions on T∗C.The discussion restricts the configuration space to smooth cotangent bundles, rather than more general symplectic or Poisson manifolds.
- The classical observable algebra is commutative, associative, and a ∗-algebra, with reality expressed by A = A∗.Its commutative structure is identified as the reason Classical Mechanics lacks an uncertainty principle.
- The symplectic structure gives the observable algebra a Poisson ∗-algebra structure that defines dynamics once the Hamiltonian is specified.The Poisson bracket is also presented as the classical analogue of the quantum commutator.
- Configuration observables have the form Q(f)(q,pa) = f(q), while momentum observables are parameterized by smooth vector fields on C.
- The Poisson brackets of configuration and momentum observables encode their algebraic relations, including {Q(f1),Q(f2)} = 0.These observables include standard position, linear momentum, and angular momentum quantities in Euclidean space.
States in Classical Mechanics
Classical pure states correspond to precisely specified phase-space points, whereas practical uncertainty about a system is represented by probability measures and mixtures. Thus classical observables can be viewed as random variables on a probability space.
- A classical pure state is identified with a phase-space point z = (q,pa), and its observable expectation is ωz(A) = A(q,pa).Such states have zero variance for every observable and represent maximal theoretical measurement accuracy.
- Pure states are characterized by multiplicative state functionals satisfying ω(A1A2) = ω(A1)ω(A2).
- When the exact state cannot be determined, an effective description represents known alternatives with probabilities p and 1 − p.This situation is especially relevant for systems with very large numbers of particles.
- Classical statistical states are represented by probability measures μ on T∗C, which define linear state functionals ωμ on the observable algebra.Pure states correspond to Dirac delta measures concentrated at individual phase-space points.
SYSTEMS IN QUANTUM MECHANICS
Classical Mechanics cannot account for the Heisenberg uncertainty principle, whose nonzero lower bound conflicts with simultaneous infinite-precision measurement of canonical variables. Quantum Mechanics therefore requires reconsidering the properties assigned to physical observables.
- The Heisenberg principle requires the product of two canonical variables’ standard deviations to be at least hbar/2, regardless of the state.This nonzero lower bound conflicts with the classical assumption of simultaneous measurement with infinite precision.
- Because Classical Mechanics permits simultaneous infinite-precision measurement, its observable structure cannot reproduce the uncertainty relation.
- Modeling Nature therefore requires reconsidering the properties that the observables of a physical system must satisfy.
Observables in Quantum Mechanics
Segal’s postulates specify a minimal real Banach-space structure for physical observables, including continuous squaring and norm conditions. The paper restricts attention to special Segal systems arising as self-adjoint parts of unital C*-algebras.
- Segal’s postulates require observables to form a real linear Banach space with continuous squaring and specified norm identities.The postulates include ||A^2|| = ||A||^2 and ||A^2 − B^2|| ≤ max(||A^2||,||B^2||).
- Operationally, the norm of an observable represents its maximum numerical value, while bounded observables support linear combinations as observables.
- Special Segal systems are the self-adjoint elements of a unital associative C*-algebra generated by those elements.The paper assumes physical systems are special rather than exceptional Segal systems.
States in Quantum Mechanics
States in the algebraic formulation are normalized positive functionals, with observables interpreted statistically through spectral measures. Hilbert-space representations realize these abstractions, while commutativity characterizes simultaneous observability and noncommutativity yields uncertainty relations.
- States are normalized positive linear functionals on a C*-algebra that separate observables.Positivity means ω(A* A) ≥ 0, and normalization means ω(1) = 1.
- A collection of observables is simultaneously observable exactly when the C*-algebra it generates is commutative.In the commutative case, the algebra is represented by real-valued continuous functions on its compact Hausdorff spectrum.
- For any two observables, their standard deviations satisfy ∆ω(A1)·∆ω(A2) ≥ |ω([A1,A2])|/2.The commutator [A1,A2] = A1A2 − A2A1 ties the uncertainty relation to noncommutativity.
- For an observable A, possible measurement values lie in its spectrum σ(A), with probabilities determined by the state-dependent measure µω,A.
- Even pure states have non-Dirac spectral measures for non-abelian algebras, so quantum statistical interpretation cannot be removed by restricting to pure states.
- C*-algebra representations realize observables as bounded self-adjoint Hilbert-space operators, while unit vectors define pure states.The GNS theorem constructs a Hilbert-space representation from every state, and cyclic representations are irreducible exactly for pure states.
- Density matrices define generally non-pure states as convex combinations of vector states, and purity occurs exactly when the density operator is one-dimensional.
THE QUANTUM PARTICLE AND THE WEYL ALGEBRA
The paper replaces the unbounded Heisenberg algebra with the bounded Weyl C∗-algebra, then characterizes its regular irreducible Hilbert-space representations. This provides an algebraic framework while retaining the usual Schrödinger realization.
- Quantization: Dirac’s quantization rules map classical observables linearly and relate Poisson brackets to quantum commutators.The correspondence requires [Â1,Â2] = −iℏ Â3 whenever {A1,A2} = A3.
- Heisenberg algebra: The Heisenberg algebra fails the Segal scheme because position and momentum cannot both be bounded self-adjoint observables.The relation ||X||||P|| ≥ n/2 for every n prevents both norms from being finite.
- Weyl algebra: The Weyl algebra resolves this problem by generating bounded unitary elements U(α) and V(β) obeying exponentiated commutation relations.Its generators satisfy U(α)V(β) = V(β)U(α)exp(−iαβ) and have norm one.
- Weyl algebra: The Weyl C∗-algebra is the norm completion of the Weyl algebra and is taken to characterize the quantum particle.This supplies the operational C∗-algebraic system used for the particle.
- Representations: All regular irreducible representations of the Weyl C∗-algebra on separable Hilbert spaces are unitarily equivalent.Regularity requires strong continuity of the one-parameter unitary families associated with U and V.
- Representations: The Schrödinger representation realizes the Weyl algebra on L2(R), with position acting multiplicatively and momentum as a derivative operator.The resulting position and momentum operators are unbounded and densely defined.
ALGEBRAIC DYNAMICS
Algebraic dynamics describes time evolution as a weakly continuous one-parameter group of automorphisms of the observable C∗-algebra. Stable Hilbert-space representations implement this evolution unitarily, while the Hamiltonian and Heisenberg and Schrödinger equations express its dynamics.
- Algebraic dynamics: The time-translation assumptions keep the observable algebra fixed while mapping each observable to its same-type measurement at another time.The map αt is a ∗-automorphism, so it preserves algebraic properties.
- Algebraic dynamics: An algebraic dynamical system is a C∗-algebra together with automorphisms satisfying identity, composition, and weak-continuity conditions.Specifically, α0 = id, αt1 ◦ αt2 = αt1+t2, and t 7→ ω(αt(A)) is continuous.
- Dynamics and representations: A representation is stable when it and its time-transformed representation are unitarily equivalent.The implementing unitary satisfies ρ(αt(A)) = U(t)−1ρ(A)U(t) for every observable.
- Dynamics and representations: Stone’s theorem yields a self-adjoint Hamiltonian H with U(t) = exp(−itH), and H generally depends on the representation and is unbounded.The Hamiltonian need not belong to the C∗-algebra generated by physical observables.
- Heisenberg equation: The Heisenberg equation evolves observables from their initial values through conjugation by the unitary evolution.For A0 represented by Â0, the time-t observable is Â(t) = U(t)−1Â0U(t).
- Schrödinger equation: The Schrödinger equation gives the equivalent state-based evolution, with ψ(t) = U(t)ψ0 describing the time-dependent vector state.It describes the time evolution of the initial vector state ψ0.
- Quantum particle in a potential: For a particle in a potential, the Heisenberg equations reproduce Hamilton-like equations, but defining the quantum Hamiltonian requires self-adjointness.A symmetric operator alone may have several or no self-adjoint extensions.
- Quantum particle in a potential: For potentials in a Kato class, the Schrödinger Cauchy problem is well posed and has a unique solution global in time.The result applies to the stated class of potentials and uses Kato’s theorems.