nLab JBW-algebraic quantum mechanics

-algebras in quantum mechanics

JBWJBW-algebras in quantum mechanics

Idea

It can be nice to describe the kinematics of a quantum system using a JBW-algebra. (Then some extra structure is needed for dynamics; see below.)

Motivation

JBWJBW-algebras are arrived at by the confluence of several lines of motivation.

To begin with, the algebraic approach to quantum mechanics (which is also the basis of AQFT) is a common generalization of classical mechanics using phase spaces (or even Poisson manifolds or even Poisson algebras) and quantum mechanics using Hilbert spaces. In this approach, we have an algebra of observables, of which special cases are the commutative algebra underlying a Poisson algebra (or its complexification) and the algebra of operators on a Hilbert space. This also allows one to apply superselection rules at a fundamental level by restricting to a subalgebra?.

More particularly, one may restrict to bounded observables, that is those for which there is a largest possible absolute value that could be observed. There is a philosophical reason for this, that no measuring device in reality is unbounded; but it also makes the algebra more tractable, and an arbitrary observable OO can still be described by a sequence of bounded observables with increasing cut-offs.

At this point, it's natural to expect the algebra of observables to be a Banach space (and so, being an algebra, some kind of Banach algebra), with the norm giving this largest possible absolute value. In fact, complex C *C^*-algebras are usually used; both the algebra of bounded continuous functions on a Poisson manifold (or indeed any local compactum) and the algebra of bounded operators on a Hilbert space are C *C^*-algebras.

Then we may further refine from C *C^*-algebras to W *W^*-algebras. This actually amounts to generalizing the notion of observable. Whereas a typical commutative C *C^*-algebra is an algebra of continuous functions, a typical commutative W *W^*-algebra is an algebra of measurable functions. This is necessary if we want to include characteristic functions, reflecting an observation of whether the system is in some measurable subset of phase space. (If it is on the boundary, then we won't be able to tell; this is reflected in that the W *W^*-algebra of functions identifies functions that are equal almost everywhere.) The functional calculus of W *W^*-algebras also allows for composition of an observable with a measurable function on its spectrum, allowing us to (for example) turn continuous observables into less-precise discrete ones. Of course, the algebra of bounded operators on a Hilbert space is also a W *W^*-algebra. Finally, the algebra of observables that respect a class of superselection rules will also typically form a W *W^*-algebra.

There is, however, an objection to all of these algebras of observables, which is that they have many elements that are not observable. Only the self-adjoint elements of these algebras are considered to be observable. (Even if we allow for complex-valued observables, only the normal element?s can be observables.) By themselves, the self-adjoint operators form a Jordan algebra. Instead of recovering the classical case when the algebra of operators is commutative, we recover it when the Jordan algebra of self-adjoint operators is associative (and specifically we get the classical algebra of real-valued observables immediately). Thus, the algebra of observables is a Jordan algebra, even if it is viewed as embedded within a larger algebra.

The analytic structure on a Jordan algebra that makes it the algebra of self-adjoint elements in a W *W^*-algebra is captured in the definition of a JW-algebra (Jordan WW-algebra, which may be read as a Jordan W *W^*-algebra with trivial involution) or JBW-algebra (Jordan–Banach WW-algebra, which allows exceptional cases such as the Albert algebra). This is a loss of structure from the full W *W^*-algebra; in fact, a complex W *W^*-algebra can be recovered from a JBWJBW-algebra by giving it an additional compatible Lie algebra structure, making it into a JLBW-algebra, which (as explained there) is equivalent to a complex W *W^*-algebra. However, the JBWJBW-algebra already identifies what the observables and states are, so it is a sufficient place to start from.

Description

This is hastily copied from elsewhere and minimally edited. More work should be done to spell this out.

We have:

  • a Banach space AA whose elements are thought of as (bounded, real-valued) observables;
  • a Banach space A *A_*, some of whose norm-11 elements (those to be identified later as ‘positive’) are thought of (normal, mixed) states;
  • with AA expressed as the dual of A *A_*;
  • with a commutative (but nonassociative) multiplication operation on AA;
  • with the resulting nonassociative Banach algebra AA satisfying a few technical conditions:
    • power-associativity: all ways of parenthesizing x nx^n, for xx an element of AA and nn a natural number, are equal;
    • positivity: x 2x 2+y 2{\|x^2\|} \leq {\|x^2 + y^2\|}; and
    • the B-identity: x 2=x 2{\|x^2\|} = {\|x\|^2}.

In particular, the positivity allows us to define a partial order on AA according to which an element of AA is (weakly) positive if it is a limit of sums of squares, and then an element ψ\psi of A *A_* is positive (and hence a normal state if it has norm 11) if every positive element xx of AA takes ψ\psi to a nonnegative real number.

If the multiplication on AA happens to be associative, then there exists a measure space XX such that A *A_* is the Lebesgue space L 1(X)L^1(X) and AA is L (X)L^\infty(X). It is always possible to take XX to be localizable, in which case the Radon–Nikodym theorem applies and we can identify L 1(X)L^1(X) with the space of absolutely continuous measures on XX. At this point, the measure on XX is irrelevant except for its specification of full (or null) subsets, so we may treat XX as simply a localizable measurable space (which includes this data). Then the choice of XX is actually essentially unique.

In this way, the associative case reduces to probability theory. We have a measurable space XX, an observable is an essentially bounded function, and a state is a probability measure. It is true that we only have localizable spaces, but these are the only ones that satisfy the nice theorems (such as Radon–Nikodym, aforementioned) anyway. (Similarly, the observables are defined only up to almost equality, and the normal states must be absolutely continuous measures.)

In the general (nonassociative) case, we still think of the elements of AA (the observables) as essentially bounded functions, but now on a sort of noncommutative (or rather nonassociative) space, and we may still think of the elements of A *A_* (the states) as probability measures on that space. (This is particularly appropriate in the Bayesian interpretation of quantum mechanics.) Because AA is a Jordan algebra instead of an associative algebra, all of its elements may be thought of as observables, but this is more of a convenience than an essential feature.

We might also want to consider generalized (non-normal) states, that is norm-11 positive linear functionals on AA. (Every state in A *A_* may be so interpreted, using the natural map A *(A *) **=A *A_* \to (A_*)^{**} = A^*). One may go further and consider quasistate?s on AA, if any exist (besides the states themselves).

In particular, if AA is the space of bounded self-adjoint operators on some Hilbert space HH, then A *A_* is the space of trace-class self-adjoint operators on HH. Then a normal state is a density matrix, and the pure states (those that cannot be written as nontrivial convex combinations of other states) are those of the form |ψψ|{|\psi\rangle \langle\psi|} for ψ\psi a unit vector in HH.

Dynamics

We can add dynamics by giving the JBWJBW-algebra the structure of a pointed JLBW-algebra, that is by defining a kind of commutator (the ‘L’) and identifying one of the operators in the algebra as the Hamiltonian (the ‘pointed’). This is mathematically equivalent to a complex W *W^*-algebra equipped with a self-adjoint element.

Last revised on December 24, 2022 at 04:27:39. See the history of this page for a list of all contributions to it.