The Commutator
A look at the Order of Operations in Quantum Mechanics
We study the precise reason why and when the order of measurements matter in Quantum Mechanics. Along the way we briefly review and codify what we learned in our study of the Stern-Gerlach experiment. In particular, we introduce some standard notation and language used by practicing physicists.
Spin and ħ
We’ve learned that spin angular momentum is an intrinsic property of particles like protons, electrons and atoms. Spin is a vector S that can point in any direction in three-dimensional space, R^3, but measuring spin always amounts to measuring it along a specific direction.
The magnitude of S is a fixed property of any species of particle. |S| is constrained to be close to integral values of the quantity h/4𝜋. More precisely, Quantum Mechanics says that the spin of any particle - of any thing really - must be given by
The number 𝑛 is just a property of the particle, similar to its electric charge, which must be an integer number of the fundamental charge 𝑒.
It is conventional to define the quantity ħ, pronounced “h-bar”, as
so that we can simplify (1) as
Looking at (2), we see that spins are better parametrized by half-integers in this convention.
From that perspective we’d say that pions are spin 0, silver atoms are spin 1/2 , the 𝑊 and 𝑍 bosons1 are spin 1 and the Δ baryons have spin 3/2 . This is what physicists use in practice, so we’ll use this convention from now on.
Components of Spin
We’ve also seen that |S| determines the number of possible values for spin we can observe in nature. We can only measure spin in one direction.
To be precise, let 𝑠 parameterize a given particle’s total spin:
In our new language, we say that the values of spin in some direction, say 𝑆_𝑖, are restricted to half integral values of ħ, from −𝑠 to 𝑠. That is, we can only observe 𝑆_𝑖 as some value 𝑘ħ, where −𝑠 < 𝑘 < 𝑠, and 𝑘 is a half-integer.
Exercise 1. For a particle with |S | parameterized by the half-integer 𝑠, argue that there are 2𝑠 + 1 possible physical states states.
Spin 1/2 revisited
Despite this new, half-integer name, we have studied the case where 𝑠 = 1/2 at length. This includes silver atoms and the famous Stern-Gerlach experiment.
We parametrize the physical state of a spin 1/2 particle by a two-dimensional vector
To measure the spin of a particle described by | 𝜓 ⟩, we act with a spin component operator2 like 𝑆_𝑖 = (ħ/2) 𝜎_𝑖.
The 𝑧-direction
For the specific case of 𝑆_𝑧,
As we’ve seen, physical observation is restricted to a single eigenvector of 𝑆_𝑧, which for us means that
and
because
This should all be review. If it’s not, you can go back and study our series on the Stern-Gerlach experiment to learn more.
The 𝑥-direction
For the specific case of 𝑆_𝑥,
As we’ve seen, physical observation is restricted to a single eigenvector of 𝑆𝑥, which for us means that
and
again because
Exercise 2 : Verify by explicit computation the probabilities for observing 𝑆_𝑥 in both up an down states in equations (3) and(4). Hence verify that their probabilities sum to one.
The Order of Observations
We cannot simultaneously measure 𝑆_𝑥 and 𝑆_𝑧. Quantum Mechanics says we can only measure spin in one linearly-independent direction at a time. You might ask, how exactly does Quantum Mechanics say this? How do we know what other things cannot be simultaneously measured?
Because measurement changes the physical state of a quantum system, the order in which we do the measurements can affect the final outcome. This point we explored in detail by studying circuits of Stern-Gerlach devices. If we measure 𝑆_𝑧 first, and then 𝑆_𝑥, we will end up with a physical state that is an eigenvector of 𝑆_𝑥:
If we measure 𝑆_𝑥 first and then 𝑆_𝑧, we’ll end up with a physical state that is an eigenvector of 𝑆_𝑧:
Because the eigenvectors are different, the final states - the final measurement - will be different. The only way
the order of two operations would not matter is if they operators shared the same eigenvectors.
Exercise 3 : Define the linear operator 𝑀 by
where 𝜇 and 𝜈 are two constants. Argue that | ↑ ⟩ and | ↓ ⟩ are eigenvectors of 𝑀. Hence show that the order in which we
measure 𝑀 and 𝑆_𝑧 does not matter. For what values of 𝜇 and 𝜈 is this true for 𝑀 and 𝑆_𝑥?
The Commutator
There is an easy way to check whether two operators have the same eigenvectors. Let 𝑀 and 𝑁 be two matrix operators. They have can the same eigenvectors if
That is to say, they have simultaneous eigenvectors if they commute. This is such an important concept that we formalize it with some notation.
The commutator of two linear operators 𝐴 and 𝐵 is defined to be [𝐴, 𝐵], where
The commutator captures the failure of 𝐴 and 𝐵 to commute. If it is nonzero, these operators cannot have the same eigenvectors.
Exercise 4. Compute the commutator of 𝑆_𝑧 and 𝑆_𝑥.
The commutator of many physical observables is nonzero. Famously, position and momentum do not commute in Quantum Mechanics:
We shall learn all about that in due course. But first, we leave you with some instructive exercises:
Exercise 5. Let 𝑌 = [𝑆_𝑧, 𝑆_𝑥]. Compute the commutator of 𝑌 with 𝑆_𝑧 and 𝑆_𝑥.
Exercise 6. Let 𝑌 be as above, and let 𝑍 = [𝑆_𝑥,𝑌]. Compute [𝑍, 𝑆_𝑧].
Photons, having two polarization states, are an exception to this rule. Their exception derives from the fact that photons have zero mass, and so special relativity is required to give a proper description of their angular momentum states.
To learn more about these matrices 𝜎_i, you might recall our previous post.