Reference Problems

This chapter helps you recover a definition, select a theorem with the right hypotheses, or test a calculation against a known obstruction. The reference entries summarize results and link to their canonical derivations. The solved problem collections then combine those tools in settings where choosing a topology or checking an operator domain changes the answer.

Enter this chapter

Use the references as a diagnostic sequence. First identify the mathematical object; then check the theorem’s assumptions; then examine whether a standard counterexample fits the proposed argument. A familiar expression such as $\operatorname{Tr}(\rho H)$ or $[A,B]=0$ is not yet a complete assertion until its meaning and relevant domains have been specified.

• Common Confusions develops the missing hypotheses behind misleading claims about domains, spectra, normalizations, and limits.
• Glossary explains recurring terms and the distinctions they encode.
• Definition Index collects precise predicates for operators, states, measurements, and dynamics.
• Theorem Index matches major conclusions to their essential hypotheses and proofs.
• Counterexample Index lists false generalizations with concrete obstructions.
• Domain Pitfalls Index checks whether a formal manipulation defines an actual operator or expectation.

These entries serve different questions. “Is this state normal?” is a definition check. “Does this probability assignment come from a density operator?” asks for a representation theorem with hypotheses. “Can the conclusion fail without countable additivity?” asks for a counterexample. Keeping those tasks distinct prevents a theorem’s conclusion from being smuggled into its assumptions.

Calculation aids with explicit boundaries

Four compact guides support calculations:

• Spectral Theory Cheat Sheet collects functional calculus, spectral probabilities, resolvents, and moment conditions.
• Operator Classes Cheat Sheet distinguishes bounded, compact, Schatten, closed, symmetric, and self-adjoint operators.
• Rigorous Notation Translation Table translates common Dirac and differential expressions into precise objects.
• Standard Examples Table supplies reusable test systems and identifies what each one tests.

For example, a finite first energy moment does not by itself put a vector in the Hamiltonian’s operator domain. The notation guide identifies the quadratic-form interpretation; the spectral sheet supplies the moment criterion; the domain index points to the relevant failure of a formal differentiation. No single formula sheet replaces all three checks.

Sources and a route through the exercises

Textbooks compares the roles and prerequisites of major monographs. Lecture Notes identifies particular author-hosted versions and suggests bounded reading tasks. Classic Papers separates the original contributions of selected primary papers from modern formulations. These are reading guides, not rankings or exhaustive bibliographies.

Begin Problem Sets after using spectral measures and trace-class states in calculations. Its solved problems include an additive continuous observable, a quantitative Gibbs cutoff, a small trace-distance error with a large energy error, and a channel semigroup with no normal stationary state.

Use Proof Exercises to test structural understanding. The challenges concern tensor compactness, uniform approximation on energy-constrained families, nonnormal resolvent growth, and state sequences that escape finite-dimensional sectors. Each solution names the result being imported and supplies the additional argument. If a proof step is unfamiliar, follow its canonical link before memorizing the conclusion.

References

• 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.