Mathematical Quantum Mechanics Roadmap

Mathematical quantum mechanics studies the same physical theory with sharper attention to Hilbert spaces, operators, spectra, domains, measures, and theorems. It is the route for readers who want to know exactly when a formal manipulation is legitimate and what assumptions make the postulates mathematically coherent.

This path is not a replacement for physical intuition. The goal is to connect rigorous structure to the quantum mechanics used in physics, chemistry, information, and field-theory preparation.

Prerequisites

You should be comfortable with proof-based linear algebra, metric spaces, normed spaces, basic measure theory, complex numbers, and elementary physics notation. You can begin with finite-dimensional quantum mechanics, but infinite-dimensional pages require real analysis and functional analysis habits.

Useful starting pages include Hilbert Spaces, Separable Hilbert Spaces, Bounded Operators, and Adjoint Operators.

Phase 1: Finite-Dimensional Structure

Begin where the algebra is honest and the domains are harmless:

1. complex vector spaces,
2. finite-dimensional Hilbert spaces,
3. orthonormal bases,
4. unitary operators,
5. Hermitian operators,
6. projectors,
7. spectral decompositions,
8. density matrices.

Milestone: you can prove the finite-dimensional spectral theorem, compute projective measurement probabilities, and translate between vectors, operators, matrices, and density operators.

Phase 2: Infinite-Dimensional Hilbert Spaces

Next learn what changes when the Hilbert space is not finite-dimensional:

1. $L^2$ spaces,
2. separability,
3. completeness,
4. orthonormal bases,
5. continuous spectra,
6. generalized eigenvectors,
7. rigged Hilbert spaces as a practical framework.

Use L2 Spaces, Completeness and Orthonormal Bases, Continuous Spectra, and Rigged Hilbert Spaces: First Look.

Milestone: you can explain why $\lvert x\rangle$ and plane waves are generalized objects rather than normalizable vectors.

Phase 3: Unbounded Operators and Domains

Most physically important observables are unbounded. Study:

1. domains of operators,
2. symmetric versus self-adjoint operators,
3. adjoints of unbounded operators,
4. essential self-adjointness at an introductory level,
5. position and momentum representations,
6. formal differential expressions versus operators.

Use Domains of Operators, Unbounded Operators, Symmetric vs Self-Adjoint Operators, and Hermitian vs Self-Adjoint.

Milestone: you can identify why “Hermitian by integration by parts” is not a complete self-adjointness proof.

Phase 4: Spectral Theory and Measurement

The spectral theorem connects self-adjoint operators to measurement. Study:

1. practical spectral theorem statements,
2. projection-valued measures,
3. discrete versus continuous spectra,
4. functions of operators,
5. compatible observables,
6. complete sets of commuting observables,
7. POVMs as generalized measurement structures.

Existing entry points include Spectral Theorem: Practical Version, Spectra, Functions of Operators, and POVMs: First Encounter.

Milestone: you can distinguish eigenvalue sums from spectral integrals and state what changes for continuous spectra.

Phase 5: Density Operators and Trace Classes

Rigorous mixed-state language requires trace-class operators. Study:

1. density operators,
2. trace-class and Hilbert-Schmidt operators,
3. trace-rule expectation values,
4. partial trace,
5. purification,
6. entropy,
7. quantum channels at a first level.

Use Trace-Class and Hilbert-Schmidt Operators, Density Operators, Trace Rule for Expectation Values, and Reduced Density Matrices.

Milestone: you can say why $\operatorname{Tr}(\rho A)$ is not automatically meaningful for every unbounded $A$.

Phase 6: Symmetry and Representation Theory

Symmetry is both physical and mathematical. Study:

1. unitary symmetries,
2. antiunitary symmetries,
3. projective representations,
4. generators and Stone-type ideas,
5. angular momentum algebra,
6. SU(2) and rotations,
7. Wigner-type constraints on symmetry transformations.

Useful pages include Unitary Symmetries, Antiunitary Symmetries, Projective Representations, Generators, and SU(2).

Milestone: you can distinguish a group representation on states from a representation on rays.

Phase 7: Foundations Theorems and Boundaries

After the core structure is stable, study theorems and constraints that shape foundations:

1. canonical commutation relations,
2. Stone-von Neumann-type uniqueness in finite degrees of freedom,
3. Gleason-type probability constraints,
4. Bell and Kochen-Specker-type no-go results,
5. algebraic approaches,
6. limits of nonrelativistic frameworks.

Treat these as theorem-driven topics: state hypotheses carefully and avoid broad philosophical conclusions that exceed the theorem.

Common Pitfalls

• Treating finite-dimensional intuition as automatically valid in $L^2$ spaces.
• Ignoring domains of unbounded operators.
• Confusing symmetric, Hermitian, and self-adjoint.
• Using generalized eigenvectors as if they were normalizable states.
• Presenting a foundations theorem without its hypotheses.
• Replacing physical interpretation with formalism rather than connecting them.

References

• B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
• M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, Academic Press, 1980.
• J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955.
• G. Teschl, Mathematical Methods in Quantum Mechanics, 2nd ed., American Mathematical Society, 2014.
• V. Moretti, Spectral Theory and Quantum Mechanics, 2nd ed., Springer, 2017.