Mathematical Quantum Mechanics

Mathematical quantum mechanics asks which objects make a physical argument well defined and which hypotheses make its conclusion true. An unbounded operator includes its domain; convergence names a topology; an observable comes with a spectral measure; and an infinite-system limit requires control that a finite matrix calculation cannot supply. This volume develops that structure through proofs, model calculations, counterexamples, and exercises.

The 21 chapters connect the Hilbert-space description of individual systems to measurement, scattering, operator algebras, and many-body limits. They also explain the scope of foundational theorems, the mathematical status of path integrals, and what computer verification can establish. These subjects share tools, but they do not form one compulsory linear sequence.

Enter the volume

Begin with What Counts as Rigorous to distinguish a formal calculation, a theorem, and a controlled approximation. The guide to reading rigorous quantum mechanics explains how to identify a theorem’s assumptions and follow its proof. The preliminaries collect the functional-analysis, measure-theory, and topology capabilities used later. Return to them when a proof needs a particular tool; completing every preliminary topic is not a condition for entering a concrete example.

Readers coming from finite-dimensional quantum mechanics can start with Hilbert-space quantum mechanics and states, density operators, and trace. Readers already comfortable with Hilbert spaces can enter at operators, domains, and spectra. Each article identifies the prerequisite capability it actually uses.

For a sustained sequence, use the Mathematical Quantum Mechanics Roadmap. It connects the chapters through questions about Hamiltonians, probabilities and state updates, canonical variables and symmetry, and infinite-system limits.

Operators, observables, and closed dynamics

The central route begins by separating boundedness, closedness, symmetry, self-adjointness, and essential self-adjointness. Those distinctions determine whether a proposed Hamiltonian generates a unique unitary evolution and whether a formal eigenvalue calculation represents an observable.

Continue from operator domains to spectral measures and observables and dynamics and Hamiltonians. The spectral theorem constructs functions of an observable; Stone’s theorem connects a strongly continuous unitary group to its self-adjoint generator. The later dynamics pages examine time-dependent generators, form methods, product formulas, and convergence, with their different hypotheses kept visible.

The canonical commutation relations then connect unbounded generators to bounded Weyl relations. Regularity, irreducibility, and a finite number of canonical degrees of freedom are substantive conditions in the Stone–von Neumann theorem. Rigged Hilbert spaces explain how generalized eigenvectors and distributional kernels fit around the Hilbert-space framework. A delta-normalized eigenfunction is not a normalizable state.

States, measurements, and composite systems

The density-operator chapter develops trace ideals, normal states, and convergence of state descriptions. From there, measurement theory separates outcome probabilities from the state change described by an instrument. Joint measurability, dilation, repeatability, and disturbance consequently answer different questions.

Composite systems and entanglement develop tensor products, partial traces, purification, and the distinctions that appear in infinite dimension. In particular, finite-dimensional convex decompositions cannot simply be assumed for every separable state on an infinite-dimensional tensor product.

The symmetry and superselection chapter connects ray symmetries, projective representations, generators, and sector structure. It distinguishes a symmetry of transition probabilities from a chosen linear representation on vectors, and an algebraic restriction on observables from an ordinary mixture of states.

Scattering, open evolution, and infinite systems

Mathematical scattering uses the closed-dynamics route to study wave operators, asymptotic completeness, resolvents, thresholds, and resonances. Existence of wave operators and completeness of their ranges are separate conclusions; long-range interactions can require modified comparison dynamics.

Operator-algebraic quantum mechanics organizes observables and states through C*-algebras, von Neumann algebras, representations, and the GNS construction. This language supports many-body and statistical quantum mechanics, where Fock spaces, locality estimates, equilibrium limits, stability, and mean-field approximations require distinct controls. A limit of local expectations need not define a global density matrix in a chosen representation.

The Lieb–Robinson theorem is a central example: its volume-uniform propagation estimate controls how distant boundaries affect a local observable and supports the construction of infinite-volume dynamics.

Open systems and semigroups extends the discussion to completely positive evolution. Norm-continuous bounded generators, unbounded generators, conservation, and detailed balance have different theorem statements. A reduced evolution obtained by tracing out an environment does not automatically compose as a semigroup.

Models, foundations, and verification

Rigorous models provide concrete tests of the abstract machinery: finite systems, momentum and free motion, oscillators, singular interactions, Coulomb Hamiltonians, and periodic operators. Use them alongside the relevant theorem pages. Boundary conditions and realizations of a differential expression are part of the model, rather than details supplied after solving the equation.

Path integrals and their caveats distinguish time slicing, imaginary-time probability measures, Feynman–Kac representations, and oscillatory real-time constructions. Each construction specifies the convergence and hypotheses it establishes; the notation of an integral over paths does not itself define a measure.

Foundational theorems organize probability representation, global value assignments, local hidden variables, information transformations, and preparation independence. Their conclusions exclude stated mathematical models. They do not erase the assumptions or settle every interpretive question associated with the physical experiment.

Formalization and verification separates proof-assistant certification, symbolic calculation, and numerical evidence. Worked exact-matrix checks are reproducible calculations; they are not claims that this volume has been formalized in a proof assistant. The reference and problems chapter provides notation, theorem and counterexample indexes, reading guidance, and exercises that connect the main branches.

Reading a theorem responsibly

For each result, track the object, hypotheses, conclusion, and mode of convergence before using its familiar name. The pages prove manageable calculations and explain the structure of longer arguments; when a substantial construction theorem is imported, consult the cited source for its full proof. Hall and Teschl offer complementary sustained treatments of the operator and dynamical backbone; Reed and Simon provide a broader functional-analytic reference.

The fixed inner-product convention is conjugate-linear in the first slot and linear in the second. Domains remain part of unbounded operators, and strong, weak, norm, and trace-norm statements retain their separate meanings. Page-local assumptions specify additional restrictions where they enter an argument.

For short theorem lookup after studying the detailed explanations, use the formalism theorem cards and many-body results. Their compact statements point back to the derivations and hypothesis checks.

References

• Hall, Brian C. Quantum Theory for Mathematicians. Graduate Texts in Mathematics 267. Springer, 2013. DOI: 10.1007/978-1-4614-7116-5.
• Reed, Michael, and Barry Simon. Methods of Modern Mathematical Physics, Volume I: Functional Analysis. Revised and enlarged edition. Academic Press, 1980.
• Teschl, Gerald. Mathematical Methods in Quantum Mechanics: With Applications to Schrödinger Operators. 2nd ed. Graduate Studies in Mathematics 157. American Mathematical Society, 2014. Author’s text.