Operator-Algebraic Quantum Mechanics

Operator-algebraic quantum mechanics separates the observable algebra, the state assigning its expectation values, and the Hilbert-space representation used to realize it. This chapter develops the mathematical results connecting those layers. The payoff is precise control of questions that cannot be answered by matrix notation alone: which limits are allowed, when a state has a density operator, and how different representations describe common or disjoint classes of states.

Enter this chapter

Start with Why Operator Algebras? for the motivation from norm-controlled approximations and compatible local systems. The Operator Algebra Minimum provides the prerequisite vocabulary.

Readers entering from ordinary density matrices should first use Positive State Functionals and Normal States. Those pages retain the bounded-operator proofs connecting expectation rules to trace-class density operators. This chapter extends the setting to abstract C*-algebras and represented von Neumann algebras.

No field-theoretic locality axioms are assumed here. The examples use matrices, commutative algebras, bounded operators, and compatible spin systems. Sector classifications based on locality require additional physical and mathematical inputs.

Build the observable algebra

C*-Algebras explains the norm, spectral permanence, and continuous functional calculus. Observables as Algebras shows how measurement generators determine an algebra and why their individual probabilities do not necessarily determine a state.

Von Neumann Algebras then introduces the measurable closure in a chosen representation. It supplies spectral projections, affiliated unbounded observables, and normal functionals. The Bicommutant Theorem proves the equivalence of weak closure, strong closure, and double commutation.

The recurring example is continuous multiplication on an interval. Uniform limits remain continuous; represented strong limits can produce sharp interval indicators. The distinction between those closures determines which spectral events already belong to the algebra.

Construct states and their representations

The Algebraic State Space develops weak-star compactness, extension from a subalgebra, and the fact that states detect the norm of self-adjoint elements. Representations distinguishes faithfulness, cyclicity, and unitary equivalence.

The GNS Construction is the central construction theorem. It turns state-dependent correlations into an inner product, quotients its null left ideal, and proves boundedness of the represented operators and uniqueness of the cyclic realization.

Pure States and Irreducible Representations proves the next connection: purity is equivalent to irreducibility of the GNS representation. Its dominated-functional argument explains how commutant operators encode convex components of a state.

Keep the distinguished vector in view. A mixed state has a GNS vector, and a faithful representation may be reducible. Neither “vector” nor “faithful” is a substitute for the theorem’s irreducibility hypothesis.

Track normality and sectors

Normal and Singular States distinguishes a nonnormal state from a wholly singular one. On the full bounded-operator algebra, compact observables determine a unique normal part and leave a singular remainder.

Superselection in Algebraic Language compares central projections, multiplicity, quasi-equivalence, and disjointness. These describe different structures. A nontrivial commutant can reflect repeated equivalent copies; it need not identify a classical sector label.

For the physical meaning of restricted observables, retain the superselection discussion. Algebraic classification describes the chosen observable specification; it does not independently establish that omitted measurements are impossible.

Add dynamics and equilibrium

The KMS Condition on a C*-Dynamical System makes the continuity and analyticity assumptions explicit. It constructs analytic elements by Gaussian smearing and proves that KMS states are invariant and form a compact set at fixed dynamics and temperature, without asserting that the set is nonempty.

The canonical KMS page supplies the Gibbs calculation and thermal interpretation. The CCR algebra supplies a different application: canonical relations can be fixed algebraically while regularity remains a property of a state or representation.

When reading a result, identify the algebra, the representation if one is used, the state class, and the topology of each limit. Those four choices determine which theorem applies.

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 — C*-algebras, representations, and decomposition.
• Bratteli, Ola, and Derek W. Robinson, Operator Algebras and Quantum Statistical Mechanics 2: Equilibrium States. Models in Quantum Statistical Mechanics, 2nd ed., Springer, 1997, doi:10.1007/978-3-662-03444-6 — equilibrium and canonical algebras.
• Jones, Vaughan F. R., Von Neumann Algebras, lecture notes, 2010, author’s notes — closure theorems and concrete examples.
• Naaijkens, Pieter, Quantum Spin Systems on Infinite Lattices, Lecture Notes in Physics 933, Springer, 2017, arXiv:1311.2717 — algebraic methods for infinite quantum systems.