Algebraic Perspectives

An algebraic perspective takes the algebra of observables as primary and represents a state by its expectation values on that algebra. It is especially useful when subsystem boundaries, superselection rules, or infinitely many degrees of freedom make a single preferred Hilbert-space representation inadequate. The full mathematics is developed in Operator-Algebraic Quantum Mechanics.

States as expectation functionals

For a unital C*-algebra $\mathcal A$, a state is a linear functional $\omega$ satisfying

$$\omega(I)=1,\qquad \omega(A^*A)\geq0.$$

In finite-dimensional matrix mechanics, $\omega(A)=\operatorname{Tr}(\rho A)$. This recovers density matrices while emphasizing that the physical predictions concern the pair of a state and an observable.

Restricting $\omega$ to a subalgebra describes the information accessible to a restricted observer. For tensor-factor subsystems, this corresponds to a reduced density matrix. More general subalgebras need not coincide with a preferred tensor factor.

An accessible-algebra example

Take a qubit but allow only diagonal observables $A=a_0\lvert0\rangle\langle0\rvert+a_1\lvert1\rangle\langle1\rvert$. Then

$$\omega(A)=a_0\rho_{00}+a_1\rho_{11}.$$

The off-diagonal entry $\rho_{01}$ is invisible to this algebra. A coherent superposition and its dephased mixture can therefore induce the same restricted state. They become distinguishable if the accessible algebra is enlarged to include $X$.

This is operational restriction, not proof that the coherence has disappeared from the global physical state. It clarifies why a claim of “classical behavior” must specify the available observables.

Representation and superselection

The GNS construction builds a Hilbert-space representation from an algebra and a state. Different states or physical regimes can lead to inequivalent representations in infinite systems. See GNS Construction for the proof and Superselection for the relation between sectors and observables.

A nontrivial center consists of observables commuting with the entire algebra. Central projections can label sectors that the allowed observables do not coherently connect. This is a statement about the algebra and its representations, not a universal claim that all superselection rules are fundamental.

Relativistic locality and its limits

In algebraic quantum field theory, spacelike separated observable algebras satisfy a commutation condition. This constrains compatible local interventions. It does not impose Bell factorizability on entangled states.

Likewise, familiar finite-dimensional assumptions about trace-class density matrices or tensor-factor decompositions cannot always be transferred to local field algebras. The algebraic language makes those assumptions explicit rather than resolving all interpretive questions by notation.

Exercises

Can equality of two states on a diagonal subalgebra establish equality on all qubit observables?

Solution

No. $\lvert+\rangle\langle+\rvert$ and $I/2$ agree on diagonal observables, but their $X$ expectations are one and zero. This is the same distinction between restricted experimental equivalence and full operational equivalence.

References

• Bratteli, Ola, and Derek W. Robinson, Operator Algebras and Quantum Statistical Mechanics 1, second edition, Springer, 1987 — states, representations, and operator algebras. Publisher.
• Haag, Rudolf, Local Quantum Physics: Fields, Particles, Algebras, second edition, Springer, 1996 — local algebras and relativistic structure. Publisher.