The previous post on noncommutative probability was too long to leave much room for examples of random algebras. In this post we will describe all finite-dimensional random algebras with faithful states and all states on them. This will lead, in particular, to a derivation of the Born rule from statistical mechanics. We will then give a mathematical description of wave function collapse as taking a conditional expectation.
Some preliminary remarks
Previously we described how the tensor product of two random algebras could be endowed with the structure of a random algebra in a natural way. The direct product can also be endowed with such a structure, but to construct a state on it given states on it is necessary to fix a parameter and then define
Conversely, every state on is of this form for some , which is precisely the expected value of the idempotent . The corresponding noncommutative probability space is a disjoint union of the spaces , with the system finding itself in with probability and in with probability .
More generally, the set of states on any complex -algebra are closed under convex linear combinations: that is, if are states, then so is
where the are non-negative reals such that . This is what one might refer to as a classical superposition of states. Thus states form a convex cone. Suitably defined, we can also take infinite sums or integrals of families of states to get more states, but this won’t be necessary in the finite-dimensional case.
States and density operators
Recall that we showed that a finite-dimensional random algebra with a faithful state is semisimple. Actually the proof shows slightly more than this: it shows that is a finite direct product, as a -algebra, of -algebras of the form where is a finite-dimensional Hilbert space, or more concretely of the form (equipped with the familiar conjugate transpose). In the commutative case, we get a finite direct product of copies of , which is familiar as the algebra of random variables on a finite set. In both the commutative and noncommutative cases states have a uniform description as follows.
Any finite-dimensional algebra over a field comes equipped with a canonical linear functional , namely the trace
where is the linear operator described by left multiplication by . This defines a canonical bilinear form , the trace form
Since , the trace form is symmetric. The radical consists of all such that is identically zero. Since , this condition is invariant under right multiplication, so is a right ideal of , and since , this condition is invariant under left multiplication, so is a two-sided ideal of . In fact it is a familiar such ideal.
Theorem: , the Jacobson radical of .
Proof. Recall that for a left Artinian ring, the Jacobson radical is the largest nilpotent (left or right) ideal, so it suffices to show that is the largest nilpotent right ideal. By passing to the algebraic closure and upper-triangularizing, it follows that if is nilpotent then . Consequently, if is a nilpotent right ideal then is nilpotent for all by assumption, hence for all , so .
Corollary: is semisimple if and only if the trace form is nondegenerate.
Specializing to the case that is a finite-dimensional complex -algebra, we can say more.
Theorem: Let be a finite-dimensional complex -algebra. The following are equivalent:
- has a faithful state.
- is a finite direct product of matrix -algebras (those of the form with involution the conjugate transpose).
- has a faithful -representation on a Hilbert space.
- is a C*-algebra.
- is semisimple.
- The trace form on is nondegenerate.
- The normalized trace is a faithful state.
(In particular, a finite-dimensional C*-algebra has a faithful state and a faithful -representation on a Hilbert space. This is a special case of the noncommutative Gelfand-Naimark theorem.)
Proof. : proved previously; follows from the GNS construction.
: any matrix -algebra comes by definition with a faithful -representation, and we can take finite direct sums of these.
: any closed -subalgebra of a C*-algebra is a C*-algebra.
: follows from the fact that C*-algebras are semiprimitive.
: proven above.
: faithfulness is equivalent to a modified version of the trace form being an inner product, the Hilbert-Schmidt inner product. The axioms are straightforward to verify with the possible exception of positive-definiteness, which we verify as follows. Since is invertible, the form is nondegenerate, and consequently for every there exists such that . But by Cauchy-Schwarz, it follows that
so as desired.
: by assumption the normalized trace is such a state.
For satisfying any of the equivalent conditions above, by the nondegeneracy of the trace form a state can be uniquely expressed in the form
for some , the density operator associated to the state. The axioms describing a state translate into properties satisfied by the density operator:
- -linearity is equivalent to the condition that , and by the uniqueness of this is equivalent to the condition that ( is self-adjoint).
- is equivalent to the condition that .
- is equivalent to the condition that .
The last condition can be interpreted as follows. acts by left multiplication on , which is a Hilbert space equipped with the inner product , as a self-adjoint operator. Consequently, by the spectral theorem it admits an orthonormal basis with real eigenvalues, and the last condition is equivalent to the condition that all of the eigenvalues are non-negative, hence that is a positive element of . Furthermore, if denotes an orthonormal basis of eigenvectors of with eigenvalues , then we can write
The condition that is equivalent to the condition that . The corresponding state is
It is worth pointing out the special status of the density operator , whose corresponding state is the normalized trace itself. With respect to an arbitrary orthonormal basis , it may be written
which gives the uniform distribution, and it is the unique density operator with this property.
If desired, writing as a finite direct product of matrix -algebras gives a corresponding decomposition of a density operator as a finite direct product of density operators associated to each factor , so understanding density operators in general reduces to understanding density operators in matrix -algebras.
A warning about pure states
Strictly speaking, from the perspective of noncommutative probability the term “pure state” as we have been using it is a misnomer because being pure is not a property of a state on a complex -algebra . Rather, it is a property of a state together with a -representation of . If is a -representation, then a state is pure with respect to if
for some , and this notion depends very strongly on the inner product space . Above we used with the Hilbert-Schmidt inner product; in the special case that it is more typical to use .
Note that by the GNS construction, every state is pure with respect to some -representation. Apparently the use of this perspective has a name: it is referred to as the Church of the Larger Hilbert Space.
Examples in finite probability
Let be a finite-dimensional commutative semisimple complex -algebra. Then for some finite set , the sample space in the usual sense. A density operator on isin this case is precisely a function assigning to an element of the sample space its probability, and so we recover the familiar setting of probability on a finite sample space from the above.
For a less familiar example, let be the complex -algebra describing a qubit. The space of states on can be explicitly described as follows. Any density operator must in particular be self-adjoint with trace , hence must have the form
where is self-adjoint with trace . If the eigenvalues of are for some real , then the eigenvalues of are , hence is positive if and only if .
If , then is the normalized trace. Otherwise, for fixed , has distinct eigenvalues, hence the -eigenspace uniquely determines the -eigenspace by orthogonality, so is uniquely specified by specifying a -dimensional subspace of , which may be identified with a point on a sphere (the Bloch sphere) of radius .
This interpretation continues to makes sense when , giving a parameterization of the states on by the points in a solid ball , which may be thought of as the Bloch sphere together with its interior. Note that the boundary of this ball consists of precisely the states such that , which is equivalent to having rank and hence equivalent to describing a pure state.
Gibbs states and the Born rule
Although mixed states are natural from the perspective of noncommutative probability, traditional introductions to quantum mechanics generally begin by talking about pure states. The probability distributions on measurements are then given by the Born rule, which may appear somewhat mysterious at first glance. In noncommutative probability, the Born rule is equivalent to the description of a state as
where is an element of a complex -algebra , is a -representation of , and is a unit vector. When is finite-dimensional and admits a faithful state, we saw above that any state on may be described in terms of a density operator. Moreover, the density operators in, say, giving rise to states of the above form (with ) are precisely the density operators of rank . So the only mystery in the Born rule is why one should expect density operators to have rank , at least in some situations.
One answer is the following. Let , and let be a self-adjoint element, to be thought of as a Hamiltonian. Using the Heisenberg picture, we can describe time evolution of states on with respect to the Hamiltonian as follows: after time , a state is sent to the state
Writing in terms of a density operator, we may equivalently describe by describing its density operator, which is given by
using the cyclic symmetry of the trace.
Suppose now that the state is a Gibbs state, meaning that it is invariant under time evolution. This is equivalent to the condition that commutes with for all . Differentiating with respect to , it follows that commutes with , and exponentiating it follows that this necessary condition is also sufficient. In other words, an equilibrium state is a state whose density operator lies in the centralizer
Assume now that has distinct eigenvalues (that is, that there are no degenerate energy levels).
Proposition: Let be a linear operator on a finite-dimensional vector space over an algebraically closed field with distinct eigenvalues. Then .
Proof. Since has distinct eigenvalues, breaks up into a direct sum of eigenspaces, and any operator commuting with necessarily preserves each eigenspace. Writing as a diagonal matrix, it follows that consists precisely of diagonal matrices, which are spanned by the powers of by standard arguments (for example the invertibility of Vandermonde determinants).
(By passing to the algebraic closure we can remove the hypothesis that is algebraically closed, but this is not needed in what follows.)
It follows that a Gibbs state has a density operator which is a polynomial in . That is, writing
where the are energy eigenstates with energy eigenvalues , it follows that
for some ; in other words, describes a state in which the probability that the system is measured to be in a particular energy eigenstate depends only on the value of the energy. However, in order for to be determined in a physically meaningful way from , it must be the case that adding an arbitrary scalar to does not affect ; equivalently, only differences between energies are physically meaningful, and consequently the ratios can only depend on the value of . Writing
we observe that
and so, under very mild continuity assumptions on (enough to rule out pathological solutions to the Cauchy functional equation, none of which are physically meaningful anyway), together with the constraint that is positive, it follows that must have the form
for some real constant . Under the additional physical assumption that the system is more likely to be in a state with low energy than in a state with high energy, it follows that is non-negative. An equivalent way of stating the above identity is to write the density operator as
is the partition function (a normalization necessary for to have trace ). The corresponding Gibbs state is then
Explicitly, the probability that the system is in energy eigenstate is given by .
In statistical mechanics, is interpreted as thermodynamic beta where is temperature and is the Boltzmann constant. When is very large, is very small, and the system resembles a distribution which is uniform in energy eigenstates.
When is very small, is very large, and the system is overwhelmingly likely to be in its lowest energy eigenstate; that is, if the energy eigenvalues are ordered , then the lowest energy eigenstate is times more likely to occur than the second-lowest energy eigenstate, and the other energy eigenstates are even less likely. In terms of the density operator, we can write
for large ; in other words, as , approaches an operator of rank , and the corresponding Gibbs state approaches the pure (with respect to ) state described by the lowest energy eigenstate.
Wave function collapse as conditioning
The Born rule describes the probability distribution associated to a measurement of a quantum system, but another postulate of quantum mechanics, the collapse postulate, describes what happens to a measured quantum system afterwards. It asserts the following (simplified to the case of discrete spectrum): suppose a quantum system is in a pure state described by a unit vector in a Hilbert space . Suppose we measure an observable , given by a suitable self-adjoint operator . Then this observable takes value , some eigenvalue of , with probability , where is the projection onto the -eigenspace of . After this measurement, the state is replaced by its projection , normalized to have unit length.
The physical meaning of the collapse postulate is contentious. Here I only want to record a mathematical observation, which is that it is mathematically equivalent to conditioning with respect to the observation that was measured to have value .
Recall that if is a random algebra and a projection in with (an event that occurs with positive probability), then the conditional expectation (the expected value of conditional on the fact that the event happened) is given by
If has a -representation on a Hilbert space relative to which the state is the pure state for some , then
(using the fact that and that is self-adjoint). In other words, the conditional expectation is precisely the pure state associated to the projection , normalized to have unit length.