Spatial translations in quantum mechanics

Quantum Spatial Translations

I remember that when I first learned the Canonical Commutation Relations in quantum mechanics, they seemed mysterious:

    \[(QP - PQ)\psi = i\psi.\]

I knew I was supposed to view this as a law of nature, and that it could be used in some contexts to explain important observations like position-momentum uncertainty. But I remember it being a huge revelation to me when I realized that the canonical commutation relations are just the local expression of spatial translations when space is homogeneous.

This is well-known by experts. But since I couldn’t find an obvious source for it on the interwebs, I thought I’d share the story here for others.

Translations in Space

We want to interpret a self-adjoint operator Q as representing position in space. To keep it simple, let’s say it represents position along an infinite length of string, which is easy because it’s 1-dimensional.

Then we can interpret Q+aI as position that has been translated by a distance a in space.

Now, if space is homogeneous, then no point in space is any different than any other. So, the self-adjoint operators Q and Q+aI are equally good representatives of space. Setting up the same experiment in two laboratories that differ only a distance a will produce the same results.

translation in space

Homogeneity

In quantum mechanics, experimental results are probabilistic, and the transformations that preserve probabilities are the unitary ones. So, we can capture this homogeneity precisely by say that the spatially translated position operators are related by a unitary transformation,

    \[U_aQU^*_a = Q+aI\]

More can be said about these translation operators U_a. If we think of the infinite string as continuous, then we’ll want to have a continuous collection of operators U_a, one for each real number a\in\mathbb{R}. We’ll also want to capture the additive relations between distances on the string, U_aU_b = U_{a+b}.

Whenever this is the case, Stone’s theorem says that there exists a self-adjoint operator P such that U_a = e^{iaP}. (Of course we’ve chosen the letter P suggestively — but wait for it.) So, our statement of homogeneity above can be expressed,

    \[e^{iaP}Qe^{-iaP} = Q+aI.\]

The canonical commutation relations

First consequence: this equation implies a special form of the canonical commutation relations known as the Weyl CCRs, e^{iaP}e^{ibQ}=e^{iab}{e^{ibQ}e^{iaP}. It only takes one line to check this, so do give it a try. In fact, this equation is equivalent to the Weyl CCRs.

Second consequence: when we take the derivative of both sides with respect to a, we get the normal canonical commutation relations. This is also a nice exercise, which only uses the product rule and the definition of the derivative for exponentials, so I’ll let you give it a go.

    \[\frac{d}{da}\left(e^{iaP}Qe^{-iaP}\right) = \frac{d}{da}(Q+aI)\]

    \[\Rightarrow QP - PQ = i.\]

Observations

What this means is that the canonical commutation relations in quantum mechanics are the local expression of translations in space — where “local” is in the sense of a derivative, as above. But this should warn you that the derivation needn’t go the other way — in fact, you can’t derive translations in space (or the Weyl CCRs) from the canonical commutation relations.

This is because there is a lot of information in our statement of spatial homogeneity above that is not needed for the CCRs.

For example, we assumed that a dimension of space is described by the entire real line \mathbb{R}. But it may be of interest to restrict space to a finite interval of \RR, or a loop, or even a discrete set of points. As long there space is homogeneous in the sense of there being unitary operators relating the points (and some notion of a derivative can be defined) we can often still construct the commutation relations.

Leave a Reply

Your email address will not be published. Required fields are marked *

You can use standard LaTeX enclosed in dollar signs, e.g., $\sqrt{2}^2=2$ gets rendered as .
You can also use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>