Textbooks in Mathematical Quantum Mechanics

Choose a mathematical quantum mechanics text by the question you need to answer. A book centered on Schrödinger operators, one centered on operator algebras, and one centered on finite-dimensional quantum information provide complementary tools. The selections below identify useful roles and limitations; they are not a ranking or a requirement to read every book cover to cover.

Textbooks for a first rigorous route

Hall, Quantum Theory for Mathematicians (2013). This is a useful main narrative when the goal is to connect Hilbert-space analysis to familiar quantum mechanics. It develops the operator and representation language alongside physical examples. Pair its treatment with the reading guide for physicists if functional analysis is new, or the guide for mathematicians if the physical interpretation is new. Publisher record.

Teschl, Mathematical Methods in Quantum Mechanics, second edition (2014). Choose this for a path organized around self-adjointness, spectral theory, dynamics, and Schrödinger operators. The author’s authorized online edition makes it especially convenient for checking exact statements. Use it with Operators, Domains, and Spectra and Mathematical Scattering. It is not intended to replace a dedicated treatment of quantum channels or information theory. Author’s edition.

For either route, work through one domain calculation and one continuous-spectrum model before moving to a theorem involving arbitrary unbounded Hamiltonians. Recognizing a theorem’s name is less useful than knowing how its hypotheses are checked in an example.

Books for operator analysis and domain questions

Reed and Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged edition (1980), and II: Fourier Analysis, Self-Adjointness (1975). Use volume I for the functional-analytic framework and volume II for Fourier and self-adjointness methods. These are reference works to revisit while solving concrete problems, rather than a source from which to infer that a formal differential expression has a unique realization. The author’s bibliography distinguishes the original and revised editions. Simon’s bibliography.

Schmüdgen, Unbounded Self-adjoint Operators on Hilbert Space (2012 edition). This is the focused choice when extension theory, closed forms, or the structure of unbounded operators is the immediate issue. The publisher’s contents cover spectral theory, extensions, and perturbations with operator examples. Use it to deepen Deficiency Indices and Quadratic Forms, after the basic adjoint-domain construction is comfortable. Publisher record.

These books answer questions about existence and domains that a matrix diagonalization cannot settle. When using a quoted result, record the operator class and the form or graph topology in the same note as the conclusion.

Books for states, channels, and observable algebras

Holevo, Quantum Systems, Channels, Information, second edition (2019). Use this for a mathematical treatment of normal states, quantum measurements, channels, and information quantities that includes infinite-dimensional issues. It is the natural companion to States, Density Operators, and Trace and Open Systems Semigroups. Read the normality and integrability assumptions when transporting a finite-dimensional formula. Publisher record.

Watrous, The Theory of Quantum Information (2018). Choose this for a systematic finite-dimensional operator and channel toolkit, including norms, completely positive maps, and information-theoretic inequalities. Its finite-dimensional setting is a strength for learning exact arguments, but it does not automatically supply infinite-dimensional domain or entropy-continuity extensions. Pair it with the guide for quantum information and the explicit caveat pages in this volume. Author’s text.

Bratteli and Robinson, Operator Algebras and Quantum Statistical Mechanics 1, second edition (1987). Choose this when the observable algebra and its representations are the primary objects, especially when one Hilbert-space density-matrix representation is insufficient. It supports the Operator Algebraic QM route through C*-algebras, representations, and states. Its natural starting point assumes more analysis than a first introduction to finite-dimensional quantum theory. Publisher record.

A focused way to combine two books

Use one book as the main exposition and the second to answer a specific unresolved question. For an unbounded Hamiltonian, Hall or Teschl can organize the physical and spectral argument while Schmüdgen supplies an extension theorem. For a channel problem, Watrous can clarify the finite-dimensional proof mechanism while Holevo identifies what survives for normal infinite-dimensional states.

Keep a short record for each imported theorem: object, assumptions, conclusion, and the example on which you tested it. The Theorem Index and Counterexample Index make this record easier to maintain. The point is to reconcile conventions and scope, not to collect several citations for the same unchecked assertion.

Exercise: choose the source that supplies the missing step

A calculation truncates an oscillator channel to finitely many levels and uses a finite-dimensional entropy-continuity bound. Which sources and local pages should be consulted before claiming an error bound for the original oscillator?

Solution

Watrous is suitable for the finite-dimensional channel and entropy argument. Holevo supplies the normal infinite-dimensional state and channel framework. Locally, Quantum Channels in Infinite Dimensions supplies a cutoff error estimate, while Entropy and Trace identifies the extra energy and spectral-growth conditions needed for entropy control. A growing cutoff dimension cannot simply be ignored in a finite-dimensional bound.

References

• Bratteli, Ola, and Derek W. Robinson. Operator Algebras and Quantum Statistical Mechanics 1, 2nd ed. Springer, 1987. doi:10.1007/978-3-662-02520-8.
• Hall, Brian C. Quantum Theory for Mathematicians. Graduate Texts in Mathematics 267, Springer, 2013. doi:10.1007/978-1-4614-7116-5.
• Holevo, Alexander S. Quantum Systems, Channels, Information: A Mathematical Introduction, 2nd ed. De Gruyter, 2019. doi:10.1515/9783110642490.
• Reed, Michael, and Barry Simon. Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980; II: Fourier Analysis, Self-Adjointness, Academic Press, 1975. Author’s bibliography.
• Schmüdgen, Konrad. Unbounded Self-adjoint Operators on Hilbert Space. Graduate Texts in Mathematics 265, Springer, 2012. doi:10.1007/978-94-007-4753-1.
• 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 edition.
• Watrous, John. The Theory of Quantum Information. Cambridge University Press, 2018. Author’s text.