C*-algebraic Formulation of States
It is now generally accepted that the description of quantum mechanics in which all self-adjoint operators represent observables is untenable. For this reason, observables are identified to elements of an abstract C*-algebra A (that is one without a distinguished representation as an algebra of operators) and states are positive linear functionals on A. However, by using the GNS construction, we can recover Hilbert spaces which realize A as a subalgebra of operators.
Geometrically, a pure state on a C*-algebra A is a state which is an extreme point of the set of all states on A. By properties of the GNS construction these states correspond to irreducible representations of A.
The states of the C*-algebra of compact operators K(H) correspond exactly to the density operators, and therefore the pure states of K(H) are exactly the pure states in the sense of quantum mechanics.
The C*-algebraic formulation can be seen to include both classical and quantum systems. When the system is classical, the algebra of observables become an abelian C*-algebra. In that case the states become probability measures, as noted in the introduction.
Read more about this topic: Density Matrix
Famous quotes containing the words formulation and/or states:
“Art is an experience, not the formulation of a problem.”
—Lindsay Anderson (b. 1923)
“Action from principle, the perception and the performance of right, changes things and relations; it is essentially revolutionary, and does not consist wholly with anything which was. It not only divides States and churches, it divides families; ay, it divides the individual, separating the diabolical in him from the divine.”
—Henry David Thoreau (1817–1862)